dblp.uni-trier.dewww.uni-trier.de

Paul Caspi

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

2009
48EEPaul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60
2008
47EEPaul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
46EEAlbert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Composing heterogeneous reactive systems. ACM Trans. Embedded Comput. Syst. 7(4): (2008)
45EEStavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale: Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers 57(10): 1300-1314 (2008)
2007
44EEMichel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin: Development and industrialisation. DATE 2007: 1403-1405
43EEAlbert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis: Loosely time-triggered architectures based on communication-by-sampling. EMSOFT 2007: 231-239
42 Paul Caspi: Model-based development of embedded control systems: historical perspective and recent advances. ISoLA 2007: 3
2006
41EEPaul Caspi: Some Issues in Model-Based Development for Embedded Control Systems. DIPES 2006: 9-13
40EEAlbert 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
39EEChristos Sofronis, Stavros Tripakis, Paul Caspi: A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33
38EEChiheb Kossentini, Paul Caspi: Approximation, Sampling and Voting in Hybrid Computing Systems. HSCC 2006: 363-376
2005
37EEStavros 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
36 Paul Caspi, Oded Maler: From Control Loops to Real-Time Programs. Handbook of Networked and Embedded Control Systems 2005: 395-418
35EEPaul 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)
34EEStavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic: Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005)
2004
33EENorman Scaife, Paul Caspi: Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. ECRTS 2004: 119-126
32EEAlbert 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
31EENorman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi: Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268
30EEChiheb Kossentini, Paul Caspi: Mixed Delay and Threshold Voters in Critical Real-Time Systems. FORMATS/FTRTFT 2004: 21-35
2003
29EEAlbert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
28EEPaul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99
27EEAlbert 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
26EEPaul 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
25 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
24EEAlbert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis: A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265
23EEPaul Caspi, Albert Benveniste: Toward an Approximation Theory for Computerised Control. EMSOFT 2002: 294-304
22EEEugene Asarin, Paul Caspi, Oded Maler: Timed regular expressions. J. ACM 49(2): 172-206 (2002)
2001
21EEPaul Caspi: Embedded Control: From Asynchrony to Synchrony and Back. EMSOFT 2001: 80-96
20EEPaul Caspi, Christine Mazuet, Natacha Reynaud Paligot: About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP 2001: 215-226
2000
19EEPaul Caspi, Rym Salem: Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT 2000: 70-81
18EECécile Canovas-Dumas, Paul Caspi: A PVS Proof Obligation Generator for Lustre Programs. LPAR 2000: 179-188
1999
17EEPaul Caspi, Christine Mazuet, Rym Salem, Daniel Weber: Formal Design of Distributed Control Systems with Lustre. SAFECOMP 1999: 396-409
16EEPaul 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
15EEPaul Caspi, Marc Pouzet: A Co-iterative Characterization of Synchronous Stream Functions. Electr. Notes Theor. Comput. Sci. 11: (1998)
1997
14 Paul Caspi: What Can We Learn from Synchronous Data-Flow Languages? HART 1997: 255-258
13EEEugene Asarin, Paul Caspi, Oded Maler: A Kleene Theorem for Timed Automata. LICS 1997: 160-171
1996
12 Paul Caspi, Marc Pouzet: Synchronous Kahn Networks. ICFP 1996: 226-238
1995
11 Paul Caspi, Alain Girault: Execution of Distributed Reactive Systems. Euro-Par 1995: 15-26
10 Paul Caspi, Jean-Claude Fernandez, Alain Girault: An Algorithm for Reducing Binary Branchings. FSTTCS 1995: 279-293
1993
9 Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs: Data-Flow Synchronous Languages. REX School/Symposium 1993: 1-45
1992
8 Paul Caspi, Alain Girault: Distributing Finite Transition Systems Extended Abstract. PARLE 1992: 950-951
7 Paul Caspi: Clocks in Dataflow Languages. Theor. Comput. Sci. 94(1): 125-140 (1992)
1987
6 Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice: Lustre: A Declarative Language for Programming Synchronous Systems. POPL 1987: 178-188
1986
5 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
4 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
3 Paul Caspi, Nicolas Halbwachs: An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. PNPM 1985: 40-46
1982
2 Paul Caspi, Nicolas Halbwachs: An Approach to Real Time Systems Modeling. ICDCS 1982: 710-716
1 Paul Caspi, Nicolas Halbwachs: Algebra of events: a model for parallel and real time systems. ICPP 1982: 150-159

Coauthor Index

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)