Home page of Olivier Bouissou

Senior Development Engineer, The Mathworks

You can find an updated version of my CV here.

Research activities

I was previously a researcher in computer science, employed by CEA List in the laboratory "Modelisation et Analyse des Systemes en Interaction" (LMeASI).
My main field of research was the static analysis, using abstract interpretation, of hybrid systems made of a discrete control command program and a continuous environment modelled as a set of ODEs.

Present and past students

  • Adel Djaballah (PhD, since 2012)
  • Yassamine Seladji (PhD, 2010--2013)
  • Adel Djoudi (Master, 2012)
  • Assalé Adje (Post-doc, 2012)
  • Manel Abid (Post-doc, 2012)


My publications


2014
[24] Set-based Simulation for Design and Verification of Simulink Models (Olivier Bouissou, Alexandre Chapoutot, Samuel Mimram, Baptiste Strazzulla), In Accepted at Embedded Real Time Software and Systems (ERTS'14), 2014. [bib]
2013
[23] Static Analysis of Programs with Imprecise Probabilistic Inputs (Assale Adje, Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot), In Verified Software: Theories, Tools and Experiments (VSTTE'13), 2013. [bib]
[22] Enclosing Temporal Evolution of Dynamical Systems Using Numerical Methods (Olivier Bouissou, Alexandre Chapoutot, Adel Djoudi), In NASA Formal Methods (Guillaume Brat, Neha Rungta, Arnaud Venet, eds.), Springer Berlin Heidelberg, volume 7871, 2013. [bib] [pdf] [doi]
[21] Numerical Abstract Domain Using Support Functions (Yassamine Seladji, Olivier Bouissou), In NASA Formal Methods (Guillaume Brat, Neha Rungta, Arnaud Venet, eds.), Springer Berlin Heidelberg, volume 7871, 2013. [bib] [pdf] [doi]
[20] Fixpoint Computation in the Polyhedra Abstract Domain Using Convex and Numerical Analysis Tools (Yassamine Seladji, Olivier Bouissou), In Proceedings of the 14th International Conference on Verification, Model Checking, and Abstract Interpretation (VMCAI'13), Springer, volume 7737, 2013. [bib]
2012
[19] HySon: Set-based simulation of hybrid systems (Olivier Bouissou, Samuel Mimram, Alexandre Chapoutot), In RSP, IEEE, 2012. [bib]
[18] Numerical Abstract Domain Using Support Function (Olivier Bouissou, Yassamine Seladji), In 5th International Workshop on Numerical Software Verification (NSV'12), 2012. [bib]
[17] From control-command synchronous programs to hybrid automata (Olivier Bouissou), In Analysis and Design of Hybrid Systems (ADHS'12), 2012. [bib]
[16] An Operational Semantics of Simulink's Simulation Engine (Olivier Bouissou, Alexandre Chapoutot), In Language, Compiler and Tools for Embedded Systems (LCTES'12), 2012. [bib]
[15] Vérification partielle de programmes de contrôle-commande par interprétation abstraite (Olivier Bouissou), In Technique et Science Informatiques, Lavoisier, volume 31, 2012. [bib] [doi]
[14] Acceleration of the abstract fixpoint computation in numerical program analysis (Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot), In Journal of Symbolic Computation, volume 47, 2012. (International Workshop on Invariant Generation) [bib] [doi]
[13] A generalization of p-boxes to affine arithmetic (Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot), In Computing, Springer Vienna, volume 94, 2012. [bib] [pdf] [doi]
2010
[12] A Generalization of P-boxes to Affine Arithmetic, and Applications to Static Analysis of Programs (Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot), In Proceedings of the 14th GAMM-IMACS International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics (SCAN'2010), 2010. [bib]
[11] Abstract Fixpoint Computations with Numerical Acceleration Methods (Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot), In Electronic Notes in Theoretical Computer Science, volume 267, 2010. (Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains: NSAD 2010, Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains: NSAD 2010) [bib] [pdf] [doi]
2009
[10] Proving the Correctness of the Implementation of a Control-Command Algorithm (Olivier Bouissou), In SAS, 2009. [bib]
[9] Space Software Validation using Abstract Interpretation (Olivier Bouissou, Eric Conquet, Patrick Cousot, Radhia Cousot, Khalil Ghorbal, David Lesens, Sylvie Putot, Michel Turin, Eric Goubault), In Proceedings of DASIA 2009, 2009. [bib]
[8] HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment (Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Vedrine), In Proceedings of the 21st International Conference on Computer Aided Verification, Springer-Verlag, 2009. [bib] [pdf] [doi]
2008
[7] Analyse statique par interpretation abstraite de systèmes hybrides (Olivier Bouissou), PhD thesis, Ecole Polytechnique, 2008. [bib]
[6] Abstract Interpretation of the Physical Inputs of Embedded Programs (Olivier Bouissou, Matthieu Martel), In Proceedings of the 9th International Conference on Verification, Model Checking and Abstract Interpretation (VMCAI'08), Springer, volume 4905, 2008. [bib]
[5] A Hybrid Denotational Semantics of Hybrid Systems (Olivier Bouissou, Matthieu Martel), In Proceedings of the 17th European Symposium on Programming Languages and Systems (ESOP'08), Springer, volume 4960, 2008. [bib]
2007
[4] GRKLib: a Guaranteed Runge-Kutta Library (Olivier Bouissou, Matthieu Martel), In Follow-up of International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, IEEE Press, 2007. [bib]
[3] Static Analysis of Embedded Programs with Continuous I/O (poster) (Olivier Bouissou, Matthieu Martel), In Hybrid Systems, Computation and Control (HSCC'07), 2007. [bib]
2006
[2] GRKLib: a Guaranteed Runge-Kutta Library (Olivier Bouissou, Matthieu Martel), In International Symposium on Scientific Computing, Computer Arithmetic and Validated Numerics, IEEE, 2006. [bib]
2005
[1] Analyse statique par interpretation abstraite de système hybrides discrets-continus (Olivier Bouissou), Technical report, CEA-LIST, 2005. [bib]
Powered by bibtexbrowser


My talks


Some talks I gave in international conferences/workshops:

My teaching activites


I give courses at various places and various levels:

Projects


I am involved in the following projects: Past projects:

Tools