The SCEAS System
| |||||||

## Search the dblp DataBase
Paul Caspi:
[Publications]
[Author Rank by year]
[Co-authors]
[Prefers]
[Cites]
[Cited by]
## Publications of Author- Norman Scaife, Paul Caspi
**Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems.**[Citation Graph (0, 0)][DBLP] ECRTS, 2004, pp:119-126 [Conf] - 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).**[Citation Graph (0, 0)][DBLP] EMSOFT, 2004, pp:220-229 [Conf] - Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
**Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:35-50 [Conf] - Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
**A Protocol for Loosely Time-Triggered Architectures.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2002, pp:252-265 [Conf] - Paul Caspi
**Embedded Control: From Asynchrony to Synchrony and Back.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2001, pp:80-96 [Conf] - Paul Caspi, Albert Benveniste
**Toward an Approximation Theory for Computerised Control.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2002, pp:294-304 [Conf] - Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
**Translating Discrete-Time Simulink to Lustre.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2003, pp:84-99 [Conf] - Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
**Defining and translating a "safe" subset of simulink/stateflow into lustre.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2004, pp:259-268 [Conf] - Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
**Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2005, pp:353-360 [Conf] - Christos Sofronis, Stavros Tripakis, Paul Caspi
**A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2006, pp:21-33 [Conf] - Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
**Communication by sampling in time-sensitive distributed systems.**[Citation Graph (0, 0)][DBLP] EMSOFT, 2006, pp:152-160 [Conf] - Paul Caspi, Alain Girault
**Execution of Distributed Reactive Systems.**[Citation Graph (0, 0)][DBLP] Euro-Par, 1995, pp:15-26 [Conf] - Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
**Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling.**[Citation Graph (0, 0)][DBLP] FMCO, 2003, pp:1-16 [Conf] - Chiheb Kossentini, Paul Caspi
**Mixed Delay and Threshold Voters in Critical Real-Time Systems.**[Citation Graph (0, 0)][DBLP] FORMATS/FTRTFT, 2004, pp:21-35 [Conf] - Paul Caspi, Jean-Claude Fernandez, Alain Girault
**An Algorithm for Reducing Binary Branchings.**[Citation Graph (0, 0)][DBLP] FSTTCS, 1995, pp:279-293 [Conf] - Paul Caspi, Rym Salem
**Threshold and Bounded-Delay Voting in Critical Control Systems.**[Citation Graph (0, 0)][DBLP] FTRTFT, 2000, pp:70-81 [Conf] - Paul Caspi
**What Can We Learn from Synchronous Data-Flow Languages?**[Citation Graph (0, 0)][DBLP] HART, 1997, pp:255-258 [Conf] - Chiheb Kossentini, Paul Caspi
**Approximation, Sampling and Voting in Hybrid Computing Systems.**[Citation Graph (0, 0)][DBLP] HSCC, 2006, pp:363-376 [Conf] - Paul Caspi, Nicolas Halbwachs
**An Approach to Real Time Systems Modeling.**[Citation Graph (0, 0)][DBLP] ICDCS, 1982, pp:710-716 [Conf] - Paul Caspi, Marc Pouzet
**Synchronous Kahn Networks.**[Citation Graph (0, 0)][DBLP] ICFP, 1996, pp:226-238 [Conf] - 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.**[Citation Graph (0, 0)][DBLP] LCTES, 2003, pp:153-162 [Conf] - Eugene Asarin, Paul Caspi, Oded Maler
**A Kleene Theorem for Timed Automata.**[Citation Graph (0, 0)][DBLP] LICS, 1997, pp:160-171 [Conf] - Céecile Canovas-Dumas, Paul Caspi
**A PVS Proof Obligation Generator for Lustre Programs.**[Citation Graph (0, 0)][DBLP] LPAR, 2000, pp:179-188 [Conf] - Paul Caspi, Alain Girault
**Distributing Finite Transition Systems Extended Abstract.**[Citation Graph (0, 0)][DBLP] PARLE, 1992, pp:950-951 [Conf] - Paul Caspi, Nicolas Halbwachs
**An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets.**[Citation Graph (0, 0)][DBLP] PNPM, 1985, pp:40-46 [Conf] - Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
**Lustre: A Declarative Language for Programming Synchronous Systems.**[Citation Graph (0, 0)][DBLP] POPL, 1987, pp:178-188 [Conf] - Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
**Data-Flow Synchronous Languages.**[Citation Graph (0, 0)][DBLP] REX School/Symposium, 1993, pp:1-45 [Conf] - J. L. Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, E. Pilaud
**Outline of a Real Time Data Flow Language.**[Citation Graph (0, 0)][DBLP] IEEE Real-Time Systems Symposium, 1985, pp:33-42 [Conf] - Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot
**About the Design of Distributed Control Systems: The Quasi-Synchronous Approach.**[Citation Graph (0, 0)][DBLP] SAFECOMP, 2001, pp:215-226 [Conf] - Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
**Formal Design of Distributed Control Systems with Lustre.**[Citation Graph (0, 0)][DBLP] SAFECOMP, 1999, pp:396-409 [Conf] - Paul Caspi, Nicolas Halbwachs
**A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems.**[Citation Graph (0, 0)][DBLP] Acta Inf., 1986, v:22, n:6, pp:595-627 [Journal] - Paul Caspi, Marc Pouzet
**A Co-iterative Characterization of Synchronous Stream Functions.**[Citation Graph (0, 0)][DBLP] Electr. Notes Theor. Comput. Sci., 1998, v:11, n:, pp:- [Journal] - Eugene Asarin, Paul Caspi, Oded Maler
**Timed regular expressions.**[Citation Graph (0, 0)][DBLP] J. ACM, 2002, v:49, n:2, pp:172-206 [Journal] - Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
**The synchronous languages 12 years later.**[Citation Graph (0, 0)][DBLP] Proceedings of the IEEE, 2003, v:91, n:1, pp:64-83 [Journal] - Paul Caspi
**Clocks in Dataflow Languages.**[Citation Graph (0, 0)][DBLP] Theor. Comput. Sci., 1992, v:94, n:1, pp:125-140 [Journal] - Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
**Translating discrete-time simulink to lustre.**[Citation Graph (0, 0)][DBLP] ACM Trans. Embedded Comput. Syst., 2005, v:4, n:4, pp:779-818 [Journal] - 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.**[Citation Graph (0, 0)][DBLP] ACM Trans. Embedded Comput. Syst., 2005, v:4, n:3, pp:587-611 [Journal] - Paul Caspi, Alain Girault, Daniel Pilaud
**Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors.**[Citation Graph (0, 0)][DBLP] IEEE Trans. Software Eng., 1999, v:25, n:3, pp:416-427 [Journal] - Michel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin
**Development and industrialisation.**[Citation Graph (0, 0)][DBLP] DATE, 2007, pp:1403-1405 [Conf] - Paul Caspi
**Some Issues in Model-Based Development for Embedded Control Systems.**[Citation Graph (0, 0)][DBLP] DIPES, 2006, pp:9-13 [Conf] **Loosely time-triggered architectures based on communication-by-sampling.**[Citation Graph (, )][DBLP]**Actors without Directors: A Kahnian View of Heterogeneous Systems.**[Citation Graph (, )][DBLP]**Algebra of events: a model for parallel and real time systems.**[Citation Graph (, )][DBLP]**Model-based development of embedded control systems: historical perspective and recent advances.**[Citation Graph (, )][DBLP]**Synchronous objects with scheduling policies: introducing safe shared memory in lustre.**[Citation Graph (, )][DBLP]**Time-robust discrete control over networked Loosely Time-Triggered Architectures.**[Citation Graph (, )][DBLP]
Search in 0.050secs, Finished in 0.053secs | |||||||

| |||||||

| |||||||

System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002 for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002 |