Paul Caspi

	2010
53		Albert Benveniste, Anne Bouillard, Paul Caspi: A unifying view of loosely time-triggered architectures. EMSOFT 2010: 189-198
	2009
52		Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis: Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC 2009: 46-60
51		Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond: Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. ICESS 2009: 3-10
50		Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond: Synchronous objects with scheduling policies: introducing safe shared memory in lustre. LCTES 2009: 11-20
49		Jan Mikác, Paul Caspi: Flush: an example of development by refinements in SCADE/Lustre. STTT 11(5): 409-418 (2009)
	2008
48		Paul Caspi, Albert Benveniste: Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC 2008: 3595-3600
47		Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis: Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embedded Comput. Syst. 7(2): (2008)
46		Albert 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)
45		Stavros 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
44		Michel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin: Development and industrialisation. DATE 2007: 1403-1405
43		Albert 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
41		Paul Caspi: Some Issues in Model-Based Development for Embedded Control Systems. DIPES 2006: 9-13
40		Albert 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
39		Christos Sofronis, Stavros Tripakis, Paul Caspi: A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT 2006: 21-33
38		Chiheb Kossentini, Paul Caspi: Approximation, Sampling and Voting in Hybrid Computing Systems. HSCC 2006: 363-376
	2005
37		Stavros 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
35		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. ACM Trans. Embedded Comput. Syst. 4(3): 587-611 (2005)
34		Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic: Translating discrete-time simulink to lustre. ACM Trans. Embedded Comput. Syst. 4(4): 779-818 (2005)
	2004
33		Norman Scaife, Paul Caspi: Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. ECRTS 2004: 119-126
32		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). EMSOFT 2004: 220-229
31		Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi: Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT 2004: 259-268
30		Chiheb Kossentini, Paul Caspi: Mixed Delay and Threshold Voters in Critical Real-Time Systems. FORMATS/FTRTFT 2004: 21-35
	2003
29		Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli: Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT 2003: 35-50
28		Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis: Translating Discrete-Time Simulink to Lustre. EMSOFT 2003: 84-99
27		Albert 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
26		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. 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
24		Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis: A Protocol for Loosely Time-Triggered Architectures. EMSOFT 2002: 252-265
23		Paul Caspi, Albert Benveniste: Toward an Approximation Theory for Computerised Control. EMSOFT 2002: 294-304
22		Eugene Asarin, Paul Caspi, Oded Maler: Timed regular expressions. J. ACM 49(2): 172-206 (2002)
	2001
21		Paul Caspi: Embedded Control: From Asynchrony to Synchrony and Back. EMSOFT 2001: 80-96
20		Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot: About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP 2001: 215-226
	2000
19		Paul Caspi, Rym Salem: Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT 2000: 70-81
18		Cécile Canovas-Dumas, Paul Caspi: A PVS Proof Obligation Generator for Lustre Programs. LPAR 2000: 179-188
	1999
17		Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber: Formal Design of Distributed Control Systems with Lustre. SAFECOMP 1999: 396-409
16		Paul 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
15		Paul Caspi, Marc Pouzet: A Co-iterative Characterization of Synchronous Stream Functions. Electr. Notes Theor. Comput. Sci. 11: 1-21 (1998)
	1997
14		Paul Caspi: What Can We Learn from Synchronous Data-Flow Languages? HART 1997: 255-258
13		Eugene 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

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

Colors in the list of coauthors

Last update Sun May 27 04:04:01 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page