Well (and better) quasi-ordered transition systems, The Bulletin of Symbolic Logic, vol.16, issue.4, pp.457-515, 2010. ,
Regular model checking without transducers (on efficient verification of parameterized systems), pp.721-736, 2007. ,
A framework for the verification of parameterized infinite-state systems*, CEUR Workshop Proceedings 1195, pp.302-308, 2014. ,
A new decision procedure for finite sets and cardinality constraints in SMT, IJCAR'16 Proceedings, pp.82-98, 2016. ,
, CVC4. In: CAV'11 Proceedings, vol.6806, pp.171-177, 2011.
Rigorous component-based system design using the BIP framework, IEEE Software, vol.28, issue.3, pp.41-48, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-00722395
Tools and Algorithms for the Construction and Analysis of Systems, pp.188-203, 2000. ,
D-finder: A tool for compositional deadlock detection and verification, CAV'09 Proceedings, vol.5643, pp.614-619, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00722550
Decidability of Parameterized Verification, Synthesis Lectures on Distributed Computing Theory, 2015. ,
Abstract regular model checking, Computer Aided Verification, pp.372-386, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00159512
Checking Deadlock-Freedom of Parametric Component-Based Systems, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-02388021
Learning to prove safety over parameterised concurrent systems, Formal Methods in Computer Aided Design, pp.76-83, 2017. ,
Cubicle: A parallel smt-based model checker for parameterized systems, Computer Aided Verification, pp.718-724, 2012. ,
URL : https://hal.archives-ouvertes.fr/hal-00799272
Reasoning about rings, POPL'95 Proceedings, pp.85-94, 1995. ,
Reasoning about systems with many processes, J. ACM, vol.39, issue.3, pp.675-735, 1992. ,
Symbolic model checking with rich assertional languages, Theoretical Computer Science, vol.256, issue.1, pp.93-112, 2001. ,
Deciding boolean algebra with Presburger arithmetic, J. Autom. Reasoning, vol.36, issue.3, pp.213-239, 2006. ,
Über Möglichkeiten im Relativkalkül, Math. Ann, vol.470, pp.76-447, 1915. ,
Proving properties of a ring of finite-state machines, Inf. Process. Lett, vol.28, issue.4, pp.213-214, 1988. ,