Xavier Nicollin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
5
Active years
1991–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | DATE | RDF: Reconfigurable Dataflow. | Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei |
| 2007 | EMSOFT | Virtual execution of AADL models via a translation into synchronous programs. | Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens |
| 2003 | EMSOFT | Clock-Driven Automatic Distribution of Lustre Programs. | Alain Girault, Xavier Nicollin |
| 1998 | RTSS | Automatic Testing of Reactive Systems. | Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber |
| 1992 | LICS | Symbolic Model Checking for Real-time Systems | Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine |
| 1991 | CAV | An Overview and Synthesis on Timed Process Algebras. | Xavier Nicollin, Joseph Sifakis |