Author of the publication

Using LNT Formal Descriptions for Model-Based Diagnosis.

, , , and . DX, volume 2289 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)

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

Hunting Superfluous Locks with Model Checking., , , and . From Software Engineering to Formal Methods and Tools, and Back, volume 11865 of Lecture Notes in Computer Science, page 416-432. Springer, (2019)Compositional verification of concurrent systems by combining bisimulations., , and . Formal Methods Syst. Des., 58 (1-2): 83-125 (2021)Is CADP an Applicable Formal Method?, , , and . AppFM@FM, volume 349 of EPTCS, page 1-11. (2021)IoT composer: composition and deployment of IoT applications., , , , and . ICSE (Companion Volume), page 19-22. IEEE / ACM, (2019)Using LNT Formal Descriptions for Model-Based Diagnosis., , , and . DX, volume 2289 of CEUR Workshop Proceedings, CEUR-WS.org, (2018)Automated Transition Coverage in Behavioural Conformance Testing., , and . ICTSS, volume 12543 of Lecture Notes in Computer Science, page 219-235. Springer, (2020)Distributed On-the-Fly Equivalence Checking., and . PDMC, volume 128 of Electronic Notes in Theoretical Computer Science, page 47-62. Elsevier, (2004)A Framework for Developing DevOps Operation Automation in Clouds using Components-off-the-Shelf., , , , and . ICPE, page 265-276. ACM, (2021)R-MOZART: A Reconfiguration Tool for WebThings Applications., , , , and . ICSE (Companion Volume), page 41-44. IEEE, (2021)Models and analysis for user-driven reconfiguration of rule-based IoT applications., , , , and . Internet Things, (2022)