Xavier Nicollin

2007
15	EE	Erwan 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
14	EE	Alain Girault, Xavier Nicollin, Marc Pouzet: Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embedded Comput. Syst. 5(3): 687-717 (2006)
2003
13	EE	Alain Girault, Xavier Nicollin: Clock-Driven Automatic Distribution of Lustre Programs. EMSOFT 2003: 206-222
2000
12	EE	Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin: Stability of Discrete Sampled Systems. FTRTFT 2000: 1-11
1998
11	EE	Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber: Automatic Testing of Reactive Systems. IEEE Real-Time Systems Symposium 1998: 200-209
1995
10	EE	Rajeev 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
4	EE	Xavier 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

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

Colors in the list of coauthors