General decidability theorems for infinite-state systems, LICS. pp, pp.313-321, 1996. ,
Parameterized model checking of synchronous distributed algorithms by abstraction, VMCAI. LNCS, vol.10747, pp.1-24, 2018. ,
, , 2004.
Fast extended release, CAV. pp, pp.63-66, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00344195
, CVC4. In: CAV. pp, pp.171-177, 2011.
Asymptotically optimal distributed consensus, 1989. ,
Towards optimal distributed consensus (extended abstract), FOCS. pp, pp.410-415, 1989. ,
Synchronous consensus under hybrid process and link failures, Theor. Comput. Sci, vol.412, issue.40, pp.5602-5630, 2011. ,
Symbolic model checking without BDDs, TACAS. LNCS, vol.1579, pp.193-207, 1999. ,
Tight bounds for k-set agreement, J. ACM, vol.47, issue.5, pp.912-943, 2000. ,
Completeness and complexity of bounded model checking, VMCAI. LNCS, vol.2937, pp.85-96, 2004. ,
A logic-based framework for verifying consensus algorithms, VMCAI. LNCS, vol.8318, pp.161-181, 2014. ,
Automatic verification of parameterized synchronous systems, CAV, LNCS, vol.1102, pp.87-98, 1996. ,
On reasoning about rings, Int. J. Found. Comput. Sci, vol.14, issue.4, pp.527-550, 2003. ,
Impossibility of distributed consensus with one faulty process, Journal of the ACM, vol.32, issue.2, pp.374-382, 1985. ,
A short counterexample property for safety and liveness verification of fault-tolerant distributed algorithms, POPL. pp, pp.719-734, 2017. ,
SMT and POR beat counter abstraction: Parameterized model checking of threshold-based distributed algorithms, CAV (Part I), vol.9206, pp.85-102, 2015. ,
On the completeness of bounded model checking for threshold-based distributed algorithms: Reachability. Information and Computation, vol.252, pp.95-109, 2017. ,
Efficient computation of recurrence diameters, VMCAI. LNCS, vol.2575, pp.298-309, 2003. ,
Reachability in parameterized systems: All flavors of threshold automata, CONCUR. pp, vol.19, p.17, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01871142
Synthesis of distributed algorithms with parameterized threshold guards, OPODIS. LIPIcs, vol.95, p.20, 2017. ,
Distributed Algorithms, 1996. ,