N
Nicolas Halbwachs
Researcher at University of Grenoble
Publications - 72
Citations - 12439
Nicolas Halbwachs is an academic researcher from University of Grenoble. The author has contributed to research in topics: Lustre (programming language) & Declarative programming. The author has an hindex of 36, co-authored 72 publications receiving 12091 citations. Previous affiliations of Nicolas Halbwachs include Centre national de la recherche scientifique & Stanford University.
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.
Proceedings ArticleDOI
Automatic discovery of linear restraints among variables of a program
Patrick Cousot,Nicolas Halbwachs +1 more
Journal ArticleDOI
The synchronous data flow programming language LUSTRE
TL;DR: The authors describe LUSTRE, a data flow synchronous language designed for programming reactive systems-such as automatic control and monitoring systems-as well as for describing hardware.
Book
Synchronous programming of reactive systems
TL;DR: This book presents a synthesis of recent works concerning reactive system design, based on Robin Milner's pioneering works about synchronous process algebras, which consists in considering that a program instantaneously reacts to events, or that the machine execution time is negligible with respect to the response delays of its environment.
Journal ArticleDOI
The synchronous languages 12 years later
Albert Benveniste,Paul Caspi,Stephen A. Edwards,Nicolas Halbwachs,P. Le Guernic,R. de Simone +5 more
TL;DR: The improvements, difficulties, and successes that have occured with the synchronous languages since then are discussed.