( en | de | ru )

 

Disambiguation of "Lapitre, Arnault"

Author of the publication

copydeleteadd this publication to your clipboard
Constraint-Based Oracles for Timed Distributed Systems.

, , , , and . ICTSS, volume 10533 of Lecture Notes in Computer Science, page 276-292. Springer, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Anthony Arnault

 

Other publications of authors with the same name

A Term-based Approach for Generating Finite Automata from Interaction Diagrams., , , , and . CoRR, (2023)Results for Compositional Timed Testing., , , and . APSEC (1), page 559-564. IEEE Computer Society, (2013)978-1-4799-2143-0.An Illustrative Use Case of the DIVERSITY Platform based on UML Interaction Scenarios., , and . USE@FM, volume 320 of Electronic Notes in Theoretical Computer Science, page 21-34. Elsevier, (2015)Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks., , , and . ICST Workshops, page 168-175. IEEE, (2019)Automatic Test Generation with AGATHA., , , , , , and . TACAS, volume 2619 of Lecture Notes in Computer Science, page 591-596. Springer, (2003)Heuristic-aided symbolic simulation for trickle-based wireless sensors networks configuration., and . RAPIDO, page 1:1-1:7. ACM, (2020)Exploring IoT Trickle-Based Dissemination Using Timed Model-Checking and Symbolic Execution., , and . NETYS, volume 12129 of Lecture Notes in Computer Science, page 94-111. Springer, (2020)Incremental Symbolic Conformance Testing from UML MARTE Sequence Diagrams: Railway Use Case., , , and . HASE, page 9-16. IEEE Computer Society, (2012)A small-step approach to multi-trace checking against interactions., , , , and . CoRR, (2020)Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems., , , , and . CoRR, (2022)