| 2024 | DATE | 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 |
| 2023 | DATE | 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 |
| 2020 | RTSS | 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, Jol Goossens, Pascal Raymond, Benot Dupont de Dinechin |
| 2019 | RTNS | 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, Benot Dupont de Dinechin |
| 2018 | DATE | Parallel code generation of synchronous programs for a many-core architecture. | Amaury Graillat, Matthieu Moy, Pascal Raymond, Benot Dupont de Dinechin |
| 2014 | EMSOFT | A general approach for expressing infeasibility in Implicit Path Enumeration Technique. | Pascal Raymond |
| 2013 | RTNS | Timing analysis enhancement for synchronous program. | Pascal Raymond, Claire Maiza, Catherine Parent-Vigouroux, Fabienne Carrier |
| 2012 | SSS | Optimal Grid Exploration by Asynchronous Oblivious Robots. | Stphane Devismes, Anissa Lamani, Franck Petit, Pascal Raymond, Sbastien Tixeuil |
| 2009 | EMSOFT | Modular static scheduling of synchronous data-flow networks: an efficient symbolic representation. | Marc Pouzet, Pascal Raymond |
| 2009 | FASE | Synchronous Modeling and Validation of Priority Inheritance Schedulers. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond |
| 2007 | EMSOFT | Virtual execution of AADL models via a translation into synchronous programs. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
| 2006 | SEFM | Describing and Executing Random Reactive Systems. | Pascal Raymond, Erwan Jahier, Yvan Roux |
| 2004 | ISoLA | Case Studies with Lurette V2. | Erwan Jahier, Pascal Raymond, Philippe Baufreton |
| 1999 | SAS | Dynamic Partitioning in Analyses of Numerical Properties. | Bertrand Jeannet, Nicolas Halbwachs, Pascal Raymond |
| 1998 | RTSS | Automatic Testing of Reactive Systems. | Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber |
| 1997 | POPL | Automatic Verification of Parameterized Linear Networks of Processes. | David Lesens, Nicolas Halbwachs, Pascal Raymond |
| 1996 | ICALP | Recognizing Regular Expressions by Means of Dataflow Networks. | Pascal Raymond |
| 1994 | SAS | Verification of Linear Hybrid Systems by Means of Convex Approximations. | Nicolas Halbwachs, Yann-Eric Proy, Pascal Raymond |