Pascal Raymond

Publication Activity (10 Years)

Years Active: 1991-2024
Publications (10 Years): 10

Top Venues

DATE

RTSS

Digital Heritage

WCET

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

Oussama Oulkaid, Bruno Ferres, Matthieu Moy, Pascal Raymond, Mehdi Khosravian, Ludovic Henrio, Gabriel Radanne
A Transistor Level Relational Semantics for Electrical Rule Checking by SMT Solving. DATE (2024)
Bruno Ferres, O. Oulkaid, Ludovic Henrio, Mehdi Khosravian Ghadikolaei, Matthieu Moy, Gabriel Radanne, Pascal Raymond
Electrical Rule Checking of Integrated Circuits using Satisfiability Modulo Theory. DATE (2023)
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
Terminating Exploration Of A Grid By An Optimal Number Of Asynchronous Oblivious Robots. Comput. J. 64 (1) (2021)
Matheus Schuh, Claire Maiza, Joël Goossens, Pascal Raymond, Benoît Dupont de Dinechin
A study of predictable execution models implementation for industrial data-flow applications on a multi-core platform with shared banked memory. RTSS (2020)
Amaury Graillat, Claire Maiza, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
Response time analysis of dataflow applications on a many-core processor with shared-memory and network-on-chip. RTNS (2019)
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Erwan Jahier, Nicolas Halbwachs, Fabienne Carrier, Mihail Asavoae, Rémy Boutonnet
Improving WCET Evaluation using Linear Relation Analysis. Leibniz Trans. Embed. Syst. 6 (1) (2019)
Amaury Graillat, Matthieu Moy, Pascal Raymond, Benoît Dupont de Dinechin
Parallel code generation of synchronous programs for a many-core architecture. DATE (2018)
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
The W-SEPT Project: Towards Semantic-Aware WCET Estimation. WCET (2017)
Aurelia Lureau, Mehdi Belarbi, Pascal Raymond
WIP: Creating an online interactive database for tridimensional models in preventive archaeology at the La Courneuve base of the INRAP. Digital Heritage (2015)
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier, Mihail Asavoae
Timing analysis enhancement for synchronous program. Real Time Syst. 51 (2) (2015)
Pascal Raymond
A general approach for expressing infeasibility in Implicit Path Enumeration Technique. EMSOFT (2014)
Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier
Timing analysis enhancement for synchronous program. RTNS (2013)
Mihail Asavoae, Claire Maiza, Pascal Raymond
Program Semantics in Model-Based WCET Analysis: A State of the Art Perspective. WCET (2013)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
Engineering functional requirements of reactive systems using synchronous languages. SIES (2013)
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
Optimal Grid Exploration by Asynchronous Oblivious Robots. SSS (2012)
Stéphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sébastien Tixeuil
Optimal grid exploration by asynchronous oblivious robots CoRR (2011)
Marc Pouzet, Pascal Raymond
Modular static scheduling of synchronous data-flow networks - An efficient symbolic representation. Des. Autom. Embed. Syst. 14 (3) (2010)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond
Synchronous Modeling and Validation of Priority Inheritance Schedulers. FASE (2009)
Marc Pouzet, Pascal Raymond
Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. EMSOFT (2009)
Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond
Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. ICESS (2009)
Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond
Synchronous objects with scheduling policies: introducing safe shared memory in lustre. LCTES (2009)
Pascal Raymond, Yvan Roux, Erwan Jahier
Lutin: A Language for Specifying and Executing Reactive Scenarios. EURASIP J. Embed. Syst. 2008 (2008)
Pascal Raymond, Yvan Roux, Erwan Jahier
Specifying and Executing Reactive Scenarios With Lutin. Electron. Notes Theor. Comput. Sci. 203 (4) (2008)
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
Virtual execution of AADL models via a translation into synchronous programs. EMSOFT (2007)
Laure Gonnord, Nicolas Halbwachs, Pascal Raymond
From Discrete Duration Calculus to Symbolic Automata. Electron. Notes Theor. Comput. Sci. 153 (4) (2006)
Erwan Jahier, Pascal Raymond, Philippe Baufreton
Case studies with Lurette V2. Int. J. Softw. Tools Technol. Transf. 8 (6) (2006)
Pascal Raymond, Erwan Jahier, Yvan Roux
Describing and Executing Random Reactive Systems. SEFM (2006)
Erwan Jahier, Pascal Raymond, Philippe Baufreton
Case Studies with Lurette V2. ISoLA (Preliminary proceedings) (2004)
Gordon J. Pace, Nicolas Halbwachs, Pascal Raymond
Counter-example generation in symbolic abstract model-checking. Int. J. Softw. Tools Technol. Transf. 5 (2-3) (2004)
Pascal Raymond, Yvan Roux
Describing Non-Deterministic Reactive Systems by Means of Regular Expressions. Electron. Notes Theor. Comput. Sci. 65 (5) (2002)
David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic verification of parameterized networks of processes. Theor. Comput. Sci. 256 (1-2) (2001)
Paul Caspi, Pascal Raymond
From control system design to embedded code: the synchronous data-flow approach. CDC (2001)
Nicolas Halbwachs, Pascal Raymond
Validation of Synchronous Reactive Systems: From Formal Verification to Automatic Testing. ASIAN (1999)
Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond
Dynamic Partitioning in Analyses of Numerical Properties. SAS (1999)
Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber
Automatic Testing of Reactive Systems. RTSS (1998)
David Lesens, Nicolas Halbwachs, Pascal Raymond
Automatic Verification of Parameterized Linear Networks of Processes. POPL (1997)
Pascal Raymond
Recognizing Regular Expressions by Means of Dataflow Networks. ICALP (1996)
Muriel Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
A Multiparadigm Language for Reactive Systems. ICCL (1994)
Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond
Verification of Linear Hybrid Systems by Means of Convex Approximations. SAS (1994)
Nicolas Halbwachs, Fabienne Lagnier, Pascal Raymond
Synchronous Observers and the Verification of Reactive Systems. AMAST (1993)
Martin Jourdan, Fabienne Lagnier, Florence Maraninchi, Pascal Raymond
Embedding Declarative Subprograms into Imperative Constructs. PLILP (1993)
Ahmed Bouajjani, Jean-Claude Fernandez, Nicolas Halbwachs, Pascal Raymond
Minimal State Graph Generation. Sci. Comput. Program. 18 (3) (1992)
Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud
The synchronous data flow programming language LUSTRE. Proc. IEEE 79 (9) (1991)
Christophe Ratel, Nicolas Halbwachs, Pascal Raymond
Programming and verifying critical systems by means of the synchronous data-flow language LUSTRE. SIGSOFT (1991)
Nicolas Halbwachs, Pascal Raymond, Christophe Ratel
Generating Efficient Code From Data-Flow Programs. PLILP (1991)

Pascal Raymond.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Pascal Raymond