2010 - Member of Academia Europaea
Nicolas Halbwachs mainly investigates Programming language, Lustre, Finite-state machine, Esterel and Synchronous programming language. His studies in Formal semantics and Reactive system are all subfields of Programming language research. His Lustre research includes elements of Synchronous Data Flow, Data flow diagram, Automatic control, Fifth-generation programming language and Declarative programming.
His studies in Synchronous Data Flow integrate themes in fields like Dataflow, Synchronous language and Temporal logic. His work deals with themes such as Reachability problem, State space, Discrete system, Formal specification and Hybrid automaton, which intersect with Finite-state machine. Nicolas Halbwachs combines subjects such as Formal methods, High-level programming language, Natural language and Specification language with his study of Esterel.
The scientist’s investigation covers issues in Programming language, Lustre, Algorithm, Theoretical computer science and Abstract interpretation. His Programming language study combines topics from a wide range of disciplines, such as Data flow diagram and Synchronous Data Flow. His studies deal with areas such as Automatic control, Fifth-generation programming language, Esterel, Synchronous programming language and Declarative programming as well as Lustre.
His biological study spans a wide range of topics, including Linear temporal logic and Temporal logic. His study looks at the relationship between Algorithm and topics such as Invariant, which overlap with Parameterized complexity. His study in Abstract interpretation is interdisciplinary in nature, drawing from both Program analysis and Static analysis.
Abstract interpretation, Program analysis, Library science, Exploit and Workflow are his primary areas of study. His Abstract interpretation study results in a more complete grasp of Algorithm. His work in the fields of Computation overlaps with other areas such as Implicit function.
His Library science research integrates issues from Systems design, Honor and Embedded software. Among his TRACE studies, there is a synthesis of other scientific areas such as Linear relation, Path, Auxiliary variables and Programming language. His work investigates the relationship between Discrete mathematics and topics such as Static analysis that intersect with problems in Cyclic permutation, Branch predictor and Pipeline.
Nicolas Halbwachs focuses on Projection, Program analysis, Fixed point, Limit and Abstract interpretation. His Projection research includes themes of Algorithm and Computation.
This overview was generated by a machine learning system which analysed the scientist’s body of work. If you have any feedback, you can contact us here.
The algorithmic analysis of hybrid systems
Rajeev Alur;Costas Courcoubetis;Nicolas Halbwachs;Thomas A. Henzinger.
Theoretical Computer Science (1995)
The synchronous data flow programming language LUSTRE
N. Halbwachs;P. Caspi;P. Raymond;D. Pilaud.
Proceedings of the IEEE (1991)
Automatic discovery of linear restraints among variables of a program
Patrick Cousot;Nicolas Halbwachs.
symposium on principles of programming languages (1978)
The synchronous languages 12 years later
A. Benveniste;P. Caspi;S.A. Edwards;N. Halbwachs.
Proceedings of the IEEE (2003)
Synchronous programming of reactive systems
LUSTRE: A declarative language for programming synchronous systems*
Paul Caspi;Daniel Pilaud;Nicolas Halbwachs;John Plaice.
LUSTRE: a declarative language for real-time programming
P. Caspi;D. Pilaud;N. Halbwachs;J. A. Plaice.
symposium on principles of programming languages (1987)
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE
N. Halbwachs;F. Lagnier;C. Ratel.
IEEE Transactions on Software Engineering (1992)
Verification of Real-Time Systems using Linear Relation Analysis
Nicolas Halbwachs;Yann-Erick Proy;Patrick Roumanoff.
computer aided verification (1997)
Synchronous Observers and the Verification of Reactive Systems
Nicolas Halbwachs;Fabienne Lagnier;Pascal Raymond.
algebraic methodology and software technology (1993)
If you think any of the details on this page are incorrect, let us know.
We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below: