An Approach to Real Time Systems Modeling. - Paul Caspi; Nicolas Halbwachs (ICDCS, 1982)

Algebra of events: a model for parallel and real time systems. - Paul Caspi; Nicolas Halbwachs (ICPP, 1982)

An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. - Paul Caspi; Nicolas Halbwachs (PNPM, 1985)

Outline of a Real Time Data Flow Language. - Jean-Louis Bergerand; Paul Caspi; Daniel Pilaud; Nicolas Halbwachs; Eric Pilaud (RTSS, 1985)

A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. - Paul Caspi; Nicolas Halbwachs (Acta Informatica, 1986)

Lustre: A Declarative Language for Programming Synchronous Systems. - Paul Caspi; Daniel Pilaud; Nicolas Halbwachs; John Plaice (POPL, 1987)

The synchronous data flow programming language LUSTRE. - Nicolas Halbwachs; Paul Caspi; Pascal Raymond; Daniel Pilaud (Proc. IEEE, 1991)

Distributing Finite Transition Systems Extended Abstract. - Paul Caspi; Alain Girault (PARLE, 1992)

Clocks in Dataflow Languages. - Paul Caspi (Theor. Comput. Sci., 1992)

Data-Flow Synchronous Languages. - Albert Benveniste; Paul Caspi; Paul Le Guernic; Nicolas Halbwachs (REX School/Symposium, 1993)

Execution of Distributed Reactive Systems. - Paul Caspi; Alain Girault (Euro-Par, 1995)

An Algorithm for Reducing Binary Branchings. - Paul Caspi; Jean-Claude Fernandez; Alain Girault (FSTTCS, 1995)

Synchronous Kahn Networks. - Paul Caspi; Marc Pouzet (ICFP, 1996)

What Can We Learn from Synchronous Data-Flow Languages? - Paul Caspi (HART, 1997)

A Kleene Theorem for Timed Automata. - Eugene Asarin; Paul Caspi; Oded Maler (LICS, 1997)

A Co-iterative Characterization of Synchronous Stream Functions. - Paul Caspi; Marc Pouzet (CMCS, 1998)

Formal Design of Distributed Control Systems with Lustre. - Paul Caspi; Christine Mazuet; Rym Salem; Daniel Weber 017 (SAFECOMP, 1999)

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. - Paul Caspi; Alain Girault; Daniel Pilaud (IEEE Trans. Software Eng., 1999)

Threshold and Bounded-Delay Voting in Critical Control Systems. - Paul Caspi; Rym Salem (FTRTFT, 2000)

A PVS Proof Obligation Generator for Lustre Programs. - Cécile Canovas-Dumas; Paul Caspi (LPAR, 2000)

From control system design to embedded code: the synchronous data-flow approach. - Paul Caspi; Pascal Raymond (CDC, 2001)

Embedded Control: From Asynchrony to Synchrony and Back. - Paul Caspi (EMSOFT, 2001)

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. - Paul Caspi; Christine Mazuet; Natacha Reynaud Paligot (SAFECOMP, 2001)

A Protocol for Loosely Time-Triggered Architectures. - Albert Benveniste; Paul Caspi; Paul Le Guernic; Hervé Marchand; Jean-Pierre Talpin; Stavros Tripakis (EMSOFT, 2002)

Toward an Approximation Theory for Computerised Control. - Paul Caspi; Albert Benveniste (EMSOFT, 2002)

Timed regular expressions. - Eugene Asarin; Paul Caspi; Oded Maler (J. ACM, 2002)

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. - Albert Benveniste; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2003)

Translating Discrete-Time Simulink to Lustre. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis (EMSOFT, 2003)

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli (FMCO, 2003)

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. - Paul Caspi; Adrian Curic; Aude Maignan; Christos Sofronis; Stavros Tripakis; Peter Niebert (LCTES, 2003)

The synchronous languages 12 years later. - Albert Benveniste; Paul Caspi; Stephen A. Edwards; Nicolas Halbwachs; Paul Le Guernic; Robert de Simone (Proc. IEEE, 2003)

Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. - Norman Scaife; Paul Caspi (ECRTS, 2004)

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli (EMSOFT, 2004)

Defining and translating a "safe" subset of simulink/stateflow into lustre. - Norman Scaife; Christos Sofronis; Paul Caspi; Stavros Tripakis; Florence Maraninchi (EMSOFT, 2004)

Mixed Delay and Threshold Voters in Critical Real-Time Systems. - Chiheb Kossentini; Paul Caspi (FORMATS/FTRTFT, 2004)

From Control Loops to Real-Time Programs. - Paul Caspi; Oded Maler (Handbook of Networked and Embedded Control Systems, 2005)

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. - Stavros Tripakis; Christos Sofronis; Norman Scaife; Paul Caspi (EMSOFT, 2005)

Flush: a system development tool based on scade/lustre. - Jan Mikác; Paul Caspi (FMICS, 2005)

Introduction to the special issue. - Paul Caspi; David Jeff Jackson (SIGBED Rev., 2005)

Embedded systems education: future directions, initiatives, and cooperation. - David Jeff Jackson; Paul Caspi (SIGBED Rev., 2005)

Guidelines for a graduate curriculum on embedded software and systems. - Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Luís Almeida 001; Albert Benveniste; Bruno Bouyssounouse; Giorgio C. Buttazzo; Ivica Crnkovic; Werner Damm; Jakob Engblom; Gerhard Fohler; Marisol García-Valls; Hermann Kopetz; et al. (ACM Trans. Embed. Comput. Syst., 2005)

Translating discrete-time simulink to lustre. - Stavros Tripakis; Christos Sofronis; Paul Caspi; Adrian Curic (ACM Trans. Embed. Comput. Syst., 2005)

Communication by sampling in time-sensitive distributed systems. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (EMSOFT, 2006)

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. - Christos Sofronis; Stavros Tripakis; Paul Caspi (EMSOFT, 2006)

Approximation, Sampling and Voting in Hybrid Computing Systems. - Chiheb Kossentini; Paul Caspi (HSCC, 2006)

Some Issues in Model-Based Development for Embedded Control Systems. - Paul Caspi (DIPES, 2006)

Development and industrialisation. - Michel Riffiod; Paul Caspi; Christophe Piala; Jean-Luc Voirin (DATE, 2007)

Loosely time-triggered architectures based on communication-by-sampling. - Albert Benveniste; Paul Caspi; Marco Di Natale; Claudio Pinello; Alberto L. Sangiovanni-Vincentelli; Stavros Tripakis (EMSOFT, 2007)

Model-based development of embedded control systems: historical perspective and recent advances. - Paul Caspi (ISoLA, 2007)

Synchronous Programming. - Paul Caspi; Stavros Tripakis; Pascal Raymond (Handbook of Real-Time and Embedded Systems, 2007)

Time-robust discrete control over networked Loosely Time-Triggered Architectures. - Paul Caspi; Albert Benveniste (CDC, 2008)

Implementing Synchronous Models on Loosely Time Triggered Architectures. - Stavros Tripakis; Claudio Pinello; Albert Benveniste; Alberto L. Sangiovanni-Vincentelli; Paul Caspi; Marco Di Natale (IEEE Trans. Computers, 2008)

Composing heterogeneous reactive systems. - Albert Benveniste; Benoît Caillaud; Luca P. Carloni; Paul Caspi; Alberto L. Sangiovanni-Vincentelli (ACM Trans. Embed. Comput. Syst., 2008)

Semantics-preserving multitask implementation of synchronous programs. - Paul Caspi; Norman Scaife; Christos Sofronis; Stavros Tripakis (ACM Trans. Embed. Comput. Syst., 2008)

Actors without Directors: A Kahnian View of Heterogeneous Systems. - Paul Caspi; Albert Benveniste; Roberto Lublinerman; Stavros Tripakis (HSCC, 2009)

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. - Mouaiad Alras; Paul Caspi; Alain Girault; Pascal Raymond (ICESS, 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 (LCTES, 2009)

Flush: an example of development by refinements in SCADE/Lustre. - Jan Mikác; Paul Caspi (Int. J. Softw. Tools Technol. Transf., 2009)

A unifying view of loosely time-triggered architectures. - Albert Benveniste; Anne Bouillard; Paul Caspi (EMSOFT, 2010)