A Survey of Regular Model Checking, In: CONCUR, vol.12, issue.3, pp.35-48, 2004. ,
DOI : 10.1007/BFb0028736
Limits for automatic verification of finite-state concurrent systems, Information Processing Letters, vol.22, issue.6, pp.307-309, 1986. ,
DOI : 10.1016/0020-0190(86)90071-2
Tight Cutoffs for Guarded Protocols with Fairness, International Conference on Verification, Model Checking, and Abstract Interpretation, pp.476-494, 2016. ,
DOI : 10.1007/978-3-662-49122-5_23
Towards optimal distributed consensus, 30th Annual Symposium on Foundations of Computer Science, pp.410-415, 1989. ,
DOI : 10.1109/SFCS.1989.63511
Optimal deterministic self-stabilizing vertex coloring in unidirectional anonymous networks, 2009 IEEE International Symposium on Parallel & Distributed Processing, pp.1-8, 2009. ,
DOI : 10.1109/IPDPS.2009.5161053
URL : https://hal.archives-ouvertes.fr/hal-01298811
Synthesis of Self-Stabilising and Byzantine-Resilient Distributed Systems, International Conference on Computer Aided Verification, pp.157-176, 2016. ,
DOI : 10.1007/978-3-642-00768-2_13
Regular Model Checking, In: CAV, pp.403-418, 2000. ,
DOI : 10.1007/10722167_31
URL : https://hal.archives-ouvertes.fr/hal-00159512
Satisfiability modulo theories, Communications of the ACM, vol.54, issue.9, pp.69-77, 2011. ,
DOI : 10.1145/1995376.1995394
URL : https://hal.archives-ouvertes.fr/hal-01095009
Self-stabilizing systems in spite of distributed control, Communications of the ACM, vol.17, issue.11, pp.643-644, 1974. ,
DOI : 10.1145/361179.361202
Reducing model checking of the many to the few. Automated Deduction, pp.17-236, 2000. ,
On Reasoning About Rings, International Journal of Foundations of Computer Science, vol.20, issue.04, pp.527-550, 2003. ,
DOI : 10.1145/4904.4999
On the undecidability of deadlock detection in families of nets, Lecture Notes in Computer Science, vol.900, pp.479-490, 1995. ,
DOI : 10.1007/3-540-59042-0_98
Local Reasoning for Global Convergence of Parameterized Rings, 2012 IEEE 32nd International Conference on Distributed Computing Systems, pp.496-505, 2012. ,
DOI : 10.1109/ICDCS.2012.66
Bounded synthesis, International Journal on Software Tools for Technology Transfer, vol.3, issue.3:5, pp.5-6 ,
DOI : 10.1109/SFCS.1988.21948
Reasoning about systems with many processes, Journal of the ACM, vol.39, issue.3, pp.675-735, 1992. ,
DOI : 10.1145/146637.146681
URL : http://www.neng.usu.edu/ece/faculty/bunker/rlist/p675-german.pdf
The Stabilizing Token Ring in Three Bits, Journal of Parallel and Distributed Computing, vol.35, issue.1, pp.43-48, 1996. ,
DOI : 10.1006/jpdc.1996.0066
Alloy: a lightweight object modelling notation, ACM Transactions on Software Engineering and Methodology, vol.11, issue.2, pp.256-290, 2002. ,
DOI : 10.1145/505145.505149
URL : http://sdg.lcs.mit.edu/~dnj/pubs/alloy-journal.pdf
Parameterized synthesis, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.362-376, 2012. ,
DOI : 10.1007/978-3-642-28756-5_25
URL : http://arxiv.org/pdf/1401.3588
Towards Efficient Parameterized Synthesis, International Workshop on Verification, Model Checking, and Abstract Interpretation, pp.108-127, 2013. ,
DOI : 10.1007/978-3-642-35873-9_9
Verifying Livelock Freedom on Parameterized Rings and Chains, International Symposium on Stabilization, Safety, and Security of Distributed Systems, pp.163-177, 2013. ,
DOI : 10.1007/978-3-319-03089-0_12
Shadow/Puppet Synthesis: A Stepwise Method for the Design of Self-Stabilization, IEEE Transactions on Parallel and Distributed Systems, vol.27, issue.11, pp.3338-3350, 2016. ,
DOI : 10.1109/TPDS.2016.2536023
A Structural Induction Theorem for Processes, Information and Computation, vol.117, issue.1, pp.1-11, 1995. ,
DOI : 10.1006/inco.1995.1024
URL : https://doi.org/10.1006/inco.1995.1024
Near-optimal self-stabilising counting and firing squads. arXiv preprint arXiv:1608, p.214, 2016. ,
DOI : 10.1007/978-3-319-49259-9_21
URL : http://arxiv.org/pdf/1608.00214
Distributed reactive systems are hard to synthesis, Proceedings of 31st IEEE Symposium on Foundation of Computer Science, pp.746-757, 1990. ,
Proving properties of a ring of finite-state machines, Information Processing Letters, vol.28, issue.4, pp.213-214, 1988. ,
DOI : 10.1016/0020-0190(88)90211-6
Self-stabilization by local checking and correction, 1993. ,
Self-stabilization by counter flushing, The 13th Annual ACM Symposium on Principles of Distributed Computing, pp.244-253, 1994. ,
DOI : 10.1145/197917.198102