Xavier Nicollin

20 papers A* 2A 2Misc 2Journal 7Unranked 6
YearRankTypeTitle / Venue / Authors
2023 J jnl
RDF: A Reconfigurable Dataflow Model of Computation.
ACM Trans. Embed. Comput. Syst.
Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
2019 A conf
RDF: Reconfigurable Dataflow.
DATE
Pascal Fradet, Alain Girault, Ruby Krishnaswamy, Xavier Nicollin, Arash Shafiei
2018 — conf
Lossy Channels in a Dataflow Model of Computation.
Principles of Modeling
Pascal Fradet, Alain Girault, Leila Jamshidian, Xavier Nicollin, Arash Shafiei
2007 Misc conf
Virtual execution of AADL models via a translation into synchronous programs.
EMSOFT
Erwan Jahier, Nicolas Halbwachs, Pascal Raymond, Xavier Nicollin, David Lesens
2006 J jnl
Automatic rate desynchronization of embedded reactive programs.
ACM Trans. Embed. Comput. Syst.
Alain Girault, Xavier Nicollin, Marc Pouzet
2003 Misc conf
Clock-Driven Automatic Distribution of Lustre Programs.
EMSOFT
Alain Girault, Xavier Nicollin
2000 — conf
Stability of Discrete Sampled Systems.
FTRTFT
Nicolas Halbwachs, J.-F. Héry, J.-C. Laleuf, Xavier Nicollin
1998 A conf
Automatic Testing of Reactive Systems.
RTSS
Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, Daniel Weber
1995 J jnl
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci.
Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Thomas A. Henzinger, Pei-Hsin Ho, Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1994 J jnl
Symbolic Model Checking for Real-Time Systems
Inf. Comput.
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1994 J jnl
The Algebra of Timed Processes, ATP: Theory and Application
Inf. Comput.
Xavier Nicollin, Joseph Sifakis
1993 J jnl
From ATP to Timed Graphs and Hybrid Systems.
Acta Informatica
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
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 — conf
An Approach to the Description and Analysis of Hybrid Systems.
Hybrid Systems
Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, Sergio Yovine
1992 J jnl
Compiling Real-Time Specifications into Extended Automata.
IEEE Trans. Software Eng.
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1992 A* conf
Symbolic Model Checking for Real-time Systems
LICS
Thomas A. Henzinger, Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1991 A* conf
An Overview and Synthesis on Timed Process Algebras.
CAV
Xavier Nicollin, Joseph Sifakis
1991 — conf
An Overview and Synthesis on Timed Process Algebras.
REX Workshop
Xavier Nicollin, Joseph Sifakis
1991 — conf
From ATP to Timed Graphs and Hybrid Systems.
REX Workshop
Xavier Nicollin, Joseph Sifakis, Sergio Yovine
1990 — conf
ATP: an Algebra for Timed Processes.
Programming Concepts and Methods
Xavier Nicollin, Jean-Luc Richier, Joseph Sifakis, Jacques Voiron