![](https://dblp.org/img/logo.ua.320x120.png)
![](https://dblp.org/img/dropdown.dark.16x16.png)
![](https://dblp.org/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.org/img/search.dark.16x16.png)
![search dblp](https://dblp.org/img/search.dark.16x16.png)
default search action
Eric Goubault
Person information
- affiliation: École Polytechnique, Palaiseau, France
Refine list
![note](https://dblp.org/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
- [j31]Nicola Bernini, Mikhail Bessa, Rémi Delmas
, Arthur Gold, Eric Goubault
, Romain Pennec, Sylvie Putot
, François X. Sillion:
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. Eng. Appl. Artif. Intell. 127(Part A): 107090 (2024) - [j30]Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot:
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane. Int. J. Approx. Reason. 169: 109162 (2024) - [j29]Eric Goubault:
A semi-abelian approach to directed homology. J. Appl. Comput. Topol. 8(2): 271-299 (2024) - [c81]Éric Goubault, Roman Kniazev, Jérémy Ledent
:
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL 2024: 30:1-30:18 - [c80]Eric Goubault
, Sylvie Putot
:
Inner and outer approximate quantifier elimination for general reachability problems. HSCC 2024: 8:1-8:11 - 2023
- [j28]Franck Djeumou
, Abraham P. Vinod
, Eric Goubault
, Sylvie Putot
, Ufuk Topcu
:
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. IEEE Trans. Autom. Control. 68(8): 4857-4872 (2023) - [c79]Éric Goubault, Roman Kniazev, Jérémy Ledent
, Sergio Rajsbaum:
Semi-Simplicial Set Models for Distributed Knowledge. LICS 2023: 1-13 - [i34]Eric Goubault:
A semi-abelian approach to directed homology. CoRR abs/2301.06409 (2023) - [i33]Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-simplicial Set Models for Distributed Knowledge. CoRR abs/2303.14976 (2023) - [i32]Cameron Calk, Eric Goubault, Philippe Malbos:
Persistent homology of directed spaces. CoRR abs/2305.03357 (2023) - [i31]Eric Goubault, Roman Kniazev, Jérémy Ledent:
A many-sorted epistemic logic for chromatic hypergraphs. CoRR abs/2308.00477 (2023) - [i30]Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot:
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane. CoRR abs/2309.03604 (2023) - [i29]Eric Goubault, Sylvie Putot:
Guaranteed approximations of arbitrarily quantified reachability problems. CoRR abs/2309.07662 (2023) - [i28]Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR abs/2311.01351 (2023) - 2022
- [j27]François Bidet
, Éric Goubault
, Sylvie Putot
:
Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties. IEEE Control. Syst. Lett. 6: 638-643 (2022) - [j26]Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18(4) (2022) - [c78]Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Eric Goubault, Romuald Elie:
Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach. AAMAS 2022: 1557-1559 - [c77]Eric Goubault, Sylvie Putot:
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. CAV (1) 2022: 511-523 - [c76]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. IJCAI 2022: 2923-2929 - [c75]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. L4DC 2022: 263-277 - [c74]Éric Goubault, Jérémy Ledent
, Sergio Rajsbaum:
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. STACS 2022: 33:1-33:20 - [i27]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. CoRR abs/2201.05715 (2022) - 2021
- [j25]Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot:
A topological method for finding invariant sets of continuous systems. Inf. Comput. 277: 104581 (2021) - [j24]Éric Goubault, Jérémy Ledent
, Sergio Rajsbaum:
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput. 278: 104597 (2021) - [j23]Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent
, Sergio Rajsbaum
:
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program. 121: 100662 (2021) - [c73]Cameron Calk, Eric Goubault, Philippe Malbos:
Abstract Strategies and Coherence. RAMiCS 2021: 108-125 - [c72]Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS 2021: 235-240 - [c71]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Smooth Systems from Limited Data. ACC 2021: 3656-3663 - [c70]Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion:
A few lessons learned in reinforcement learning for quadcopter attitude control. HSCC 2021: 27:1-27:11 - [c69]Eric Goubault
, Sébastien Palumby, Sylvie Putot
, Louis Rustenholz
, Sriram Sankaranarayanan
:
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS 2021: 166-190 - [i26]Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. CoRR abs/2101.11536 (2021) - [i25]Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion:
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts. CoRR abs/2107.12942 (2021) - [i24]Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot:
Neural Network Based Model Predictive Control for an Autonomous Vehicle. CoRR abs/2107.14573 (2021) - [i23]Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan:
Static analysis of ReLU neural networks with tropical polyhedra. CoRR abs/2108.00893 (2021) - [i22]Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Model for KB4n: Epistemic Logic with Agents that May Die. CoRR abs/2108.10293 (2021) - [i21]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. CoRR abs/2109.06407 (2021) - [i20]Theophile Cabannes
, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Éric Goubault, Romuald Elie:
Solving N-player dynamic routing games with congestion: a mean field approach. CoRR abs/2110.11943 (2021) - 2020
- [j22]Eric Goubault, Sylvie Putot:
Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances. IEEE Control. Syst. Lett. 4(4): 928-933 (2020) - [j21]Eric Goubault
, Michael Farber, Aurélien Sagnier:
Directed topological complexity. J. Appl. Comput. Topol. 4(1): 11-27 (2020) - [j20]Eric Goubault, Samuel Mimram:
Directed Homotopy in Non-Positively Curved Spaces. Log. Methods Comput. Sci. 16(3) (2020) - [c68]Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot:
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS 2020 - [c67]Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot:
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. VSTTE 2020: 221-238 - [i19]Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
Knowledge and simplicial complexes. CoRR abs/2002.08863 (2020) - [i18]Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR abs/2006.16129 (2020) - [i17]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Smooth Systems from Limited Data. CoRR abs/2009.12733 (2020) - [i16]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability. CoRR abs/2011.05524 (2020)
2010 – 2019
- 2019
- [c66]Eric Goubault, Sylvie Putot:
Inner and outer reachability for the verification of control systems. HSCC 2019: 11-22 - [c65]Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. DaLí 2019: 53-70 - [c64]Éric Goubault, Marijana Lazic, Jérémy Ledent
, Sergio Rajsbaum:
Wait-Free Solvability of Equality Negation Tasks. DISC 2019: 21:1-21:16 - [i15]Eric Goubault, Samuel Mimram:
Directed Homotopy in Non-Positively Curved Spaces. CoRR abs/1908.06684 (2019) - [i14]Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A dynamic epistemic logic analysis of the equality negation task. CoRR abs/1909.03263 (2019) - 2018
- [j19]Éric Goubault
, Samuel Mimram, Christine Tasson
:
Geometric and combinatorial views on asynchronous computability. Distributed Comput. 31(4): 289-316 (2018) - [j18]Debasmita Lohar
, Eva Darulova
, Sylvie Putot, Eric Goubault
:
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2381-2392 (2018) - [c63]Eric Goubault, Sylvie Putot, Lorenz Sahlmann:
Inner and Outer Approximating Flowpipes for Delay Differential Equations. CAV (2) 2018: 523-541 - [c62]François Bidet, Éric Goubault, Sylvie Putot:
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). CICM Workshops 2018 - [c61]Éric Goubault, Jérémy Ledent
, Samuel Mimram:
Concurrent Specifications Beyond Linearizability. OPODIS 2018: 28:1-28:16 - [c60]Éric Goubault, Jérémy Ledent
, Samuel Mimram:
Brief Announcement: On the Impossibility of Detecting Concurrency. DISC 2018: 50:1-50:4 - [c59]Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. GandALF 2018: 73-87 - [i13]Cameron Calk, Eric Goubault, Philippe Malbos:
Time-reversal homotopical properties of concurrent systems. CoRR abs/1812.05062 (2018) - [i12]Eric Goubault, Michael Farber, Aurélien Sagnier:
Directed topological complexity. CoRR abs/1812.09382 (2018) - 2017
- [j17]Jérémy Dubut
, Eric Goubault
, Jean Goubault-Larrecq:
Directed Homology Theories and Eilenberg-Steenrod Axioms. Appl. Categorical Struct. 25(5): 775-807 (2017) - [j16]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott:
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. 16(5s): 166:1-166:19 (2017) - [c58]Eric Goubault, Sylvie Putot:
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. HSCC 2017: 1-10 - [c57]Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot:
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM 2017: 91-104 - [e7]Gauthier Fanmuy, Eric Goubault, Daniel Krob, François Stephan:
Complex Systems Design & Management, Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M 2016, Paris, France, December 13-14, 2016. Springer 2017, ISBN 978-3-319-49102-8 [contents] - [i11]Eric Goubault, Sergio Rajsbaum:
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. CoRR abs/1703.11005 (2017) - [i10]Eric Goubault, Sergio Rajsbaum:
Models of fault-tolerant distributed computation via dynamic epistemic logic. CoRR abs/1704.07883 (2017) - [i9]Eric Goubault:
On directed homotopy equivalences and a notion of directed topological complexity. CoRR abs/1709.05702 (2017) - 2016
- [b1]Lisbeth Fajstrup
, Eric Goubault, Emmanuel Haucourt, Samuel Mimram
, Martin Raussen
:
Directed Algebraic Topology and Concurrency. Springer 2016, ISBN 978-3-319-15397-1, pp. 1-167 - [j15]Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot:
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. 15(4): 69:1-69:20 (2016) - [c56]Jérémy Dubut
, Eric Goubault, Jean Goubault-Larrecq:
Bisimulations and Unfolding in P-Accessible Categorical Models. CONCUR 2016: 25:1-25:14 - [c55]Jérémy Dubut
, Eric Goubault, Jean Goubault-Larrecq:
The Directed Homotopy Hypothesis. CSL 2016: 9:1-9:16 - [c54]Adel Djoudi, Sébastien Bardin, Éric Goubault:
Recovering High-Level Conditions from Binary Programs. FM 2016: 235-253 - [c53]Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed:
A Topological Method for Finding Invariant Sets of Switched Systems. HSCC 2016: 61-70 - [c52]Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan:
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS 2016: 225-243 - 2015
- [j14]Eric Goubault, Samuel Mimram, Christine Tasson
:
Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. 23(6): 777-818 (2015) - [j13]Eric Goubault
, Sylvie Putot:
A zonotopic framework for functional abstractions. Formal Methods Syst. Des. 47(3): 302-360 (2015) - [c51]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott:
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT 2015: 75-84 - [c50]Jérémy Dubut
, Eric Goubault, Jean Goubault-Larrecq:
Natural Homology. ICALP (2) 2015: 171-183 - [c49]Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot:
A Topological Method for Finding Invariant Sets of Continuous Systems. RP 2015: 63-75 - [c48]Eric Goubault, Samuel Mimram, Christine Tasson
:
From Geometric Semantics to Asynchronous Computability. DISC 2015: 436-451 - 2014
- [c47]Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan:
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. ACC 2014: 3571-3578 - [c46]Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer:
Inner approximated reachability analysis. HSCC 2014: 163-172 - 2013
- [j12]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. 49(2): 247-279 (2013) - [j11]Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot:
General Inner Approximation of Vector-valued Functions. Reliab. Comput. 18: 117-143 (2013) - [c45]Eric Goubault, Sylvie Putot:
Robustness Analysis of Finite Precision Implementations. APLAS 2013: 50-57 - [c44]Eric Goubault:
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. SAS 2013: 1-3 - [c43]Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot:
Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE 2013: 22-47 - [c42]Eric Goubault, Tobias Heindel, Samuel Mimram
:
A Geometric View of Partial Order Reduction. MFPS 2013: 179-195 - [i8]Eric Goubault, Sylvie Putot:
Robustness analysis of finite precision implementations. CoRR abs/1309.3910 (2013) - [i7]Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot:
General inner approximation of vector-valued functions. CoRR abs/1310.1709 (2013) - 2012
- [j10]Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot:
A generalization of p-boxes to affine arithmetic. Computing 94(2-4): 189-201 (2012) - [j9]Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. Log. Methods Comput. Sci. 8(1) (2012) - [j8]Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Abstract interpretation meets convex optimization. J. Symb. Comput. 47(12): 1416-1446 (2012) - [j7]Georgios Fainekos
, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan:
Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. 11(S2): 52:1-52:3 (2012) - [c41]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, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti:
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP 2012: 1-2 - [c40]Lisbeth Fajstrup
, Eric Goubault, Emmanuel Haucourt, Samuel Mimram
, Martin Raußen
:
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP 2012: 274-294 - [c39]Eric Goubault, Sylvie Putot, Franck Védrine:
Modular Static Analysis with Zonotopes. SAS 2012: 24-40 - [c38]Eric Goubault, Tristan Le Gall, Sylvie Putot:
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. NSAD@SAS 2012: 65-76 - [e6]Lisbeth Fajstrup, Eric Goubault, Martin Raussen:
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010. Electronic Notes in Theoretical Computer Science 283, Elsevier 2012 [contents] - [i6]Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen:
Trace Spaces: an Efficient New Technique for State-Space Reduction. CoRR abs/1204.0414 (2012) - 2011
- [j6]Georgios Fainekos
, Eric Goubault, Sylvie Putot, Stefan Ratschan:
Foreword. Math. Comput. Sci. 5(4): 357-358 (2011) - [c37]Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault:
Policy Iteration within Logico-Numerical Abstract Domains. ATVA 2011: 290-305 - [c36]Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé
, Samuel Mimram
:
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP 2011: 85-98 - [c35]Eric Goubault, Sylvie Putot:
Static Analysis of Finite Precision Computations. VMCAI 2011: 232-247 - 2010
- [c34]Khalil Ghorbal, Eric Goubault, Sylvie Putot:
A Logical Product Approach to Zonotope Intersection. CAV 2010: 212-226 - [c33]Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP 2010: 23-42 - [c32]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The Tropical Double Description Method. STACS 2010: 47-58 - [c31]Lisbeth Fajstrup
, Eric Goubault, Martin Raussen
:
Preface. GETCO 2010: 1-2 - [c30]Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti
, Fabrizio Marinelli
:
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. NSAD@SAS 2010: 73-87 - [c29]Eric Goubault, Samuel Mimram
:
Formal Relationships Between Geometrical and Classical Models for Concurrency. GETCO 2010: 77-109 - [c28]Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan:
Future Path-components in Directed Topology. MFPS 2010: 325-335 - [i5]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The tropical double description method. CoRR abs/1001.4119 (2010) - [i4]Khalil Ghorbal, Eric Goubault, Sylvie Putot:
A Logical Product Approach to Zonotope Intersection. CoRR abs/1002.2236 (2010) - [i3]Eric Goubault, Samuel Mimram:
Formal Relationships Between Geometrical and Classical Models for Concurrency. CoRR abs/1004.2818 (2010)
2000 – 2009
- 2009
- [c27]Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine:
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV 2009: 620-626 - [c26]Khalil Ghorbal, Eric Goubault, Sylvie Putot:
The Zonotope Abstract Domain Taylor1+. CAV 2009: 627-633 - [c25]David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine:
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS 2009: 53-69 - [e5]Éric Goubault:
Proceedings of the Workshops on Geometric and Topological Methods in Concurrency Theory, GETCO@DISC 2004, Amsterdam, The Netherlands, 2004 + GETCO@CONCUR October 2005, San Francisco, CA, USA, August 2005 + GETCO 2006, Bonn, Germany, 2006. Electronic Notes in Theoretical Computer Science 230, Elsevier 2009 [contents] - [i2]Eric Goubault, Sylvie Putot:
A zonotopic framework for functional abstractions. CoRR abs/0910.1763 (2009) - 2008
- [c24]Xavier Allamigeon, Stephane Gaubert, Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204 - [i1]Eric Goubault, Sylvie Putot:
Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR abs/0807.2961 (2008) - 2007
- [j5]Eric Goubault, Emmanuel Haucourt:
Components of the Fundamental Category II. Appl. Categorical Struct. 15(4): 387-414 (2007) - [c23]Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains. ESOP 2007: 237-252 - [c22]Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino:
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. FMICS 2007: 3-20 - [c21]Eric Goubault, Sylvie Putot:
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. SAS 2007: 137-152 - 2006
- [j4]Lisbeth Fajstrup
, Martin Raußen
, Eric Goubault:
Algebraic topology and concurrency. Theor. Comput. Sci. 357(1-3): 241-278 (2006) - [c20]Eric Goubault, Sylvie Putot:
Static Analysis of Numerical Algorithms. SAS 2006: 18-34 - [c19]Eric Goubault:
Preface. GETCO 2006: 1-2 - 2005
- [c18]Alexandru Costan, Stephane Gaubert, Eric Goubault, Matthieu Martel, Sylvie Putot:
A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs. CAV 2005: 462-475 - [c17]Eric Goubault, Emmanuel Haucourt:
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. CONCUR 2005: 503-517 - 2004
- [j3]Lisbeth Fajstrup
, Martin Raußen
, Eric Goubault, Emmanuel Haucourt:
Components of the Fundamental Category. Appl. Categorical Struct. 12(1): 81-108 (2004) - [e4]Thomas T. Hildebrandt, Alexander Kurz, Eric Goubault, Ulrich Fahrenberg:
Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, Interaction, and Mobility, CMCIM 2003, and the Fifth Workshop on Geometric and Topological Methods in Concurrency, GETCO 2003, Satellite Events of CONCUR 2003, Marseille, France, September 6, 2003. Electronic Notes in Theoretical Computer Science 100, Elsevier 2004 [contents] - 2003
- [c16]Sylvie Putot, Eric Goubault, Matthieu Martel:
Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification 2003: 306-313 - [c15]Eric Goubault, Ulrich Fahrenberg:
Preface. CMCIM/GETCO@CONCUR 2003: 47-48 - [e3]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, GETCO 2002, Satellite workshop of DISC 2002, Toulouse, France, October 2002. Electronic Notes in Theoretical Computer Science 81, Elsevier 2003 [contents] - 2002
- [c14]Eric Goubault, Matthieu Martel, Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP 2002: 209-212 - [c13]Eric Goubault, Martin Raußen
:
Dihomotopy as a Tool in State Space Analysis. LATIN 2002: 16-37 - [c12]Eric Goubault:
Foreword. GETCO 2002: 99 - [e2]Patrick Cousot, Lisbeth Fajstrup, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
3rd Workshop on GEometry and Topology in COncurrency theory, GETCO 2001, Satellite Event of CONCUR 2001, Aalborg, Denmark, August 25, 2001. Electronic Notes in Theoretical Computer Science 52(2), Elsevier 2002 [contents] - 2001
- [c11]Eric Goubault:
Static Analyses of the Precision of Floating-Point Operations. SAS 2001: 234-259 - [c10]Eric Goubault:
Preface. GETCO 2001: 205 - 2000
- [j2]Eric Goubault:
Foreword. Math. Struct. Comput. Sci. 10(4): 409 (2000) - [j1]Eric Goubault:
Geometry and concurrency: a user's guide. Math. Struct. Comput. Sci. 10(4): 411-425 (2000) - [c9]Eric Goubault:
Preface. GETCO 2000: 1 - [e1]Patrick Cousot, Eric Goubault, Jeremy Gunawardena, Maurice Herlihy, Martin Raussen, Vladimiro Sassone:
2nd Workshop on Geometry and Topology in Concurrency theory, GETCO 2000, Satellite Workshop of CONCUR 2000, State College, PA, USA, August 21, 2000. Electronic Notes in Theoretical Computer Science 39(2), Elsevier 2000 [contents]
1990 – 1999
- 1998
- [c8]Lisbeth Fajstrup, Eric Goubault, Martin Raußen:
Detecting Deadlocks in Concurrent Systems. CONCUR 1998: 332-347 - 1997
- [c7]Eric Goubault:
Optimal Implementation of Wait-Free Binary Relations. TAPSOFT 1997: 225-236 - 1996
- [c6]Eric Goubault:
Durations for Truly-Concurrent Transitions. ESOP 1996: 173-187 - 1995
- [c5]Eric Goubault:
Schedulers as Abstract Interpreter of Higher Dimensional Automata. PEPM 1995: 134-145 - 1993
- [c4]Eric Goubault:
Domains of Higher-Dimensional Automata. CONCUR 1993: 293-307 - [c3]Régis Cridlig, Eric Goubault:
Semantics and Analysis of Linda-Based Languages. WSA 1993: 72-86 - 1992
- [c2]Eric Goubault, Thomas P. Jensen:
Homology of Higher Dimensional Automata. CONCUR 1992: 254-268 - 1991
- [c1]Catherine Raimondo, Claude R. Galand, Eric Goubault, Emmanuel Lançon, Jean E. Menez:
Low bit-rate hybrid coder using hierarchical motion compensation and low complexity vector quantization. ICASSP 1991: 2717-2720
Coauthor Index
aka: Stephane Gaubert
![](https://dblp.org/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-07-12 20:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint