Generating Efficient Code From Data-Flow Programs. - Nicolas Halbwachs; Pascal Raymond; Christophe Ratel (PLILP, 1991)

Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. - Christophe Ratel; Nicolas Halbwachs; Pascal Raymond (SIGSOFT, 1991)

The synchronous data flow programming language LUSTRE. - Nicolas Halbwachs; Paul Caspi; Pascal Raymond; Daniel Pilaud (Proc. IEEE, 1991)

Compilation efficace d'un langage déclaratif synchrone : le générateur de code Lustre-V3. (Efficient Compilation of a Declarative Synchronous Language:the Lustre-V3 Code Generator). - Pascal Raymond (1991)

Minimal State Graph Generation. - Ahmed Bouajjani; Jean-Claude Fernandez; Nicolas Halbwachs; Pascal Raymond (Sci. Comput. Program., 1992)

Synchronous Observers and the Verification of Reactive Systems. - Nicolas Halbwachs; Fabienne Lagnier; Pascal Raymond (AMAST, 1993)

Embedding Declarative Subprograms into Imperative Constructs. - Martin Jourdan; Fabienne Lagnier; Florence Maraninchi; Pascal Raymond (PLILP, 1993)

A Multiparadigm Language for Reactive Systems. - Muriel Jourdan; Fabienne Lagnier; Florence Maraninchi; Pascal Raymond (ICCL, 1994)

Verification of Linear Hybrid Systems by Means of Convex Approximations. - Nicolas Halbwachs; Yann-Eric Proy; Pascal Raymond (SAS, 1994)

Recognizing Regular Expressions by Means of Dataflow Networks. - Pascal Raymond (ICALP, 1996)

Automatic Verification of Parameterized Linear Networks of Processes. - David Lesens; Nicolas Halbwachs; Pascal Raymond (POPL, 1997)

Automatic Testing of Reactive Systems. - Pascal Raymond; Xavier Nicollin; Nicolas Halbwachs; Daniel Weber 017 (RTSS, 1998)

Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. - Nicolas Halbwachs; Pascal Raymond (ASIAN, 1999)

Dynamic Partitioning in Analyses of Numerical Properties. - Bertrand Jeannet; Nicolas Halbwachs; Pascal Raymond (SAS, 1999)

From control system design to embedded code: the synchronous data-flow approach. - Paul Caspi; Pascal Raymond (CDC, 2001)

Automatic verification of parameterized networks of processes. - David Lesens; Nicolas Halbwachs; Pascal Raymond (Theor. Comput. Sci., 2001)

Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. - Pascal Raymond; Yvan Roux (SLAP@ETAPS, 2002)

From Discrete Duration Calculus to Symbolic Automata. - Laure Gonnord; Nicolas Halbwachs; Pascal Raymond (SLAP@ETAPS, 2004)

Counter-example generation in symbolic abstract model-checking. - Gordon J. Pace; Nicolas Halbwachs; Pascal Raymond (Int. J. Softw. Tools Technol. Transf., 2004)

Describing and Executing Random Reactive Systems. - Pascal Raymond; Erwan Jahier; Yvan Roux (SEFM, 2006)

Case studies with Lurette V2. - Erwan Jahier; Pascal Raymond; Philippe Baufreton (Int. J. Softw. Tools Technol. Transf., 2006)

Virtual execution of AADL models via a translation into synchronous programs. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond; Xavier Nicollin; David Lesens (EMSOFT, 2007)

Specifying and Executing Reactive Scenarios With Lutin. - Pascal Raymond; Yvan Roux; Erwan Jahier (SLA++P@ETAPS, 2007)

Synchronous Programming. - Paul Caspi; Stavros Tripakis; Pascal Raymond (Handbook of Real-Time and Embedded Systems, 2007)

Lutin: A Language for Specifying and Executing Reactive Scenarios. - Pascal Raymond; Yvan Roux; Erwan Jahier (EURASIP J. Embed. Syst., 2008)

Synchronous Modeling and Validation of Priority Inheritance Schedulers. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond (FASE, 2009)

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. - Mouaiad Alras; Paul Caspi; Alain Girault; Pascal Raymond (ICESS, 2009)

Synchronous objects with scheduling policies: introducing safe shared memory in lustre. - Paul Caspi; Jean-Louis Colaço; Léonard Gérard; Marc Pouzet; Pascal Raymond (LCTES, 2009)

Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation. - Marc Pouzet; Pascal Raymond (Des. Autom. Embed. Syst., 2010)

Optimal Grid Exploration by Asynchronous Oblivious Robots. - Stéphane Devismes; Anissa Lamani; Franck Petit; Pascal Raymond; Sébastien Tixeuil (SSS, 2012)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier (RTNS, 2013)

Engineering functional requirements of reactive systems using synchronous languages. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond (SIES, 2013)

Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. - Mihail Asavoae; Claire Maiza; Pascal Raymond (WCET, 2013)

A general approach for expressing infeasibility in Implicit Path Enumeration Technique. - Pascal Raymond (EMSOFT, 2014)

WIP: Creating an online interactive database for tridimensional models in preventive archaeology at the La Courneuve base of the INRAP. - Aurelia Lureau; Mehdi Belarbi; Pascal Raymond (Digital Heritage, 2015)

Timing analysis enhancement for synchronous program. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Fabienne Carrier; Mihail Asavoae (Real Time Syst., 2015)

The W-SEPT Project: Towards Semantic-Aware WCET Estimation. - Claire Maiza; Pascal Raymond; Catherine Parent-Vigouroux; Armelle Bonenfant; Fabienne Carrier; Hugues Cassé; Philippe Cuenot; Denis Claraz; Nicolas Halbwachs; Erwan Jahier; Hanbing Li; Marianne De Michiel; et al. (WCET, 2017)

Parallel code generation of synchronous programs for a many-core architecture. - Amaury Graillat; Matthieu Moy; Pascal Raymond; Benoît Dupont de Dinechin (DATE, 2018)

Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip. - Amaury Graillat; Claire Maiza; Matthieu Moy; Pascal Raymond; Benoît Dupont de Dinechin (RTNS, 2019)

Improving WCET Evaluation using Linear Relation Analysis. - Pascal Raymond; Claire Maiza; Catherine Parent-Vigouroux; Erwan Jahier; Nicolas Halbwachs; Fabienne Carrier; Mihail Asavoae; Rémy Boutonnet (Leibniz Trans. Embed. Syst., 2019)

A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory. - Matheus Schuh; Claire Maiza; Joël Goossens; Pascal Raymond; Benoît Dupont de Dinechin (RTSS, 2020)

Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. - Stéphane Devismes; Anissa Lamani; Franck Petit; Pascal Raymond; Sébastien Tixeuil (Comput. J., 2021)

Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. - Bruno Ferres; Oussama Oulkaid; Ludovic Henrio; Mehdi Khosravian Ghadikolaei; Matthieu Moy; Gabriel Radanne; Pascal Raymond (DATE, 2023)

A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. - Oussama Oulkaid; Bruno Ferres; Matthieu Moy; Pascal Raymond; Mehdi Khosravian; Ludovic Henrio; Gabriel Radanne (DATE, 2024)