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

Xavier Nicollin

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

2007
15EEErwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens: Virtual execution of AADL models via a translation into synchronous programs. EMSOFT 2007: 134-143
2006
14EEAlain Girault, Xavier Nicollin, Marc Pouzet: Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006)
2003
13EEAlain Girault, Xavier Nicollin: Clock-Driven Automatic Distribution of Lustre Programs. EMSOFT 2003: 206-222
2000
12EENicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin: Stability of Discrete Sampled Systems. FTRTFT 2000: 1-11
1998
11EEPascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber: Automatic Testing of Reactive Systems. IEEE Real-Time Systems Symposium 1998: 200-209
1995
10EERajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: The Algorithmic Analysis of Hybrid Systems. Theor. Comput. Sci. 138(1): 3-34 (1995)
1994
9 Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-Time Systems Inf. Comput. 111(2): 193-244 (1994)
8 Xavier Nicollin, Joseph Sifakis: The Algebra of Timed Processes, ATP: Theory and Application Inf. Comput. 114(1): 131-178 (1994)
1993
7 Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. Acta Inf. 30(2): 181-202 (1993)
1992
6 Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine: An Approach to the Description and Analysis of Hybrid Systems. Hybrid Systems 1992: 149-178
5 Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine: Symbolic Model Checking for Real-time Systems LICS 1992: 394-406
4EEXavier Nicollin, Joseph Sifakis, Sergio Yovine: Compiling Real-Time Specifications into Extended Automata. IEEE Trans. Software Eng. 18(9): 794-804 (1992)
1991
3 Xavier Nicollin, Joseph Sifakis: An Overview and Synthesis on Timed Process Algebras. CAV 1991: 376-398
2 Xavier Nicollin, Joseph Sifakis: An Overview and Synthesis on Timed Process Algebras. REX Workshop 1991: 526-548
1 Xavier Nicollin, Joseph Sifakis, Sergio Yovine: From ATP to Timed Graphs and Hybrid Systems. REX Workshop 1991: 549-572

Coauthor Index

1Rajeev Alur [10]
2Costas Courcoubetis [10]
3Alain Girault [13] [14]
4Nicolas Halbwachs [10] [11] [12] [15]
5Thomas A. Henzinger [5] [9] [10]
6J.-F. Héry [12]
7Pei-Hsin Ho [10]
8Erwan Jahier [15]
9J.-C. Laleuf [12]
10David Lesens [15]
11Alfredo Olivero [6] [10]
12Marc Pouzet [14]
13Pascal Raymond [11] [15]
14Joseph Sifakis [1] [2] [3] [4] [5] [6] [7] [8] [9] [10]
15Daniel Weber [11]
16Sergio Yovine [1] [4] [5] [6] [7] [9] [10]

Colors in the list of coauthors

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