Paul Caspi

According to our database1, Paul Caspi
  • authored at least 56 papers between 1982 and 2010.
  • has a "Dijkstra number"2 of three.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2010
A unifying view of loosely time-triggered architectures.
Proceedings of the 10th International conference on Embedded software, 2010

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

Synchronous objects with scheduling policies: introducing safe shared memory in lustre.
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.
Proceedings of the International Conference on Embedded Software and Systems, 2009

Actors without Directors: A Kahnian View of Heterogeneous Systems.
Proceedings of the Hybrid Systems: Computation and Control, 12th International Conference, 2009

2008
Semantics-preserving multitask implementation of synchronous programs.
ACM Trans. Embedded Comput. Syst., 2008

Composing heterogeneous reactive systems.
ACM Trans. Embedded Comput. Syst., 2008

Implementing Synchronous Models on Loosely Time Triggered Architectures.
IEEE Trans. Computers, 2008

Time-robust discrete control over networked Loosely Time-Triggered Architectures.
Proceedings of the 47th IEEE Conference on Decision and Control, 2008

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

Model-based development of embedded control systems: historical perspective and recent advances.
Proceedings of the ISoLA 2007, 2007

Loosely time-triggered architectures based on communication-by-sampling.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

Development and industrialisation.
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.
Proceedings of the From Model-Driven Design to Resource Management for Distributed Embedded Systems, 2006

Approximation, Sampling and Voting in Hybrid Computing Systems.
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.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

Communication by sampling in time-sensitive distributed systems.
Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005
Translating discrete-time simulink to lustre.
ACM Trans. Embedded Comput. Syst., 2005

Guidelines for a graduate curriculum on embedded software and systems.
ACM Trans. Embedded Comput. Syst., 2005

Embedded systems education: future directions, initiatives, and cooperation.
SIGBED Review, 2005

Introduction to the special issue.
SIGBED Review, 2005

Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.
Proceedings of the EMSOFT 2005, 2005

From Control Loops to Real-Time Programs.
Proceedings of the Handbook of Networked and Embedded Control Systems, 2005

2004
Mixed Delay and Threshold Voters in Critical Real-Time Systems.
Proceedings of the Formal Techniques, 2004

Defining and translating a "safe" subset of simulink/stateflow into lustre.
Proceedings of the EMSOFT 2004, 2004

Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA).
Proceedings of the EMSOFT 2004, 2004

Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems.
Proceedings of the 16th Euromicro Conference on Real-Time Systems (ECRTS 2004), 30 June, 2004

2003
The synchronous languages 12 years later.
Proceedings of the IEEE, 2003

From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications.
Proceedings of the 2003 Conference on Languages, 2003

Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.
Proceedings of the Formal Methods for Components and Objects, 2003

Translating Discrete-Time Simulink to Lustre.
Proceedings of the Embedded Software, Third International Conference, 2003

Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.
Proceedings of the Embedded Software, Third International Conference, 2003

2002
Timed regular expressions.
J. ACM, 2002

Toward an Approximation Theory for Computerised Control.
Proceedings of the Embedded Software, Second International Conference, 2002

A Protocol for Loosely Time-Triggered Architectures.
Proceedings of the Embedded Software, Second International Conference, 2002

2001
About the Design of Distributed Control Systems: The Quasi-Synchronous Approach.
Proceedings of the Computer Safety, 2001

Embedded Control: From Asynchrony to Synchrony and Back.
Proceedings of the Embedded Software, First International Workshop, 2001

2000
A PVS Proof Obligation Generator for Lustre Programs.
Proceedings of the Logic for Programming and Automated Reasoning, 2000

Threshold and Bounded-Delay Voting in Critical Control Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1999
Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.
IEEE Trans. Software Eng., 1999

Formal Design of Distributed Control Systems with Lustre.
Proceedings of the Computer Safety, 1999

1998
A Co-iterative Characterization of Synchronous Stream Functions.
Electr. Notes Theor. Comput. Sci., 1998

1997
A Kleene Theorem for Timed Automata.
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?
Proceedings of the Hybrid and Real-Time Systems, 1997

1996
Synchronous Kahn Networks.
Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP '96), 1996

1995
An Algorithm for Reducing Binary Branchings.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1995

Execution of Distributed Reactive Systems.
Proceedings of the Euro-Par '95 Parallel Processing, 1995

1993
Data-Flow Synchronous Languages.
Proceedings of the A Decade of Concurrency, Reflections and Perspectives, 1993

1992
Clocks in Dataflow Languages.
Theor. Comput. Sci., 1992

Distributing Finite Transition Systems Extended Abstract.
Proceedings of the PARLE '92: Parallel Architectures and Languages Europe, 1992

1987
Lustre: A Declarative Language for Programming Synchronous Systems.
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.
Acta Inf., 1986

1985
Outline of a Real Time Data Flow Language.
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.
Proceedings of the International Workshop on Timed Petri Nets, 1985

1982
Algebra of events: a model for parallel and real time systems.
Proceedings of the International Conference on Parallel Processing, 1982

An Approach to Real Time Systems Modeling.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982


  Loading...