Recent publications

 
International Congress of Mathematicians, Aurélien Sagnier. 2018. Invited short communication. [ bib ]
 
Coherence of Gray categories via rewriting. Simon Forest and Samuel Mimram. To appear in the proceedings of FSCD, 2018. [ bib ]
 
Unique decomposition of homogeneous languages and application to isothetic regions. Emmanuel Haucourt. To appear in Mathematical Structures in Computer Science, 2018. [ bib ]
 
Geometric and combinatorial views on asynchronous computability. Éric Goubault, Samuel Mimram, and Christine Tasson. Distributed Computing, 2018. [ bib | DOI | http | .pdf ]
 
Compositionality for quantitative specifications. Uli Fahrenberg, Jan Kretínský, Axel Legay, and Louis-Marie Traonouez. Soft Comput., 22(4):1139--1158, 2018. [ bib | DOI | http ]
 
Inner and Outer Approximating Flowpipes for Delay Differential Equations. Eric Goubault, Sylvie Putot, and Lorenz Sahlmann. In 30th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, 2018. To appear. [ bib ]
 
Higher-Dimensional Timed Automata. Uli Fahrenberg. In ADHS, 2018. To be published. [ bib ]
 
Reliable motion plannning for a mobile robot. Pierre-André Crépon, Adina Marlena Panchea, and Alexandre Chapoutot. In 2018 Second IEEE International Conference on Robotic Computing (IRC), pages 413--418. IEEE, 2018. [ bib | DOI | http ]
 
Reliable navigation planning implementation on a two-wheeled mobile robot. Pierre-André Crépon, Adina Panchea, and Alexandre Chapoutot. In The Second IEEE International Conference on Robotic Computing, pages 173--174, 2018. [ bib | DOI | http ]
 
Trace Checking for Dynamic Software Product Lines. Rafael Olaechea, Joanne Atlee, Axel Legay, and Uli Fahrenberg. In SEAMS@ICSE, 2018. To be published. [ bib ]
 
Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty. Giovanni Bacci, Kim G. Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg, and Pierre-Alain Reynier. In FM, 2018. To be published. [ bib ]
 
Improving Validated Computation of Viability Kernels. Benjamin Martin and Olivier Mullier. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week), HSCC '18, pages 227--236, New York, NY, USA, 2018. ACM. [ bib | DOI | http ]
 
The geometry of conservative programs. Emmanuel Haucourt. Mathematical Structures in Computer Science, pages 1--47, October 2017. Also available on HAL. [ bib | http ]
 
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. Benjamin Martin, Khalil Ghorbal, Eric Goubault, and Sylvie Putot. In Lukas Bulwahn, Maryam Kamali, and Sven Linker, editors, FVAV 2017 - 1st Formal Verification of Autonomous Vehicles Workshop, volume 257 of FVAV@iFM 2017, pages 91--104, Turin, Italy, September 2017. [ bib | DOI | http | .pdf ]
 
Factorisation des régions cubiques et application à la concurrence. Nicolas Ninin. PhD thesis, École Polytechnique, 2017. [ bib ]
 
Directed homotopy and homology theories for geometric models of true concurrency. Jérémy Dubut. PhD thesis, ENS Paris-Saclay and École Polytechnique, 2017. [ bib ]
 
Applied and Computational Algebraic Topology spring school, Samuel Mimram. 2017. Course. [ bib ]
 
9th International School on Rewriting, Samuel Mimram. 2017. Course. [ bib ]
 
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria, editors, volume 10139 of Lecture Notes in Computer Science. Springer, 2017. [ bib | DOI | http ]
 
Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. Ahmed Seffah, Birgit Penzenstadler, Carina Alves, and Xin Peng, editors. ACM, 2017. [ bib | DOI | http ]
 
5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. IEEE, 2017. [ bib | http ]
 
Directed homology theories and Eilenberg-Steenrod axioms. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. Applied Categorical Structures, 25(5):775--807, 2017. [ bib ]
 
Coherent Presentations of Monoidal Categories. Pierre-Louis Curien and Samuel Mimram. Logical Methods in Computer Science, 13(3), 2017. [ bib | DOI | arXiv | http | .pdf ]
 
The geometry of conservative programs. Emmanuel Haucourt. Mathematical Structures in Computer Science, pages 1--47, 2017. [ bib ]
 
Inverse Parametric Optimization in a Set-Membership Error-in-Variables Framework. Adina M Panchea and Nacim Ramdani. IEEE Transactions on Automatic Control, 62(12):6536--6543, 2017. [ bib ]
 
An Algebraic Approach to Energy Problems II -- The Algebra of Energy Functions. Zoltán Ésik, Uli Fahrenberg, Axel Legay, and Karin Quaas. Acta Cybern., 23(1):229--268, 2017. [ bib | DOI | http ]
 
An Algebraic Approach to Energy Problems I -- *-Continuous Kleene ω-Algebras. Zoltán Ésik, Uli Fahrenberg, Axel Legay, and Karin Quaas. Acta Cybern., 23(1):203--228, 2017. [ bib | DOI | http ]
 
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Kim G. Larsen, Uli Fahrenberg, and Axel Legay. In Dependable Software Systems Engineering, pages 60--103. 2017. [ bib | DOI | http ]
 
A certified Branch & Bound approach for reliability-based optimization problems. Benjamin Martin, Marco Correia, and Jorge Cruz. Journal of Global Optimization, pages 1--24, 2017. [ bib | DOI | http ]
 
A Type-Theoretical Definition of Weak ω-Categories. Eric Finster and Samuel Mimram. In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1--12, 2017. [ bib | DOI | arXiv | .pdf ]
 
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. Eric Goubault and Sylvie Putot. In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017, pages 1--10, 2017. [ bib ]
 
A cartesian-closed category for higher-order model checking. Martin Hofmann and Jeremy Ledent. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pages 1--12, 2017. [ bib ]
 
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. Eric Goubault and Sylvie Putot. In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pages 1--10. ACM, 2017. [ bib ]
 
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, and Nikolas Stott. In Proceedings of International Conference on Embedded Software, volume 16 of ACM Transactions on Embedded Computing Systems (TECS), page 166, 2017. [ bib ]
 
Extended reliable robust motion planners. A. M. Panchea, A. Chapoutot, and D. Filliat. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pages 1112--1117, 2017. [ bib | DOI ]
 
BoxRRT* -- A Reliable Motion Planner. Adina Panchea, Alexandre Chapoutot, and David Filliat. In 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership-Applications, Reliability and Theory, 2017. [ bib ]
 
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. Uli Fahrenberg and Axel Legay. In SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, pages 49--61, 2017. [ bib | DOI | http ]
 
Compatibility flooding: measuring interaction of services interfaces. Meriem Ouederni, Uli Fahrenberg, Axel Legay, and Gwen Salaün. In Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pages 1334--1340, 2017. [ bib | DOI | http ]
 
Featured Weighted Automata. Uli Fahrenberg and Axel Legay. In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pages 51--57, 2017. [ bib | DOI | http ]
 
Binary level static analysis. Adel Djoudi. PhD thesis, École Polytechnique, 2016. [ bib ]
 
Une méthode topologique pour la recherche d’ensembles invariants de systèmes continus et à communtation. Sameh Mohamed. PhD thesis, École Polytechnique and ENS Paris-Saclay, 2016. [ bib ]
 
The directed homotopy hypothesis. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. In LIPIcs-Leibniz International Proceedings in Informatics, volume 62. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016. [ bib ]
 
Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016. Hong Mei, editor. ACM, 2016. [ bib | http ]
 
Directed Algebraic Topology and Concurrency. Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, and Martin Raussen. Springer International Publishing, 2016. [ bib | DOI | http ]
 
Directed Algebraic Topology and Concurrency. Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, and Martin Raussen. Springer International Publishing, 2016. [ bib | DOI | http ]
 
Some Invariants of Directed Topology towards a Static Analyzer Dealing with Fine-Grain Concurrency, Emmanuel Haucourt. 2016. Habilitation à diriger des recherches. [ bib ]
 
Geometric Models of Concurrent Computations, Samuel Mimram. 2016. Habilitation à diriger des recherches. [ bib ]
 
Directed homotopy in non-positively curved spaces. Éric Goubault and Samuel Mimram. Submitted, 2016. [ bib ]
 
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, and Axel Legay. ACM Trans. Embedded Comput. Syst., 15(2):33:1--33:26, 2016. [ bib | DOI | http ]
 
A tag contract framework for modeling heterogeneous systems. Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, and Axel Legay. Sci. Comput. Program., 115-116:225--246, 2016. [ bib | DOI | http ]
 
Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, and Christophe Jermann. European Journal of Operational Research, 260(3):934 -- 948, 2016. [ bib | DOI | http ]
 
Homological Computations for Term Rewriting Systems. Philippe Malbos and Samuel Mimram. In Delia Kesner and Brigitte Pientka, editors, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), volume 52 of Leibniz International Proceedings in Informatics (LIPIcs), pages 27:1--27:17, Dagstuhl, Germany, 2016. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http | .pdf ]
 
A Topological Method for Finding Invariant Sets of Switched Systems. Laurent Fribourg, Eric Goubault, Sylvie Putot, and Sameh Mohamed. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pages 61--70. ACM, 2016. [ bib ]
 
Recovering high-level conditions from binary programs. Adel Djoudi, Sebastien Bardin, and Éric Goubault. In International Symposium on Formal Methods, pages 235--253. Springer, 2016. [ bib ]
 
Bisimulations and unfolding in P-accessible categorical models. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. In LIPIcs-Leibniz International Proceedings in Informatics, volume 59. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016. [ bib ]
 
A scalable algebraic method to infer quadratic invariants of switched systems. Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, and Sylvie Putot. In Proceedings of the ACM SIGBED International Conference on Embedded Software EMSOFT 2015, volume 15 of ACM Transactions on Embedded Computing Systems (TECS), page 69. ACM, 2016. [ bib ]
 
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, and Sriram Sankaranarayanan. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 225--243. Springer, 2016. [ bib ]
 
Long-term average cost in featured transition systems. Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, and Axel Legay. In Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016, pages 109--118, 2016. [ bib | DOI | http ]
 
A zonotopic framework for functional abstractions. Eric Goubault and Sylvie Putot. Formal Methods in System Design, 47(3):302--360, 2015. [ bib | DOI | http ]
 
From Geometric Semantics to Asynchronous Computability. Éric Goubault, Samuel Mimram, and Christine Tasson. In Yoram Moses, editor, Distributed Computing, volume 9363 of Lecture Notes in Computer Science, pages 436--451. Springer Berlin Heidelberg, 2015. [ bib | DOI | http | .pdf ]
 
Natural homology. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. In International Colloquium on Automata, Languages, and Programming, pages 171--183. Springer, 2015. [ bib ]
 
Presenting Finite Posets. Samuel Mimram. In Aart Middeldorp and Femke van Raamsdonk, editors, Proceedings 8th International Workshop on Computing with Terms and Graphs, Vienna, Austria, July 13, 2014, volume 183 of Electronic Proceedings in Theoretical Computer Science, pages 1--17. Open Publishing Association, 2015. [ bib | DOI | .pdf ]
 
Presenting a Category Modulo a Rewriting System. Florence Clerc and Samuel Mimram. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications (RTA 2015), volume 36 of Leibniz International Proceedings in Informatics (LIPIcs), pages 89--105, Dagstuhl, Germany, 2015. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http | .pdf ]
 
A topological method for finding invariant sets of continuous systems. Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, and Sylvie Putot. In International Workshop on Reachability Problems, pages 63--75. Springer, 2015. [ bib ]
 
Introduction to Directed Algebraic Topology with a view towards modelling Concurrency, Emmanuel Haucourt. 2014. Course at Mathematical Structures of Computation conference. [ bib ]
 
Iterated Chromatic Subdivisions are Collapsible. Éric Goubault, Samuel Mimram, and Christine Tasson. Applied Categorical Structures, pages 1--42, 2014. [ bib | DOI | http | .pdf ]
 
Inner approximated reachability analysis. Eric Goubault, Olivier Mullier, Sylvie Putot, and Michel Kieffer. In Proceedings of the 17th international conference on Hybrid systems: computation and control, pages 163--172. ACM, 2014. [ bib ]
 
The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero. E Haucourt and N Ninin. In Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014), Electronic Proceedings in Theoretical Computer Science, 2014. [ bib ]
 
Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials. Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, and Sriram Sankaranarayanan. In American Control Conference (ACC), 2014, pages 3571--3578. IEEE, 2014. [ bib ]
 
Towards 3-Dimensional Rewriting Theory. Samuel Mimram. Logical Methods in Computer Science, 10(1):1--47, 2014. [ bib | DOI | arXiv ]
 
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 ]
 
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT, Éric Goubault. 2013. Invited conference at SAS 2013. [ bib ]
 
General Inner Approximation of Vector-valued Functions. Olivier Mullier, Eric Goubault, Michel Kieffer, and Sylvie 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 Working Conference on Verified Software: Theories, Tools, and Experiments, pages 22--47. Springer, 2013. [ bib ]
 
Robustness analysis of finite precision implementations. Eric Goubault and Sylvie Putot. In Asian Symposium on Programming Languages and Systems, pages 50--57. Springer, 2013. [ bib ]
 
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 ]
 
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 ]
 
Higher operads, higher categories. Tom Leinster, volume 298. Cambridge University Press, 2004. [ 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 ]