Author of the publication

Runtime Monitoring for Concurrent Systems.

, , , , , , and . RV, volume 10012 of Lecture Notes in Computer Science, page 386-403. Springer, (2016)

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

Verification of the Deutsch-Schorr-Waite Marking Algorithm with Modal Logic., , , and . VSTTE, volume 5295 of Lecture Notes in Computer Science, page 115-129. Springer, (2008)Pedagogical Lessons from an International Collaborative Big Data Undergraduate Research Project., , and . ECSA Workshops, page 32:1-32:6. ACM, (2015)A decision procedure for alternation-free modal µ-calculi., , and . Advances in Modal Logic, page 341-362. College Publications, (2008)Using Coq in Specification and Program Extraction of Hadoop MapReduce Applications., , , , and . SEFM, volume 7041 of Lecture Notes in Computer Science, page 350-365. Springer, (2011)Model-Based Testing for MQTT Applications., , and . JCKBSE, volume 19 of Learning and Analytics in Intelligent Systems, page 47-59. Springer, (2020)Automated verification of pattern-based interaction invariants in Ajax applications., , , and . ASE, page 158-168. IEEE, (2013)Decidability and Undecidability Results on the Modal µ-Calculus with a Natural Number-Valued Semantics., , and . WoLLIC, volume 6188 of Lecture Notes in Computer Science, page 148-160. Springer, (2010)Keys and Roles of Formal Methods Education for Industry: 10 Year Experience with Top SE Program., , and . FMSEE&T@FM, volume 1385 of CEUR Workshop Proceedings, page 35-42. CEUR-WS.org, (2015)Pre- and Post-Conditions Expressed in Variants of the Modal µ-Calculus., , , and . IEICE Trans. Inf. Syst., 92-D (5): 995-1002 (2009)Model-based Network Fault Injection for IoT Protocols., , , and . ENASE, page 201-209. SciTePress, (2019)