Xavier Nicollin

According to our database, Xavier Nicollin authored at least 17 papers between 1990 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

RDF: A Reconfigurable Dataflow Model of Computation.

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei

ACM Trans. Embed. Comput. Syst., 2023

2019

RDF: Reconfigurable Dataflow.

Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2019

2018

Lossy Channels in a Dataflow Model of Computation.

Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei

Proceedings of the Principles of Modeling, 2018

2007

Virtual execution of AADL models via a translation into synchronous programs.

Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006

Automatic rate desynchronization of embedded reactive programs.

Alain Girault, Xavier Nicollin, Marc Pouzet

ACM Trans. Embed. Comput. Syst., 2006

2003

Clock-Driven Automatic Distribution of Lustre Programs.

Alain Girault, Xavier Nicollin

Proceedings of the Embedded Software, Third International Conference, 2003

2000

Stability of Discrete Sampled Systems.

Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin

Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1998

Automatic Testing of Reactive Systems.

Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber

Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1995

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

1994

The Algebra of Timed Processes, ATP: Theory and Application

Xavier Nicollin, Joseph Sifakis

Inf. Comput., October, 1994

Symbolic Model Checking for Real-Time Systems

Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine

Inf. Comput., June, 1994

1993

From ATP to Timed Graphs and Hybrid Systems.

Xavier Nicollin, Joseph Sifakis, Sergio Yovine

Acta Informatica, 1993

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

PhD thesis, 1992

Compiling Real-Time Specifications into Extended Automata.

Xavier Nicollin, Joseph Sifakis, Sergio Yovine

IEEE Trans. Software Eng., 1992

An Approach to the Description and Analysis of Hybrid Systems.

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine

Proceedings of the Hybrid Systems, 1992

1991

An Overview and Synthesis on Timed Process Algebras.

Xavier Nicollin, Joseph Sifakis

Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991

1990

ATP: an Algebra for Timed Processes.

Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron

Proceedings of the Programming concepts and methods: Proceedings of the IFIP Working Group 2.2, 1990