P. A. Abdulla and G. Delzanno, , vol.18, pp.469-473, 2016.

P. A. Abdulla, G. Delzanno, N. B. Henda, and A. Rezine, Monotonic abstraction: on efficient verification of parameterized systems, Int. J. Found. Comput. Sci, vol.20, issue.5, pp.779-801, 2009.

F. Alberti, S. Ghilardi, and N. Sharygina, A framework for the verification of parameterized infinite-state systems, Fundam. Inform, vol.150, issue.1, pp.1-24, 2017.

D. Ancona, A. Ferrando, and V. Mascardi, Parametric runtime verification of multiagent systems, Proceedings of the 16th Conference on Autonomous Agents and MultiAgent Systems, vol.2017, pp.1457-1459, 2017.

N. Bertrand, G. Delzanno, B. König, A. Sangnier, and J. Stückrath, On the decidability status of reachability and coverability in graph transformation systems, Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, vol.15, pp.101-116, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00752446

N. Bertrand, P. Fournier, and A. Sangnier, Distributed local strategies in broadcast networks, 26th International Conference on Concurrency Theory, pp.44-57, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01243595

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin et al., Decidability of Parameterized Verification, Synthesis Lectures on Distributed Computing Theory, 2015.
DOI : 10.2200/s00658ed1v01y201508dct013

R. Bloem, S. Jacobs, A. Khalimov, I. Konnov, S. Rubin et al., Decidability in parameterized verification, SIGACT News, vol.47, issue.2, pp.53-64, 2016.
DOI : 10.1145/2951860.2951873

S. Conchon, A. Goel, S. Krstic, A. Mebsout, and F. Za¨?diza¨?di, Cubicle: A parallel smtbased model checker for parameterized systems-tool paper, Computer Aided Verification-24th International Conference, CAV 2012, pp.718-724, 2012.
DOI : 10.1007/978-3-642-31424-7_55
URL : https://hal.archives-ouvertes.fr/hal-00799272/file/tool.pdf

S. Conchon, A. Goel, S. Krstic, A. Mebsout, and F. Za¨?diza¨?di, Invariants for finite instances and beyond, Formal Methods in Computer-Aided Design, pp.61-68, 2013.
DOI : 10.1109/fmcad.2013.6679392
URL : https://hal.archives-ouvertes.fr/hal-00924640

G. Delzanno, A logic-based approach to verify distributed protocols, Proceedings of the 31st Italian Conference on Computational Logic, pp.86-101, 2016.

G. Delzanno, A unified view of parameterized verification of abstract models of broadcast communication, vol.18, pp.475-493, 2016.

G. Delzanno, A. Sangnier, and G. Zavattaro, Parameterized verification of ad hoc networks, CONCUR 2010-Concurrency Theory, 21th International Conference, CONCUR 2010, pp.313-327, 2010.
DOI : 10.1007/978-3-642-15375-4_22

G. Delzanno, A. Sangnier, and G. Zavattaro, On the power of cliques in the parameterized verification of ad hoc networks, Foundations of Software Science and Computational Structures-14th International Conference, FOSSACS 2011, Held as Part of the Joint European Conferences on Theory and Practice of Software, pp.441-455, 2011.

G. Delzanno, A. Sangnier, and G. Zavattaro, Verification of ad hoc networks with node and communication failures, FORTE/FMOODS'12, vol.7273, pp.235-250, 2012.
URL : https://hal.archives-ouvertes.fr/hal-00909367

G. Delzanno and J. Stückrath, Parameterized verification of graph transformation systems with whole neighbourhood operations, Reachability Problems-8th International Workshop, pp.72-84, 2014.
DOI : 10.1007/978-3-319-11439-2_6
URL : http://arxiv.org/pdf/1407.4394.pdf

A. Mebsout, Inférence d'invariants pour le model checking de systèmes paramétrés. (Invariants inference for model checking of parameterized systems), 2014.

K. S. Namjoshi and R. J. Trefler, Uncovering symmetries in irregular process networks, VMCAI, pp.496-514, 2013.
DOI : 10.1007/978-3-642-35873-9_29

K. S. Namjoshi and R. J. Trefler, Analysis of dynamic process networks, Tools and Algorithms for the Construction and Analysis of Systems-21st International Conference, TACAS 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, pp.164-178, 2015.