X
Xavier Nicollin
Researcher at University of Grenoble
Publications - 19
Citations - 4629
Xavier Nicollin is an academic researcher from University of Grenoble. The author has contributed to research in topics: Hybrid system & Dataflow. The author has an hindex of 13, co-authored 18 publications receiving 4527 citations. Previous affiliations of Xavier Nicollin include Cornell University & Centre national de la recherche scientifique.
Papers
More filters
Journal ArticleDOI
The algorithmic analysis of hybrid systems
Rajeev Alur,Costas Courcoubetis,Nicolas Halbwachs,Thomas A. Henzinger,Pei Ho,Xavier Nicollin,Alfredo Olivero,Joseph Sifakis,Sergio Yovine +8 more
TL;DR: A general framework for the formal specification and algorithmic analysis of hybrid systems is presented, which considers symbolic model-checking and minimization procedures that are based on the reachability analysis of an infinite state space.
Journal ArticleDOI
Symbolic model checking for real-time systems
TL;DR: It is shown that the expressiveness of the timed μ-calculus is incomparable to theexpressiveness of timed CTL, which does not impair the symbolic verification of "implementable" real-time programs-those whose safety constraints are machine-closed with respect to diverging time and whose fairness constraints are restricted to finite upper bounds on clock values.
Book ChapterDOI
An Overview and Synthesis on Timed Process Algebras
Xavier Nicollin,Joseph Sifakis +1 more
TL;DR: An overview of some relevant and representative approaches and a unifying framework for them are suggested for process algebras for the specification and analysis of timed systems.
Proceedings ArticleDOI
Symbolic model checking for real-time systems
TL;DR: Finite-state programs over real-numbered time in a guarded-command language with real-valued clocks are described and an algorithm that computes this set of states symbolically as a fixpoint of a functional on state predicates, without constructing the state space is given.