Olivier Bouissou

Statistics

Publications

Citations

256

H-Index

Active since

2006

Affiliations

Laboratoire d'Intégration des Systèmes et des Technologies(Current)

Commissariat à l'Énergie Atomique et aux Énergies Alternatives

École Nationale Supérieure de Techniques Avancées

Laboratoire des signaux et systèmes

CEA Paris-Saclay

Olivier Bouissou is an author at Laboratoire d'Intégration des Systèmes et des Technologies specializing in engineering, systems engineering, and computer engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceComputer EngineeringSimulationFormal MethodsDynamic SystemsMechanical SystemsNumerical AnalysisComputational Mechanics

Publications per year

2006–2017

Publications

An operational semantics for Simulink's simulation engine

Olivier Bouissou, Alexandre Chapoutot · 2012 · 48 citations

Engineering, Verification, Simulation +20

GRKLib: a Guaranteed Runge Kutta Library

Olivier Bouissou, Matthieu Martel · 2006 · 48 citations

Mathematical Programming, Numerical Analysis, Engineering +18

A generalization of p-boxes to affine arithmetic

Olivier Bouissou, Éric Goubault, Jean Goubault-Larrecq et al. · Computing · 2012 · 46 citations

Finite Geometry, Finite Field

Construction of parametric barrier functions for dynamical systems using interval analysis

Adel Djaballah, Alexandre Chapoutot, Michel Kieffer et al. · Automatica · 2017 · 32 citations

Engineering, Parametric Barrier Functions, Discrete Dynamical System +7

Space Software Validation using Abstract Interpretation

Olivier Bouissou, Eric Conquet, Patrick Cousot et al. · HAL (Le Centre pour la Communication Scientifique Directe) · 2009 · 28 citations · Full text

1–5 of 7