Παρακολούθηση
David Monniaux
David Monniaux
Researcher in computer science, CNRS, VERIMAG
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα univ-grenoble-alpes.fr - Αρχική σελίδα
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
A static analyzer for large safety-critical software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
Proceedings of the ACM SIGPLAN 2003 conference on Programming language …, 2003
9322003
The ASTRÉE analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Programming Languages and Systems: 14th European Symposium on Programming …, 2005
7262005
Design and implementation of a special-purpose static program analyzer for safety-critical real-time embedded software
B Blanchet, P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, ...
The essence of computation: complexity, analysis, transformation, 85-108, 2002
3092002
The pitfalls of verifying floating-point computations
D Monniaux
ACM Transactions on Programming Languages and Systems (TOPLAS) 30 (3), 1-41, 2008
3022008
Combination of abstractions in the Astrée static analyzer
P Cousot, R Cousot, J Feret, L Mauborgne, A Miné, D Monniaux, X Rival
Advances in Computer Science-ASIAN 2006. Secure Software and Related Issues …, 2007
1742007
Abstract interpretation of probabilistic semantics
D Monniaux
International Static Analysis Symposium, 322-339, 2000
1322000
Abstracting cryptographic protocols with tree automata
D Monniaux
International Static Analysis Symposium, 149-163, 1999
1281999
Pagai: A path sensitive static analyser
J Henry, D Monniaux, M Moy
Electronic Notes in Theoretical Computer Science 289, 15-25, 2012
1032012
Quantifier elimination by lazy model enumeration
D Monniaux
International Conference on Computer Aided Verification, 585-599, 2010
972010
Varieties of static analyzers: A comparison with ASTRÉE
P Cousot, R Cousot, J Feret, M Antoine, L Mauborgne, D Monniaux, ...
First Joint IEEE/IFIP Symposium on Theoretical Aspects of Software …, 2007
902007
A quantifier elimination algorithm for linear real arithmetic
D Monniaux
International Conference on Logic for Programming Artificial Intelligence …, 2008
872008
An abstract Monte-Carlo method for the analysis of probabilistic programs
D Monniaux
Proceedings of the 28th ACM SIGPLAN-SIGACT symposium on Principles of …, 2001
732001
Automatic modular abstractions for linear constraints
DP Monniaux
ACM SIGPLAN Notices 44 (1), 140-151, 2009
642009
Cell morphing: From array programs to array-free horn clauses
D Monniaux, L Gonnord
International Static Analysis Symposium, 361-382, 2016
502016
Efficient generation of correctness certificates for the abstract domain of polyhedra
A Fouilhé, D Monniaux, M Périn
International Static Analysis Symposium, 345-365, 2013
502013
Abstract interpretation of programs as Markov decision processes
D Monniaux
Science of Computer Programming 58 (1-2), 179-205, 2005
492005
Abstracting cryptographic protocols with tree automata
D Monniaux
Science of Computer Programming 47 (2-3), 177-202, 2003
492003
An abstract analysis of the probabilistic termination of programs
D Monniaux
International Static Analysis Symposium, 111-126, 2001
492001
Verification of device drivers and intelligent controllers: a case study
D Monniaux
Proceedings of the 7th ACM & IEEE international conference on Embedded …, 2007
482007
A survey of satisfiability modulo theory
D Monniaux
Computer Algebra in Scientific Computing: 18th International Workshop, CASC …, 2016
442016
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20