( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Tooling Offline Runtime Verification against Interaction Models: recognizing sliced behaviors using parameterized simulation.

, , , , и . J. Object Technol., 23 (2): 2 (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.

Mahe vara

Gaël Mahé

Kamran Maher

Christine Erwand

Erwan Brottier

 

Другие публикации лиц с тем же именем

A small-step approach to multi-trace checking against interactions., , , , и . CoRR, (2020)Dealing with observability in interaction-based Offline Runtime Verification of Distributed Systems., , , , и . CoRR, (2022)Denotational and operational semantics for interaction languages: Application to trace analysis., , и . Sci. Comput. Program., (января 2024)A small-step approach to multi-trace checking against interactions., , , , и . SAC, стр. 1815-1822. ACM, (2021)Revisiting Semantics of Interactions for Trace Validity Analysis., , и . FASE, том 12076 из Lecture Notes in Computer Science, стр. 482-501. Springer, (2020)A structural operational semantics for interactions with a look at loops., , и . CoRR, (2021)Equivalence of Denotational and Operational Semantics for Interaction Languages., , и . TASE, том 13299 из Lecture Notes in Computer Science, стр. 113-130. Springer, (2022)A Term-based Approach for Generating Finite Automata from Interaction Diagrams., , , , и . CoRR, (2023)Revisiting Semantics of Interactions for Trace Validity Analysis., , и . CoRR, (2019)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)