Paul Caspi

According to our database, Paul Caspi authored at least 59 papers between 1982 and 2010.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2010

A unifying view of loosely time-triggered architectures.

Albert Benveniste, Anne Bouillard, Paul Caspi

Proceedings of the 10th International conference on Embedded software, 2010

2009

Flush: an example of development by refinements in SCADE/Lustre.

Jan Mikác, Paul Caspi

Int. J. Softw. Tools Technol. Transf., 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

Proceedings of the 2009 ACM SIGPLAN/SIGBED conference on Languages, 2009

Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model.

Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond

Proceedings of the International Conference on Embedded Software and Systems, 2009

Actors without Directors: A Kahnian View of Heterogeneous Systems.

Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis

Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008

Semantics-preserving multitask implementation of synchronous programs.

Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis

ACM Trans. Embed. Comput. Syst., 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

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

Time-robust discrete control over networked Loosely Time-Triggered Architectures.

Paul Caspi, Albert Benveniste

Proceedings of the 47th IEEE Conference on Decision and Control, 2008

2007

Synchronous Programming.

Paul Caspi, Stavros Tripakis, Pascal Raymond

Proceedings of the Handbook of Real-Time and Embedded Systems., 2007

Model-based development of embedded control systems: historical perspective and recent advances.

Paul Caspi

Proceedings of the ISoLA 2007, 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

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Development and industrialisation.

Michel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Some Issues in Model-Based Development for Embedded Control Systems.

Paul Caspi

Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Approximation, Sampling and Voting in Hybrid Computing Systems.

Chiheb Kossentini, Paul Caspi

Proceedings of the Hybrid Systems: Computation and Control, 9th International Workshop, 2006

A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.

Christos Sofronis, Stavros Tripakis, Paul Caspi

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Communication by sampling in time-sensitive distributed systems.

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Translating discrete-time simulink to lustre.

Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic

ACM Trans. Embed. Comput. Syst., 2005

Guidelines for a graduate curriculum on embedded software and systems.

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

ACM Trans. Embed. Comput. Syst., 2005

Embedded systems education: future directions, initiatives, and cooperation.

David Jeff Jackson, Paul Caspi

SIGBED Rev., 2005

Introduction to the special issue.

Paul Caspi, David Jeff Jackson

SIGBED Rev., 2005

Flush: a system development tool based on scade/lustre.

Jan Mikác, Paul Caspi

Proceedings of the 10th international workshop on Formal methods for industrial critical 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

Proceedings of the EMSOFT 2005, 2005

From Control Loops to Real-Time Programs.

Paul Caspi, Oded Maler

Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004

Mixed Delay and Threshold Voters in Critical Real-Time Systems.

Chiheb Kossentini, Paul Caspi

Proceedings of the Formal Techniques, 2004

Defining and translating a "safe" subset of simulink/stateflow into lustre.

Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi

Proceedings of the EMSOFT 2004, 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

Proceedings of the EMSOFT 2004, 2004

Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems.

Norman Scaife, Paul Caspi

Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

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

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

Proceedings of the 2003 Conference on Languages, 2003

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.

Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Formal Methods for Components and Objects, 2003

Translating Discrete-Time Simulink to Lustre.

Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis

Proceedings of the Embedded Software, Third International Conference, 2003

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.

Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli

Proceedings of the Embedded Software, Third International Conference, 2003

2002

Timed regular expressions.

Eugene Asarin, Paul Caspi, Oded Maler

J. ACM, 2002

Toward an Approximation Theory for Computerised Control.

Paul Caspi, Albert Benveniste

Proceedings of the Embedded Software, Second International Conference, 2002

A Protocol for Loosely Time-Triggered Architectures.

Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis

Proceedings of the Embedded Software, Second International Conference, 2002

2001

About the Design of Distributed Control Systems: The Quasi-Synchronous Approach.

Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot

Proceedings of the Computer Safety, 2001

Embedded Control: From Asynchrony to Synchrony and Back.

Paul Caspi

Proceedings of the Embedded Software, First International Workshop, 2001

From control system design to embedded code: the synchronous data-flow approach.

Paul Caspi, Pascal Raymond

Proceedings of the 40th IEEE Conference on Decision and Control, 2001

2000

A PVS Proof Obligation Generator for Lustre Programs.

Cécile Canovas-Dumas, Paul Caspi

Proceedings of the Logic for Programming and Automated Reasoning, 2000

Threshold and Bounded-Delay Voting in Critical Control Systems.

Paul Caspi, Rym Salem

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999

Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.

Paul Caspi, Alain Girault, Daniel Pilaud

IEEE Trans. Software Eng., 1999

Formal Design of Distributed Control Systems with Lustre.

Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber

Proceedings of the Computer Safety, 1999

1998

A Co-iterative Characterization of Synchronous Stream Functions.

Paul Caspi, Marc Pouzet

Proceedings of the First Workshop on Coalgebraic Methods in Computer Science, 1998

1997

A Kleene Theorem for Timed Automata.

Eugene Asarin, Paul Caspi, Oded Maler

Proceedings of the Proceedings, 12th Annual IEEE Symposium on Logic in Computer Science, Warsaw, Poland, June 29, 1997

What Can We Learn from Synchronous Data-Flow Languages?

Paul Caspi

Proceedings of the Hybrid and Real-Time Systems, 1997

1996

Synchronous Kahn Networks.

Paul Caspi, Marc Pouzet

Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming, 1996

1995

An Algorithm for Reducing Binary Branchings.

Paul Caspi, Jean-Claude Fernandez, Alain Girault

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Execution of Distributed Reactive Systems.

Paul Caspi, Alain Girault

Proceedings of the Euro-Par '95 Parallel Processing, 1995

1993

Data-Flow Synchronous Languages.

Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs

Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

1992

Clocks in Dataflow Languages.

Paul Caspi

Theor. Comput. Sci., 1992

Distributing Finite Transition Systems Extended Abstract.

Paul Caspi, Alain Girault

Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

1991

The synchronous data flow programming language LUSTRE.

Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud

Proc. IEEE, 1991

1987

Lustre: A Declarative Language for Programming Synchronous Systems.

Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice

Proceedings of the Conference Record of the Fourteenth Annual ACM Symposium on Principles of Programming Languages, 1987

1986

A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.

Paul Caspi, Nicolas Halbwachs

Acta Informatica, 1986

1985

Outline of a Real Time Data Flow Language.

Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud

Proceedings of the 6th IEEE Real-Time Systems Symposium (RTSS '85), 1985

An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets.

Paul Caspi, Nicolas Halbwachs

Proceedings of the International Workshop on Timed Petri Nets, 1985

1982

Algebra of events: a model for parallel and real time systems.

Paul Caspi, Nicolas Halbwachs

Proceedings of the International Conference on Parallel Processing, 1982

An Approach to Real Time Systems Modeling.

Paul Caspi, Nicolas Halbwachs

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982