Recent publications

The geometry of conservative programs. Emmanuel Haucourt. Mathematical Structures in Computer Science, pages 1--47, October 2017. Also available on HAL. [ bib | http ]
Towards 3-Dimensional Rewriting Theory. Samuel Mimram. Logical Methods in Computer Science, 10(1):1--47, 2014. [ bib | DOI | arXiv ]
Set-based Simulation for Design and Verification of Simulink Models. Olivier Bouissou, Alexandre Chapoutot, and Samuel Mimram. In Embedded Real Time Software and Systems (ERTS), 2014. [ bib ]
Inner approximated reachability analysis. Eric Goubault, Olivier Mullier, Sylvie Putot, and Michel Kieffer. In 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pages 163--172. ACM, 2014. [ bib ]
Analyse statique de programmes et systèmes numériques. Sylvie Putot. Technique et Science Informatiques, 33(1-2):159--162, 2014. [ bib ]
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero. Emmanuel Haucourt and Nicolas Ninin. In 7th Interaction and Concurrency Experience (ICE 2014), Electronic Proceedings in Theoretical Computer Science, 2014. [ bib ]
Iterated Chromatic Subdivisions are Collapsible. Éric Goubault, Samuel Mimram, and Christine Tasson. Applied Categorical Structures, pages 1--42, 2014. [ bib | DOI | http ]
A Geometric View of Partial Order Reduction. Éric Goubault, Tobias Heindel, and Samuel Mimram. Electronic Notes in Theoretical Computer Science, 298(0):179--195, 2013. Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. [ bib | DOI | http ]
A Categorical Theory of Patches. Samuel Mimram and Cinzia Di Giusto. Electronic Notes in Theoretical Computer Science, 298(0):283--307, 2013. Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. [ bib | DOI | arXiv | http ]
A Homotopical Completion Procedure with Applications to Coherence of Monoids. Yves Guiraud, Philippe Malbos, and Samuel Mimram. In Femke van Raamsdonk, editor, 24th International Conference on Rewriting Techniques and Applications (RTA 2013), volume 21 of Leibniz International Proceedings in Informatics (LIPIcs), pages 223--238, Dagstuhl, Germany, 2013. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http ]
Robustness Analysis of Finite Precision Implementations. Eric Goubault and Sylvie Putot. In Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, volume 8301 of Lecture Notes in Computer Science, pages 50--57. Springer, 2013. [ bib ]
Static Analysis of Programs with Imprecise Probabilistic Inputs. Assale Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, and Sylvie Putot. In VSTTE, 2013. [ bib ]
General Inner Approximation of Vector-Valued Functions. E. Goubault, M. Kieffer, O. Mullier, and S. Putot. Reliable Computing, 18:117--143, 2013. [ bib ]
HySon: Set-based simulation of hybrid systems. O. Bouissou, A. Chapoutot, and S. Mimram. In Rapid System Prototyping (RSP), 2012 23rd IEEE International Symposium on, pages 79--85, 2012. [ bib | DOI ]
Formal Relationships Between Geometrical and Classical Models for Concurrency. Éric Goubault and Samuel Mimram. Electronic Notes in Theoretical Computer Science, 283(0):77--109, 2012. Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO). [ bib | DOI | arXiv | http ]
Trace Spaces: An Efficient New Technique for State-Space Reduction. Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, and Martin Raussen. In Helmut Seidl, editor, Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science, pages 274--294. Springer Berlin Heidelberg, 2012. [ bib | DOI | arXiv | http ]
Interactive Analysis in Fluctuat, E. Goubault, T. Le Gall, S. Putot, and F. Védrine. 2012. [ bib ]
Design of fixed-point embedded systems (DEFIS) French ANR project. Daniel Menard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoit Lopez, Eric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, and Christophe Clienti. In Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, DASIP 2012, Karlsruhe, Germany, October 23-25, 2012, pages 1--2. IEEE, 2012. [ bib ]
A generalization of p-boxes to affine arithmetic. Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, and Sylvie Putot. Computing, 94(2-4):189--201, 2012. [ bib ]
Modular static analysis with zonotopes. E. Goubault, S. Putot, and F. Vedrine. In SAS'12, volume 7460 of LNCS, pages 24--40. Springer, 2012. [ bib ]
An accurate join for zonotopes, preserving affine input/output Relations. E. Goubault, T. Le Gall, and S. Putot. ENTCS, 287:65--76, 2012. NSAD'12. [ bib ]
Streams, d-Spaces and their Fundamental Categories. Emmanuel Haucourt. Electronic Notes in Theoretical Computer Science, 283:111–151, 2012. [ bib | DOI ]
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, and Samuel Mimram. In Francesco Flammini, Sandro Bologna, and Valeria Vittorini, editors, Computer Safety, Reliability, and Security, volume 6894 of Lecture Notes in Computer Science, pages 85--98. Springer Berlin Heidelberg, 2011. [ bib | DOI | http ]
Superellipsoids: a generalization of the interval, zonotope and ellipsoid domains, E. Goubault and S. Putot. 2011. [ bib ]
Static analysis of finite precision computations. E. Goubault and S. Putot. In Proceedings of VMCAI'11, 12th Conference on Verification, Model Checking, and Abstract Interpretation, volume 6538 of Lecture Notes in Computer Science, pages 232--247. Springer, 2011. [ bib ]
A logical product approach to zonotope intersection. K. Ghorbal, E. Goubault, and S. Putot. In CAV'10, volume 6174 of LNCS, 2010. [ bib ]
HybridFluctuat: a static analyzer of numerical programs within a continuous environment. O. Bouissou, E. Goubault, S. Putot, K. Tekkal, and F. Védrine. In Proceedings of CAV'09, Conference on Computer Aided Verification, volume 5643 of Lecture Notes in Computer Science, pages 620--626. LNCS, Springer, 2009. [ bib ]
The zonotope abstract domain Taylor1+. K. Ghorbal, E. Goubault, and S. Putot. In CAV'09, volume 5643 of LNCS, pages 627--633. Springer, 2009. [ bib ]
Towards an industrial use of FLUCTUAT on safety-critical avionics software. D. Delmas, E. Goubault, S. Putot, J. Souyris, K. Tekkal, and F. Védrine. In FMICS, 2009. [ bib ]
A zonotopic framework for functional abstractions. E. Goubault and S. Putot. CoRR, abs/0910.1763, 2009. [ bib ]
Perturbed affine arithmetic for invariant computation in numerical program analysis. E. Goubault and S. Putot. CoRR, abs/0807.2961, 2008. [ bib ]
Static analysis of the accuracy in control systems: principles and experiments. E. Goubault, S. Putot, P. Baufreton, and J. Gassino. In Proceedings of FMICS'07, 12th Workshop on Formal Methods for Industrial Critical Systems, volume 4916 of Lecture Notes in Computer Science, pages 3--20. Springer, 2007. [ bib ]
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. E. Goubault and S. Putot. In SAS, pages 137--152, 2007. [ bib ]
Some future challenges in the validation of control systems. E. Goubault, M. Martel, and S. Putot. In Proceedings of ERTS'06, Embedded Real-Time Systems, 2006. [ bib ]
Static Analysis of Numerical Algorithms. E. Goubault and S. Putot. In SAS'06, Seoul, volume 4134 of LNCS, pages 18--34, 2006. [ bib ]
Categories of Components and Loop-free Categories. Emmanuel Haucourt. Theory and Applications of Categories, 16(27):736--770, 2006. [ bib ]
Weakly relational domains for floating-point computation analysis. E. Goubault and S. Putot. In Proceedings of NSAD'05, Workshop on Numerical and Symbolic Abstract Domains, 2005. [ bib ]
A policy iteration algorithm for computing fixed points in static analysis of programs. A. Costan, S. Gaubert, E. Goubault, M. Martel, and S. Putot. In CAV'05, 2005. [ bib ]
Static analysis-based validation of floating-point computations. E. Goubault, M. Martel, and S. Putot. In Dagstuhl Seminar Numerical Software with Result Verification, LNCS, volume 2991 of Lecture Notes in Computer Science, pages 306--313. Springer, 2003. [ bib ]
Asserting the precision of floating-point computations: a simple abstract interpreter. E. Goubault, M. Martel, and S. Putot. In Proceedings of ESOP'02, 11st European Symposium on Programming, volume 2305 of Lecture Notes in Computer Science, pages 209--212. Springer, 2002. [ bib ]