ATP: an Algebra for Timed Processes. - Xavier Nicollin; Jean-Luc Richier; Joseph Sifakis; Jacques Voiron (Programming Concepts and Methods, 1990)

An Overview and Synthesis on Timed Process Algebras. - Xavier Nicollin; Joseph Sifakis (CAV, 1991)

An Approach to the Description and Analysis of Hybrid Systems. - Xavier Nicollin; Alfredo Olivero; Joseph Sifakis; Sergio Yovine (Hybrid Systems, 1992)

Compiling Real-Time Specifications into Extended Automata. - Xavier Nicollin; Joseph Sifakis; Sergio Yovine (IEEE Trans. Software Eng., 1992)

ATP : une algebre pour la specification et l'analyse des systemes temps reel. (ATP: an algebra for the specification and analysis of real time systems). - Xavier Nicollin (1992)

From ATP to Timed Graphs and Hybrid Systems. - Xavier Nicollin; Joseph Sifakis; Sergio Yovine (Acta Informatica, 1993)

Symbolic Model Checking for Real-Time Systems - Thomas A. Henzinger; Xavier Nicollin; Joseph Sifakis; Sergio Yovine (Inf. Comput., 1994)

The Algebra of Timed Processes, ATP: Theory and Application - Xavier Nicollin; Joseph Sifakis (Inf. Comput., 1994)

The Algorithmic Analysis of Hybrid Systems. - Rajeev Alur; Costas Courcoubetis; Nicolas Halbwachs; Thomas A. Henzinger; Pei-Hsin Ho; Xavier Nicollin; Alfredo Olivero; Joseph Sifakis; Sergio Yovine (Theor. Comput. Sci., 1995)

Automatic Testing of Reactive Systems. - Pascal Raymond; Xavier Nicollin; Nicolas Halbwachs; Daniel Weber 017 (RTSS, 1998)

Stability of Discrete Sampled Systems. - Nicolas Halbwachs; J.-F. Héry; J.-C. Laleuf; Xavier Nicollin (FTRTFT, 2000)

Clock-Driven Automatic Distribution of Lustre Programs. - Alain Girault; Xavier Nicollin (EMSOFT, 2003)

Automatic rate desynchronization of embedded reactive programs. - Alain Girault; Xavier Nicollin; Marc Pouzet (ACM Trans. Embed. Comput. Syst., 2006)

Virtual execution of AADL models via a translation into synchronous programs. - Erwan Jahier; Nicolas Halbwachs; Pascal Raymond; Xavier Nicollin; David Lesens (EMSOFT, 2007)

Lossy Channels in a Dataflow Model of Computation. - Pascal Fradet; Alain Girault; Leila Jamshidian; Xavier Nicollin; Arash Shafiei 001 (Principles of Modeling, 2018)

RDF: Reconfigurable Dataflow. - Pascal Fradet; Alain Girault; Ruby Krishnaswamy; Xavier Nicollin; Arash Shafiei 001 (DATE, 2019)

RDF: A Reconfigurable Dataflow Model of Computation. - Pascal Fradet; Alain Girault; Ruby Krishnaswamy; Xavier Nicollin; Arash Shafiei 001 (ACM Trans. Embed. Comput. Syst., 2023)