Xavier Nicollin
发表
Thomas A. Henzinger,
Joseph Sifakis,
Sergio Yovine,
1994,
Inf. Comput..
Joseph Sifakis,
Xavier Nicollin,
J. Sifakis,
1994,
Inf. Comput..
Thomas A. Henzinger,
Nicolas Halbwachs,
Joseph Sifakis,
1995,
Theor. Comput. Sci..
Nicolas Halbwachs,
Xavier Nicollin,
J.-C. Laleuf,
2000,
FTRTFT.
Joseph Sifakis,
Sergio Yovine,
Xavier Nicollin,
1991,
REX Workshop.
Pascal Fradet,
Alain Girault,
Xavier Nicollin,
2019,
2019 Design, Automation & Test in Europe Conference & Exhibition (DATE).
Joseph Sifakis,
Sergio Yovine,
Alfredo Olivero,
1992,
Hybrid Systems.
Joseph Sifakis,
Xavier Nicollin,
J. Sifakis,
1991,
CAV.
Pascal Fradet,
Alain Girault,
Xavier Nicollin,
2018,
Principles of Modeling.
Nicolas Halbwachs,
Pascal Raymond,
Daniel Weber,
1998,
Proceedings 19th IEEE Real-Time Systems Symposium (Cat. No.98CB36279).
Marc Pouzet,
Alain Girault,
Xavier Nicollin,
2006,
TECS.
Pascal Fradet,
Alain Girault,
Arash Shafiei,
2018
.
Thomas A. Henzinger,
Joseph Sifakis,
Sergio Yovine,
1992,
[1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.
Alain Girault,
Xavier Nicollin,
A. Girault,
2003,
EMSOFT.
Joseph Sifakis,
Sergio Yovine,
Xavier Nicollin,
1991,
Acta Informatica.
Joseph Sifakis,
Xavier Nicollin,
1991,
REX Workshop.
Xavier Nicollin,
X. Nicollin,
1992
.
Nicolas Halbwachs,
Pascal Raymond,
Erwan Jahier,
2007,
EMSOFT '07.
Joseph Sifakis,
Jacques Voiron,
Jean-Luc Richier,
1990,
Programming Concepts and Methods.
Joseph Sifakis,
Sergio Yovine,
Xavier Nicollin,
1992,
IEEE Trans. Software Eng..