Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Eric Goubault

Éric Goubault

> Home > Persons

Person information

affiliation: École Polytechnique, Palaiseau, France

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

Books and Theses

see FAQ

What is the meaning of the colors in the publication lists?

2016
[b1]
- view
  authority control:
- export record
  dblp key:
  - books/sp/FajstrupGHMR16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/books/sp/FajstrupGHMR16
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

Journal Articles

see FAQ

What is the meaning of the colors in the publication lists?

2024
[j29]
- view
  authority control:
- export record
  dblp key:
  - journals/eaai/BerniniBDGGPPS24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/eaai/BerniniBDGGPPS24
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)
2023
[j28]
- view
  authority control:
- export record
  dblp key:
  - journals/tac/DjeumouVGPT23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tac/DjeumouVGPT23
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)
2022
[j27]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/BidetGP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/BidetGP22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/lmcs/CalkGMS22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/CalkGMS22
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18(4) (2022)
2021
[j25]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/FribourgGMMP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/FribourgGMMP21
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]
- view
  authority control:
- export record
  dblp key:
  - journals/iandc/GoubaultLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/iandc/GoubaultLR21
É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]
- view
  authority control:
- export record
  dblp key:
  - journals/jlap/DitmarschGLLR21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jlap/DitmarschGLLR21
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)
2020
[j22]
- view
  authority control:
- export record
  dblp key:
  - journals/csysl/GoubaultP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/csysl/GoubaultP20
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]
- view
  authority control:
- export record
  dblp key:
  - journals/jact/GoubaultFS20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jact/GoubaultFS20
Eric Goubault, Michael Farber, Aurélien Sagnier:
Directed topological complexity. J. Appl. Comput. Topol. 4(1): 11-27 (2020)
[j20]
- view
  - electronic edition @ episciences.org (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/lmcs/GoubaultM20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/lmcs/GoubaultM20
Eric Goubault, Samuel Mimram:
Directed Homotopy in Non-Positively Curved Spaces. Log. Methods Comput. Sci. 16(3) (2020)
2018
[j19]
- view
  authority control:
- export record
  dblp key:
  - journals/dc/GoubaultMT18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dc/GoubaultMT18
Éric Goubault, Samuel Mimram, Christine Tasson:
Geometric and combinatorial views on asynchronous computability. Distributed Comput. 31(4): 289-316 (2018)
[j18]
- view
  authority control:
- export record
  dblp key:
  - journals/tcad/LoharDPG18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcad/LoharDPG18
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)
2017
[j17]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/DubutGG17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/DubutGG17
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/AllamigeonGGPS17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/AllamigeonGGPS17
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)
2016
[j15]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/AllamigeonGSGP16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/AllamigeonGSGP16
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)
2015
[j14]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/GoubaultMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/GoubaultMT15
Eric Goubault, Samuel Mimram, Christine Tasson:
Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. 23(6): 777-818 (2015)
[j13]
- view
  authority control:
- export record
  dblp key:
  - journals/fmsd/GoubaultP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/fmsd/GoubaultP15
Eric Goubault, Sylvie Putot:
A zonotopic framework for functional abstractions. Formal Methods Syst. Des. 47(3): 302-360 (2015)
2013
[j12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/dcg/AllamigeonGG13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/dcg/AllamigeonGG13
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]
- view
  - electronic edition @ louisiana.edu (open access)
  - no references & citations available
- export record
  dblp key:
  - journals/rc/MullierGKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/rc/MullierGKP13
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot:
General Inner Approximation of Vector-valued Functions. Reliab. Comput. 18: 117-143 (2013)
2012
[j10]
- view
  authority control:
- export record
  dblp key:
  - journals/computing/BouissouGGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/computing/BouissouGGP12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1111-5223
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1111-5223
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/jsc/GawlitzaSAGG12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/jsc/GawlitzaSAGG12
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]
- view
  authority control:
- export record
  dblp key:
  - journals/tecs/FainekosGIS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tecs/FainekosGIS12
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)
2011
[j6]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/mics/FainekosGPR11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mics/FainekosGPR11
Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan:
Foreword. Math. Comput. Sci. 5(4): 357-358 (2011)
2007
[j5]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/GoubaultH07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/GoubaultH07
Eric Goubault, Emmanuel Haucourt:
Components of the Fundamental Category II. Appl. Categorical Struct. 15(4): 387-414 (2007)
2006
[j4]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/tcs/FajstrupRG06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/tcs/FajstrupRG06
Lisbeth Fajstrup, Martin Raußen, Eric Goubault:
Algebraic topology and concurrency. Theor. Comput. Sci. 357(1-3): 241-278 (2006)
2004
[j3]
- view
  authority control:
- export record
  dblp key:
  - journals/acs/FajstrupRGH04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/acs/FajstrupRGH04
Lisbeth Fajstrup, Martin Raußen, Eric Goubault, Emmanuel Haucourt:
Components of the Fundamental Category. Appl. Categorical Struct. 12(1): 81-108 (2004)
2000
[j2]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/mscs/Goubault00
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Goubault00
Eric Goubault:
Foreword. Math. Struct. Comput. Sci. 10(4): 409 (2000)
[j1]
- view
  - electronic edition @ cambridge.org
  - no references & citations available
- export record
  dblp key:
  - journals/mscs/Goubault00a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/mscs/Goubault00a
Eric Goubault:
Geometry and concurrency: a user's guide. Math. Struct. Comput. Sci. 10(4): 411-425 (2000)

Conference and Workshop Papers

see FAQ

What is the meaning of the colors in the publication lists?

2024
[c80]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/GoubaultKL24
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/GoubaultKL24
Éric Goubault, Roman Kniazev, Jérémy Ledent:
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL 2024: 30:1-30:18
2023
[c79]
- view
  authority control:
- export record
  dblp key:
  - conf/lics/GoubaultKLR23
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/lics/GoubaultKLR23
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-Simplicial Set Models for Distributed Knowledge. LICS 2023: 1-13
2022
[c78]
- view
  authority control:
- export record
  dblp key:
  - conf/atal/CabannesLPMGPPB22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atal/CabannesLPMGPPB22
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]
- view
  authority control:
- export record
  dblp key:
  - conf/cav/GoubaultP22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GoubaultP22
Eric Goubault, Sylvie Putot:
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. CAV (1) 2022: 511-523
[c76]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/ijcai/DjeumouNGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ijcai/DjeumouNGPT22
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]
- view
  - electronic edition @ mlr.press (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/l4dc/DjeumouNGPT22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/l4dc/DjeumouNGPT22
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/GoubaultLR22
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/GoubaultLR22
É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
2021
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/RelMiCS/CalkGM21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/RelMiCS/CalkGM21
Cameron Calk, Eric Goubault, Philippe Malbos:
Abstract Strategies and Coherence. RAMiCS 2021: 108-125
[c72]
- view
  authority control:
- export record
  dblp key:
  - conf/adhs/GoubaultP21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/adhs/GoubaultP21
Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS 2021: 235-240
[c71]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/DjeumouVGPT21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/DjeumouVGPT21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/BerniniBDGGPPS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/BerniniBDGGPPS21
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GoubaultPPRS21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GoubaultPPRS21
Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan:
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS 2021: 166-190
2020
[c68]
- view
  - electronic edition @ neurips.cc (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/nips/0001CGP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nips/0001CGP20
Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot:
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS 2020
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/KabiGMP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/KabiGMP20
Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot:
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. VSTTE 2020: 221-238
2019
[c66]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GoubaultP19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GoubaultP19
Eric Goubault, Sylvie Putot:
Inner and outer reachability for the verification of control systems. HSCC 2019: 11-22
[c65]
- view
  authority control:
- export record
  dblp key:
  - conf/tap/GoubaultLLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tap/GoubaultLLR19
É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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/GoubaultLLR19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/GoubaultLLR19
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
Wait-Free Solvability of Equality Negation Tasks. DISC 2019: 21:1-21:16
2018
[c63]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GoubaultPS18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GoubaultPS18
Eric Goubault, Sylvie Putot, Lorenz Sahlmann:
Inner and Outer Approximating Flowpipes for Delay Differential Equations. CAV (2) 2018: 523-541
[c62]
- view
  - electronic edition @ ceur-ws.org (open access)
  - no references & citations available
- export record
  dblp key:
  - conf/mkm/BidetGP18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/mkm/BidetGP18
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/opodis/GoubaultLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/opodis/GoubaultLM18
Éric Goubault, Jérémy Ledent, Samuel Mimram:
Concurrent Specifications Beyond Linearizability. OPODIS 2018: 28:1-28:16
[c60]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/wdag/GoubaultLM18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/GoubaultLM18
Éric Goubault, Jérémy Ledent, Samuel Mimram:
Brief Announcement: On the Impossibility of Detecting Concurrency. DISC 2018: 50:1-50:4
[c59]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1809-03095
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1809-03095
É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
2017
[c58]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GoubaultP17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GoubaultP17
Eric Goubault, Sylvie Putot:
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. HSCC 2017: 1-10
[c57]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1709-02561
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-02561
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
2016
[c56]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/concur/DubutGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/DubutGG16
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq:
Bisimulations and Unfolding in P-Accessible Categorical Models. CONCUR 2016: 25:1-25:14
[c55]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/csl/DubutGG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csl/DubutGG16
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq:
The Directed Homotopy Hypothesis. CSL 2016: 9:1-9:16
[c54]
- view
  authority control:
- export record
  dblp key:
  - conf/fm/DjoudiBG16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fm/DjoudiBG16
Adel Djoudi, Sébastien Bardin, Éric Goubault:
Recovering High-Level Conditions from Binary Programs. FM 2016: 235-253
[c53]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/FribourgGPM16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/FribourgGPM16
Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed:
A Topological Method for Finding Invariant Sets of Switched Systems. HSCC 2016: 61-70
[c52]
- view
  authority control:
- export record
  dblp key:
  - conf/tacas/BouissouGPCS16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/BouissouGPCS16
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
[c51]
- view
  authority control:
- export record
  dblp key:
  - conf/emsoft/AllamigeonGGPS15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/emsoft/AllamigeonGGPS15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/icalp/DubutGG15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icalp/DubutGG15
Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq:
Natural Homology. ICALP (2) 2015: 171-183
[c49]
- view
  authority control:
- export record
  dblp key:
  - conf/rp/FribourgGMMP15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/rp/FribourgGMMP15
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]
- view
  authority control:
- export record
  dblp key:
  - conf/wdag/GoubaultMT15
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/wdag/GoubaultMT15
Eric Goubault, Samuel Mimram, Christine Tasson:
From Geometric Semantics to Asynchronous Computability. DISC 2015: 436-451
2014
[c47]
- view
  authority control:
- export record
  dblp key:
  - conf/amcc/GoubaultJPS14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/amcc/GoubaultJPS14
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]
- view
  authority control:
- export record
  dblp key:
  - conf/hybrid/GoubaultMPK14
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/hybrid/GoubaultMPK14
Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer:
Inner approximated reachability analysis. HSCC 2014: 163-172
2013
[c45]
- view
  authority control:
- export record
  dblp key:
  - conf/aplas/GoubaultP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/aplas/GoubaultP13
Eric Goubault, Sylvie Putot:
Robustness Analysis of Finite Precision Implementations. APLAS 2013: 50-57
[c44]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Goubault13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Goubault13
Eric Goubault:
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. SAS 2013: 1-3
[c43]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/AdjeBGGP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/AdjeBGGP13
Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot:
Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE 2013: 22-47
[c42]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultHM13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultHM13
Eric Goubault, Tobias Heindel, Samuel Mimram:
A Geometric View of Partial Order Reduction. MFPS 2013: 179-195
2012
[c41]
- view
  - electronic edition @ ieee.org
  - no references & citations available
- export record
  dblp key:
  - conf/dasip/MenardRSSDHLGPVNRFSLC12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dasip/MenardRSSDHLGPVNRFSLC12
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/FajstrupGHMR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/FajstrupGHMR12
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]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GoubaultPV12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GoubaultPV12
Eric Goubault, Sylvie Putot, Franck Védrine:
Modular Static Analysis with Zonotopes. SAS 2012: 24-40
[c38]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultGP12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultGP12
Eric Goubault, Tristan Le Gall, Sylvie Putot:
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. NSAD@SAS 2012: 65-76
2011
[c37]
- view
  authority control:
- export record
  dblp key:
  - conf/atva/SotinJVG11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/atva/SotinJVG11
Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault:
Policy Iteration within Logico-Numerical Abstract Domains. ATVA 2011: 290-305
[c36]
- view
  authority control:
- export record
  dblp key:
  - conf/safecomp/BonichonCCGHHLM11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/safecomp/BonichonCCGHHLM11
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]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/GoubaultP11
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/GoubaultP11
Eric Goubault, Sylvie Putot:
Static Analysis of Finite Precision Computations. VMCAI 2011: 232-247
2010
[c34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GhorbalGP10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GhorbalGP10
Khalil Ghorbal, Eric Goubault, Sylvie Putot:
A Logical Product Approach to Zonotope Intersection. CAV 2010: 212-226
[c33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/AdjeGG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/AdjeGG10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/stacs/AllamigeonGG10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/stacs/AllamigeonGG10
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The Tropical Double Description Method. STACS 2010: 47-58
[c31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/FajstrupGR12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/FajstrupGR12
Lisbeth Fajstrup, Eric Goubault, Martin Raussen:
Preface. GETCO 2010: 1-2
[c30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultRLLM10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultRLLM10
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultM12
Eric Goubault, Samuel Mimram:
Formal Relationships Between Geometrical and Classical Models for Concurrency. GETCO 2010: 77-109
[c28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultHK10
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultHK10
Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan:
Future Path-components in Directed Topology. MFPS 2010: 325-335
2009
[c27]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/BouissouGPTV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/BouissouGPTV09
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/GhorbalGP09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/GhorbalGP09
Khalil Ghorbal, Eric Goubault, Sylvie Putot:
The Zonotope Abstract Domain Taylor1+. CAV 2009: 627-633
[c25]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/DelmasGPSTV09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/DelmasGPSTV09
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
2008
[c24]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/AllamigeonGG08
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/AllamigeonGG08
Xavier Allamigeon, Stephane Gaubert, Eric Goubault:
Inferring Min and Max Invariants Using Max-Plus Polyhedra. SAS 2008: 189-204
2007
[c23]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/esop/GaubertGTZ07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GaubertGTZ07
Stephane Gaubert, Eric Goubault, Ankur Taly, Sarah Zennou:
Static Analysis by Policy Iteration on Relational Domains. ESOP 2007: 237-252
[c22]
- view
  authority control:
- export record
  dblp key:
  - conf/fmics/GoubaultPBG07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/fmics/GoubaultPBG07
Eric Goubault, Sylvie Putot, Philippe Baufreton, Jean Gassino:
Static Analysis of the Accuracy in Control Systems: Principles and Experiments. FMICS 2007: 3-20
[c21]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GoubaultP07
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GoubaultP07
Eric Goubault, Sylvie Putot:
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. SAS 2007: 137-152
2006
[c20]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/GoubaultP06
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/GoubaultP06
Eric Goubault, Sylvie Putot:
Static Analysis of Numerical Algorithms. SAS 2006: 18-34
[c19]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Goubault09
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Goubault09
Eric Goubault:
Preface. GETCO 2006: 1-2
2005
[c18]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/cav/CostanGGMP05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/cav/CostanGGMP05
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]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GoubaultH05
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GoubaultH05
Eric Goubault, Emmanuel Haucourt:
A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs. CONCUR 2005: 503-517
2003
[c16]
- view
  authority control:
- export record
  dblp key:
  - conf/dagstuhl/PutotGM03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/dagstuhl/PutotGM03
Sylvie Putot, Eric Goubault, Matthieu Martel:
Static Analysis-Based Validation of Floating-Point Computations. Numerical Software with Result Verification 2003: 306-313
[c15]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/GoubaultF04
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/GoubaultF04
Eric Goubault, Ulrich Fahrenberg:
Preface. CMCIM/GETCO@CONCUR 2003: 47-48
2002
[c14]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/GoubaultMP02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/GoubaultMP02
Eric Goubault, Matthieu Martel, Sylvie Putot:
Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter. ESOP 2002: 209-212
[c13]
- view
  authority control:
- export record
  dblp key:
  - conf/latin/GoubaultR02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/latin/GoubaultR02
Eric Goubault, Martin Raußen:
Dihomotopy as a Tool in State Space Analysis. LATIN 2002: 16-37
[c12]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Goubault03
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Goubault03
Eric Goubault:
Foreword. GETCO 2002: 99
2001
[c11]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/Goubault01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/Goubault01
Eric Goubault:
Static Analyses of the Precision of Floating-Point Operations. SAS 2001: 234-259
[c10]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Goubault01
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Goubault01
Eric Goubault:
Preface. GETCO 2001: 205
2000
[c9]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/entcs/Goubault02
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/entcs/Goubault02
Eric Goubault:
Preface. GETCO 2000: 1
1998
[c8]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/FajstrupGR98
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/FajstrupGR98
Lisbeth Fajstrup, Eric Goubault, Martin Raußen:
Detecting Deadlocks in Concurrent Systems. CONCUR 1998: 332-347
1997
[c7]
- view
  authority control:
- export record
  dblp key:
  - conf/tapsoft/Goubault97
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tapsoft/Goubault97
Eric Goubault:
Optimal Implementation of Wait-Free Binary Relations. TAPSOFT 1997: 225-236
1996
[c6]
- view
  authority control:
- export record
  dblp key:
  - conf/esop/Goubault96
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/esop/Goubault96
Eric Goubault:
Durations for Truly-Concurrent Transitions. ESOP 1996: 173-187
1995
[c5]
- view
  authority control:
- export record
  dblp key:
  - conf/pepm/Goubault95
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/pepm/Goubault95
Eric Goubault:
Schedulers as Abstract Interpreter of Higher Dimensional Automata. PEPM 1995: 134-145
1993
[c4]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/Goubault93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/Goubault93
Eric Goubault:
Domains of Higher-Dimensional Automata. CONCUR 1993: 293-307
[c3]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/CridligG93
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/CridligG93
Régis Cridlig, Eric Goubault:
Semantics and Analysis of Linda-Based Languages. WSA 1993: 72-86
1992
[c2]
- view
  authority control:
- export record
  dblp key:
  - conf/concur/GoubaultJ92
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/concur/GoubaultJ92
Eric Goubault, Thomas P. Jensen:
Homology of Higher Dimensional Automata. CONCUR 1992: 254-268
1991
[c1]
- view
  authority control:
- export record
  dblp key:
  - conf/icassp/RaimondoGGLM91
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/icassp/RaimondoGGLM91
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

Editorship

see FAQ

What is the meaning of the colors in the publication lists?

2017
[e7]
- view
  authority control:
- export record
  dblp key:
  - conf/csdm/2016
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/csdm/2016
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]
2012
[e6]
- view
- export record
  dblp key:
  - conf/getco/2010
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2010
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]
2009
[e5]
- view
- export record
  dblp key:
  - conf/getco/2004-5-6
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2004-5-6
É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]
2004
[e4]
- view
- export record
  dblp key:
  - conf/getco/2003
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2003
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
[e3]
- view
- export record
  dblp key:
  - conf/getco/2002
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2002
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
[e2]
- view
- export record
  dblp key:
  - conf/getco/2001
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2001
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]
2000
[e1]
- view
- export record
  dblp key:
  - conf/getco/2000
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/getco/2000
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]

Informal and Other Publications

see FAQ

What is the meaning of the colors in the publication lists?

2023
[i34]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2301-06409
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2301-06409
Eric Goubault:
A semi-abelian approach to directed homology. CoRR abs/2301.06409 (2023)
[i33]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2303-14976
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2303-14976
Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-simplicial Set Models for Distributed Knowledge. CoRR abs/2303.14976 (2023)
[i32]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2305-03357
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2305-03357
Cameron Calk, Eric Goubault, Philippe Malbos:
Persistent homology of directed spaces. CoRR abs/2305.03357 (2023)
[i31]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2308-00477
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2308-00477
Eric Goubault, Roman Kniazev, Jérémy Ledent:
A many-sorted epistemic logic for chromatic hypergraphs. CoRR abs/2308.00477 (2023)
[i30]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-03604
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-03604
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]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2309-07662
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2309-07662
Eric Goubault, Sylvie Putot:
Guaranteed approximations of arbitrarily quantified reachability problems. CoRR abs/2309.07662 (2023)
[i28]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-2311-01351
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2311-01351
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
[i27]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2201-05715
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2201-05715
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
[i26]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2101-11536
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2101-11536
Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. CoRR abs/2101.11536 (2021)
[i25]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-12942
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-12942
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2107-14573
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2107-14573
Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot:
Neural Network Based Model Predictive Control for an Autonomous Vehicle. CoRR abs/2107.14573 (2021)
[i23]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-00893
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-00893
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2108-10293
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2108-10293
Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Model for KB4_n: Epistemic Logic with Agents that May Die. CoRR abs/2108.10293 (2021)
[i21]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2109-06407
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2109-06407
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2110-11943
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2110-11943
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
[i19]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2002-08863
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2002-08863
Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
Knowledge and simplicial complexes. CoRR abs/2002.08863 (2020)
[i18]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2006-16129
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2006-16129
Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR abs/2006.16129 (2020)
[i17]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2009-12733
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2009-12733
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]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-2011-05524
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-2011-05524
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)
2019
[i15]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1908-06684
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1908-06684
Eric Goubault, Samuel Mimram:
Directed Homotopy in Non-Positively Curved Spaces. CoRR abs/1908.06684 (2019)
[i14]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1909-03263
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1909-03263
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
[i13]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - journals/corr/abs-1812-05062
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-05062
Cameron Calk, Eric Goubault, Philippe Malbos:
Time-reversal homotopical properties of concurrent systems. CoRR abs/1812.05062 (2018)
[i12]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1812-09382
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1812-09382
Eric Goubault, Michael Farber, Aurélien Sagnier:
Directed topological complexity. CoRR abs/1812.09382 (2018)
2017
[i11]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GoubaultR17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GoubaultR17
Eric Goubault, Sergio Rajsbaum:
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. CoRR abs/1703.11005 (2017)
[i10]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GoubaultR17a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GoubaultR17a
Eric Goubault, Sergio Rajsbaum:
Models of fault-tolerant distributed computation via dynamic epistemic logic. CoRR abs/1704.07883 (2017)
[i9]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1709-05702
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1709-05702
Eric Goubault:
On directed homotopy equivalences and a notion of directed topological complexity. CoRR abs/1709.05702 (2017)
2013
[i8]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/GoubaultP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/GoubaultP13
Eric Goubault, Sylvie Putot:
Robustness analysis of finite precision implementations. CoRR abs/1309.3910 (2013)
[i7]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/OlivierGKP13
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OlivierGKP13
Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot:
General inner approximation of vector-valued functions. CoRR abs/1310.1709 (2013)
2012
[i6]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1204-0414
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1204-0414
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)
2010
[i5]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1001-4119
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1001-4119
Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The tropical double description method. CoRR abs/1001.4119 (2010)
[i4]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1002-2236
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1002-2236
Khalil Ghorbal, Eric Goubault, Sylvie Putot:
A Logical Product Approach to Zonotope Intersection. CoRR abs/1002.2236 (2010)
[i3]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-1004-2818
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-1004-2818
Eric Goubault, Samuel Mimram:
Formal Relationships Between Geometrical and Classical Models for Concurrency. CoRR abs/1004.2818 (2010)
2009
[i2]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0910-1763
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0910-1763
Eric Goubault, Sylvie Putot:
A zonotopic framework for functional abstractions. CoRR abs/0910.1763 (2009)
2008
[i1]
- view
  - electronic edition @ arxiv.org (open access)
  - references & citations
- export record
  dblp key:
  - journals/corr/abs-0807-2961
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/abs-0807-2961
Eric Goubault, Sylvie Putot:
Perturbed affine arithmetic for invariant computation in numerical program analysis. CoRR abs/0807.2961 (2008)

Coauthor Index

see FAQ

a service of

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.