Pascal Raymond

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