David Monniaux

David Monniaux

Université Grenoble Alpes - Saint-Martin-d'Hères / France
Engineering & Technology / Computer Science
AD Scientific Index ID: 1711612
Grenoble Alpes University
person_outline David Monniaux's MOST POPULAR ARTICLES
1-) The ASTRÉE analyzer Programming languages and systems: 14th European symposium on programming …, 2005
2-) The pitfalls of verifying floating-point computations ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-41, 2008
3-) Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software The essence of computation: complexity, analysis, transformation, 85-108, 2002
4-) Combination of abstractions in the Astrée static analyzer Annual Asian Computing Science Conference, 272-300, 2006
5-) Combination of abstractions in the Astrée static analyzerP Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X RivalAnnual Asian Computing Science Conference, 272-300, 20061992006