, , p.505
Decidability of Parameterized Verification, Synthesis Lectures 506 on Distributed Computing Theory, 2015. ,
On the 509 complexity of parameterized reachability in reconfigurable broadcast networks, Proceedings of 510 the 32nd Conference on Foundations of Software Technology and Theoretical Computer Science 511 (FSTTCS'12), vol.18, pp.289-300 ,
, , 2012.
Parameterized verification of 514 ad hoc networks, Proceedings of the 21st International Conference on Concurrency Theory 515 (CONCUR'10), vol.6269, pp.313-327, 2010. ,
Verification of ad hoc networks 518 with node and communication failures, Proceedings of the 32nd International Conference on, p.519 ,
, Formal Techniques for Distributed Systems (FMOODS/FORTE'12), volume 7273 of Lecture 520 Notes in Computer Science, 2012.
Symmetry and model checking. Formal Methods in 522 System Design, vol.9, pp.105-131, 1996. ,
Keeping a crowd safe: On the complexity of parameterized verification 524 (invited talk), Proceedings of the 31st Symposium on Theoretical Aspects of Computer, p.525 ,
, Leibniz International Proceedings in Informatics, vol.25, pp.526-527, 2014.
Parameterized verification of asyn-528 chronous shared-memory systems, Proceedings of the 25th International Conference on, p.529 ,