Paul Caspi - RankMe

59 papers A* 2A 4B 7C 2Misc 12Journal 14Unranked 16

Year	Rank	Type	Title / Venue / Authors
2010	Misc	`conf`	A unifying view of loosely time-triggered architectures. EMSOFT Albert Benveniste, Anne Bouillard, Paul Caspi
2009	—	`conf`	Actors without Directors: A Kahnian View of Heterogeneous Systems. HSCC Paul Caspi, Albert Benveniste, Roberto Lublinerman, Stavros Tripakis
2009	J	`jnl`	Flush: an example of development by refinements in SCADE/Lustre. Int. J. Softw. Tools Technol. Transf. Jan Mikác, Paul Caspi
2009	—	`conf`	Model-Based Design of Embedded Control Systems by Means of a Synchronous Intermediate Model. ICESS Mouaiad Alras, Paul Caspi, Alain Girault, Pascal Raymond
2009	B	`conf`	Synchronous objects with scheduling policies: introducing safe shared memory in lustre. LCTES Paul Caspi, Jean-Louis Colaço, Léonard Gérard, Marc Pouzet, Pascal Raymond
2008	J	`jnl`	Composing heterogeneous reactive systems. ACM Trans. Embed. Comput. Syst. Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2008	J	`jnl`	Implementing Synchronous Models on Loosely Time Triggered Architectures. IEEE Trans. Computers Stavros Tripakis, Claudio Pinello, Albert Benveniste, Alberto L. Sangiovanni-Vincentelli, Paul Caspi, Marco Di Natale
2008	J	`jnl`	Semantics-preserving multitask implementation of synchronous programs. ACM Trans. Embed. Comput. Syst. Paul Caspi, Norman Scaife, Christos Sofronis, Stavros Tripakis
2008	—	`conf`	Time-robust discrete control over networked Loosely Time-Triggered Architectures. CDC Paul Caspi, Albert Benveniste
2007	A	`conf`	Development and industrialisation. DATE Michel Riffiod, Paul Caspi, Christophe Piala, Jean-Luc Voirin
2007	Misc	`conf`	Loosely time-triggered architectures based on communication-by-sampling. EMSOFT Albert Benveniste, Paul Caspi, Marco Di Natale, Claudio Pinello, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2007	C	`conf`	Model-based development of embedded control systems: historical perspective and recent advances. ISoLA Paul Caspi
2007	—	`ch.`	Synchronous Programming. Handbook of Real-Time and Embedded Systems Paul Caspi, Stavros Tripakis, Pascal Raymond
2006	Misc	`conf`	A memory-optimal buffering protocol for preservation of synchronous semantics under preemptive scheduling. EMSOFT Christos Sofronis, Stavros Tripakis, Paul Caspi
2006	—	`conf`	Approximation, Sampling and Voting in Hybrid Computing Systems. HSCC Chiheb Kossentini, Paul Caspi
2006	Misc	`conf`	Communication by sampling in time-sensitive distributed systems. EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli, Stavros Tripakis
2006	—	`conf`	Some Issues in Model-Based Development for Embedded Control Systems. DIPES Paul Caspi
2005	J	`jnl`	Embedded systems education: future directions, initiatives, and cooperation. SIGBED Rev. David Jeff Jackson, Paul Caspi
2005	C	`conf`	Flush: a system development tool based on scade/lustre. FMICS Jan Mikác, Paul Caspi
2005	—	`ch.`	From Control Loops to Real-Time Programs. Handbook of Networked and Embedded Control Systems Paul Caspi, Oded Maler
2005	J	`jnl`	Guidelines for a graduate curriculum on embedded software and systems. ACM Trans. Embed. Comput. Syst. 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
2005	J	`jnl`	Introduction to the special issue. SIGBED Rev. Paul Caspi, David Jeff Jackson
2005	Misc	`conf`	Semantics-preserving and memory-efficient implementation of inter-task communication on static-priority or EDF schedulers. EMSOFT Stavros Tripakis, Christos Sofronis, Norman Scaife, Paul Caspi
2005	J	`jnl`	Translating discrete-time simulink to lustre. ACM Trans. Embed. Comput. Syst. Stavros Tripakis, Christos Sofronis, Paul Caspi, Adrian Curic
2004	Misc	`conf`	Defining and translating a "safe" subset of simulink/stateflow into lustre. EMSOFT Norman Scaife, Christos Sofronis, Paul Caspi, Stavros Tripakis, Florence Maraninchi
2004	Misc	`conf`	Heterogeneous reactive systems modeling: capturing causality and the correctness of loosely time-triggered architectures (LTTA). EMSOFT Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2004	B	`conf`	Integrating Model-Based Design and Preemptive Scheduling in Mixed Time- and Event-Triggered Systems. ECRTS Norman Scaife, Paul Caspi
2004	—	`conf`	Mixed Delay and Threshold Voters in Critical Real-Time Systems. FORMATS/FTRTFT Chiheb Kossentini, Paul Caspi
2003	—	`conf`	Causality and Scheduling Constraints in Heterogeneous Reactive Systems Modeling. FMCO Albert Benveniste, Benoît Caillaud, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	B	`conf`	From simulink to SCADE/lustre to TTA: a layered approach for distributed embedded applications. LCTES Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis, Peter Niebert
2003	Misc	`conf`	Heterogeneous Reactive Systems Modeling and Correct-by-Construction Deployment. EMSOFT Albert Benveniste, Luca P. Carloni, Paul Caspi, Alberto L. Sangiovanni-Vincentelli
2003	J	`jnl`	The synchronous languages 12 years later. Proc. IEEE Albert Benveniste, Paul Caspi, Stephen A. Edwards, Nicolas Halbwachs, Paul Le Guernic, Robert de Simone
2003	Misc	`conf`	Translating Discrete-Time Simulink to Lustre. EMSOFT Paul Caspi, Adrian Curic, Aude Maignan, Christos Sofronis, Stavros Tripakis
2002	Misc	`conf`	A Protocol for Loosely Time-Triggered Architectures. EMSOFT Albert Benveniste, Paul Caspi, Paul Le Guernic, Hervé Marchand, Jean-Pierre Talpin, Stavros Tripakis
2002	J	`jnl`	Timed regular expressions. J. ACM Eugene Asarin, Paul Caspi, Oded Maler
2002	Misc	`conf`	Toward an Approximation Theory for Computerised Control. EMSOFT Paul Caspi, Albert Benveniste
2001	B	`conf`	About the Design of Distributed Control Systems: The Quasi-Synchronous Approach. SAFECOMP Paul Caspi, Christine Mazuet, Natacha Reynaud Paligot
2001	Misc	`conf`	Embedded Control: From Asynchrony to Synchrony and Back. EMSOFT Paul Caspi
2001	—	`conf`	From control system design to embedded code: the synchronous data-flow approach. CDC Paul Caspi, Pascal Raymond
2000	B	`conf`	A PVS Proof Obligation Generator for Lustre Programs. LPAR Cécile Canovas-Dumas, Paul Caspi
2000	—	`conf`	Threshold and Bounded-Delay Voting in Critical Control Systems. FTRTFT Paul Caspi, Rym Salem
1999	J	`jnl`	Automatic Distribution of Reactive Systems for Asynchronous Networks of Processors. IEEE Trans. Software Eng. Paul Caspi, Alain Girault, Daniel Pilaud
1999	B	`conf`	Formal Design of Distributed Control Systems with Lustre. SAFECOMP Paul Caspi, Christine Mazuet, Rym Salem, Daniel Weber
1998	—	`conf`	A Co-iterative Characterization of Synchronous Stream Functions. CMCS Paul Caspi, Marc Pouzet
1997	A*	`conf`	A Kleene Theorem for Timed Automata. LICS Eugene Asarin, Paul Caspi, Oded Maler
1997	—	`conf`	What Can We Learn from Synchronous Data-Flow Languages? HART Paul Caspi
1996	A	`conf`	Synchronous Kahn Networks. ICFP Paul Caspi, Marc Pouzet
1995	—	`conf`	An Algorithm for Reducing Binary Branchings. FSTTCS Paul Caspi, Jean-Claude Fernandez, Alain Girault
1995	—	`conf`	Execution of Distributed Reactive Systems. Euro-Par Paul Caspi, Alain Girault
1993	—	`conf`	Data-Flow Synchronous Languages. REX School/Symposium Albert Benveniste, Paul Caspi, Paul Le Guernic, Nicolas Halbwachs
1992	J	`jnl`	Clocks in Dataflow Languages. Theor. Comput. Sci. Paul Caspi
1992	—	`conf`	Distributing Finite Transition Systems Extended Abstract. PARLE Paul Caspi, Alain Girault
1991	J	`jnl`	The synchronous data flow programming language LUSTRE. Proc. IEEE Nicolas Halbwachs, Paul Caspi, Pascal Raymond, Daniel Pilaud
1987	A*	`conf`	Lustre: A Declarative Language for Programming Synchronous Systems. POPL Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, John Plaice
1986	J	`jnl`	A Functional Model for Describing and Reasoning About Time Behaviour of Computing Systems. Acta Informatica Paul Caspi, Nicolas Halbwachs
1985	—	`conf`	An Application of Laplace Transform Techniques to the Analysis of Timed Petri Nets. PNPM Paul Caspi, Nicolas Halbwachs
1985	A	`conf`	Outline of a Real Time Data Flow Language. RTSS Jean-Louis Bergerand, Paul Caspi, Daniel Pilaud, Nicolas Halbwachs, Eric Pilaud
1982	B	`conf`	Algebra of events: a model for parallel and real time systems. ICPP Paul Caspi, Nicolas Halbwachs
1982	A	`conf`	An Approach to Real Time Systems Modeling. ICDCS Paul Caspi, Nicolas Halbwachs