Low bit-rate hybrid coder using hierarchical motion compensation and low complexity vector quantization. - Catherine Raimondo; Claude R. Galand; Eric Goubault; Emmanuel Lançon; Jean E. Menez (ICASSP, 1991)

Homology of Higher Dimensional Automata. - Eric Goubault; Thomas P. Jensen (CONCUR, 1992)

Domains of Higher-Dimensional Automata. - Eric Goubault (CONCUR, 1993)

Semantics and Analysis of Linda-Based Languages. - Régis Cridlig; Eric Goubault (WSA, 1993)

Schedulers as Abstract Interpreter of Higher Dimensional Automata. - Eric Goubault (PEPM, 1995)

Durations for Truly-Concurrent Transitions. - Eric Goubault (ESOP, 1996)

Optimal Implementation of Wait-Free Binary Relations. - Eric Goubault (TAPSOFT, 1997)

Detecting Deadlocks in Concurrent Systems. - Lisbeth Fajstrup; Eric Goubault; Martin Raußen (CONCUR, 1998)

Preface. - Eric Goubault (GETCO, 2000)

Geometry and concurrency: a user's guide. - Eric Goubault (Math. Struct. Comput. Sci., 2000)

Static Analyses of the Precision of Floating-Point Operations. - Eric Goubault (SAS, 2001)

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. - Eric Goubault; Matthieu Martel; Sylvie Putot (ESOP, 2002)

Dihomotopy as a Tool in State Space Analysis. - Eric Goubault; Martin Raußen (LATIN, 2002)

Foreword. - Eric Goubault (GETCO, 2002)

Static Analysis-Based Validation of Floating-Point Computations. - Sylvie Putot; Eric Goubault; Matthieu Martel (Numerical Software with Result Verification, 2003)

Preface. - Eric Goubault; Ulrich Fahrenberg (CMCIM/GETCO@CONCUR, 2003)

Components of the Fundamental Category. - Lisbeth Fajstrup; Martin Raußen; Eric Goubault; Emmanuel Haucourt (Appl. Categorical Struct., 2004)

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. - Alexandru Costan; Stephane Gaubert; Eric Goubault; Matthieu Martel; Sylvie Putot (CAV, 2005)

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. - Eric Goubault; Emmanuel Haucourt (CONCUR, 2005)

Static Analysis of Numerical Algorithms. - Eric Goubault; Sylvie Putot (SAS, 2006)

Algebraic topology and concurrency. - Lisbeth Fajstrup; Martin Raußen; Eric Goubault (Theor. Comput. Sci., 2006)

Static Analysis by Policy Iteration on Relational Domains. - Stephane Gaubert; Eric Goubault; Ankur Taly; Sarah Zennou (ESOP, 2007)

Static Analysis of the Accuracy in Control Systems: Principles and Experiments. - Eric Goubault; Sylvie Putot; Philippe Baufreton; Jean Gassino (FMICS, 2007)

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. - Eric Goubault; Sylvie Putot (SAS, 2007)

Components of the Fundamental Category II. - Eric Goubault; Emmanuel Haucourt (Appl. Categorical Struct., 2007)

Inferring Min and Max Invariants Using Max-Plus Polyhedra. - Xavier Allamigeon; Stephane Gaubert; Eric Goubault (SAS, 2008)

Perturbed affine arithmetic for invariant computation in numerical program analysis - Eric Goubault; Sylvie Putot (CoRR, 2008)

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Karim Tekkal; Franck Védrine (CAV, 2009)

The Zonotope Abstract Domain Taylor1+. - Khalil Ghorbal; Eric Goubault; Sylvie Putot (CAV, 2009)

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. - David Delmas; Eric Goubault; Sylvie Putot; Jean Souyris; Karim Tekkal; Franck Védrine (FMICS, 2009)

A Logical Product Approach to Zonotope Intersection. - Khalil Ghorbal; Eric Goubault; Sylvie Putot (CAV, 2010)

The Tropical Double Description Method. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault (STACS, 2010)

Preface. - Lisbeth Fajstrup; Eric Goubault; Martin Raussen (GETCO, 2010)

Future Path-components in Directed Topology. - Eric Goubault; Emmanuel Haucourt; Sanjeevi Krishnan (MFPS, 2010)

Formal Relationships Between Geometrical and Classical Models for Concurrency. - Eric Goubault; Samuel Mimram (GETCO, 2010)

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. - Eric Goubault; Stéphane Le Roux 001; Jeremy Leconte; Leo Liberti; Fabrizio Marinelli 001 (NSAD@SAS, 2010)

Policy Iteration within Logico-Numerical Abstract Domains. - Pascal Sotin; Bertrand Jeannet; Franck Védrine; Eric Goubault (ATVA, 2011)

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é 002; Samuel Mimram (SAFECOMP, 2011)

Static Analysis of Finite Precision Computations. - Eric Goubault; Sylvie Putot (VMCAI, 2011)

Foreword. - Georgios Fainekos; Eric Goubault; Sylvie Putot; Stefan Ratschan (Math. Comput. Sci., 2011)

Design of fixed-point embedded systems (DEFIS) French ANR project. - Daniel Ménard; 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; et al. (DASIP, 2012)

Trace Spaces: An Efficient New Technique for State-Space Reduction. - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raußen (ESOP, 2012)

Modular Static Analysis with Zonotopes. - Eric Goubault; Sylvie Putot; Franck Védrine (SAS, 2012)

A generalization of p-boxes to affine arithmetic. - Olivier Bouissou; Eric Goubault; Jean Goubault-Larrecq; Sylvie Putot (Computing, 2012)

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis - Assalé Adjé; Stéphane Gaubert; Eric Goubault (Log. Methods Comput. Sci., 2012)

An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. - Eric Goubault; Tristan Le Gall; Sylvie Putot (NSAD@SAS, 2012)

Abstract interpretation meets convex optimization. - Thomas Martin Gawlitza; Helmut Seidl; Assalé Adjé; Stéphane Gaubert; Eric Goubault (J. Symb. Comput., 2012)

Editorial: Special Section VCPSS'09. - Georgios Fainekos; Eric Goubault; Franjo Ivancic; Sriram Sankaranarayanan 001 (ACM Trans. Embed. Comput. Syst., 2012)

Robustness Analysis of Finite Precision Implementations. - Eric Goubault; Sylvie Putot (APLAS, 2013)

Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. - Eric Goubault (SAS, 2013)

Static Analysis of Programs with Imprecise Probabilistic Inputs. - Assalé Adjé; Olivier Bouissou; Jean Goubault-Larrecq; Eric Goubault; Sylvie Putot (VSTTE, 2013)

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault (Discret. Comput. Geom., 2013)

A Geometric View of Partial Order Reduction. - Eric Goubault; Tobias Heindel; Samuel Mimram (MFPS, 2013)

General Inner Approximation of Vector-valued Functions. - Olivier Mullier; Eric Goubault; Michel Kieffer; Sylvie Putot (Reliab. Comput., 2013)

Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. - Eric Goubault; Jacques-Henri Jourdan; Sylvie Putot; Sriram Sankaranarayanan 001 (ACC, 2014)

Inner approximated reachability analysis. - Eric Goubault; Olivier Mullier; Sylvie Putot; Michel Kieffer (HSCC, 2014)

Natural Homology. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (ICALP (2), 2015)

From Geometric Semantics to Asynchronous Computability. - Eric Goubault; Samuel Mimram; Christine Tasson (DISC, 2015)

Iterated Chromatic Subdivisions are Collapsible. - Eric Goubault; Samuel Mimram; Christine Tasson (Appl. Categorical Struct., 2015)

A zonotopic framework for functional abstractions. - Eric Goubault; Sylvie Putot (Formal Methods Syst. Des., 2015)

Directed Algebraic Topology and Concurrency - Lisbeth Fajstrup; Eric Goubault; Emmanuel Haucourt; Samuel Mimram; Martin Raussen (Springer, 2016)

Bisimulations and Unfolding in P-Accessible Categorical Models. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (CONCUR, 2016)

The Directed Homotopy Hypothesis. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (CSL, 2016)

Recovering High-Level Conditions from Binary Programs. - Adel Djoudi; Sébastien Bardin; Éric Goubault (FM, 2016)

A Topological Method for Finding Invariant Sets of Switched Systems. - Laurent Fribourg; Eric Goubault; Sylvie Putot; Sameh Mohamed (HSCC, 2016)

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. - Olivier Bouissou; Eric Goubault; Sylvie Putot; Aleksandar Chakarov; Sriram Sankaranarayanan 001 (TACAS, 2016)

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. - Xavier Allamigeon; Stéphane Gaubert; Nikolas Stott; Eric Goubault; Sylvie Putot (ACM Trans. Embed. Comput. Syst., 2016)

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. - Eric Goubault; Sylvie Putot (HSCC, 2017)

Directed Homology Theories and Eilenberg-Steenrod Axioms. - Jérémy Dubut; Eric Goubault; Jean Goubault-Larrecq (Appl. Categorical Struct., 2017)

A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. - Eric Goubault; Sergio Rajsbaum (CoRR, 2017)

Models of fault-tolerant distributed computation via dynamic epistemic logic. - Eric Goubault; Sergio Rajsbaum (CoRR, 2017)

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. - Benjamin Martin 003; Khalil Ghorbal; Eric Goubault; Sylvie Putot (FVAV@iFM, 2017)

On directed homotopy equivalences and a notion of directed topological complexity. - Eric Goubault (CoRR, 2017)

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. - Xavier Allamigeon; Stéphane Gaubert; Eric Goubault; Sylvie Putot; Nikolas Stott (ACM Trans. Embed. Comput. Syst., 2017)

Inner and Outer Approximating Flowpipes for Delay Differential Equations. - Eric Goubault; Sylvie Putot; Lorenz Sahlmann (CAV (2), 2018)

Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). - François Bidet; Éric Goubault; Sylvie Putot (CICM Workshops, 2018)

Concurrent Specifications Beyond Linearizability. - Éric Goubault; Jérémy Ledent; Samuel Mimram (OPODIS, 2018)

Brief Announcement: On the Impossibility of Detecting Concurrency. - Éric Goubault; Jérémy Ledent; Samuel Mimram (DISC, 2018)

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. - Éric Goubault; Jérémy Ledent; Sergio Rajsbaum (GandALF, 2018)

Time-reversal homotopical properties of concurrent systems. - Cameron Calk; Eric Goubault; Philippe Malbos (CoRR, 2018)

Geometric and combinatorial views on asynchronous computability. - Éric Goubault; Samuel Mimram; Christine Tasson (Distributed Comput., 2018)

Discrete Choice in the Presence of Numerical Uncertainties. - Debasmita Lohar; Eva Darulova; Sylvie Putot; Eric Goubault (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Inner and outer reachability for the verification of control systems. - Eric Goubault; Sylvie Putot (HSCC, 2019)

A Dynamic Epistemic Logic Analysis of the Equality Negation Task. - Éric Goubault; Marijana Lazic; Jérémy Ledent; Sergio Rajsbaum (DaLí, 2019)

Wait-Free Solvability of Equality Negation Tasks. - Éric Goubault; Marijana Lazic; Jérémy Ledent; Sergio Rajsbaum (DISC, 2019)

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. - Sriram Sankaranarayanan 001; Yi Chou; Eric Goubault; Sylvie Putot (NeurIPS, 2020)

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. - Bibek Kabi; Eric Goubault; Antoine Miné; Sylvie Putot (VSTTE, 2020)

Knowledge and simplicial complexes. - Hans van Ditmarsch; Eric Goubault; Jérémy Ledent; Sergio Rajsbaum (CoRR, 2020)

Algebraic coherent confluence and higher-dimensional globular Kleene algebras. - Cameron Calk; Eric Goubault; Philippe Malbos; Georg Struth (CoRR, 2020)

Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances. - Eric Goubault; Sylvie Putot (IEEE Control. Syst. Lett., 2020)

Directed topological complexity. - Eric Goubault; Michael Farber 002; Aurélien Sagnier (J. Appl. Comput. Topol., 2020)

Directed Homotopy in Non-Positively Curved Spaces. - Eric Goubault; Samuel Mimram (Log. Methods Comput. Sci., 2020)

Abstract Strategies and Coherence. - Cameron Calk; Eric Goubault; Philippe Malbos (RAMiCS, 2021)

Tractable higher-order under-approximating AE extensions for non-linear systems. - Eric Goubault; Sylvie Putot (ADHS, 2021)

On-The-Fly Control of Unknown Smooth Systems from Limited Data. - Franck Djeumou; Abraham P. Vinod; Eric Goubault; Sylvie Putot; Ufuk Topcu (ACC, 2021)

A few lessons learned in reinforcement learning for quadcopter attitude control. - Nicola Bernini; Mikhail Bessa; Rémi Delmas; Arthur Gold; Eric Goubault; Romain Pennec; Sylvie Putot; François X. Sillion (HSCC, 2021)

Static Analysis of ReLU Neural Networks with Tropical Polyhedra. - Eric Goubault; Sébastien Palumby; Sylvie Putot; Louis Rustenholz; Sriram Sankaranarayanan 001 (SAS, 2021)

Neural Network Based Model Predictive Control for an Autonomous Vehicle. - Maria Luiza Costa Vianna; Eric Goubault; Sylvie Putot (CoRR, 2021)

A Simplicial Model for KB4n: Epistemic Logic with Agents that May Die. - Eric Goubault; Jérémy Ledent; Sergio Rajsbaum (CoRR, 2021)

A topological method for finding invariant sets of continuous systems. - Laurent Fribourg; Eric Goubault; Sameh Mohamed; Marian Mrozek; Sylvie Putot (Inf. Comput., 2021)

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. - Hans van Ditmarsch; Éric Goubault; Marijana Lazic; Jérémy Ledent; Sergio Rajsbaum (J. Log. Algebraic Methods Program., 2021)

Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach. - Theophile Cabannes; Mathieu Laurière; Julien Pérolat; Raphaël Marinier; Sertan Girgin; Sarah Perrin; Olivier Pietquin; Alexandre M. Bayen; Eric Goubault; Romuald Elie (AAMAS, 2022)

RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. - Eric Goubault; Sylvie Putot (CAV (1), 2022)

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. - Franck Djeumou; Cyrus Neary; Eric Goubault; Sylvie Putot; Ufuk Topcu (IJCAI, 2022)

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. - Franck Djeumou; Cyrus Neary; Eric Goubault; Sylvie Putot; Ufuk Topcu (L4DC, 2022)

A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. - Éric Goubault; Jérémy Ledent; Sergio Rajsbaum (STACS, 2022)

Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties. - François Bidet; Éric Goubault; Sylvie Putot (IEEE Control. Syst. Lett., 2022)

Algebraic coherent confluence and higher globular Kleene algebras. - Cameron Calk; Eric Goubault; Philippe Malbos; Georg Struth (Log. Methods Comput. Sci., 2022)

Semi-Simplicial Set Models for Distributed Knowledge. - Éric Goubault; Roman Kniazev; Jérémy Ledent; Sergio Rajsbaum (LICS, 2023)

Persistent homology of directed spaces. - Cameron Calk; Eric Goubault; Philippe Malbos (CoRR, 2023)

Guaranteed approximations of arbitrarily quantified reachability problems. - Eric Goubault; Sylvie Putot (CoRR, 2023)

Simplicial Models for the Epistemic Logic of Faulty Agents. - Eric Goubault; Roman Kniazev; Jérémy Ledent; Sergio Rajsbaum (CoRR, 2023)

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. - Franck Djeumou; Abraham P. Vinod; Eric Goubault; Sylvie Putot; Ufuk Topcu (IEEE Trans. Autom. Control., 2023)

ConForME: Multi-horizon conditional conformal time series forecasting. - Aloysio Galvão Lopes; Eric Goubault; Sylvie Putot; Laurent Pautet (COPA, 2024)

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. - Éric Goubault; Roman Kniazev; Jérémy Ledent (CSL, 2024)

A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks. - Eric Goubault; Sylvie Putot (FM (1), 2024)

Inner and outer approximate quantifier elimination for general reachability problems. - Eric Goubault; Sylvie Putot (HSCC, 2024)

Estimating the coverage measure and the area explored by a line-sweep sensor on the plane. - Maria Luiza Costa Vianna; Eric Goubault; Luc Jaulin; Sylvie Putot (Int. J. Approx. Reason., 2024)

Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. - Nicola Bernini; Mikhail Bessa; Rémi Delmas; Arthur Gold; Eric Goubault; Romain Pennec; Sylvie Putot; François X. Sillion (Eng. Appl. Artif. Intell., 2024)

A semi-abelian approach to directed homology. - Eric Goubault (J. Appl. Comput. Topol., 2024)

Geometric and topological methods in computer science (11th GETCO conference, 2022). - Eric Goubault; Marian Mrozek; Martin Raussen (J. Appl. Comput. Topol., 2024)

Persistent homology of partially ordered spaces. - Cameron Calk; Eric Goubault; Philippe Malbos (J. Appl. Comput. Topol., 2024)

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication. - Giorgio Cignarale; Stephan Felber; Eric Goubault; Bernardo Hummes Flores; Hugo Rincon Galeana (CoRR, 2025)

Directed homology and persistence modules. - Eric Goubault (J. Appl. Comput. Topol., 2025)

A categorical and logical framework for iterated protocols. - Eric Goubault; Bernardo Hummes Flores; Roman Kniazev; Jérémy Ledent; Sergio Rajsbaum (CoRR, 2025)