dblp.uni-trier.de

Paul Caspi

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL - ACM Guide - CiteSeer - CSB - Google

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

Coauthor Index

1Luís Almeida [34]
2Eugene Asarin [12] [21]
3Albert Benveniste [8] [22] [23] [24] [26] [28] [31] [34] [39]
4J. L. Bergerand [3]
5Bruno Bouyssounouse [34]
6Giorgio C. Buttazzo [34]
7Benoît Caillaud [26] [31] [39]
8Céecile Canovas-Dumas [17]
9Luca P. Carloni [26] [28] [31] [39]
10Ivica Crnkovic [34]
11Adrian Curic [25] [27] [33]
12Werner Damm [34]
13Stephen A. Edwards [24]
14Jakob Engblom [34]
15Jean-Claude Fernandez [9]
16Gerhard Fohler [34]
17Marisol García-Valls [34]
18Alain Girault [7] [9] [10] [15]
19Paul Le Guernic [8] [23] [24]
20Nicolas Halbwachs [1] [2] [3] [4] [5] [8] [24]
21Hermann Kopetz [34]
22Chiheb Kossentini [29] [37]
23Yassine Lakhnech [34]
24François Laroussinie [34]
25Luciano Lavagno [34]
26Giuseppe Lipari [34]
27Aude Maignan [25] [27]
28Oded Maler [12] [21] [35]
29Florence Maraninchi [30] [34]
30Hervé Marchand [23]
31Christine Mazuet [16] [19]
32Peter Niebert [25]
33Natacha Reynaud Paligot [19]
34Philipp Peti [34]
35Christophe Piala [41]
36Daniel Pilaud [3] [5] [15]
37E. Pilaud [3]
38John Plaice [5]
39Marc Pouzet [11] [14]
40Juan Antonio de la Puente [34]
41Michel Riffiod [41]
42Rym Salem [16] [18]
43Alberto L. Sangiovanni-Vincentelli [26] [28] [31] [34] [39]
44Norman Scaife [30] [32] [34] [36] [42]
45Joseph Sifakis [34]
46Robert de Simone [24] [34]
47Christos Sofronis [25] [27] [30] [33] [36] [38] [42]
48Jean-Pierre Talpin [23]
49Martin Törngren [34]
50Stavros Tripakis [23] [25] [27] [30] [33] [36] [38] [39] [42]
51Paulo Veríssimo [34]
52Jean-Luc Voirin [41]
53Daniel Weber [16]
54Andy J. Wellings [34]
55Reinhard Wilhelm [34]
56Tim A. C. Willemse [34]
57Wang Yi [34]

Colors in the list of coauthors

DBLP: [Home | Search: Author, Title | Conferences | Journals]
Michael Ley (ley@uni-trier.de) Wed Mar 12 02:24:58 2008