Author of the publication

Tooling Offline Runtime Verification against Interaction Models : recognizing sliced behaviors using parameterized simulation.

, , , , and . CoRR, (2024)

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.

 

Other publications of authors with the same name

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)Denotational and operational semantics for interaction languages: Application to trace analysis., , and . Sci. Comput. Program., (January 2024)A small-step approach to multi-trace checking against interactions., , , , and . SAC, page 1815-1822. ACM, (2021)Revisiting Semantics of Interactions for Trace Validity Analysis., , and . FASE, volume 12076 of Lecture Notes in Computer Science, page 482-501. Springer, (2020)A structural operational semantics for interactions with a look at loops., , and . CoRR, (2021)Equivalence of Denotational and Operational Semantics for Interaction Languages., , and . TASE, volume 13299 of Lecture Notes in Computer Science, page 113-130. Springer, (2022)Revisiting Semantics of Interactions for Trace Validity Analysis., , and . CoRR, (2019)A Term-based Approach for Generating Finite Automata from Interaction Diagrams., , , , and . CoRR, (2023)An operational semantics of interactions for verifying partially observed executions of distributed systems. (Sémantique opérationnelle des interactions pour la vérification d'exécutions partiellement observées de systèmes distribués).. University of Paris-Saclay, France, (2021)