Author of the publication

Model Checking Strategy-Controlled Rewriting Systems (System Description).

, , , and . FSCD, volume 131 of LIPIcs, page 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)

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

Model Checking Strategy-Controlled Rewriting Systems (System Description)., , , and . FSCD, volume 131 of LIPIcs, page 34:1-34:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2019)A Maude specification of an object-oriented model for telecommunication networks., and . Theor. Comput. Sci., 285 (2): 407-439 (2002)Simulating and model checking membrane systems using strategies in Maude., , , and . CoRR, (2024)Metalevel transformation of strategies., , , and . CoRR, (2024)Strategies, model checking and branching-time properties in Maude., , , and . J. Log. Algebraic Methods Program., (2021)Proving VLRL Action Properties with the Maude Model Checker., and . WRLA, volume 117 of Electronic Notes in Theoretical Computer Science, page 113-133. Elsevier, (2004)Conditional Narrowing Modulo in Rewriting Logic and Maude., , , and . WRLA, volume 8663 of Lecture Notes in Computer Science, page 80-96. Springer, (2014)Towards a Verification Logic for Rewriting Logic., , , , and . WADT, volume 1827 of Lecture Notes in Computer Science, page 438-458. Springer, (1999)Model checking strategy-controlled systems in rewriting logic., , , and . Autom. Softw. Eng., 29 (1): 7 (2022)Specifying and Analyzing the Kademlia Protocol in Maude., and . ICTAC, volume 9399 of Lecture Notes in Computer Science, page 524-541. Springer, (2015)