Olivier Bouissou

25 papers A* 1A 2B 4C 1Journal 10Unranked 6
YearRankTypeTitle / Venue / Authors
2026 J jnl
DafnyPro: LLM-Assisted Automated Verification for Dafny Programs.
CoRR
Debangshu Banerjee, Olivier Bouissou, Stefan Zetzsche
2025 J jnl
ATLAS: Automated Toolkit for Large-Scale Verified Code Synthesis.
CoRR
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou, Remi Delmas, Soonho Kong
2025 J jnl
MiniF2F-Dafny: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification.
CoRR
Mantas Baksys, Stefan Zetzsche, Olivier Bouissou
2017 J jnl
Construction of parametric barrier functions for dynamical systems using interval analysis.
Autom.
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
2016 A conf
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.
TACAS
Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan
2015 J jnl
Construction of Parametric Barrier Functions for Dynamical Systems using Interval Analysis.
CoRR
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou
2014 — conf
Computation of parametric barrier functions for dynamical systems using interval analysis.
CDC
Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer
2013 J jnl
Computing Flowpipe of Nonlinear Hybrid Systems with Numerical Methods.
CoRR
Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram
2013 — conf
Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods.
NASA Formal Methods
Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi
2013 B conf
Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools.
VMCAI
Yassamine Seladji, Olivier Bouissou
2013 — conf
Numerical Abstract Domain Using Support Functions.
NASA Formal Methods
Yassamine Seladji, Olivier Bouissou
2013 — conf
Static Analysis of Programs with Imprecise Probabilistic Inputs.
VSTTE
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot
2012 J jnl
A generalization of p-boxes to affine arithmetic.
Computing
Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot
2012 J jnl
Acceleration of the abstract fixpoint computation in numerical program analysis.
J. Symb. Comput.
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2012 B conf
An operational semantics for Simulink's simulation engine.
LCTES
Olivier Bouissou, Alexandre Chapoutot
2012 — conf
From control-command synchronous programs to hybrid automata.
ADHS
Olivier Bouissou
2012 C conf
HySon: Set-based simulation of hybrid systems.
RSP
Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot
2012 J jnl
Vérification partielle de programmes de contrôle-commande par interprétation abstraite.
Tech. Sci. Informatiques
Olivier Bouissou
2010 J jnl
Abstract Fixpoint Computations with Numerical Acceleration Methods
CoRR
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2010 — conf
Abstract Fixpoint Computations with Numerical Acceleration Methods.
NSAD@SAS
Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot
2009 A* conf
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.
CAV
Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine
2009 B conf
Proving the Correctness of the Implementation of a Control-Command Algorithm.
SAS
Olivier Bouissou
2008 A conf
A Hybrid Denotational Semantics for Hybrid Systems.
ESOP
Olivier Bouissou, Matthieu Martel
2008 B conf
Abstract Interpretation of the Physical Inputs of Embedded Programs.
VMCAI
Olivier Bouissou, Matthieu Martel
2008 — —
Analyse statique par interprétation abstraite de systèmes hybrides.
Olivier Bouissou