| 2010 | EMSOFT | A unifying view of loosely time-triggered architectures. | Albert Benveniste, Anne Bouillard, Paul Caspi |
| 2007 | DATE | Development and industrialisation. | Michel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin |
| 2007 | EMSOFT | Loosely time-triggered architectures based on communication-by-sampling. | Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2007 | ISoLA | Model-based development of embedded control systems: historical perspective and recent advances. | Paul Caspi |
| 2006 | EMSOFT | Communication by sampling in time-sensitive distributed systems. | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis |
| 2006 | EMSOFT | A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. | Christos Sofronis, Stavros Tripakis, Paul Caspi |
| 2005 | EMSOFT | Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. | Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi |
| 2005 | FMICS | Flush: a system development tool based on scade/lustre. | Jan Mikc, Paul Caspi |
| 2004 | ECRTS | Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. | Norman Scaife, Paul Caspi |
| 2004 | EMSOFT | Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). | Albert Benveniste, Benot Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2004 | EMSOFT | Defining and translating a "safe" subset of simulink/stateflow into lustre. | Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi |
| 2003 | EMSOFT | Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. | Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli |
| 2003 | EMSOFT | Translating Discrete-Time Simulink to Lustre. | Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis |
| 2002 | EMSOFT | A Protocol for Loosely Time-Triggered Architectures. | Albert Benveniste, Paul Caspi, Paul Le Guernic, Herv Marchand, Jean-Pierre Talpin, Stavros Tripakis |
| 2002 | EMSOFT | Toward an Approximation Theory for Computerised Control. | Paul Caspi, Albert Benveniste |
| 2001 | EMSOFT | Embedded Control: From Asynchrony to Synchrony and Back. | Paul Caspi |
| 2001 | SAFECOMP | About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. | Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot |
| 2000 | LPAR | A PVS Proof Obligation Generator for Lustre Programs. | Ccile Canovas-Dumas, Paul Caspi |
| 1999 | SAFECOMP | Formal Design of Distributed Control Systems with Lustre. | Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber |
| 1997 | LICS | A Kleene Theorem for Timed Automata. | Eugene Asarin, Paul Caspi, Oded Maler |
| 1996 | ICFP | Synchronous Kahn Networks. | Paul Caspi, Marc Pouzet |
| 1995 | EuroPar | Execution of Distributed Reactive Systems. | Paul Caspi, Alain Girault |
| 1987 | POPL | Lustre: A Declarative Language for Programming Synchronous Systems. | Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice |
| 1985 | RTSS | Outline of a Real Time Data Flow Language. | Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud |
| 1982 | ICDCS | An Approach to Real Time Systems Modeling. | Paul Caspi, Nicolas Halbwachs |
| 1982 | ICPP | Algebra of events: a model for parallel and real time systems. | Paul Caspi, Nicolas Halbwachs |