BZPEER
More

Discover

About BZPEERSearchGraph

Research tools

HomeCollectionsResearchCollaborationPublish

Network

ExpertsCommunities

Opportunities

Listings

Account

Log inCreate account
Log inCreate account

Graph explorer

Research map

Explore the papers, people and topics connected to your research.

David Monniaux
SearchCollections
Map detail
David Monniaux13 visible / 13 total nodes / 12 links

Drag to move · Scroll or pinch to zoom · Select a node for details

AuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipAuthorshipDavid MonniauxADavid MonniauxResearcherThe complexity gap in the static analysis of cache accesses grows if procedure calls are addedWThe complexity gap in t...preprint / 2022NP$^{\#P}$ = $\exists$PP and other remarks about maximized countingWNP$^{\#P}$ = $\exists$P...preprint / 2022Formally verified 32- and 64-bit integer division using double-precision floating-point arithmeticWFormally verified 32- a...preprint / 2022Automatic modular abstractions for template numerical constraintsWAutomatic modular abstr...preprint / 2010Using Bounded Model Checking to Focus Fixpoint IterationsWUsing Bounded Model Che...preprint / 2011On the Generation of Positivstellensatz Witnesses in Degenerate CasesWOn the Generation of Po...preprint / 2011Stratified Static Analysis Based on Variable DependenciesWStratified Static Analy...preprint / 2011Modular Abstractions of Reactive Nodes using Disjunctive InvariantsWModular Abstractions of...preprint / 2011Speeding Up Logico-Numerical Strategy Iteration (extended version)WSpeeding Up Logico-Nume...preprint / 2014A simple abstraction of arrays and maps by program translationWA simple abstraction of...preprint / 2015An encoding of array verification problems into array-free Horn clausesWAn encoding of array ve...preprint / 2015A Survey of Satisfiability Modulo TheoryWA Survey of Satisfiabil...preprint / 2016
Person12 links

David Monniaux

Researcher

PaperThe complexity gap in the static analysis of cache accesses grows if procedure calls are addedAuthorship / preprint / 2022PaperNP#P^{\#P} = ∃\existsPP and other remarks about maximized countingAuthorship / preprint / 2022PaperFormally verified 32- and 64-bit integer division using double-precision floating-point arithmeticAuthorship / preprint / 2022PaperAutomatic modular abstractions for template numerical constraintsAuthorship / preprint / 2010PaperUsing Bounded Model Checking to Focus Fixpoint IterationsAuthorship / preprint / 2011PaperOn the Generation of Positivstellensatz Witnesses in Degenerate CasesAuthorship / preprint / 2011PaperStratified Static Analysis Based on Variable DependenciesAuthorship / preprint / 2011PaperModular Abstractions of Reactive Nodes using Disjunctive InvariantsAuthorship / preprint / 2011

Personal maps

Sign in to save graph views

Saved views keep the query, focus and filters attached so you can return to the same research slice later.

Sign in

Public snapshots

1 shared view(s)