Books

• Logic and Complexity, Springer-Verlag 2004



• Table of Contents and Introduction
  
  
• Chapter 17: Approximation



• Logique et Complexité, Hermès 1996



• Logique et fondements de l’informatique, Hermès 1993
• Table des matières et Introduction
  
• Errata pour "Logique et fondements de l'informatique"
  
  

Recent papers (since 2002)

• Testing Membership for Timed Automata, with Michel de Rougemont, 2023


• Approximate Planning and Verification for Large Markov Decision Processes, with Sylvain Peyronnet


• Some Approximations for Model Checking and Testing (survey), with Marie-Claude Gaudel, Frédéric Magniez and Michel de Rougemont


• Coverage-biased random exploration of large models and applications to testing, with Alain Denise, Marie-Claude Gaudel and Johan Oudinet, STTT 2012


• Uniform Monte-Carlo Model Checking, with Alain Denise, Marie-Claude Gaudel and Johan Oudinet, FASE 2011


• Coverage-biased random exploration of models, with Alain Denise, Marie-Claude Gaudel, Sandrine—Dominique Gouraud, Johan Oudinet and Sylvain Peyronnet, Invited paper at Model Based Testing (MBT) 2008


• Probabilistic verification and approximation, with Sylvain Peyronnet, Annals of Pure and Applied Logic, vol 152, issues 1-3, march 2008


• Probabilistic abstraction for model checking: An approach based property testing, with Sophie Laplante, Frédéric Magniez, Sylvain Peyronnet and Michel de Rougemont, ACM Transactions on Computational Logic (TOCL-journal) 8(4): 20 (2007)


• Distribution,Approximation and Probabilistic Model Checking, with Guillaume Guirado, Thomas Hérault and Sylvain Peyronnet, ENTCS 2006


• Uniform Random Sampling of Traces in Very Large Models, with Alain Denise, Marie-Claude Gaudel, Sandrine—Dominique Gouraud, Johan Oudinet and Sylvain Peyronnet, Random Testing 2006


• APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains, with Thomas Hérault and Sylvain Peyronnet, Tool paper at the 3rd Int. Conference on the Evaluation of Systems (QEST) 2006: 129-130


• Evaluating complex MAC protocols for sensor networks with APMC, with Michaël Cadilhac, Thomas Hérault, Sylvain Peyronnet and Sébastien Tixeuil, AVoCS 2006


• Approximate Probabilistic Model Checking for Programs, with Jerome Darbon and Sylvain Peyronnet, 2nd International Conference on Intelligent Computer Communication and Processing (ICCP) 2006


• Distribution, Approximation and Probabilistic Model Checking, with Guillaume Guirado, Thomas Hérault and Sylvain Peyronnet, 4th Int. Workshop on Parallel and Distributed Methods in Verification ENTCS 135(2):19-30 (2005)


• Probabilistic Verification and Approximation, with Sylvain Peyronnet, 12th Workshop on Logic, Language, Information and Computation (WoLLIC), ENTCS 143:19-22 (2005)


• Probabilistic Model Checking of the CSMA/CD protocol using PRISM and APMC, with Marie Duflot, Laurent Fribourg, Thomas Hérault, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet and Claudine Picaronny, AVoCS 2004


• Approximate Probabilistic Model Checking, with Thomas Hérault, Frédéric Magniette and Sylvain Peyronnet, 5th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI) LNCS 2397:73-84 (2004)


• Probabilistic Abstraction for Model Checking: An Approach based on Property Testing, with Sophie Laplante, Frédéric Magniez, Sylvain Peyronnet and Michel de Rougemont, In Proceedings of 17th IEEE Symposium on Logic in Computer Science, 2002