Nicolas Halbwachs
Institut polytechnique de Grenoble(FR)Centre National de la Recherche Scientifique(FR)Centre National de la Recherche Scientifique(FR)Verimag(FR)Université Grenoble Alpes(FR)
Publications by Year
Research Areas
Formal Methods in Verification, Embedded Systems Design Techniques, Parallel Computing and Optimization Techniques, Real-Time Systems Scheduling, Software Testing and Debugging Techniques
Most-Cited Works
- → The algorithmic analysis of hybrid systems(1995)1,870 cited
- → Automatic discovery of linear restraints among variables of a program(1978)1,580 cited
- → The synchronous data flow programming language LUSTRE(1991)1,533 cited
- → The synchronous languages 12 years later(2003)922 cited
- → Synchronous programming of reactive systems(1998)773 cited
- → LUSTRE: a declarative language for real-time programming(1987)552 cited
- LUSTRE: A declarative language for programming synchronous systems*(1987)