Safety and Verification Track
Anurag Agarwal, Vijay Garg and Vinit Ogale. Modeling and Analyzing Periodic Distributed Computations
Fuad Abujarad and Sandeep Kulkarni. Complexity Issues in Automated Model Revision Without Explicit Legitimate States
Ioannis Chatzigiannakis, Othon Michail and Paul Spirakis. Algorithmic Verification of Population Protocols