Nicolas Halbwachs - Concepedia

Author

Nicolas Halbwachs

Verimag ORCID

Also Known As

Halbwachs, N, Halbwachs, Nicholas, Halbwachs, Nicolas, N. Halbwachs, Nicolas Halbwachs, de Roever, Willem-Paul

105

Publications

11.3K

Citations

H-Index

Concepts

All Affiliations

Verimag Centre National de la Recherche Scientifique Translational Innovation in Medicine and Complexity Université Grenoble Alpes Institut des Sciences Cognitives Marc Jeannerod

About

Nicolas Halbwachs is an author at Verimag specializing in computer science, engineering, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	22	27	7.8K
2	Computer Engineering	5	5	1.1K
3	Language Studies	2	2	980
4	Education	1	1	73
5	Natural Sciences	1	1	48

Nicolas Halbwachs

Publications

8.6K

Citations

H-Index

Page 1

	Year	Citations
The algorithmic analysis of hybrid systems Rajeev Alur, Costas Courcoubetis, Nicolas Halbwachs, Theoretical Computer Science EngineeringReachability ProblemVerificationHybrid ComputingModel Checking	1995	1.9K
Automatic discovery of linear restraints among variables of a program Patrick Cousot, Nicolas Halbwachs Mathematical ProgrammingLinear RestraintsEngineeringSoftware EngineeringConstrained Optimization	1978	1.6K
The synchronous data flow programming language LUSTRE Nicolas Halbwachs, P. Caspi, Pascal Raymond, Proceedings of the IEEE Efficient Sequential ProgramEngineeringSoftware SystemsVerificationSoftware Engineering	1991	1.5K
The synchronous languages 12 years later Albert Benveniste, P. Caspi, Stephen A. Edwards, Proceedings of the IEEE Special SectionEngineeringEmbedded SystemsClock SynchronizationFormal Verification	2003	922
LUSTRE: a declarative language for real-time programming P. Caspi, D. Pilaud, Nicolas Halbwachs, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	1987	552
LUSTRE: A declarative language for programming synchronous systems* Paul Caspi, D. Pilaud, Nicolas Halbwachs,	1987	461
Verification of Real-Time Systems using Linear Relation Analysis Nicolas Halbwachs, Yann-Erick Proy, Patrick Roumanoff Formal Methods in System Design	1997	257
Programming and verifying real-time systems by means of the synchronous data-flow language LUSTRE Nicolas Halbwachs, F. Lagnier, Christophe Ratel IEEE Transactions on Software Engineering EngineeringLanguage LustreVerificationSoftware SystemsComputer-aided Verification	1992	245
Discovering properties about arrays in simple programs Nicolas Halbwachs, Mathias Péron EngineeringArray ContentsComputational ComplexitySoftware AnalysisFormal Verification	2008	140
Automatic testing of reactive systems Pascal Raymond, Xavier Nicollin, Nicolas Halbwachs, EngineeringVerificationSoftware EngineeringSoftware AnalysisFormal Verification	2002	110

Page 1