Search the dblp DataBase

Publications of Author

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