Xavier Nicollin

ORCID

Publication Activity (10 Years)

Years Active: 1990-2023
Publications (10 Years): 3

Top Venues

Principles of Modeling

DATE

Grenoble Institute of Technology, France (PHD)

Education History

Grenoble Institute of Technology, France

PHD

Publications

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

Xavier Nicollin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Xavier Nicollin