, A calculus for collective-adaptive systems and its behavioural theory. Information and Computation, p.268, 2019.
,
An Introduction to Population Protocols, Middleware for Network Eccentric and Mobile Applications, pp.97-120, 2009. ,
Population growth and collapse in a multiagent model of the Kayenta Anasazi in Long House Valley, Proceedings of the National Academy of Sciences, vol.99, issue.3, pp.7275-7279, 2002. ,
Modeling the decline of labor-sharing in the semidesert region of Chile, Regional Environmental Change, vol.18, issue.4, pp.1161-1172, 2018. ,
,
Symbolic model checking without BDDs, 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems (TACAS), vol.1579, pp.193-207, 1999. ,
Peregrine: A Tool for the Analysis of Population Protocols, 30th International Conference on Computer Aided Verification (CAV), vol.10981, pp.604-611, 2018. ,
Automated verification of multi-agent programs, 23rd International Conference on Automated Software Engineering (ASE), pp.69-78, 2008. ,
Synthesising interprocedural bit-precise termination proofs, 30th International Conference on Automated Software Engineering (ASE), pp.53-64, 2015. ,
A tool for checking ANSI-C programs, 10th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), pp.168-176, 2004. ,
Multi-agent systems with virtual stigmergy, Science of Computer Programming, vol.187, 2020. ,
Verifying properties of systems relying on attribute-based communication, ModelEd, TestEd, TrustEd. LNCS, vol.10500, pp.169-190, 2017. ,
Action versus state based logics for transition systems, Semantics of Systems of Concurrent Processes, vol.469, pp.407-419, 1990. ,
The economy needs agent-based modelling, Nature, vol.460, issue.7256, pp.685-686, 2009. ,
ESBMC 5.0: An industrial-strength C model checker, 33rd International Conference on Automated Software Engineering (ASE), pp.888-891, 2018. ,
,
Compositional verification of asynchronous concurrent systems using, CADP. Acta Informatica, vol.52, issue.4-5, pp.337-392, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01138749
,
CADP 2011: A toolbox for the construction and analysis of distributed processes. Software Tools for, Technology Transfer, vol.15, issue.2, pp.89-107, 2013. ,
URL : https://hal.archives-ouvertes.fr/hal-00715056
From LOTOS to LNT, ModelEd, TestEd, TrustEd. LNCS, vol.10500, pp.3-26, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01621670
On the semantics of communicating hardware processes and their translation into LOTOS for the verification of asynchronous circuits with CADP, Science of Computer Programming, vol.74, issue.3, pp.100-127, 2009. ,
URL : https://hal.archives-ouvertes.fr/inria-00381642
,
, Communicating Sequential Processes, 1985.
LOTOS -A formal description technique based on the temporal ordering of observational behaviour, International Standard, vol.8807, 1989. ,
Results on the propositional mu-Calculus, Theoretical Computer Science, vol.27, pp.90125-90131, 1983. ,
Compositional verification of concurrent systems by combining bisimulations, 3rd World Congress on Formal Methods (FM), vol.11800, pp.196-213, 2019. ,
URL : https://hal.archives-ouvertes.fr/hal-02295459
Sharp congruences adequate with temporal logics combining weak and strong modalities, 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), vol.12079, pp.57-76, 2020. ,
URL : https://hal.archives-ouvertes.fr/hal-02555692
MCMAS: An open-source model checker for the verification of multi-agent systems, Software Tools for Technology Transfer, vol.19, issue.1, pp.9-30, 2017. ,
A Model Checking Language for Concurrent Value-Passing Systems, 15th International Symposium on Formal Methods (FM), vol.5014, pp.148-164, 2008. ,
URL : https://hal.archives-ouvertes.fr/inria-00315312
A Tuple Space for Data Sharing in Robot Swarms, 9th International Conference on Bio-inspired Information and Communications Technologies (BICT), pp.287-294, 2015. ,
Fairness and related properties in transition systems -A temporal logic to deal with fairness, Acta Informatica, vol.19, pp.195-220, 1983. ,
Statistical Model Checking of Black-Box Probabilistic Systems, 16th International Conference on Computer Aided Verification (CAV), vol.3114, pp.202-215, 2004. ,
Heterogeneous interacting agent models for understanding monetary economies, Eastern Economic Journal, vol.37, issue.1, pp.6-12, 2011. ,
A state/event-based model-checking approach for the analysis of abstract system properties, Science of Computer Programming, vol.76, issue.2, pp.119-135, 2011. ,
Assurance of Agent Systems: What Role Should Formal Verification Play? In: Specification and Verification of Multi-Agent Systems, pp.353-383, 2010. ,