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

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)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)Reachability in Distributed Memory Automata., , and . CSL, volume 183 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)The Cost of Parameterized Reachability in Mobile Ad Hoc Networks, , , and . CoRR, (2012)ATLsc with partial observation., , and . GandALF, volume 193 of EPTCS, page 43-57. (2015)Verification of Contact Tracing Protocols via SMT-based Model Checking and Counting Abstraction., , and . CILC, volume 3002 of CEUR Workshop Proceedings, page 77-91. CEUR-WS.org, (2021)Parameterized Verification of Broadcast Networks of Register Automata., , and . RP, volume 8169 of Lecture Notes in Computer Science, page 109-121. Springer, (2013)Parameterized Verification of Ad Hoc Networks., , and . CONCUR, volume 6269 of Lecture Notes in Computer Science, page 313-327. Springer, (2010)