| [17] | 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] |
| [16] | Acceleration of the abstract fixpoint computation in numerical program analysis (Olivier Bouissou, Yassamine Seladji, Alexandre Chapoutot), In Journal of Symbolic Computation, 2012.
[bib] [pdf] [doi] |
| [15] | An Operational Semantics of Simulink's Simulation Engine (Olivier Bouissou, Alexandre Chapoutot), In Language, Compiler and Tools for Embedded Systems (LCTES'12), 2012.
[bib] |
| [14] | From control-command synchronous programs to hybrid automata (Olivier Bouissou), In Analysis and Design of Hybrid Systems (ADHS'12), 2012.
[bib] |
| [13] | A generalization of p-boxes to affine arithmetic (Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot), In Computing, Springer Wien, 2011. (10.1007/s00607-011-0182-8)
[bib] [pdf] |
| [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] |
| [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 Védrine), In CAV, 2009.
[bib] |
| [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] |
| [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] |
| [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] |
| [1] | Analyse statique par interpretation abstraite de système hybrides discrets-continus (Olivier Bouissou), Technical report, CEA-LIST, 2005.
[bib] |