Articles in International Journals
- Round- and context-bounded control of dynamic pushdown systems. In Formal Methods in System Design, 2023. [ doi | bib ]
- Synthesis in presence of dynamic links. In Information and Computation, 2021. [ doi ]
- Parameterized verification of algorithms for oblivious robots on a ring. In Formal Methods in System Design: 1-35, 2019. [ PDF | bib ]
- Formal Methods for Mobile Robots: Current Results and Open Problems. In International Journal of Informatics Society, 2015. [ PDF | bib ]
- Probabilistic Opacity for Markov Decision Processes. In Information Processing Letters, 2015. [ PDF | doi | bib ]
- On regions and zones for event-clock automata. In Formal Methods in System Design: 1-51, 2014. [ PDF | doi | bib ]
- Fair Synthesis for Asynchronous Distributed Systems. In ACM Transactions on Computational Logic, 14 (2): 9:1-9:31, 2013. [ PDF | doi | bib ]
- Decidability of well-connectedness for distributed synthesis. In Information Processing Letters, 112 (24): 963-968, 2012. [ PDF | doi | bib ]
- Distributed synthesis for well-connected architectures. In Formal Methods in System Design, 34 (3): 215-237, 2009. [ PDF | bib ]
Book chapters
- Formal Methods for Mobile Robots. In Distributed Computing by Mobile Entities: Current Research in Moving and Computing, pages 278-313, Springer International Publishing, 2019. [ bib ]
- Distributed Control. In Models and Analysis for Distributed Systems, pages 307-351, Wiley, 2011. [ bib ]
Articles in International Conferences
- Safety Analysis of Parameterised Networks with Non-Blocking Rendez-Vous. In 34th International Conference on Concurrency Theory (CONCUR 2023), pages 7:1-7:17, Schloss Dagstuhl -- Leibniz-Zentrum für Informatik, Dagstuhl, Germany, Leibniz International Proceedings in Informatics (LIPIcs) 279, 2023. [ bib ]
- Synthesis in Presence of Dynamic Links. In Proceedings 11th International Symposium on Games, Automata, Logics, and Formal Verification, GandALF 2020, Brussels, Belgium, September 21-22, 2020, pages 33-49, EPTCS 326, 2020. [ PDF | doi | bib ]
- On the encoding and solving of partial information games. In 8th Edition of the International Conference on Networked Systems (NETYS'20), Springer, Lecture Notes in Computer Science , 2020. [ PDF | bib ]
- Parameterized Synthesis for Fragments of First-Order Logic over Data Words. In 23rd International Conference on Foundations of Software Science and Computation Structures, Proceedings of FOSSACS'20, Springer, Lecture Notes in Computer Science , 2020. [ PDF | bib ]
- Round-Bounded Control of Parameterized Systems. In 16th International Symposium on Automated Technology for Verification and Analysis, Proceedings of ATVA'18, pages 370-386, Springer, Lecture Notes in Computer Science 11138, 2018. [ PDF | bib ]
- Parameterized Verification of Algorithms for Oblivious Robots on a Ring. In 17th Conference on Formal Methods in Computer-Aided Design, Proceedings of FMCAD'17, 2017. [ PDF | bib ]
- On the Synthesis of Mobile Robots Algorithms: the Case of Ring Gathering. In Proceedings of SSS'14, 16th International Symposium on Stabilization, Safety, and Security of Distributed Systems, Springer, Lecture Notes in Computer Science , 2014. [ PDF | bib ]
- Concurrent Games on VASS with Inhibition. In Proceedings of CONCUR'12, 23th International Conference on Concurrency Theory, pages 39-52, Springer, Lecture Notes in Computer Science 7454, 2012. [ PDF | bib ]
- Event-clock automata: from theory to practice. In Proceedings of FORMATS'11, pages 209-224, Springer, Lecture Notes in Computer Science 6919, 2011. [ PDF | bib ]
- Safraless procedures for timed specifications. In Proceedings of FORMATS'10, pages 2-22, Springer, Lecture Notes in Computer Science 6246, 2010. [ PDF | bib ]
- Natural Specifications Yield Decidability for Distributed Synthesis of Asynchronous Systems. In Proceedings of SOFSEM'09, pages 141-152, Springer, Špindlerruv Ml`yn, Czech Republic, Lecture Notes in Computer Science 5404, 2009. [ PDF | bib ]
- Quantitative and Probabilisitic Modeling in Pathway Logic. In Proceedings of BIBE'07, pages 922-929, IEEE Computer Society Press, Boston, Massachussetts, USA, 2007. [ PDF | bib ]
- Distributed synthesis for well-connected architectures. In Proceedings of FSTTCS'06, pages 321-332, Springer, Kolkata, India, Lecture Notes in Computer Science 4337, 2006. [ PDF | bib ]
Master's Theses
- Synthèse de contrôleur pour les systèmes distribués synchrones. Master's Thesis, Master Parisien de Recherche en Informatique, Paris, France, 2005. [ PDF | bib ]
PhD Theses
- Synthèse de systèmes distribués ouverts. Ph.D. Thesis, École Normale Supérieure de Cachan, 2009. [ PDF | bib ]
Technical Reports
- Concurrent Games on~VASS with Inhibition. Technical Report LSV-12-10, Laboratoire Spécification et Vérification, ENS Cachan, France, 2012. [ PDF | bib ]
- Decidability of well-connectedness for distributed Synthesis. Technical Report, LSV, ENS Cachan, 2010. [ PDF | bib ]