Paul Caspi
Verimag(FR)Université Grenoble Alpes(FR)
Publications by Year
Research Areas
Embedded Systems Design Techniques, Formal Methods in Verification, Real-Time Systems Scheduling, Parallel Computing and Optimization Techniques, Distributed systems and fault tolerance
Most-Cited Works
- LUSTRE: A declarative language for programming synchronous systems*(1987)
- → From simulink to SCADE/lustre to TTA(2003)155 cited
- → Translating discrete-time simulink to lustre(2005)151 cited
- → Synchronous Kahn networks(1996)130 cited
- → Implementing Synchronous Models on Loosely Time Triggered Architectures(2008)112 cited
- → A Protocol for Loosely Time-Triggered Architectures(2002)88 cited
- → Clocks in dataflow languages(1992)60 cited
- → Toward an Approximation Theory for Computerised Control(2002)