Richard Lassaigne

2008
15	EE	Alexandre Borghi, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: Cell Assisted APMC. QEST 2008: 75-76
14	EE	Richard Lassaigne, Sylvain Peyronnet: Probabilistic verification and approximation. Ann. Pure Appl. Logic 152(1-3): 122-131 (2008)
13	EE	Marie-Claude Gaudel, Alain Denise, Sandrine-Dominique Gouraud, Richard Lassaigne, Johan Oudinet, Sylvain Peyronnet: Coverage-biased Random Exploration of Models. Electr. Notes Theor. Comput. Sci. 220(1): 3-14 (2008)
2007
12	EE	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic abstraction for model checking: An approach based on property testing. ACM Trans. Comput. Log. 8(4): (2007)
11	EE	Michaël Cadilhac, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet, Sébastien Tixeuil: Evaluating Complex MAC Protocols for Sensor Networks with APMC. Electr. Notes Theor. Comput. Sci. 185: 33-46 (2007)
2006
10	EE	Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: APMC 3.0: Approximate Verification of Discrete and Continuous Time Markov Chains. QEST 2006: 129-130
9	EE	Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet: Uniform random sampling of traces in very large models. Random Testing 2006: 10-19
8	EE	Alain Denise, Marie-Claude Gaudel, Sandrine-Dominique Gouraud, Richard Lassaigne, Sylvain Peyronnet: Uniform Random Sampling of Traces in Very Large Models CoRR abs/cs/0606086: (2006)
7	EE	Guillaume Guirado, Thomas Hérault, Richard Lassaigne, Sylvain Peyronnet: Distribution, Approximation and Probabilistic Model Checking. Electr. Notes Theor. Comput. Sci. 135(2): 19-30 (2006)
6	EE	Richard Lassaigne, Sylvain Peyronnet: Probabilistic Verification and Approximation. Electr. Notes Theor. Comput. Sci. 143: 101-114 (2006)
2005
5	EE	Marie Duflot, Laurent Fribourg, Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Stéphane Messika, Sylvain Peyronnet, Claudine Picaronny: Probabilistic Model Checking of the CSMA/CD Protocol Using PRISM and APMC. Electr. Notes Theor. Comput. Sci. 128(6): 195-214 (2005)
2004
4	EE	Thomas Hérault, Richard Lassaigne, Frédéric Magniette, Sylvain Peyronnet: Approximate Probabilistic Model Checking. VMCAI 2004: 73-84
2002
3	EE	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic Abstraction for Model Checking: An Approach Based on Property Testing. LICS 2002: 30-39
2	EE	Richard Lassaigne, Sylvain Peyronnet: Approximate Verification of Probabilistic Systems. PAPM-PROBMIV 2002: 213-214
2001
1	EE	Sophie Laplante, Richard Lassaigne, Frédéric Magniez, Sylvain Peyronnet, Michel de Rougemont: Probabilistic abstraction for model checking: An approach based on property testing Electronic Colloquium on Computational Complexity (ECCC) 8(51): (2001)

Coauthor Index

1	Alexandre Borghi	[15]
2	Michaël Cadilhac	[11]
3	Alain Denise	[8] [9] [13]
4	Marie Duflot	[5]
5	Laurent Fribourg	[5]
6	Marie-Claude Gaudel	[8] [9] [13]
7	Sandrine-Dominique Gouraud	[8] [9] [13]
8	Guillaume Guirado	[7]
9	Thomas Hérault	[4] [5] [7] [10] [11] [15]
10	Sophie Laplante	[1] [3] [12]
11	Frédéric Magniette	[4] [5]
12	Frédéric Magniez	[1] [3] [12]
13	Stéphane Messika	[5]
14	Johan Oudinet	[13]
15	Sylvain Peyronnet	[1] [2] [3] [4] [5] [6] [7] [8] [9] [10] [11] [12] [13] [14] [15]
16	Claudine Picaronny	[5]
17	Michel de Rougemont	[1] [3] [12]
18	Sébastien Tixeuil	[11]