Distributed Computing by Oblivious Mobile Robots. Synthesis Lectures on Distributed Computing Theory, 2012. ,
DOI : 10.2200/s00440ed1v01y201208dct010
Recent Advances on Multi-agent Patrolling, Advances in Artificial Intelligence -SBIA 2004, 17th Brazilian Symposium on Artificial Intelligence Proceedings, pp.474-483, 2004. ,
DOI : 10.1007/978-3-540-28645-5_48
URL : https://hal.archives-ouvertes.fr/hal-01499300
Computing Without Communicating: Ring Exploration by Asynchronous Oblivious Robots, Algorithmica, vol.28, issue.3, pp.562-583, 2013. ,
DOI : 10.1137/S009753979628292X
URL : https://hal.archives-ouvertes.fr/hal-00912499
Exclusive Perpetual Ring Exploration without Chirality, Proc. of 24th Int. Symp. in Distributed Computing (DISC'10), pp.312-327, 2010. ,
DOI : 10.1007/978-3-642-15763-9_29
URL : https://hal.archives-ouvertes.fr/inria-00464206
Distributed Anonymous Mobile Robots: Formation of Geometric Patterns, SIAM Journal on Computing, vol.28, issue.4, pp.1347-1363, 1999. ,
DOI : 10.1137/S009753979628292X
Uncertainty and imprecision modeling for the mobile robot localization??problem, Autonomous Robots, vol.128, issue.1???2, pp.267-283, 2008. ,
DOI : 10.1137/1.9781611970906
Gathering of six robots on anonymous symmetric rings ,
URL : https://hal.archives-ouvertes.fr/hal-00644039
Asynchronous Mobile Robot Gathering from Symmetric Configurations without Global Multiplicity Detection, Proc. of 18th Int. Coll. on Structural Information and Communication Complexity (SIROCCO'11), pp.150-161, 2011. ,
DOI : 10.1007/11429647_20
URL : https://hal.archives-ouvertes.fr/hal-01285680
Gathering an even number of robots in an odd ring without global multiplicity detection, Proc. of Int. Conf. on Mathematical Foundations of Computer Science (MFCS'12), pp.542-553 ,
URL : https://hal.archives-ouvertes.fr/hal-00934132
Gathering of asynchronous robots with limited visibility, Theoretical Computer Science, vol.337, issue.1-3, pp.147-168, 2005. ,
DOI : 10.1016/j.tcs.2005.01.001
Model Checking, 2001. ,
Principles of model checking, 2008. ,
Specifying and verifying fault-tolerant systems, Proc. of Third Int. Symp. on Formal Techniques in Real-Time and Fault- Tolerant Systems (FTRTFT'94), organized jointly with the Working Group Provably Correct Systems -Pro- CoS, pp.41-76, 1994. ,
DOI : 10.1007/3-540-58468-4_159
Mechanical Verification of Automatic Synthesis of Fault-Tolerant Programs, Proc. of 14th Int. Symp. on Logic Based Program Synthesis and Transformation, pp.36-52, 2004. ,
DOI : 10.1007/11506676_3
Model checking transactional memories, Distributed Computing, vol.54, issue.4, pp.129-145, 2010. ,
DOI : 10.1007/s00446-009-0092-6
Algorithmic Verification of Population Protocols, Proc. of 12th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'10), pp.221-235, 2010. ,
DOI : 10.1137/0201010
Guidelines for the Verification of Population Protocols, 2011 31st International Conference on Distributed Computing Systems, pp.215-224, 2011. ,
DOI : 10.1109/ICDCS.2011.36
Formal Verification of Consensus Algorithms Tolerating Malicious Faults, Proc. of 13th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'11), pp.120-134, 2011. ,
DOI : 10.1007/978-3-540-87779-0_32
URL : https://hal.archives-ouvertes.fr/hal-00639048
Towards Verification of the Pastry Protocol Using TLA???+???, Proc of Joint 13t Int. Conf. (FMOODS'11) 2011, and 31st Int. Conf. (FORTE'11) on Formal Techniques for Distributed Systems, pp.244-258, 2011. ,
DOI : 10.1007/3-540-48153-2_6
URL : https://hal.archives-ouvertes.fr/inria-00593523
Verification of consensus algorithms using satisfiability solving, Distributed Computing, pp.341-358, 2011. ,
DOI : 10.1109/TDSC.2006.13
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
On the verification of broadcast protocols, Proceedings. 14th Symposium on Logic in Computer Science (Cat. No. PR00158), pp.352-359, 1999. ,
DOI : 10.1109/LICS.1999.782630
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
Parameterized Model Checking of Rendezvous Systems, CONCUR 2014 Concurrency Theory, pp.109-124, 2014. ,
DOI : 10.1007/978-3-662-44584-6_9
Reasoning about rings, Proceedings of the 22Nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp.85-94, 1995. ,
DOI : 10.1145/199448.199468
Temporal verification diagrams, Proc.of Int. Conf. on Theoretical Aspects of Computer Software (TACS'94), pp.726-765, 1994. ,
DOI : 10.1007/3-540-57887-0_123
URL : ftp://theory.stanford.edu/pub/sipma/FST-TCS95.ps
Veryfying parameterized networks using abstraction and regular languages, Proc. of 6th Int. Conf. on Concurrency Theory (CONCUR'95), pp.395-407, 1995. ,
DOI : 10.1007/3-540-60218-6_30
URL : http://www.cs.technion.ac.il/users/orna/final-concur95.ps
STeP: Deductive-algorithmic verification of reactive and real-time systems, Proc. of 8th Int. Conf. on Computer Aided Verification (CAV'96), volume 1102 of LNCS, pp.415-418, 1996. ,
DOI : 10.1007/3-540-61474-5_92
Visual verification of reactive systems, Proc. of 3d Int. Workshop on Tools and Algorithms for Construction and Analysis of Systems (TACAS'97, pp.334-350, 1997. ,
DOI : 10.1007/BFb0035398
Diagram refinements for the design of reactive systems, J. Univ. Comp. Sci, vol.7, issue.2, pp.159-174, 2001. ,
Parameterized Verification with Automatically Computed Inductive Assertions?, Proc. of 13th Int. Conf. on Computer Aided Verification (CAV'01), volume 2102 of LNCS, pp.221-234, 2001. ,
DOI : 10.1007/3-540-44585-4_19
URL : http://www.wisdom.weizmann.ac.il/home/tamarah/public_html/Cav01/aprxz01.ps.gz
Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms, Formal Methods for Executable Software Models, pp.122-171, 2014. ,
DOI : 10.1007/s00446-007-0026-0
Optimal Grid Exploration by Asynchronous Oblivious Robots, Proc of 14th Int. Symp. on Stabilization , Safety, and Security of Distributed Systems (SSS'12), pp.64-76, 2012. ,
DOI : 10.1007/978-3-642-33536-5_7
URL : https://hal.archives-ouvertes.fr/hal-00934161
Brief Announcement: Discovering and Assessing Fine-Grained Metrics in Robot Networks Protocols, Proc of 14th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'12), pp.282-284, 2012. ,
DOI : 10.1007/978-3-642-33536-5_28
URL : https://hal.archives-ouvertes.fr/hal-00934186
The synchronous dataflow programming language Lustre, Proceedings of the IEEE, pp.1305-1320, 1991. ,
DiVinE 3.0 ??? An Explicit-State Model Checker for Multithreaded C & C++ Programs, Proc. of 25th Int. Conf. on Computer Aided Verification (CAV'13), pp.863-868, 2013. ,
DOI : 10.1007/978-3-642-39799-8_60
Towards Distributed Software Model-Checking Using Decision Diagrams, Proc. of 25th Int. Conf. on Computer Aided Verification (CAV'13), pp.830-845, 2013. ,
DOI : 10.1007/978-3-642-39799-8_58
URL : https://hal.archives-ouvertes.fr/hal-01215999
UPPAAL-Tiga: Time for Playing Games!, 19th International Conference on Computer Aided Verification, CAV'07, pp.121-125, 2007. ,
DOI : 10.1007/978-3-540-73368-3_14
URL : https://hal.archives-ouvertes.fr/hal-00350466
Di- VinE: Parallel Distributed Model Checker (Tool paper ), Parallel and Distributed Methods in Verification and High Performance Computational Systems Biology, pp.4-7, 2010. ,
DOI : 10.1109/pdmc-hibi.2010.9
The model checker SPIN, IEEE Transactions on Software Engineering, vol.23, issue.5, 2003. ,
DOI : 10.1109/32.588521
LTSmin: Distributed and Symbolic Reachability ,
DOI : 10.1007/978-3-642-14295-6_31
Systems and Software Verification: Model-Checking Techniques and Tools, 2010. ,
DOI : 10.1007/978-3-662-04558-9
Introduction to Formal Language Theory, 1978. ,
UPPAAL ? a Tool Suite for Automatic Verification of Real?Time Systems, Proc. of Workshop on Verification and Control of Hybrid Systems III, number 1066 in Lecture Notes in Computer Science, pp.232-243, 1995. ,
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering, Proc. of 16th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'14), pp.237-251, 2014. ,
DOI : 10.1007/978-3-319-11764-5_17
URL : https://hal.archives-ouvertes.fr/hal-01016832
Supervisory control of a class of discrete event processes, Proc. of 6th Int. Conf. on Analysis and Optimization of Systems, 1984. ,
On the Synthesis of Mobile Robots Algorithms: The Case of Ring Gathering, Proc. of 16th Int. Symp. on Stabilization, Safety, and Security of Distributed Systems (SSS'14), pp.237-251, 2014. ,
DOI : 10.1007/978-3-319-11764-5_17
URL : https://hal.archives-ouvertes.fr/hal-01016832