Paul Caspi

Publication Activity (10 Years)

Years Active: 1982-2010
Publications (10 Years): 0

Publications

Albert Benveniste, Anne Bouillard, Paul Caspi
A unifying view of loosely time-triggered architectures. EMSOFT (2010)
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)
Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis
Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC (2009)
Jan Mikác, Paul Caspi
Flush: an example of development by refinements in SCADE/Lustre. Int. J. Softw. Tools Technol. Transf. 11 (5) (2009)
Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57 (10) (2008)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. 7 (4) (2008)
Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. 7 (2) (2008)
Paul Caspi, Albert Benveniste
Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC (2008)
Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
Loosely time-triggered architectures based on communication-by-sampling. EMSOFT (2007)
Michel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin
Development and industrialisation. DATE (2007)
Paul Caspi
Model-based development of embedded control systems: historical perspective and recent advances. ISoLA (2007)
Paul Caspi
Some Issues in Model-Based Development for Embedded Control Systems. DIPES (2006)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
Communication by sampling in time-sensitive distributed systems. EMSOFT (2006)
Christos Sofronis, Stavros Tripakis, Paul Caspi
A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT (2006)
Chiheb Kossentini, Paul Caspi
Approximation, Sampling and Voting in Hybrid Computing Systems. HSCC (2006)
Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Luís Almeida, Albert Benveniste, Bruno Bouyssounouse, Giorgio C. Buttazzo, Ivica Crnkovic, Werner Damm, Jakob Engblom, Gerhard Fohler, Marisol García-Valls, Hermann Kopetz, Yassine Lakhnech, François Laroussinie, Luciano Lavagno, Giuseppe Lipari, Florence Maraninchi, Philipp Peti, Juan Antonio de la Puente, Norman Scaife, Joseph Sifakis, Robert de Simone, Martin Törngren, Paulo Veríssimo, Andy J. Wellings, Reinhard Wilhelm, Tim A. C. Willemse, Wang Yi
Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 4 (3) (2005)
Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. EMSOFT (2005)
David Jeff Jackson, Paul Caspi
Embedded systems education: future directions, initiatives, and cooperation. SIGBED Rev. 2 (4) (2005)
Paul Caspi, David Jeff Jackson
Introduction to the special issue. SIGBED Rev. 2 (4) (2005)
Jan Mikác, Paul Caspi
Flush: a system development tool based on scade/lustre. FMICS (2005)
Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
Translating discrete-time simulink to lustre. ACM Trans. Embed. Comput. Syst. 4 (4) (2005)
Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT (2004)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT (2004)
Chiheb Kossentini, Paul Caspi
Mixed Delay and Threshold Voters in Critical Real-Time Systems. FORMATS/FTRTFT (2004)
Norman Scaife, Paul Caspi
Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. ECRTS (2004)
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. LCTES (2003)
Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
The synchronous languages 12 years later. Proc. IEEE 91 (1) (2003)
Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
Translating Discrete-Time Simulink to Lustre. EMSOFT (2003)
Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT (2003)
Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO (2003)
Paul Caspi, Albert Benveniste
Toward an Approximation Theory for Computerised Control. EMSOFT (2002)
Eugene Asarin, Paul Caspi, Oded Maler
Timed regular expressions. J. ACM 49 (2) (2002)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
A Protocol for Loosely Time-Triggered Architectures. EMSOFT (2002)
Paul Caspi, Pascal Raymond
From control system design to embedded code: the synchronous data-flow approach. CDC (2001)
Paul Caspi
Embedded Control: From Asynchrony to Synchrony and Back. EMSOFT (2001)
Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP (2001)
Paul Caspi, Rym Salem
Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT (2000)
Cécile Canovas-Dumas, Paul Caspi
A PVS Proof Obligation Generator for Lustre Programs. LPAR (2000)
Paul Caspi, Alain Girault, Daniel Pilaud
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. IEEE Trans. Software Eng. 25 (3) (1999)
Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
Formal Design of Distributed Control Systems with Lustre. SAFECOMP (1999)
Paul Caspi, Marc Pouzet
A Co-iterative Characterization of Synchronous Stream Functions. CMCS (1998)
Eugene Asarin, Paul Caspi, Oded Maler
A Kleene Theorem for Timed Automata. LICS (1997)
Paul Caspi
What Can We Learn from Synchronous Data-Flow Languages? HART (1997)
Paul Caspi, Marc Pouzet
Synchronous Kahn Networks. ICFP (1996)
Paul Caspi, Jean-Claude Fernandez, Alain Girault
An Algorithm for Reducing Binary Branchings. FSTTCS (1995)
Paul Caspi, Alain Girault
Execution of Distributed Reactive Systems. Euro-Par (1995)
Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
Data-Flow Synchronous Languages. REX School/Symposium (1993)
Paul Caspi
Clocks in Dataflow Languages. Theor. Comput. Sci. 94 (1) (1992)
Paul Caspi, Alain Girault
Distributing Finite Transition Systems Extended Abstract. PARLE (1992)
Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud
The synchronous data flow programming language LUSTRE. Proc. IEEE 79 (9) (1991)
Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
Lustre: A Declarative Language for Programming Synchronous Systems. POPL (1987)
Paul Caspi, Nicolas Halbwachs
A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. Acta Informatica 22 (6) (1986)
Paul Caspi, Nicolas Halbwachs
An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. PNPM (1985)
Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud
Outline of a Real Time Data Flow Language. RTSS (1985)
Paul Caspi, Nicolas Halbwachs
An Approach to Real Time Systems Modeling. ICDCS (1982)
Paul Caspi, Nicolas Halbwachs
Algebra of events: a model for parallel and real time systems. ICPP (1982)