Olivier Bouissou

Statistics

Publications

Citations

259

H-Index

Active since

2006

Affiliations

Commissariat à l'Énergie Atomique et aux Énergies Alternatives(Current)

École Nationale Supérieure de Techniques Avancées

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

CEA Paris-Saclay

Laboratoire des signaux et systèmes

Olivier Bouissou is an author at Commissariat à l'Énergie Atomique et aux Énergies Alternatives specializing in engineering, computer science, and systems engineering.

Publications per year

2006–2017

Publications

An operational semantics for Simulink's simulation engine

Olivier Bouissou, Alexandre Chapoutot · 2012 · 49 citations

Engineering, Computer Engineering, Computer Science +15

GRKLib: a Guaranteed Runge Kutta Library

Olivier Bouissou, Matthieu Martel · 2006 · 48 citations

Computing, Computer Science, Mathematics +17

A generalization of p-boxes to affine arithmetic

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

Natural Sciences, Computer Science, Mathematics +9

Construction of parametric barrier functions for dynamical systems using interval analysis

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

Natural Sciences, Mathematics, Systems Engineering +9

Space Software Validation using Abstract Interpretation

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

Engineering, Aerospace Engineering, Computer Science +17

1–5 of 7