dblp.uni-trier.dewww.uni-trier.de

Pascal Raymond Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2009
23EEMarc Pouzet, Pascal Raymond: Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. EMSOFT 2009: 215-224
22EEErwan Jahier, Nicolas Halbwachs, Pascal Raymond: Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE 2009: 140-154
21EEPaul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond: Synchronous objects with scheduling policies: introducing safe shared memory in lustre. LCTES 2009: 11-20
2008
20EEPascal Raymond, Yvan Roux, Erwan Jahier: Specifying and Executing Reactive Scenarios With Lutin. Electr. Notes Theor. Comput. Sci. 203(4): 19-34 (2008)
2007
19EEErwan 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
18EEPascal Raymond, Erwan Jahier, Yvan Roux: Describing and Executing Random Reactive Systems. SEFM 2006: 216-225
17EELaure Gonnord, Nicolas Halbwachs, Pascal Raymond: From Discrete Duration Calculus to Symbolic Automata. Electr. Notes Theor. Comput. Sci. 153(4): 3-18 (2006)
16EEErwan 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
14EEGordon J. Pace, Nicolas Halbwachs, Pascal Raymond: Counter-example generation in symbolic abstract model-checking. STTT 5(2-3): 158-164 (2004)
2002
13EEPascal Raymond, Yvan Roux: Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Electr. Notes Theor. Comput. Sci. 65(5): (2002)
2001
12EEDavid Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256(1-2): 113-144 (2001)
1999
11EENicolas Halbwachs, Pascal Raymond: Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN 1999: 1-12
10EEBertrand Jeannet, Nicolas Halbwachs, Pascal Raymond: Dynamic Partitioning in Analyses of Numerical Properties. SAS 1999: 39-50
1998
9EEPascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber: Automatic Testing of Reactive Systems. IEEE Real-Time Systems Symposium 1998: 200-209
1997
8EEDavid Lesens, Nicolas Halbwachs, Pascal Raymond: Automatic Verification of Parameterized Linear Networks of Processes. POPL 1997: 346-357
1996
7EEPascal 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
1EENicolas Halbwachs, Pascal Raymond, Christophe Ratel: Generating Efficient Code From Data-Flow Programs. PLILP 1991: 207-218

Coauthor Index

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

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)