Pascal Raymond

According to our database, Pascal Raymond authored at least 44 papers between 1991 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2024

2023

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

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2023

2021

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

2020

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

Proceedings of the 41st IEEE Real-Time Systems Symposium, 2020

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

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

Proceedings of the 27th International Conference on Real-Time Networks and Systems, 2019

2018

Parallel code generation of synchronous programs for a many-core architecture.

Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin

Proceedings of the 2018 Design, Automation & Test in Europe Conference & Exhibition, 2018

2017

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, Vincent Mussot, Isabelle Puaut, Christine Rochange, Erven Rohou, Jordy Ruiz, Pascal Sotin, Wei-Tsun Sun

Proceedings of the 17th International Workshop on Worst-Case Execution Time Analysis, 2017

2015

Timing analysis enhancement for synchronous program.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae

Real Time Syst., 2015

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

Proceedings of the 2nd Digital Heritage International Congress, 2015

2014

A general approach for expressing infeasibility in Implicit Path Enumeration Technique.

Pascal Raymond

Proceedings of the 2014 International Conference on Embedded Software, 2014

2013

Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective.

Mihail Asavoae, Claire Maiza, Pascal Raymond

Proceedings of the 13th International Workshop on Worst-Case Execution Time Analysis, 2013

Engineering functional requirements of reactive systems using synchronous languages.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

Proceedings of the 8th IEEE International Symposium on Industrial Embedded Systems, 2013

Timing analysis enhancement for synchronous program.

Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier

Proceedings of the 21st International Conference on Real-Time Networks and Systems, 2013

2012

Optimal Grid Exploration by Asynchronous Oblivious Robots.

Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil

Proceedings of the Stabilization, Safety, and Security of Distributed Systems, 2012

2010

Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation.

Marc Pouzet, Pascal Raymond

Des. Autom. Embed. Syst., 2010

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

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model.

Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond

Proceedings of the International Conference on Embedded Software and Systems, 2009

Synchronous Modeling and Validation of Priority Inheritance Schedulers.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008

Lutin: A Language for Specifying and Executing Reactive Scenarios.

Pascal Raymond, Yvan Roux, Erwan Jahier

EURASIP J. Embed. Syst., 2008

2007

Synchronous Programming.

Paul Caspi, Stavros Tripakis, Pascal Raymond

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Specifying and Executing Reactive Scenarios With Lutin.

Pascal Raymond, Yvan Roux, Erwan Jahier

Proceedings of the International Workshop on Model-driven High-level Programming of Embedded Systems, 2007

Virtual execution of AADL models via a translation into synchronous programs.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Case studies with Lurette V2.

Erwan Jahier, Pascal Raymond, Philippe Baufreton

Int. J. Softw. Tools Technol. Transf., 2006

Describing and Executing Random Reactive Systems.

Pascal Raymond, Erwan Jahier, Yvan Roux

Proceedings of the Fourth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2006), 2006

2004

Counter-example generation in symbolic abstract model-checking.

Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond

Int. J. Softw. Tools Technol. Transf., 2004

From Discrete Duration Calculus to Symbolic Automata.

Laure Gonnord, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Third International Workshop on Synchronous Languages, 2004

2002

Describing Non-Deterministic Reactive Systems by Means of Regular Expressions.

Pascal Raymond, Yvan Roux

Proceedings of the Synchronous Languages, Applications, and Programming, 2002

2001

Automatic verification of parameterized networks of processes.

David Lesens, Nicolas Halbwachs, Pascal Raymond

Theor. Comput. Sci., 2001

From control system design to embedded code: the synchronous data-flow approach.

Paul Caspi, Pascal Raymond

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

1999

Dynamic Partitioning in Analyses of Numerical Properties.

Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Static Analysis, 6th International Symposium, 1999

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

Nicolas Halbwachs, Pascal Raymond

Proceedings of the Advances in Computing Science, 1999

1998

Automatic Testing of Reactive Systems.

Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1997

Automatic Verification of Parameterized Linear Networks of Processes.

David Lesens, Nicolas Halbwachs, Pascal Raymond

Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997

1996

Recognizing Regular Expressions by Means of Dataflow Networks.

Pascal Raymond

Proceedings of the Automata, Languages and Programming, 23rd International Colloquium, 1996

1994

Verification of Linear Hybrid Systems by Means of Convex Approximations.

Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond

Proceedings of the Static Analysis, First International Static Analysis Symposium, 1994

A Multiparadigm Language for Reactive Systems.

Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond

Proceedings of the IEEE Computer Society 1994 International Conference on Computer Languages, 1994

1993

Embedding Declarative Subprograms into Imperative Constructs.

Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond

Proceedings of the Programming Language Implementation and Logic Programming, 1993

Synchronous Observers and the Verification of Reactive Systems.

Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond

Proceedings of the Algebraic Methodology and Software Technology (AMAST '93), 1993

1992

Minimal State Graph Generation.

Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond

Sci. Comput. Program., 1992

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

PhD thesis, 1991

The synchronous data flow programming language LUSTRE.

Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud

Proc. IEEE, 1991

Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE.

Christophe Ratel, Nicolas Halbwachs, Pascal Raymond

Proceedings of the conference on Software for citical systems, 1991

Generating Efficient Code From Data-Flow Programs.

Nicolas Halbwachs, Pascal Raymond, Christophe Ratel

Proceedings of the Programming Language Implementation and Logic Programming, 1991