MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named David Monniaux – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

Abstract interpretation of probabilistic semantics
by David Monniaux — 2000 — In Seventh International Static Analysis Symposium (SAS’00), number 1824 in Lecture Notes in Computer Science
…Abstract interpretation of probabilistic semantics David Monniaux http://www.di.ens.fr/~monniaux…
Cited by 19 (5 self) – Add To MetaCart

The pitfalls of verifying floating-point computations
by David Monniaux — 2007 — ACM Transactions on Programming Languages and Systems
…hal-00128124, version 3 - 29 Jun 2007 The pitfalls of verifying floating-point computations DAVID…
Cited by 2 (0 self) – Add To MetaCart

Backwards abstract interpretation of probabilistic programs
by David Monniaux — 2001 — In European Symposium on Programming Languages and Systems (ESOP '01), number 2028 in Lecture Notes in Computer Science
…Backwards Abstract Interpretation of Probabilistic Programs 1 Introduction David Monniaux http://www.di.ens.fr/~monniaux…
Cited by 2 (1 self) – Add To MetaCart

The parallel implementation of the Astrée static analyzer
by David Monniaux — 2005 — APLAS. Volume 3780 of LNCS
…The parallel implementation of the Astrée static analyzer David Monniaux David.Monniaux…
Cited by 2 (2 self) – Add To MetaCart

An abstract analysis of the probabilistic termination of programs
by David Monniaux — 2001 — In Proc. of The 8th Internat. Static Analysis Symposium
…An Abstract Analysis of the Probabilistic Termination of Programs David Monniaux http://www.di.ens.fr/~monniaux…
Cited by 3 (1 self) – Add To MetaCart

Compositional analysis of floating-point linear numerical filters
by David Monniaux — 2005 — In Computer-aided verification (CAV’05), LNCS
…Compositional analysis of floating-point linear numerical filters David Monniaux CNRS…
Cited by 2 (1 self) – Add To MetaCart

Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief
by David Monniaux — 1999 — In 12th Computer Security Foundations Workshop. IEEE
…Decision Procedures for the Analysis of Cryptographic Protocols by Logics of Belief ∗ David…
Cited by 5 (0 self) – Add To MetaCart

Abstracting cryptographic protocols with tree automata
by David Monniaux — 1999 — In Proc. 6th SAS
…Abstracting Cryptographic Protocols with Tree Automata ⋆ Abstract David Monniaux http…
Cited by 49 (0 self) – Add To MetaCart

Abstract interpretation of programs as Markov decision processes
by David Monniaux, École Normale Supérieure — 2005 — Science of Computer Programming 58
…Abstract interpretation of programs as Markov decision processes David Monniaux http://www.di.ens.fr/~monniaux…
Cited by 9 (0 self) – Add To MetaCart

An Abstract Monte-Carlo Method for the Analysis of Probabilistic Programs
by David Monniaux, Ecole Normale Superieure — 2001
… David.Monniaux@(email omitted); ABSTRACT We introduce a new method, combination of random testing and abstract…
Cited by 10 (3 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB