Author of the publication

Test4Enforcers: Test Case Generation for Software Enforcers.

, , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 279-297. Springer, (2020)

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

TkT: Automatic Inference of Timed and Extended Pushdown Automata., , , and . IEEE Trans. Software Eng., 48 (2): 617-636 (2022)A Symbolic Model for Timed Concurrent Constraint Programming., , and . LSFA, volume 312 of Electronic Notes in Theoretical Computer Science, page 161-177. Elsevier, (2014)Algebraic Structures from Concurrent Constraint Programming Calculi for Distributed Information in Multi-Agent Systems., , , , , and . CoRR, (2020)Simulating Signalling Pathways With BioWayS., , , , and . CS2Bio, volume 293 of Electronic Notes in Theoretical Computer Science, page 17-34. Elsevier, (2012)On the Expressiveness of Spatial Constraint Systems., and . ICLP (Technical Communications), volume 52 of OASIcs, page 16:1-16:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Test4Enforcers: Test Case Generation for Software Enforcers., , , and . RV, volume 12399 of Lecture Notes in Computer Science, page 279-297. Springer, (2020)Reasoning about distributed information with infinitely many agents., , , , , and . J. Log. Algebraic Methods Program., (2021)On the expressiveness of spatial constraint systems. (Sur l'expressivité des systèmes de contraintes spatiales).. University of Paris-Saclay, France, (2017)VARYS: an agnostic model-driven monitoring-as-a-service framework for the cloud., , , , , and . ESEC/SIGSOFT FSE, page 1085-1089. ACM, (2019)NGPaaS Framework for Enriched and Customized Virtual Network Functions-as-a-Service., , , , , , , and . EuCNC, page 42-46. IEEE, (2019)