Éric Goubault

17 papers A* 1A 3B 3Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2026 J jnl
Distributed Knowledge in Simplicial Models.
CoRR
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
2024 B conf
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.
CSL
Éric Goubault, Roman Kniazev, Jérémy Ledent
2023 A* conf
Semi-Simplicial Set Models for Distributed Knowledge.
LICS
Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum
2022 A conf
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die.
STACS
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
2022 J jnl
Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties.
IEEE Control. Syst. Lett.
François Bidet, Éric Goubault, Sylvie Putot
2021 J jnl
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks.
J. Log. Algebraic Methods Program.
Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2021 J jnl
A simplicial complex model for dynamic epistemic logic to study distributed task computability.
Inf. Comput.
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
2021 J jnl
Solving N-player dynamic routing games with congestion: a mean field approach.
CoRR
Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Éric Goubault, Romuald Elie
2019 — conf
A Dynamic Epistemic Logic Analysis of the Equality Negation Task.
DaLí
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2019 A conf
Wait-Free Solvability of Equality Negation Tasks.
DISC
Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum
2018 — conf
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability.
GandALF
Éric Goubault, Jérémy Ledent, Sergio Rajsbaum
2018 A conf
Brief Announcement: On the Impossibility of Detecting Concurrency.
DISC
Éric Goubault, Jérémy Ledent, Samuel Mimram
2018 B conf
Concurrent Specifications Beyond Linearizability.
OPODIS
Éric Goubault, Jérémy Ledent, Samuel Mimram
2018 J jnl
Geometric and combinatorial views on asynchronous computability.
Distributed Comput.
Éric Goubault, Samuel Mimram, Christine Tasson
2018 — conf
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).
CICM Workshops
François Bidet, Éric Goubault, Sylvie Putot
2016 B conf
Recovering High-Level Conditions from Binary Programs.
FM
Adel Djoudi, Sébastien Bardin, Éric Goubault
2009 — ed.
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
GETCO
Éric Goubault