Author of the publication

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

Equivalence Between Model-Checking Flat Counter Systems and Presburger Arithmetic., , and . RP, volume 8762 of Lecture Notes in Computer Science, page 85-97. Springer, (2014)Weak Time Petri Nets Strike Back!., and . CONCUR, volume 5710 of Lecture Notes in Computer Science, page 557-571. Springer, (2009)On the Verification of Timed Ad Hoc Networks., , , , and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 256-270. Springer, (2011)On the Parameterized Verification of Abstract Models of Contact Tracing Protocols., , and . OVERLAY@GandALF, volume 2987 of CEUR Workshop Proceedings, page 61-66. CEUR-WS.org, (2021)Reachability in Distributed Memory Automata., , and . CSL, volume 183 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)When Model-Checking Freeze LTL over Counter Machines Becomes Decidable., and . FoSSaCS, volume 6014 of Lecture Notes in Computer Science, page 176-190. Springer, (2010)On the Complexity of Verifying Regular Properties on Flat Counter Systems, ., , and . ICALP (2), volume 7966 of Lecture Notes in Computer Science, page 162-173. Springer, (2013)Taming Past LTL and Flat Counter Systems., , and . IJCAR, volume 7364 of Lecture Notes in Computer Science, page 179-193. Springer, (2012)Towards Model-Checking Programs with Lists., , and . ILC, volume 5489 of Lecture Notes in Computer Science, page 56-86. Springer, (2007)Safety Verification of Wait-Only Non-Blocking Broadcast Protocols., , and . Petri Nets, volume 14628 of Lecture Notes in Computer Science, page 291-311. Springer, (2024)