Pascal Raymond

2009
21	EE	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond: Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154
2008
20	EE	Pascal Raymond, Yvan Roux, Erwan Jahier: Specifying and Executing Reactive Scenarios With Lutin. Electr. Notes Theor. Comput. Sci. 203(4): 19-34 (2008)
2007
19	EE	Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens: Virtual execution of AADL models via a translation into synchronous programs. EMSOFT 2007: 134-143
2006
18	EE	Pascal Raymond, Erwan Jahier, Yvan Roux: Describing and Executing Random Reactive Systems. SEFM 2006: 216-225
17	EE	Laure Gonnord, Nicolas Halbwachs, Pascal Raymond: From Discrete Duration Calculus to Symbolic Automata. Electr. Notes Theor. Comput. Sci. 153(4): 3-18 (2006)
16	EE	Erwan Jahier, Pascal Raymond, Philippe Baufreton: Case studies with Lurette V2. STTT 8(6): 517-530 (2006)
2004
15		Erwan Jahier, Pascal Raymond, Philippe Baufreton: Case Studies with Lurette V2. ISoLA (Preliminary proceedings) 2004: 296-303
14	EE	Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond: Counter-example generation in symbolic abstract model-checking. STTT 5(2-3): 158-164 (2004)
2002
13	EE	Pascal Raymond, Yvan Roux: Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
2001
12	EE	David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001)
1999
11	EE	Nicolas Halbwachs, Pascal Raymond: Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN 1999: 1-12
10	EE	Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond: Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50
1998
9	EE	Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber: Automatic Testing of Reactive Systems. IEEE Real-Time Systems Symposium 1998: 200-209
1997
8	EE	David Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic Verification of Parameterized Linear Networks of Processes. POPL 1997: 346-357
1996
7		Pascal Raymond: Recognizing Regular Expressions by Means of Dataflow Networks. ICALP 1996: 336-347
1994
6		Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: A Multiparadigm Language for Reactive Systems. ICCL 1994: 211-218
5		Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond: Verification of Linear Hybrid Systems by Means of Convex Approximations. SAS 1994: 223-237
1993
4		Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond: Synchronous Observers and the Verification of Reactive Systems. AMAST 1993: 83-96
3		Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond: Embedding Declarative Subprograms into Imperative Constructs. PLILP 1993: 414-415
1992
2		Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond: Minimal State Graph Generation. Sci. Comput. Program. 18(3): 247-269 (1992)
1991
1		Nicolas Halbwachs, Pascal Raymond, Christophe Ratel: Generating Efficient Code From Data-Flow Programs. PLILP 1991: 207-218

Coauthor Index

1	Philippe Baufreton	[15] [16]
2	Ahmed Bouajjani	[2]
3	Jean-Claude Fernandez	[2]
4	Laure Gonnord	[17]
5	Nicolas Halbwachs	[1] [2] [4] [5] [8] [9] [10] [11] [12] [14] [17] [19] [21]
6	Erwan Jahier	[15] [16] [18] [19] [20] [21]
7	Bertrand Jeannet	[10]
8	Martin Jourdan	[3]
9	Muriel Jourdan	[6]
10	Fabienne Lagnier	[3] [4] [6]
11	David Lesens	[8] [12] [19]
12	Florence Maraninchi	[3] [6]
13	Xavier Nicollin	[9] [19]
14	Gordon J. Pace	[14]
15	Yann-Eric Proy	[5]
16	Christophe Ratel	[1]
17	Yvan Roux	[13] [18] [20]
18	Daniel Weber	[9]