The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Pascal Raymond: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002