Author of the publication

Playing with Probabilities in Reconfigurable Broadcast Networks.

, , and . FoSSaCS, volume 8412 of Lecture Notes in Computer Science, page 134-148. Springer, (2014)

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 memoryful linear-time logics over one-counter automata., , and . Theor. Comput. Sci., 411 (22-24): 2298-2316 (2010)Model checking memoryful linear-time logics over one-counter automata, , and . CoRR, (2008)Parameterized verification of time-sensitive models of ad hoc network protocols., , , , and . Theor. Comput. Sci., (2016)The Complexity of Flat Freeze LTL., , and . Log. Methods Comput. Sci., (2019)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)Weak Time Petri Nets Strike Back!., and . CONCUR, volume 5710 of Lecture Notes in Computer Science, page 557-571. Springer, (2009)Reachability in Distributed Memory Automata., , and . CSL, volume 183 of LIPIcs, page 13:1-13:16. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2021)On the Verification of Timed Ad Hoc Networks., , , , and . FORMATS, volume 6919 of Lecture Notes in Computer Science, page 256-270. Springer, (2011)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)Adding Data Registers to Parameterized Networks with Broadcast., , and . Fundam. Informaticae, 143 (3-4): 287-316 (2016)