Pascal Raymond

Publications

This page is no longer maintained, my publications are listed on the Synchronous Team publications page.

  • Counter-example generation in symbolic abstract model-checking

    G. Pace and N. Halbwachs and P. Raymond
    Software Tools for Technology Transfer, vol 5, 2--3, march 2004

  • From Discrete Duration Calculus to Symbolic Automata.

    L. Gonnord and N. Halbwachs and P. Raymond.
    3rd International Workshop on Synchronous Languages, Applications, and Programs, SLAP'04
    Barcelona, March 2004

  • Case Studies with Lurette V2.

    E. Jahier and P. Raymond and P. Baufreton.
    1st International Symposium on Leveraging Applications of Formal Methods, ISoLA 2004.
    Paphos (Cyprus), October 2004

  • Describing no-deterministic reactive systems by means of regular expressions.

    P. Raymond and Y. Roux.
    1st Workshop on Synchronous Languages, Applications and Programming, SLAP'02.
    Grenoble, April 2002

  • Automatic Verification of Parameterized Networks of Processes.

    D. Lesens and N. Halbwachs and P. Raymond.
    Theoretical Computer Science, volume 256, 1-2, pages 113-144, 2001.

  • Counter-example generation in symbolic abstract model-checking.

    G. Pace and N. Halbwachs and P. Raymond.
    6th International Workshop on Formal Methods for Industrial Critical Systems, FMICS'2001.
    Paris, July 2001

  • Validation of Synchronous Reactive Systems: from Formal Verification to Automatic Testing.

    N. Halbwachs and P. Raymond.
    ASIAN'99, Asian Computing Science Conference.
    Phuket (Thailand), December 1999.

  • Dynamic Partitioning in Analyses of Numerical Properties.

    B. Jeannet, N. Halbwachs, and P. Raymond.
    Static Analysis Symposium, SAS'99
    Venezia, September 1999.

  • Automatic testing of reactive programs.

    P. Raymond, D. Weber, X. Nicollin and N. Halbwachs.
    19th IEEE Real-Time Systems Symposium
    Madrid, December 1998

  • Automatic Verification of Parameterized Linear Networks of Processes.

    D. Lesens, N. Halbwachs, and P. Raymond.
    24th ACM Symposium on Principles of Programming Languages, POPL'97.
    Paris, January 1997.

  • Recognizing Regular Expressions by means of Dataflows Networks.

    P. Raymond
    23rd International Colloquium on Automata, Languages, and Programming, (ICALP'96),
    LNCS 1099, Springer Verlag. Paderborn (Germany), July 1996.

  • Verification of linear hybrid systems by means of convex approximations.

    N. Halbwachs, Y.-E. Proy and P. Raymond.
    International Symposium on Static Analysis, SAS'94,
    LNCS 864, Springer Verlag. Namur (Belgium), September 1994.

  • Synchronous observers and the verification of reactive systems.

    N. Halbwachs, F. Lagnier and P. Raymond.
    Third Int. Conf. on Algebraic Methodology and Software Technology, AMAST'93,
    Workshops in Computing, Springer Verlag. Twente, June 1993.

  • The synchronous dataflow programming language Lustre.

    N. Halbwachs, P. Caspi, P. Raymond and D. Pilaud.
    Proceedings of the IEEE,
    vol. 79, nr. 9. September 1991.

  • Generating Efficient Code From Data-Flow Programs.

    N. Halbwachs, P. Raymond and C. Ratel.
    Third International Symposium on Programming Language Implementation and Logic Programming, PLILP'91.
    Passau, August 1991.

  • Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3

    P. Raymond
    Thèse, Institut National Polytechnique de Grenoble.
    Grenoble, novembre 1991.