Author of the publication

Adding Data Registers to Parameterized Networks with Broadcast.

, , and . Fundam. Informaticae, 143 (3-4): 287-316 (2016)

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

Graph- versus Vector-Based Analysis of a Consensus Protocol., , and . GRAPHITE, volume 159 of EPTCS, page 44-57. (2014)Model Checking Paxos in Spin., , and . GandALF, volume 161 of EPTCS, page 131-146. (2014)Adding Data Registers to Parameterized Networks with Broadcast., , and . Fundam. Informaticae, 143 (3-4): 287-316 (2016)Parameterized model checking for security policy analysis., , and . Int. J. Softw. Tools Technol. Transf., 18 (5): 559-573 (2016)On the Complexity of Parameterized Reachability in Reconfigurable Broadcast Networks., , , and . FSTTCS, volume 18 of LIPIcs, page 289-300. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2012)Designing and Implementing a Framework for BDI-Style Communicating Agents in Haskell - (Position Paper)., and . DALT, volume 7784 of Lecture Notes in Computer Science, page 203-207. Springer, (2012)The Cost of Parameterized Reachability in Mobile Ad Hoc Networks, , , and . CoRR, (2012)Parameterized Verification of Broadcast Networks of Register Automata., , and . RP, volume 8169 of Lecture Notes in Computer Science, page 109-121. Springer, (2013)Decidability and Complexity Results for Verification of Asynchronous Broadcast Networks., and . LATA, volume 7810 of Lecture Notes in Computer Science, page 238-249. Springer, (2013)Specification and Validation of Link Reversal Routing via Graph Transformations., and . SPIN, volume 7976 of Lecture Notes in Computer Science, page 160-177. Springer, (2013)