Principales publications
(Main papers)



Time-Robust discrete control over networked Loosely Time-Triggered Architectures
 P. Caspi and A. Benveniste
Proc. of 2008 IEEE Control and Decision Conference. Cancun, Dec. 9-11, 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures

S. Tripakis, C. Pinello, A. Benveniste, A. Sangiovanni-Vincentelli, P. Caspi, M. Di Natale
IEEE transactions on Computers, 57(10), October 2008

Semantics-preserving multitask implementation of synchronous programs
P.Caspi, N. Scaife, Ch. Sofronis, S. Tripakis
ACM Transactions on Embedded Computing Systems, 7(2), February 2008

Approximation, Sampling and Voting in Hybrid Computing Systems
Ch. Kossentini and P. Caspi
Hybrid Systems Computation and Control, HSCC06, Santa Barbara, 2006
Volume 3927 in Lecture Notes in Computer Science

Guidelines for a graduate curriculum on embedded software and systems
P. Caspi, A. San Giovanni-Vincentelli et al.
ACM Transactions on Embedded Computing Systems, 4(3), August 2005

Translating Discrete-Time Simulink to Lustre.

P. Caspi, A. Curic, A. Maignan, C. Sofronis and S. Tripakis.
ACM Transactions on Embedded Computing Systems, 4(4), 2005

From control loops to real-time programs
P. Caspi and O. Maler
in Handbook of Networked and Embedded Control Systems, Birkhäuser, 2005

Integrating model-based design and preemptive scheduling in mixed time- and event-triggered systems,
N. Scaife and P. Caspi,
Euromicro Conference Real-Time Systems, ECRTS04, Catania, June 2004

Automatique continue, automatique discrète, informatique industrielle :le triangle des Bermudes ?
P. Caspi,
Colloque sur la modélisation des systèmes réactifs (MSR03), conférence invitée, Metz 2003

La place de l'informatique dans l'enseignement des logiciels et systèmes embarqués
F. Maraninchi et P. Caspi,
Bulletin de Specif, juillet 2003

Toward an Approximation Theory for Computerised Control,
Paul Caspi and Albert Benveniste,
2nd International Workshop on Embedded Software, EMSOFT2002, Grenoble, October 2002,
Volume 2491 in Lecture Notes in Computer Science 

Embedded Control: From Asynchrony to Synchrony and Back,
Paul Caspi,
1st International Workshop on Embedded Software, EMSOFT2001, Lake Tahoe, October 2001,
Volume 2211 in Lecture Notes in Computer Science 

A PVS Proof Obligation Generator for Lustre Programs ,
Cécile Dumas Canovas and Paul Caspi,
2nd International Conference on Logic for Programming and Reasonning, LPAR2000, La Réunion, November 2000,
Volume 1955 in Lecture Notes in Artificial Intelligence 

The Quasi-Synchronous Approach to Distributed Control System Design,
Crisys "Cooking Book" Crisys preliminary draft, October 2000.

Threshold and Bounded-Delay Voting in Critical Control Systems ,
Paul Caspi and Rym Salem,
Formal Techniques in Real-Time and Fault-Tolerant Systems Mathai Joseph (Ed.),
Vol. 1926 of Lecture Notes in Computer Science, September 2000.

A methodology for proving control systems with Lustre and PVS,
Saddek Bensalem, Paul Caspi, Catherine Parent Vigouroux and Cécile Dumas Canovas
Seventh Working Conference on Dependable Computing for Critical Applications (DCCA7) San Jose, January 1999

A Co-iterative Characterization of Synchronous Stream Functions,
Paul Caspi and Marc Pouzet,
volume 11 of Electronic Notes in Theoretical Computer Science, Elsevier 1998

Synchronous Kahn networks,
P. Caspi and M. Pouzet,
ACM Sigplan International Conference on Functional Programming,
Philadelphia, May 1996.

Data-flow synchronous languages
A.Benveniste, P.Caspi, N.Halbwachs and P.LeGuernic,
A decade of concurrency, reflexions and perspeptives, REX School/Symposium,
Volume 803 of Lecture Notes in Computer Science, pp:1-45,1993.

Clocks in dataflow languages ,
P. Caspi,
Theoretical Computer Science 94, 125-140, 1992.

The synchronous dataflow programming language Lustre.
N.Halbwachs, P.Caspi, P.Raymond and D.Pilaud.
Proceedings of the IEEE, 79(9), September 1991.

An a priori approach to the evaluation of signature analysis efficiency
P.Caspi, J.Piotrowski and R.Velazco,
IEEE Transactions on Computers, 40(9), 1068-1071, 1991

Lustre: a declarative language for programming synchronous systems.
P.Caspi, N.Halbwachs, D.Pilaud and J.Plaice.
14th ACM Conference on Principles of Programming Languages. Munich, January 1987.

A functional model for describing and reasoning about time behaviour of computing systems.
P.Caspi and N.Halbwachs.
Acta Informatica, 22, pp. 595-697, 1986

Stopping rules for a debugging process based on different software reliability models.
P.Caspi and E.F.Kouka.
14th International Conference on Fault-Tolerant Computing Systems, Orlando, June 1984.

An approach to real-time systems modeling.
P.Caspi and N.Halbwachs.
International Conference on Distributed Computing Systems, Miami, October 1982.

Algebra of events, A model for parallel and real-time systems.
P.Caspi and N.Halbwachs
International Conference on Parallel Processing, Bellaire (Michigan), August 1982.

A method for improving the reliability of functionally distributed networks,
P.Caspi and J.Pulou,
Journal of Digital Systems, 4(4):409-426, 1981

Sur l'identification des systèmes linéaires déterministes instables,
Thèse de doctorat d'état, Institut National Polytechnique de Grenoble, juin 1978.