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 ]
Iterated Chromatic Subdivisions are Collapsible. Éric Goubault, Samuel Mimram, and Christine Tasson. Applied Categorical Structures, pages 1--42, 2014. [ bib | DOI | http ]
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 ]
Analyse statique de programmes et systèmes numériques. Sylvie Putot. Technique et Science Informatiques, 33(1-2):159--162, 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 ]
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 ]
Towards 3-Dimensional Rewriting Theory. Samuel Mimram. Logical Methods in Computer Science, 10(1):1--47, 2014. [ bib | DOI | arXiv ]
General Inner Approximation of Vector-Valued Functions. E. Goubault, M. Kieffer, O. Mullier, and S. Putot. Reliable Computing, 18:117--143, 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 ]
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 ]
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 ]
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 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 ]
Streams, d-Spaces and their Fundamental Categories. Emmanuel Haucourt. Electronic Notes in Theoretical Computer Science, 283:111–151, 2012. [ bib | DOI ]
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 ]
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 ]
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 ]
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 ]
Interactive Analysis in Fluctuat, E. Goubault, T. Le Gall, S. Putot, and F. Védrine. 2012. [ bib ]
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 ]
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 ]
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 ]
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 ]
Superellipsoids: a generalization of the interval, zonotope and ellipsoid domains, E. Goubault and S. Putot. 2011. [ bib ]
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 ]
A logical product approach to zonotope intersection. K. Ghorbal, E. Goubault, and S. Putot. In CAV'10, volume 6174 of LNCS, 2010. [ bib ]
A zonotopic framework for functional abstractions. E. Goubault and S. Putot. CoRR, abs/0910.1763, 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 ]
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 ]
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 ]
Perturbed affine arithmetic for invariant computation in numerical program analysis. E. Goubault and S. Putot. CoRR, abs/0807.2961, 2008. [ 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 ]
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 ]
Categories of Components and Loop-free Categories. Emmanuel Haucourt. Theory and Applications of Categories, 16(27):736--770, 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 ]
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 ]
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 ]
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 ]
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 ]