Richard Lassaigne

23 papers A* 1B 2C 1Misc 1Journal 9Unranked 8
YearRankTypeTitle / Venue / Authors
2023 J jnl
Testing membership for timed automata.
Acta Informatica
Richard Lassaigne, Michel de Rougemont
2019 J jnl
Testing Membership for Timed Automata.
CoRR
Richard Lassaigne, Michel de Rougemont
2015 J jnl
Approximate planning and verification for large Markov decision processes.
Int. J. Softw. Tools Technol. Transf.
Richard Lassaigne, Sylvain Peyronnet
2013 J jnl
Some approximations in Model Checking and Testing
CoRR
Marie-Claude Gaudel, Richard Lassaigne, Frédéric Magniez, Michel de Rougemont
2012 Misc conf
Approximate planning and verification for large markov decision processes.
SAC
Richard Lassaigne, Sylvain Peyronnet
2012 J jnl
Coverage-biased random exploration of large models and application to testing.
Int. J. Softw. Tools Technol. Transf.
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
2011 B conf
Uniform Monte-Carlo Model Checking.
FASE
Johan Oudinet, Alain Denise, Marie-Claude Gaudel, Richard Lassaigne, Sylvain Peyronnet
2008 — conf
Cell Assisted APMC.
QEST
Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
2008 — conf
Coverage-biased Random Exploration of Models.
MBT@ETAPS
Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet
2008 J jnl
Probabilistic verification and approximation.
Ann. Pure Appl. Log.
Richard Lassaigne, Sylvain Peyronnet
2007 J jnl
Probabilistic abstraction for model checking: An approach based on property testing.
ACM Trans. Comput. Log.
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
2006 — conf
APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains.
QEST
Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
2006 — conf
Evaluating Complex MAC Protocols for Sensor Networks with APMC.
AVoCS
Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil
2006 J jnl
Uniform Random Sampling of Traces in Very Large Models
CoRR
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
2006 — conf
Uniform random sampling of traces in very large models.
Random Testing
Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet
2005 — conf
Distribution, Approximation and Probabilistic Model Checking.
PDMC@ICALP
Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet
2005 C conf
Probabilistic Verification and Approximation.
WoLLIC
Richard Lassaigne, Sylvain Peyronnet
2004 B conf
Approximate Probabilistic Model Checking.
VMCAI
Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet
2004 — book
Logic and complexity.
Richard Lassaigne, Michel de Rougemont
2004 — conf
Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC.
AVoCS
Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny
2002 — conf
Approximate Verification of Probabilistic Systems.
PAPM-PROBMIV
Richard Lassaigne, Sylvain Peyronnet
2002 A* conf
Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing.
LICS
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont
2001 J jnl
Probabilistic abstraction for model checking: An approach based on property testing
Electron. Colloquium Comput. Complex.
Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont