Xavier Nicollin

According to our database1, Xavier Nicollin
  • authored at least 16 papers between 1991 and 2007.
  • has a "Dijkstra number"2 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2007
Virtual execution of AADL models via a translation into synchronous programs.
Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

2006
Automatic rate desynchronization of embedded reactive programs.
ACM Trans. Embedded Comput. Syst., 2006

2003
Clock-Driven Automatic Distribution of Lustre Programs.
Proceedings of the Embedded Software, Third International Conference, 2003

2000
Stability of Discrete Sampled Systems.
Proceedings of the Formal Techniques in Real-Time and Fault-Tolerant Systems, 2000

1998
Automatic Testing of Reactive Systems.
Proceedings of the 19th IEEE Real-Time Systems Symposium, 1998

1995
The Algorithmic Analysis of Hybrid Systems.
Theor. Comput. Sci., 1995

1994
The Algebra of Timed Processes, ATP: Theory and Application
Inf. Comput., October, 1994

Symbolic Model Checking for Real-Time Systems
Inf. Comput., June, 1994

1993
From ATP to Timed Graphs and Hybrid Systems.
Acta Inf., 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).
PhD thesis, 1992

Compiling Real-Time Specifications into Extended Automata.
IEEE Trans. Software Eng., 1992

Symbolic Model Checking for Real-time Systems
Proceedings of the Seventh Annual Symposium on Logic in Computer Science (LICS '92), 1992

An Approach to the Description and Analysis of Hybrid Systems.
Proceedings of the Hybrid Systems, 1992

1991
From ATP to Timed Graphs and Hybrid Systems.
Proceedings of the Real-Time: Theory in Practice, 1991

An Overview and Synthesis on Timed Process Algebras.
Proceedings of the Real-Time: Theory in Practice, 1991

An Overview and Synthesis on Timed Process Algebras.
Proceedings of the Computer Aided Verification, 3rd International Workshop, 1991


  Loading...