default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Eric Goubault
@article{DBLP:journals/eaai/BerniniBDGGPPS24,
author = {Nicola Bernini and
Mikhail Bessa and
R{\'{e}}mi Delmas and
Arthur Gold and
Eric Goubault and
Romain Pennec and
Sylvie Putot and
Fran{\c{c}}ois X. Sillion},
title = {Reinforcement learning with formal performance metrics for quadcopter
attitude control under non-nominal contexts},
journal = {Eng. Appl. Artif. Intell.},
volume = {127},
number = {Part {A}},
pages = {107090},
year = {2024},
url = {https://doi.org/10.1016/j.engappai.2023.107090},
doi = {10.1016/J.ENGAPPAI.2023.107090},
timestamp = {Fri, 26 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/eaai/BerniniBDGGPPS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijar/ViannaGJP24,
author = {Maria Luiza Costa Vianna and
Eric Goubault and
Luc Jaulin and
Sylvie Putot},
title = {Estimating the coverage measure and the area explored by a line-sweep
sensor on the plane},
journal = {Int. J. Approx. Reason.},
volume = {169},
pages = {109162},
year = {2024},
url = {https://doi.org/10.1016/j.ijar.2024.109162},
doi = {10.1016/J.IJAR.2024.109162},
timestamp = {Tue, 21 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ijar/ViannaGJP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jact/Goubault24,
author = {Eric Goubault},
title = {A semi-abelian approach to directed homology},
journal = {J. Appl. Comput. Topol.},
volume = {8},
number = {2},
pages = {271--299},
year = {2024},
url = {https://doi.org/10.1007/s41468-023-00152-7},
doi = {10.1007/S41468-023-00152-7},
timestamp = {Thu, 11 Jul 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jact/Goubault24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/GoubaultKL24,
author = {{\'{E}}ric Goubault and
Roman Kniazev and
J{\'{e}}r{\'{e}}my Ledent},
editor = {Aniello Murano and
Alexandra Silva},
title = {A Many-Sorted Epistemic Logic for Chromatic Hypergraphs},
booktitle = {32nd {EACSL} Annual Conference on Computer Science Logic, {CSL} 2024,
February 19-23, 2024, Naples, Italy},
series = {LIPIcs},
volume = {288},
pages = {30:1--30:18},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2024},
url = {https://doi.org/10.4230/LIPIcs.CSL.2024.30},
doi = {10.4230/LIPICS.CSL.2024.30},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/GoubaultKL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/GoubaultP24,
author = {Eric Goubault and
Sylvie Putot},
editor = {Andr{\'{e}} Platzer and
Kristin Yvonne Rozier and
Matteo Pradella and
Matteo Rossi},
title = {A Zonotopic Dempster-Shafer Approach to the Quantitative Verification
of Neural Networks},
booktitle = {Formal Methods - 26th International Symposium, {FM} 2024, Milan, Italy,
September 9-13, 2024, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14933},
pages = {324--342},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-71162-6\_17},
doi = {10.1007/978-3-031-71162-6\_17},
timestamp = {Fri, 20 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/GoubaultP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoubaultP24,
author = {Eric Goubault and
Sylvie Putot},
editor = {Erika {\'{A}}brah{\'{a}}m and
Manuel Mazo Jr.},
title = {Inner and outer approximate quantifier elimination for general reachability
problems},
booktitle = {Proceedings of the 27th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2024, Hong Kong SAR, China, May 14-16,
2024},
pages = {8:1--8:11},
publisher = {{ACM}},
year = {2024},
url = {https://doi.org/10.1145/3641513.3650125},
doi = {10.1145/3641513.3650125},
timestamp = {Fri, 17 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GoubaultP24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tac/DjeumouVGPT23,
author = {Franck Djeumou and
Abraham P. Vinod and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
title = {On-the-Fly Control of Unknown Systems: From Side Information to Performance
Guarantees Through Reachability},
journal = {{IEEE} Trans. Autom. Control.},
volume = {68},
number = {8},
pages = {4857--4872},
year = {2023},
url = {https://doi.org/10.1109/TAC.2022.3217260},
doi = {10.1109/TAC.2022.3217260},
timestamp = {Sat, 05 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tac/DjeumouVGPT23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lics/GoubaultKLR23,
author = {{\'{E}}ric Goubault and
Roman Kniazev and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {Semi-Simplicial Set Models for Distributed Knowledge},
booktitle = {38th Annual {ACM/IEEE} Symposium on Logic in Computer Science, {LICS}
2023, Boston, MA, USA, June 26-29, 2023},
pages = {1--13},
publisher = {{IEEE}},
year = {2023},
url = {https://doi.org/10.1109/LICS56636.2023.10175737},
doi = {10.1109/LICS56636.2023.10175737},
timestamp = {Wed, 29 May 2024 16:05:22 +0200},
biburl = {https://dblp.org/rec/conf/lics/GoubaultKLR23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-06409,
author = {Eric Goubault},
title = {A semi-abelian approach to directed homology},
journal = {CoRR},
volume = {abs/2301.06409},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.06409},
doi = {10.48550/ARXIV.2301.06409},
eprinttype = {arXiv},
eprint = {2301.06409},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-06409.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2303-14976,
author = {Eric Goubault and
Roman Kniazev and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {Semi-simplicial Set Models for Distributed Knowledge},
journal = {CoRR},
volume = {abs/2303.14976},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2303.14976},
doi = {10.48550/ARXIV.2303.14976},
eprinttype = {arXiv},
eprint = {2303.14976},
timestamp = {Fri, 14 Apr 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2303-14976.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2305-03357,
author = {Cameron Calk and
Eric Goubault and
Philippe Malbos},
title = {Persistent homology of directed spaces},
journal = {CoRR},
volume = {abs/2305.03357},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2305.03357},
doi = {10.48550/ARXIV.2305.03357},
eprinttype = {arXiv},
eprint = {2305.03357},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2305-03357.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-00477,
author = {Eric Goubault and
Roman Kniazev and
J{\'{e}}r{\'{e}}my Ledent},
title = {A many-sorted epistemic logic for chromatic hypergraphs},
journal = {CoRR},
volume = {abs/2308.00477},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.00477},
doi = {10.48550/ARXIV.2308.00477},
eprinttype = {arXiv},
eprint = {2308.00477},
timestamp = {Mon, 21 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-00477.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-03604,
author = {Maria Luiza Costa Vianna and
Eric Goubault and
Luc Jaulin and
Sylvie Putot},
title = {Estimating the Coverage Measure and the Area Explored by a Line-Sweep
Sensor on the Plane},
journal = {CoRR},
volume = {abs/2309.03604},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.03604},
doi = {10.48550/ARXIV.2309.03604},
eprinttype = {arXiv},
eprint = {2309.03604},
timestamp = {Tue, 12 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-03604.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2309-07662,
author = {Eric Goubault and
Sylvie Putot},
title = {Guaranteed approximations of arbitrarily quantified reachability problems},
journal = {CoRR},
volume = {abs/2309.07662},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2309.07662},
doi = {10.48550/ARXIV.2309.07662},
eprinttype = {arXiv},
eprint = {2309.07662},
timestamp = {Tue, 19 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2309-07662.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2311-01351,
author = {Eric Goubault and
Roman Kniazev and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {Simplicial Models for the Epistemic Logic of Faulty Agents},
journal = {CoRR},
volume = {abs/2311.01351},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2311.01351},
doi = {10.48550/ARXIV.2311.01351},
eprinttype = {arXiv},
eprint = {2311.01351},
timestamp = {Tue, 07 Nov 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2311-01351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/BidetGP22,
author = {Fran{\c{c}}ois Bidet and
{\'{E}}ric Goubault and
Sylvie Putot},
title = {Reachability Analysis of Generalized Input-Affine Systems With Bounded
Measurable Time-Varying Uncertainties},
journal = {{IEEE} Control. Syst. Lett.},
volume = {6},
pages = {638--643},
year = {2022},
url = {https://doi.org/10.1109/LCSYS.2021.3084530},
doi = {10.1109/LCSYS.2021.3084530},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/csysl/BidetGP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/CalkGMS22,
author = {Cameron Calk and
Eric Goubault and
Philippe Malbos and
Georg Struth},
title = {Algebraic coherent confluence and higher globular Kleene algebras},
journal = {Log. Methods Comput. Sci.},
volume = {18},
number = {4},
year = {2022},
url = {https://doi.org/10.46298/lmcs-18(4:9)2022},
doi = {10.46298/LMCS-18(4:9)2022},
timestamp = {Tue, 24 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/lmcs/CalkGMS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atal/CabannesLPMGPPB22,
author = {Theophile Cabannes and
Mathieu Lauri{\`{e}}re and
Julien P{\'{e}}rolat and
Rapha{\"{e}}l Marinier and
Sertan Girgin and
Sarah Perrin and
Olivier Pietquin and
Alexandre M. Bayen and
Eric Goubault and
Romuald Elie},
editor = {Piotr Faliszewski and
Viviana Mascardi and
Catherine Pelachaud and
Matthew E. Taylor},
title = {Solving N-Player Dynamic Routing Games with Congestion: {A} Mean-Field
Approach},
booktitle = {21st International Conference on Autonomous Agents and Multiagent
Systems, {AAMAS} 2022, Auckland, New Zealand, May 9-13, 2022},
pages = {1557--1559},
publisher = {International Foundation for Autonomous Agents and Multiagent Systems
{(IFAAMAS)}},
year = {2022},
url = {https://www.ifaamas.org/Proceedings/aamas2022/pdfs/p1557.pdf},
doi = {10.5555/3535850.3536033},
timestamp = {Mon, 18 Jul 2022 17:13:00 +0200},
biburl = {https://dblp.org/rec/conf/atal/CabannesLPMGPPB22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GoubaultP22,
author = {Eric Goubault and
Sylvie Putot},
editor = {Sharon Shoham and
Yakir Vizel},
title = {{RINO:} Robust INner and Outer Approximated Reachability of Neural
Networks Controlled Systems},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {511--523},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_25},
doi = {10.1007/978-3-031-13185-1\_25},
timestamp = {Tue, 09 Aug 2022 17:05:51 +0200},
biburl = {https://dblp.org/rec/conf/cav/GoubaultP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ijcai/DjeumouNGPT22,
author = {Franck Djeumou and
Cyrus Neary and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
editor = {Luc De Raedt},
title = {Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast
Training and Evaluation of Neural ODEs},
booktitle = {Proceedings of the Thirty-First International Joint Conference on
Artificial Intelligence, {IJCAI} 2022, Vienna, Austria, 23-29 July
2022},
pages = {2923--2929},
publisher = {ijcai.org},
year = {2022},
url = {https://doi.org/10.24963/ijcai.2022/405},
doi = {10.24963/IJCAI.2022/405},
timestamp = {Wed, 27 Jul 2022 16:43:00 +0200},
biburl = {https://dblp.org/rec/conf/ijcai/DjeumouNGPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/l4dc/DjeumouNGPT22,
author = {Franck Djeumou and
Cyrus Neary and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
editor = {Roya Firoozi and
Negar Mehr and
Esen Yel and
Rika Antonova and
Jeannette Bohg and
Mac Schwager and
Mykel J. Kochenderfer},
title = {Neural Networks with Physics-Informed Architectures and Constraints
for Dynamical Systems Modeling},
booktitle = {Learning for Dynamics and Control Conference, {L4DC} 2022, 23-24 June
2022, Stanford University, Stanford, CA, {USA}},
series = {Proceedings of Machine Learning Research},
volume = {168},
pages = {263--277},
publisher = {{PMLR}},
year = {2022},
url = {https://proceedings.mlr.press/v168/djeumou22a.html},
timestamp = {Fri, 20 May 2022 14:36:40 +0200},
biburl = {https://dblp.org/rec/conf/l4dc/DjeumouNGPT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/GoubaultLR22,
author = {{\'{E}}ric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
editor = {Petra Berenbrink and
Benjamin Monmege},
title = {A Simplicial Model for KB4{\_}n: Epistemic Logic with Agents That
May Die},
booktitle = {39th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2022, March 15-18, 2022, Marseille, France (Virtual Conference)},
series = {LIPIcs},
volume = {219},
pages = {33:1--33:20},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2022},
url = {https://doi.org/10.4230/LIPIcs.STACS.2022.33},
doi = {10.4230/LIPICS.STACS.2022.33},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/stacs/GoubaultLR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2201-05715,
author = {Franck Djeumou and
Cyrus Neary and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
title = {Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast
Training and Evaluation of Neural ODEs},
journal = {CoRR},
volume = {abs/2201.05715},
year = {2022},
url = {https://arxiv.org/abs/2201.05715},
eprinttype = {arXiv},
eprint = {2201.05715},
timestamp = {Thu, 20 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2201-05715.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/FribourgGMMP21,
author = {Laurent Fribourg and
Eric Goubault and
Sameh Mohamed and
Marian Mrozek and
Sylvie Putot},
title = {A topological method for finding invariant sets of continuous systems},
journal = {Inf. Comput.},
volume = {277},
pages = {104581},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104581},
doi = {10.1016/J.IC.2020.104581},
timestamp = {Tue, 30 Mar 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/FribourgGMMP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iandc/GoubaultLR21,
author = {{\'{E}}ric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {A simplicial complex model for dynamic epistemic logic to study distributed
task computability},
journal = {Inf. Comput.},
volume = {278},
pages = {104597},
year = {2021},
url = {https://doi.org/10.1016/j.ic.2020.104597},
doi = {10.1016/J.IC.2020.104597},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iandc/GoubaultLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/DitmarschGLLR21,
author = {Hans van Ditmarsch and
{\'{E}}ric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {A dynamic epistemic logic analysis of equality negation and other
epistemic covering tasks},
journal = {J. Log. Algebraic Methods Program.},
volume = {121},
pages = {100662},
year = {2021},
url = {https://doi.org/10.1016/j.jlamp.2021.100662},
doi = {10.1016/J.JLAMP.2021.100662},
timestamp = {Tue, 13 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jlap/DitmarschGLLR21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/CalkGM21,
author = {Cameron Calk and
Eric Goubault and
Philippe Malbos},
editor = {Uli Fahrenberg and
Mai Gehrke and
Luigi Santocanale and
Michael Winter},
title = {Abstract Strategies and Coherence},
booktitle = {Relational and Algebraic Methods in Computer Science - 19th International
Conference, RAMiCS 2021, Marseille, France, November 2-5, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {13027},
pages = {108--125},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88701-8\_7},
doi = {10.1007/978-3-030-88701-8\_7},
timestamp = {Mon, 25 Oct 2021 18:18:58 +0200},
biburl = {https://dblp.org/rec/conf/RelMiCS/CalkGM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adhs/GoubaultP21,
author = {Eric Goubault and
Sylvie Putot},
editor = {Rapha{\"{e}}l M. Jungers and
Necmiye Ozay and
Alessandro Abate},
title = {Tractable higher-order under-approximating {AE} extensions for non-linear
systems},
booktitle = {7th {IFAC} Conference on Analysis and Design of Hybrid Systems, {ADHS}
2021, Brussels, Belgium, July 7-9, 2021},
series = {IFAC-PapersOnLine},
volume = {54},
number = {5},
pages = {235--240},
publisher = {Elsevier},
year = {2021},
url = {https://doi.org/10.1016/j.ifacol.2021.08.504},
doi = {10.1016/J.IFACOL.2021.08.504},
timestamp = {Tue, 14 Sep 2021 14:28:35 +0200},
biburl = {https://dblp.org/rec/conf/adhs/GoubaultP21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/DjeumouVGPT21,
author = {Franck Djeumou and
Abraham P. Vinod and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
title = {On-The-Fly Control of Unknown Smooth Systems from Limited Data},
booktitle = {2021 American Control Conference, {ACC} 2021, New Orleans, LA, USA,
May 25-28, 2021},
pages = {3656--3663},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.23919/ACC50511.2021.9483367},
doi = {10.23919/ACC50511.2021.9483367},
timestamp = {Fri, 30 Jul 2021 11:11:12 +0200},
biburl = {https://dblp.org/rec/conf/amcc/DjeumouVGPT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/BerniniBDGGPPS21,
author = {Nicola Bernini and
Mikhail Bessa and
R{\'{e}}mi Delmas and
Arthur Gold and
Eric Goubault and
Romain Pennec and
Sylvie Putot and
Fran{\c{c}}ois X. Sillion},
editor = {Sergiy Bogomolov and
Rapha{\"{e}}l M. Jungers},
title = {A few lessons learned in reinforcement learning for quadcopter attitude
control},
booktitle = {{HSCC} '21: 24th {ACM} International Conference on Hybrid Systems:
Computation and Control, Nashville, Tennessee, May 19-21, 2021},
pages = {27:1--27:11},
publisher = {{ACM}},
year = {2021},
url = {https://doi.org/10.1145/3447928.3456707},
doi = {10.1145/3447928.3456707},
timestamp = {Wed, 19 May 2021 14:55:26 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/BerniniBDGGPPS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GoubaultPPRS21,
author = {Eric Goubault and
S{\'{e}}bastien Palumby and
Sylvie Putot and
Louis Rustenholz and
Sriram Sankaranarayanan},
editor = {Cezara Dragoi and
Suvam Mukherjee and
Kedar S. Namjoshi},
title = {Static Analysis of ReLU Neural Networks with Tropical Polyhedra},
booktitle = {Static Analysis - 28th International Symposium, {SAS} 2021, Chicago,
IL, USA, October 17-19, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12913},
pages = {166--190},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88806-0\_8},
doi = {10.1007/978-3-030-88806-0\_8},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/sas/GoubaultPPRS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-11536,
author = {Eric Goubault and
Sylvie Putot},
title = {Tractable higher-order under-approximating {AE} extensions for non-linear
systems},
journal = {CoRR},
volume = {abs/2101.11536},
year = {2021},
url = {https://arxiv.org/abs/2101.11536},
eprinttype = {arXiv},
eprint = {2101.11536},
timestamp = {Sun, 31 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-11536.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-12942,
author = {Nicola Bernini and
Mikhail Bessa and
R{\'{e}}mi Delmas and
Arthur Gold and
Eric Goubault and
Romain Pennec and
Sylvie Putot and
Fran{\c{c}}ois X. Sillion},
title = {Reinforcement Learning with Formal Performance Metrics for Quadcopter
Attitude Control under Non-nominal Contexts},
journal = {CoRR},
volume = {abs/2107.12942},
year = {2021},
url = {https://arxiv.org/abs/2107.12942},
eprinttype = {arXiv},
eprint = {2107.12942},
timestamp = {Fri, 30 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-12942.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-14573,
author = {Maria Luiza Costa Vianna and
Eric Goubault and
Sylvie Putot},
title = {Neural Network Based Model Predictive Control for an Autonomous Vehicle},
journal = {CoRR},
volume = {abs/2107.14573},
year = {2021},
url = {https://arxiv.org/abs/2107.14573},
eprinttype = {arXiv},
eprint = {2107.14573},
timestamp = {Tue, 03 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-14573.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-00893,
author = {Eric Goubault and
S{\'{e}}bastien Palumby and
Sylvie Putot and
Louis Rustenholz and
Sriram Sankaranarayanan},
title = {Static analysis of ReLU neural networks with tropical polyhedra},
journal = {CoRR},
volume = {abs/2108.00893},
year = {2021},
url = {https://arxiv.org/abs/2108.00893},
eprinttype = {arXiv},
eprint = {2108.00893},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-00893.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-10293,
author = {Eric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {A Simplicial Model for KB4\({}_{\mbox{n}}\): Epistemic Logic with
Agents that May Die},
journal = {CoRR},
volume = {abs/2108.10293},
year = {2021},
url = {https://arxiv.org/abs/2108.10293},
eprinttype = {arXiv},
eprint = {2108.10293},
timestamp = {Fri, 27 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-10293.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-06407,
author = {Franck Djeumou and
Cyrus Neary and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
title = {Neural Networks with Physics-Informed Architectures and Constraints
for Dynamical Systems Modeling},
journal = {CoRR},
volume = {abs/2109.06407},
year = {2021},
url = {https://arxiv.org/abs/2109.06407},
eprinttype = {arXiv},
eprint = {2109.06407},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-06407.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2110-11943,
author = {Theophile Cabannes and
Mathieu Lauri{\`{e}}re and
Julien P{\'{e}}rolat and
Rapha{\"{e}}l Marinier and
Sertan Girgin and
Sarah Perrin and
Olivier Pietquin and
Alexandre M. Bayen and
{\'{E}}ric Goubault and
Romuald Elie},
title = {Solving N-player dynamic routing games with congestion: a mean field
approach},
journal = {CoRR},
volume = {abs/2110.11943},
year = {2021},
url = {https://arxiv.org/abs/2110.11943},
eprinttype = {arXiv},
eprint = {2110.11943},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2110-11943.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/csysl/GoubaultP20,
author = {Eric Goubault and
Sylvie Putot},
title = {Robust Under-Approximations and Application to Reachability of Non-Linear
Control Systems With Disturbances},
journal = {{IEEE} Control. Syst. Lett.},
volume = {4},
number = {4},
pages = {928--933},
year = {2020},
url = {https://doi.org/10.1109/LCSYS.2020.2997261},
doi = {10.1109/LCSYS.2020.2997261},
timestamp = {Thu, 09 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/csysl/GoubaultP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jact/GoubaultFS20,
author = {Eric Goubault and
Michael Farber and
Aur{\'{e}}lien Sagnier},
title = {Directed topological complexity},
journal = {J. Appl. Comput. Topol.},
volume = {4},
number = {1},
pages = {11--27},
year = {2020},
url = {https://doi.org/10.1007/s41468-019-00034-x},
doi = {10.1007/S41468-019-00034-X},
timestamp = {Thu, 10 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jact/GoubaultFS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/GoubaultM20,
author = {Eric Goubault and
Samuel Mimram},
title = {Directed Homotopy in Non-Positively Curved Spaces},
journal = {Log. Methods Comput. Sci.},
volume = {16},
number = {3},
year = {2020},
url = {https://lmcs.episciences.org/6634},
timestamp = {Wed, 19 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/GoubaultM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/nips/0001CGP20,
author = {Sriram Sankaranarayanan and
Yi Chou and
Eric Goubault and
Sylvie Putot},
editor = {Hugo Larochelle and
Marc'Aurelio Ranzato and
Raia Hadsell and
Maria{-}Florina Balcan and
Hsuan{-}Tien Lin},
title = {Reasoning about Uncertainties in Discrete-Time Dynamical Systems using
Polynomial Forms},
booktitle = {Advances in Neural Information Processing Systems 33: Annual Conference
on Neural Information Processing Systems 2020, NeurIPS 2020, December
6-12, 2020, virtual},
year = {2020},
url = {https://proceedings.neurips.cc/paper/2020/hash/ca886eb9edb61a42256192745c72cd79-Abstract.html},
timestamp = {Tue, 19 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/nips/0001CGP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/KabiGMP20,
author = {Bibek Kabi and
Eric Goubault and
Antoine Min{\'{e}} and
Sylvie Putot},
editor = {Maria Christakis and
Nadia Polikarpova and
Parasara Sridhar Duggirala and
Peter Schrammel},
title = {Combining Zonotope Abstraction and Constraint Programming for Synthesizing
Inductive Invariants},
booktitle = {Software Verification - 12th International Conference, {VSTTE} 2020,
and 13th International Workshop, {NSV} 2020, Los Angeles, CA, USA,
July 20-21, 2020, Revised Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {12549},
pages = {221--238},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-63618-0\_14},
doi = {10.1007/978-3-030-63618-0\_14},
timestamp = {Thu, 10 Dec 2020 10:35:02 +0100},
biburl = {https://dblp.org/rec/conf/vstte/KabiGMP20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-08863,
author = {Hans van Ditmarsch and
Eric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {Knowledge and simplicial complexes},
journal = {CoRR},
volume = {abs/2002.08863},
year = {2020},
url = {https://arxiv.org/abs/2002.08863},
eprinttype = {arXiv},
eprint = {2002.08863},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-08863.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2006-16129,
author = {Cameron Calk and
Eric Goubault and
Philippe Malbos and
Georg Struth},
title = {Algebraic coherent confluence and higher-dimensional globular Kleene
algebras},
journal = {CoRR},
volume = {abs/2006.16129},
year = {2020},
url = {https://arxiv.org/abs/2006.16129},
eprinttype = {arXiv},
eprint = {2006.16129},
timestamp = {Wed, 01 Jul 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2006-16129.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-12733,
author = {Franck Djeumou and
Abraham P. Vinod and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
title = {On-The-Fly Control of Unknown Smooth Systems from Limited Data},
journal = {CoRR},
volume = {abs/2009.12733},
year = {2020},
url = {https://arxiv.org/abs/2009.12733},
eprinttype = {arXiv},
eprint = {2009.12733},
timestamp = {Wed, 30 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2009-12733.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2011-05524,
author = {Franck Djeumou and
Abraham P. Vinod and
Eric Goubault and
Sylvie Putot and
Ufuk Topcu},
title = {On-The-Fly Control of Unknown Systems: From Side Information to Performance
Guarantees through Reachability},
journal = {CoRR},
volume = {abs/2011.05524},
year = {2020},
url = {https://arxiv.org/abs/2011.05524},
eprinttype = {arXiv},
eprint = {2011.05524},
timestamp = {Thu, 12 Nov 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2011-05524.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoubaultP19,
author = {Eric Goubault and
Sylvie Putot},
editor = {Necmiye Ozay and
Pavithra Prabhakar},
title = {Inner and outer reachability for the verification of control systems},
booktitle = {Proceedings of the 22nd {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2019, Montreal, QC, Canada, April
16-18, 2019},
pages = {11--22},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3302504.3311794},
doi = {10.1145/3302504.3311794},
timestamp = {Sun, 07 Apr 2019 17:45:27 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/GoubaultP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tap/GoubaultLLR19,
author = {{\'{E}}ric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
editor = {Lu{\'{\i}}s Soares Barbosa and
Alexandru Baltag},
title = {A Dynamic Epistemic Logic Analysis of the Equality Negation Task},
booktitle = {Dynamic Logic. New Trends and Applications - Second International
Workshop, DaL{\'{\i}} 2019, Porto, Portugal, October 7-11, 2019,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12005},
pages = {53--70},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-38808-9\_4},
doi = {10.1007/978-3-030-38808-9\_4},
timestamp = {Fri, 21 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/tap/GoubaultLLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GoubaultLLR19,
author = {{\'{E}}ric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
editor = {Jukka Suomela},
title = {Wait-Free Solvability of Equality Negation Tasks},
booktitle = {33rd International Symposium on Distributed Computing, {DISC} 2019,
October 14-18, 2019, Budapest, Hungary},
series = {LIPIcs},
volume = {146},
pages = {21:1--21:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2019},
url = {https://doi.org/10.4230/LIPIcs.DISC.2019.21},
doi = {10.4230/LIPICS.DISC.2019.21},
timestamp = {Wed, 21 Aug 2024 22:46:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/GoubaultLLR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1908-06684,
author = {Eric Goubault and
Samuel Mimram},
title = {Directed Homotopy in Non-Positively Curved Spaces},
journal = {CoRR},
volume = {abs/1908.06684},
year = {2019},
url = {http://arxiv.org/abs/1908.06684},
eprinttype = {arXiv},
eprint = {1908.06684},
timestamp = {Mon, 26 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1908-06684.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1909-03263,
author = {Eric Goubault and
Marijana Lazic and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
title = {A dynamic epistemic logic analysis of the equality negation task},
journal = {CoRR},
volume = {abs/1909.03263},
year = {2019},
url = {http://arxiv.org/abs/1909.03263},
eprinttype = {arXiv},
eprint = {1909.03263},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1909-03263.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dc/GoubaultMT18,
author = {{\'{E}}ric Goubault and
Samuel Mimram and
Christine Tasson},
title = {Geometric and combinatorial views on asynchronous computability},
journal = {Distributed Comput.},
volume = {31},
number = {4},
pages = {289--316},
year = {2018},
url = {https://doi.org/10.1007/s00446-018-0328-4},
doi = {10.1007/S00446-018-0328-4},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dc/GoubaultMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcad/LoharDPG18,
author = {Debasmita Lohar and
Eva Darulova and
Sylvie Putot and
Eric Goubault},
title = {Discrete Choice in the Presence of Numerical Uncertainties},
journal = {{IEEE} Trans. Comput. Aided Des. Integr. Circuits Syst.},
volume = {37},
number = {11},
pages = {2381--2392},
year = {2018},
url = {https://doi.org/10.1109/TCAD.2018.2857320},
doi = {10.1109/TCAD.2018.2857320},
timestamp = {Thu, 24 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcad/LoharDPG18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GoubaultPS18,
author = {Eric Goubault and
Sylvie Putot and
Lorenz Sahlmann},
editor = {Hana Chockler and
Georg Weissenbacher},
title = {Inner and Outer Approximating Flowpipes for Delay Differential Equations},
booktitle = {Computer Aided Verification - 30th International Conference, {CAV}
2018, Held as Part of the Federated Logic Conference, FloC 2018, Oxford,
UK, July 14-17, 2018, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {10982},
pages = {523--541},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-319-96142-2\_31},
doi = {10.1007/978-3-319-96142-2\_31},
timestamp = {Fri, 09 Apr 2021 18:35:26 +0200},
biburl = {https://dblp.org/rec/conf/cav/GoubaultPS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/mkm/BidetGP18,
author = {Fran{\c{c}}ois Bidet and
{\'{E}}ric Goubault and
Sylvie Putot},
editor = {Osman Hasan and
Abdou Youssef and
Adam Naumowicz and
William M. Farmer and
Cezary Kaliszyk and
Diane Gallois{-}Wong and
Florian Rabe and
Gabriel Dos Reis and
Grant O. Passmore and
James H. Davenport and
Markus Pfeiffer and
Michael Kohlhase and
Serge Autexier and
Sofi{\`{e}}ne Tahar and
Thomas Koprucki and
Umair Siddique and
Walther Neuper and
Wolfgang Windsteiger and
Wolfgang Schreiner and
Wolfram Sperber and
Zolt{\'{a}}n Kov{\'{a}}cs},
title = {Work in Progress: Reachability Analysis for Time-triggered Hybrid
Systems, The Platoon Benchmark (short paper)},
booktitle = {Joint Proceedings of the CME-EI, FMM, CAAT, FVPS, M3SRD, OpenMath
Workshops, Doctoral Program and Work in Progress at the Conference
on Intelligent Computer Mathematics 2018 co-located with the 11th
Conference on Intelligent Computer Mathematics {(CICM} 2018), Hagenberg,
Austria, August 13-17, 2018},
series = {{CEUR} Workshop Proceedings},
volume = {2307},
publisher = {CEUR-WS.org},
year = {2018},
url = {https://ceur-ws.org/Vol-2307/paper31.pdf},
timestamp = {Fri, 10 Mar 2023 16:22:18 +0100},
biburl = {https://dblp.org/rec/conf/mkm/BidetGP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/opodis/GoubaultLM18,
author = {{\'{E}}ric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Samuel Mimram},
editor = {Jiannong Cao and
Faith Ellen and
Lu{\'{\i}}s Rodrigues and
Bernardo Ferreira},
title = {Concurrent Specifications Beyond Linearizability},
booktitle = {22nd International Conference on Principles of Distributed Systems,
{OPODIS} 2018, December 17-19, 2018, Hong Kong, China},
series = {LIPIcs},
volume = {125},
pages = {28:1--28:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.OPODIS.2018.28},
doi = {10.4230/LIPICS.OPODIS.2018.28},
timestamp = {Sat, 29 Apr 2023 18:21:58 +0200},
biburl = {https://dblp.org/rec/conf/opodis/GoubaultLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GoubaultLM18,
author = {{\'{E}}ric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Samuel Mimram},
editor = {Ulrich Schmid and
Josef Widder},
title = {Brief Announcement: On the Impossibility of Detecting Concurrency},
booktitle = {32nd International Symposium on Distributed Computing, {DISC} 2018,
New Orleans, LA, USA, October 15-19, 2018},
series = {LIPIcs},
volume = {121},
pages = {50:1--50:4},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2018},
url = {https://doi.org/10.4230/LIPIcs.DISC.2018.50},
doi = {10.4230/LIPICS.DISC.2018.50},
timestamp = {Mon, 03 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wdag/GoubaultLM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1809-03095,
author = {{\'{E}}ric Goubault and
J{\'{e}}r{\'{e}}my Ledent and
Sergio Rajsbaum},
editor = {Andrea Orlandini and
Martin Zimmermann},
title = {A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed
Task Computability},
booktitle = {Proceedings Ninth International Symposium on Games, Automata, Logics,
and Formal Verification, GandALF 2018, Saarbr{\"{u}}cken, Germany,
26-28th September 2018},
series = {{EPTCS}},
volume = {277},
pages = {73--87},
year = {2018},
url = {https://doi.org/10.4204/EPTCS.277.6},
doi = {10.4204/EPTCS.277.6},
timestamp = {Wed, 07 Dec 2022 23:00:49 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1809-03095.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-05062,
author = {Cameron Calk and
Eric Goubault and
Philippe Malbos},
title = {Time-reversal homotopical properties of concurrent systems},
journal = {CoRR},
volume = {abs/1812.05062},
year = {2018},
url = {https://doi.org/10.48550/arXiv.1812.05062},
doi = {10.48550/ARXIV.1812.05062},
eprinttype = {arXiv},
eprint = {1812.05062},
timestamp = {Wed, 10 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-05062.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1812-09382,
author = {Eric Goubault and
Michael Farber and
Aur{\'{e}}lien Sagnier},
title = {Directed topological complexity},
journal = {CoRR},
volume = {abs/1812.09382},
year = {2018},
url = {http://arxiv.org/abs/1812.09382},
eprinttype = {arXiv},
eprint = {1812.09382},
timestamp = {Thu, 08 Feb 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1812-09382.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/DubutGG17,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
title = {Directed Homology Theories and Eilenberg-Steenrod Axioms},
journal = {Appl. Categorical Struct.},
volume = {25},
number = {5},
pages = {775--807},
year = {2017},
url = {https://doi.org/10.1007/s10485-016-9438-y},
doi = {10.1007/S10485-016-9438-Y},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/DubutGG17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AllamigeonGGPS17,
author = {Xavier Allamigeon and
St{\'{e}}phane Gaubert and
Eric Goubault and
Sylvie Putot and
Nikolas Stott},
title = {A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical
Programs},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {5s},
pages = {166:1--166:19},
year = {2017},
url = {https://doi.org/10.1145/3126502},
doi = {10.1145/3126502},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AllamigeonGGPS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoubaultP17,
author = {Eric Goubault and
Sylvie Putot},
editor = {Goran Frehse and
Sayan Mitra},
title = {Forward Inner-Approximated Reachability of Non-Linear Continuous Systems},
booktitle = {Proceedings of the 20th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2017, Pittsburgh, PA, USA, April 18-20,
2017},
pages = {1--10},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3049797.3049811},
doi = {10.1145/3049797.3049811},
timestamp = {Tue, 06 Nov 2018 11:07:36 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/GoubaultP17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1709-02561,
author = {Benjamin Martin and
Khalil Ghorbal and
Eric Goubault and
Sylvie Putot},
editor = {Lukas Bulwahn and
Maryam Kamali and
Sven Linker},
title = {Formal Verification of Station Keeping Maneuvers for a Planar Autonomous
Hybrid System},
booktitle = {Proceedings First Workshop on Formal Verification of Autonomous Vehicles,
FVAV@iFM 2017, Turin, Italy, 19th September 2017},
series = {{EPTCS}},
volume = {257},
pages = {91--104},
year = {2017},
url = {https://doi.org/10.4204/EPTCS.257.9},
doi = {10.4204/EPTCS.257.9},
timestamp = {Thu, 09 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-02561.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/csdm/2016,
editor = {Gauthier Fanmuy and
Eric Goubault and
Daniel Krob and
Fran{\c{c}}ois Stephan},
title = {Complex Systems Design {\&} Management, Proceedings of the Seventh
International Conference on Complex Systems Design {\&} Management,
CSD{\&}M 2016, Paris, France, December 13-14, 2016},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-49103-5},
doi = {10.1007/978-3-319-49103-5},
isbn = {978-3-319-49102-8},
timestamp = {Wed, 24 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csdm/2016.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GoubaultR17,
author = {Eric Goubault and
Sergio Rajsbaum},
title = {A simplicial complex model of dynamic epistemic logic for fault-tolerant
distributed computing},
journal = {CoRR},
volume = {abs/1703.11005},
year = {2017},
url = {http://arxiv.org/abs/1703.11005},
eprinttype = {arXiv},
eprint = {1703.11005},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GoubaultR17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GoubaultR17a,
author = {Eric Goubault and
Sergio Rajsbaum},
title = {Models of fault-tolerant distributed computation via dynamic epistemic
logic},
journal = {CoRR},
volume = {abs/1704.07883},
year = {2017},
url = {http://arxiv.org/abs/1704.07883},
eprinttype = {arXiv},
eprint = {1704.07883},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GoubaultR17a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-05702,
author = {Eric Goubault},
title = {On directed homotopy equivalences and a notion of directed topological
complexity},
journal = {CoRR},
volume = {abs/1709.05702},
year = {2017},
url = {http://arxiv.org/abs/1709.05702},
eprinttype = {arXiv},
eprint = {1709.05702},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-05702.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/sp/FajstrupGHMR16,
author = {Lisbeth Fajstrup and
Eric Goubault and
Emmanuel Haucourt and
Samuel Mimram and
Martin Raussen},
title = {Directed Algebraic Topology and Concurrency},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-15398-8},
doi = {10.1007/978-3-319-15398-8},
isbn = {978-3-319-15397-1},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/books/sp/FajstrupGHMR16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AllamigeonGSGP16,
author = {Xavier Allamigeon and
St{\'{e}}phane Gaubert and
Nikolas Stott and
Eric Goubault and
Sylvie Putot},
title = {A Scalable Algebraic Method to Infer Quadratic Invariants of Switched
Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {15},
number = {4},
pages = {69:1--69:20},
year = {2016},
url = {https://doi.org/10.1145/2932187},
doi = {10.1145/2932187},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AllamigeonGSGP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/DubutGG16,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
editor = {Jos{\'{e}}e Desharnais and
Radha Jagadeesan},
title = {Bisimulations and Unfolding in P-Accessible Categorical Models},
booktitle = {27th International Conference on Concurrency Theory, {CONCUR} 2016,
August 23-26, 2016, Qu{\'{e}}bec City, Canada},
series = {LIPIcs},
volume = {59},
pages = {25:1--25:14},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CONCUR.2016.25},
doi = {10.4230/LIPICS.CONCUR.2016.25},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/concur/DubutGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/csl/DubutGG16,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
editor = {Jean{-}Marc Talbot and
Laurent Regnier},
title = {The Directed Homotopy Hypothesis},
booktitle = {25th {EACSL} Annual Conference on Computer Science Logic, {CSL} 2016,
August 29 - September 1, 2016, Marseille, France},
series = {LIPIcs},
volume = {62},
pages = {9:1--9:16},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2016},
url = {https://doi.org/10.4230/LIPIcs.CSL.2016.9},
doi = {10.4230/LIPICS.CSL.2016.9},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/csl/DubutGG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DjoudiBG16,
author = {Adel Djoudi and
S{\'{e}}bastien Bardin and
{\'{E}}ric Goubault},
editor = {John S. Fitzgerald and
Constance L. Heitmeyer and
Stefania Gnesi and
Anna Philippou},
title = {Recovering High-Level Conditions from Binary Programs},
booktitle = {{FM} 2016: Formal Methods - 21st International Symposium, Limassol,
Cyprus, November 9-11, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9995},
pages = {235--253},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-48989-6\_15},
doi = {10.1007/978-3-319-48989-6\_15},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/DjoudiBG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/FribourgGPM16,
author = {Laurent Fribourg and
Eric Goubault and
Sylvie Putot and
Sameh Mohamed},
editor = {Alessandro Abate and
Georgios Fainekos},
title = {A Topological Method for Finding Invariant Sets of Switched Systems},
booktitle = {Proceedings of the 19th International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2016, Vienna, Austria, April 12-14,
2016},
pages = {61--70},
publisher = {{ACM}},
year = {2016},
url = {https://doi.org/10.1145/2883817.2883822},
doi = {10.1145/2883817.2883822},
timestamp = {Fri, 13 Aug 2021 11:37:40 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/FribourgGPM16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/BouissouGPCS16,
author = {Olivier Bouissou and
Eric Goubault and
Sylvie Putot and
Aleksandar Chakarov and
Sriram Sankaranarayanan},
editor = {Marsha Chechik and
Jean{-}Fran{\c{c}}ois Raskin},
title = {Uncertainty Propagation Using Probabilistic Affine Forms and Concentration
of Measure Inequalities},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 22nd International Conference, {TACAS} 2016, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9636},
pages = {225--243},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-49674-9\_13},
doi = {10.1007/978-3-662-49674-9\_13},
timestamp = {Fri, 06 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tacas/BouissouGPCS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/GoubaultMT15,
author = {Eric Goubault and
Samuel Mimram and
Christine Tasson},
title = {Iterated Chromatic Subdivisions are Collapsible},
journal = {Appl. Categorical Struct.},
volume = {23},
number = {6},
pages = {777--818},
year = {2015},
url = {https://doi.org/10.1007/s10485-014-9383-6},
doi = {10.1007/S10485-014-9383-6},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/GoubaultMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fmsd/GoubaultP15,
author = {Eric Goubault and
Sylvie Putot},
title = {A zonotopic framework for functional abstractions},
journal = {Formal Methods Syst. Des.},
volume = {47},
number = {3},
pages = {302--360},
year = {2015},
url = {https://doi.org/10.1007/s10703-015-0238-z},
doi = {10.1007/S10703-015-0238-Z},
timestamp = {Fri, 13 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/fmsd/GoubaultP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/AllamigeonGGPS15,
author = {Xavier Allamigeon and
St{\'{e}}phane Gaubert and
Eric Goubault and
Sylvie Putot and
Nikolas Stott},
editor = {Alain Girault and
Nan Guan},
title = {A scalable algebraic method to infer quadratic invariants of switched
systems},
booktitle = {2015 International Conference on Embedded Software, {EMSOFT} 2015,
Amsterdam, Netherlands, October 4-9, 2015},
pages = {75--84},
publisher = {{IEEE}},
year = {2015},
url = {https://doi.org/10.1109/EMSOFT.2015.7318262},
doi = {10.1109/EMSOFT.2015.7318262},
timestamp = {Wed, 16 Oct 2019 14:14:56 +0200},
biburl = {https://dblp.org/rec/conf/emsoft/AllamigeonGGPS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/DubutGG15,
author = {J{\'{e}}r{\'{e}}my Dubut and
Eric Goubault and
Jean Goubault{-}Larrecq},
editor = {Magn{\'{u}}s M. Halld{\'{o}}rsson and
Kazuo Iwama and
Naoki Kobayashi and
Bettina Speckmann},
title = {Natural Homology},
booktitle = {Automata, Languages, and Programming - 42nd International Colloquium,
{ICALP} 2015, Kyoto, Japan, July 6-10, 2015, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {9135},
pages = {171--183},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-47666-6\_14},
doi = {10.1007/978-3-662-47666-6\_14},
timestamp = {Sat, 05 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icalp/DubutGG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rp/FribourgGMMP15,
author = {Laurent Fribourg and
Eric Goubault and
Sameh Mohamed and
Marian Mrozek and
Sylvie Putot},
editor = {Mikolaj Bojanczyk and
Slawomir Lasota and
Igor Potapov},
title = {A Topological Method for Finding Invariant Sets of Continuous Systems},
booktitle = {Reachability Problems - 9th International Workshop, {RP} 2015, Warsaw,
Poland, September 21-23, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9328},
pages = {63--75},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-24537-9\_7},
doi = {10.1007/978-3-319-24537-9\_7},
timestamp = {Wed, 06 Nov 2019 16:45:49 +0100},
biburl = {https://dblp.org/rec/conf/rp/FribourgGMMP15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wdag/GoubaultMT15,
author = {Eric Goubault and
Samuel Mimram and
Christine Tasson},
editor = {Yoram Moses},
title = {From Geometric Semantics to Asynchronous Computability},
booktitle = {Distributed Computing - 29th International Symposium, {DISC} 2015,
Tokyo, Japan, October 7-9, 2015, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9363},
pages = {436--451},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-662-48653-5\_29},
doi = {10.1007/978-3-662-48653-5\_29},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/wdag/GoubaultMT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amcc/GoubaultJPS14,
author = {Eric Goubault and
Jacques{-}Henri Jourdan and
Sylvie Putot and
Sriram Sankaranarayanan},
title = {Finding non-polynomial positive invariants and lyapunov functions
for polynomial systems through Darboux polynomials},
booktitle = {American Control Conference, {ACC} 2014, Portland, OR, USA, June 4-6,
2014},
pages = {3571--3578},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ACC.2014.6859330},
doi = {10.1109/ACC.2014.6859330},
timestamp = {Sun, 08 Aug 2021 01:40:57 +0200},
biburl = {https://dblp.org/rec/conf/amcc/GoubaultJPS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/GoubaultMPK14,
author = {Eric Goubault and
Olivier Mullier and
Sylvie Putot and
Michel Kieffer},
editor = {Martin Fr{\"{a}}nzle and
John Lygeros},
title = {Inner approximated reachability analysis},
booktitle = {17th International Conference on Hybrid Systems: Computation and Control
(part of {CPS} Week), HSCC'14, Berlin, Germany, April 15-17, 2014},
pages = {163--172},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2562059.2562113},
doi = {10.1145/2562059.2562113},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/hybrid/GoubaultMPK14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dcg/AllamigeonGG13,
author = {Xavier Allamigeon and
St{\'{e}}phane Gaubert and
Eric Goubault},
title = {Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs},
journal = {Discret. Comput. Geom.},
volume = {49},
number = {2},
pages = {247--279},
year = {2013},
url = {https://doi.org/10.1007/s00454-012-9469-6},
doi = {10.1007/S00454-012-9469-6},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/dcg/AllamigeonGG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/rc/MullierGKP13,
author = {Olivier Mullier and
Eric Goubault and
Michel Kieffer and
Sylvie Putot},
title = {General Inner Approximation of Vector-valued Functions},
journal = {Reliab. Comput.},
volume = {18},
pages = {117--143},
year = {2013},
url = {http://interval.louisiana.edu/reliable-computing-journal/volume-18/reliable-computing-18-pp-117-143.pdf},
timestamp = {Thu, 16 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/rc/MullierGKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/GoubaultP13,
author = {Eric Goubault and
Sylvie Putot},
editor = {Chung{-}chieh Shan},
title = {Robustness Analysis of Finite Precision Implementations},
booktitle = {Programming Languages and Systems - 11th Asian Symposium, {APLAS}
2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8301},
pages = {50--57},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-319-03542-0\_4},
doi = {10.1007/978-3-319-03542-0\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/GoubaultP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Goubault13,
author = {Eric Goubault},
editor = {Francesco Logozzo and
Manuel F{\"{a}}hndrich},
title = {Static Analysis by Abstract Interpretation of Numerical Programs and
Systems, and {FLUCTUAT}},
booktitle = {Static Analysis - 20th International Symposium, {SAS} 2013, Seattle,
WA, USA, June 20-22, 2013. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7935},
pages = {1--3},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-38856-9\_1},
doi = {10.1007/978-3-642-38856-9\_1},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Goubault13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vstte/AdjeBGGP13,
author = {Assal{\'{e}} Adj{\'{e}} and
Olivier Bouissou and
Jean Goubault{-}Larrecq and
Eric Goubault and
Sylvie Putot},
editor = {Ernie Cohen and
Andrey Rybalchenko},
title = {Static Analysis of Programs with Imprecise Probabilistic Inputs},
booktitle = {Verified Software: Theories, Tools, Experiments - 5th International
Conference, {VSTTE} 2013, Menlo Park, CA, USA, May 17-19, 2013, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {8164},
pages = {22--47},
publisher = {Springer},
year = {2013},
url = {https://doi.org/10.1007/978-3-642-54108-7\_2},
doi = {10.1007/978-3-642-54108-7\_2},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/vstte/AdjeBGGP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultHM13,
author = {Eric Goubault and
Tobias Heindel and
Samuel Mimram},
editor = {Dexter Kozen and
Michael W. Mislove},
title = {A Geometric View of Partial Order Reduction},
booktitle = {Proceedings of the Twenty-ninth Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2013, New Orleans, LA, USA, June
23-25, 2013},
series = {Electronic Notes in Theoretical Computer Science},
volume = {298},
pages = {179--195},
publisher = {Elsevier},
year = {2013},
url = {https://doi.org/10.1016/j.entcs.2013.09.013},
doi = {10.1016/J.ENTCS.2013.09.013},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultHM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/GoubaultP13,
author = {Eric Goubault and
Sylvie Putot},
title = {Robustness analysis of finite precision implementations},
journal = {CoRR},
volume = {abs/1309.3910},
year = {2013},
url = {http://arxiv.org/abs/1309.3910},
eprinttype = {arXiv},
eprint = {1309.3910},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/GoubaultP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/OlivierGKP13,
author = {Olivier Mullier and
Eric Goubault and
Michel Kieffer and
Sylvie Putot},
title = {General inner approximation of vector-valued functions},
journal = {CoRR},
volume = {abs/1310.1709},
year = {2013},
url = {http://arxiv.org/abs/1310.1709},
eprinttype = {arXiv},
eprint = {1310.1709},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/OlivierGKP13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computing/BouissouGGP12,
author = {Olivier Bouissou and
Eric Goubault and
Jean Goubault{-}Larrecq and
Sylvie Putot},
title = {A generalization of p-boxes to affine arithmetic},
journal = {Computing},
volume = {94},
number = {2-4},
pages = {189--201},
year = {2012},
url = {https://doi.org/10.1007/s00607-011-0182-8},
doi = {10.1007/S00607-011-0182-8},
timestamp = {Thu, 06 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/computing/BouissouGGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1111-5223,
author = {Assal{\'{e}} Adj{\'{e}} and
St{\'{e}}phane Gaubert and
Eric Goubault},
title = {Coupling policy iteration with semi-definite relaxation to compute
accurate numerical invariants in static analysis},
journal = {Log. Methods Comput. Sci.},
volume = {8},
number = {1},
year = {2012},
url = {https://doi.org/10.2168/LMCS-8(1:1)2012},
doi = {10.2168/LMCS-8(1:1)2012},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1111-5223.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsc/GawlitzaSAGG12,
author = {Thomas Martin Gawlitza and
Helmut Seidl and
Assal{\'{e}} Adj{\'{e}} and
St{\'{e}}phane Gaubert and
Eric Goubault},
title = {Abstract interpretation meets convex optimization},
journal = {J. Symb. Comput.},
volume = {47},
number = {12},
pages = {1416--1446},
year = {2012},
url = {https://doi.org/10.1016/j.jsc.2011.12.048},
doi = {10.1016/J.JSC.2011.12.048},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsc/GawlitzaSAGG12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/FainekosGIS12,
author = {Georgios Fainekos and
Eric Goubault and
Franjo Ivancic and
Sriram Sankaranarayanan},
title = {Editorial: Special Section VCPSS'09},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {{S2}},
pages = {52:1--52:3},
year = {2012},
url = {https://doi.org/10.1145/2331147.2331162},
doi = {10.1145/2331147.2331162},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/FainekosGIS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dasip/MenardRSSDHLGPVNRFSLC12,
author = {Daniel M{\'{e}}nard and
Romuald Rocher and
Olivier Sentieys and
Nicolas Simon and
Laurent{-}St{\'{e}}phane Didier and
Thibault Hilaire and
Benoit Lopez and
Eric Goubault and
Sylvie Putot and
Franck V{\'{e}}drine and
Amine Najahi and
Guillaume Revy and
L. Fangain and
Christian Samoyeau and
Fabrice Lemonnier and
Christophe Clienti},
title = {Design of fixed-point embedded systems {(DEFIS)} French {ANR} project},
booktitle = {Proceedings of the 2012 Conference on Design and Architectures for
Signal and Image Processing, {DASIP} 2012, Karlsruhe, Germany, October
23-25, 2012},
pages = {1--2},
publisher = {{IEEE}},
year = {2012},
url = {https://ieeexplore.ieee.org/document/6385408/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/dasip/MenardRSSDHLGPVNRFSLC12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/FajstrupGHMR12,
author = {Lisbeth Fajstrup and
Eric Goubault and
Emmanuel Haucourt and
Samuel Mimram and
Martin Rau{\ss}en},
editor = {Helmut Seidl},
title = {Trace Spaces: An Efficient New Technique for State-Space Reduction},
booktitle = {Programming Languages and Systems - 21st European Symposium on Programming,
{ESOP} 2012, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2012, Tallinn, Estonia, March 24
- April 1, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7211},
pages = {274--294},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-28869-2\_14},
doi = {10.1007/978-3-642-28869-2\_14},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/FajstrupGHMR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GoubaultPV12,
author = {Eric Goubault and
Sylvie Putot and
Franck V{\'{e}}drine},
editor = {Antoine Min{\'{e}} and
David Schmidt},
title = {Modular Static Analysis with Zonotopes},
booktitle = {Static Analysis - 19th International Symposium, {SAS} 2012, Deauville,
France, September 11-13, 2012. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7460},
pages = {24--40},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-33125-1\_5},
doi = {10.1007/978-3-642-33125-1\_5},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GoubaultPV12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultGP12,
author = {Eric Goubault and
Tristan Le Gall and
Sylvie Putot},
editor = {Jan Midtgaard and
Matthew Might},
title = {An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations},
booktitle = {Proceedings of the Fourth International Workshop on Numerical and
Symbolic Abstract Domains, NSAD@SAS 2012, Deauville, France, September
10, 2012},
series = {Electronic Notes in Theoretical Computer Science},
volume = {287},
pages = {65--76},
publisher = {Elsevier},
year = {2012},
url = {https://doi.org/10.1016/j.entcs.2012.09.007},
doi = {10.1016/J.ENTCS.2012.09.007},
timestamp = {Fri, 25 Nov 2022 14:31:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultGP12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2010,
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
publisher = {Elsevier},
year = {2012},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/283/suppl/C},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2010.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1204-0414,
author = {Lisbeth Fajstrup and
Eric Goubault and
Emmanuel Haucourt and
Samuel Mimram and
Martin Raussen},
title = {Trace Spaces: an Efficient New Technique for State-Space Reduction},
journal = {CoRR},
volume = {abs/1204.0414},
year = {2012},
url = {http://arxiv.org/abs/1204.0414},
eprinttype = {arXiv},
eprint = {1204.0414},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1204-0414.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mics/FainekosGPR11,
author = {Georgios Fainekos and
Eric Goubault and
Sylvie Putot and
Stefan Ratschan},
title = {Foreword},
journal = {Math. Comput. Sci.},
volume = {5},
number = {4},
pages = {357--358},
year = {2011},
url = {https://doi.org/10.1007/s11786-011-0105-2},
doi = {10.1007/S11786-011-0105-2},
timestamp = {Fri, 13 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mics/FainekosGPR11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/SotinJVG11,
author = {Pascal Sotin and
Bertrand Jeannet and
Franck V{\'{e}}drine and
Eric Goubault},
editor = {Tevfik Bultan and
Pao{-}Ann Hsiung},
title = {Policy Iteration within Logico-Numerical Abstract Domains},
booktitle = {Automated Technology for Verification and Analysis, 9th International
Symposium, {ATVA} 2011, Taipei, Taiwan, October 11-14, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6996},
pages = {290--305},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24372-1\_21},
doi = {10.1007/978-3-642-24372-1\_21},
timestamp = {Tue, 14 May 2019 10:00:49 +0200},
biburl = {https://dblp.org/rec/conf/atva/SotinJVG11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BonichonCCGHHLM11,
author = {Richard Bonichon and
G{\'{e}}raud Canet and
Lo{\"{\i}}c Correnson and
Eric Goubault and
Emmanuel Haucourt and
Michel Hirschowitz and
S{\'{e}}bastien Labb{\'{e}} and
Samuel Mimram},
editor = {Francesco Flammini and
Sandro Bologna and
Valeria Vittorini},
title = {Rigorous Evidence of Freedom from Concurrency Faults in Industrial
Control Software},
booktitle = {Computer Safety, Reliability, and Security - 30th International Conference,
{SAFECOMP} 2011, Naples, Italy, September 19-22, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6894},
pages = {85--98},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-24270-0\_7},
doi = {10.1007/978-3-642-24270-0\_7},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/safecomp/BonichonCCGHHLM11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/GoubaultP11,
author = {Eric Goubault and
Sylvie Putot},
editor = {Ranjit Jhala and
David A. Schmidt},
title = {Static Analysis of Finite Precision Computations},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 12th International
Conference, {VMCAI} 2011, Austin, TX, USA, January 23-25, 2011. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6538},
pages = {232--247},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-18275-4\_17},
doi = {10.1007/978-3-642-18275-4\_17},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/GoubaultP11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GhorbalGP10,
author = {Khalil Ghorbal and
Eric Goubault and
Sylvie Putot},
editor = {Tayssir Touili and
Byron Cook and
Paul B. Jackson},
title = {A Logical Product Approach to Zonotope Intersection},
booktitle = {Computer Aided Verification, 22nd International Conference, {CAV}
2010, Edinburgh, UK, July 15-19, 2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6174},
pages = {212--226},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-14295-6\_22},
doi = {10.1007/978-3-642-14295-6\_22},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/GhorbalGP10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/AdjeGG10,
author = {Assal{\'{e}} Adj{\'{e}} and
St{\'{e}}phane Gaubert and
Eric Goubault},
editor = {Andrew D. Gordon},
title = {Coupling Policy Iteration with Semi-definite Relaxation to Compute
Accurate Numerical Invariants in Static Analysis},
booktitle = {Programming Languages and Systems, 19th European Symposium on Programming,
{ESOP} 2010, Held as Part of the Joint European Conferences on Theory
and Practice of Software, {ETAPS} 2010, Paphos, Cyprus, March 20-28,
2010. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6012},
pages = {23--42},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-11957-6\_3},
doi = {10.1007/978-3-642-11957-6\_3},
timestamp = {Mon, 14 Feb 2022 09:20:30 +0100},
biburl = {https://dblp.org/rec/conf/esop/AdjeGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/stacs/AllamigeonGG10,
author = {Xavier Allamigeon and
St{\'{e}}phane Gaubert and
Eric Goubault},
editor = {Jean{-}Yves Marion and
Thomas Schwentick},
title = {The Tropical Double Description Method},
booktitle = {27th International Symposium on Theoretical Aspects of Computer Science,
{STACS} 2010, March 4-6, 2010, Nancy, France},
series = {LIPIcs},
volume = {5},
pages = {47--58},
publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik},
year = {2010},
url = {https://doi.org/10.4230/LIPIcs.STACS.2010.2443},
doi = {10.4230/LIPICS.STACS.2010.2443},
timestamp = {Tue, 11 Feb 2020 15:52:14 +0100},
biburl = {https://dblp.org/rec/conf/stacs/AllamigeonGG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/FajstrupGR12,
author = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Preface},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {1--2},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.001},
doi = {10.1016/J.ENTCS.2012.05.001},
timestamp = {Fri, 25 Nov 2022 14:11:53 +0100},
biburl = {https://dblp.org/rec/journals/entcs/FajstrupGR12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultRLLM10,
author = {Eric Goubault and
St{\'{e}}phane Le Roux and
Jeremy Leconte and
Leo Liberti and
Fabrizio Marinelli},
editor = {Antoine Min{\'{e}} and
Enric Rodr{\'{\i}}guez{-}Carbonell},
title = {Static Analysis by Abstract Interpretation: {A} Mathematical Programming
Approach},
booktitle = {Proceeding of the Second International Workshop on Numerical and Symbolic
Abstract Domains, NSAD@SAS 2010, Perpignan, France, September 13,
2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {267},
number = {1},
pages = {73--87},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.09.007},
doi = {10.1016/J.ENTCS.2010.09.007},
timestamp = {Fri, 10 Mar 2023 11:11:07 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultRLLM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultM12,
author = {Eric Goubault and
Samuel Mimram},
editor = {Lisbeth Fajstrup and
Eric Goubault and
Martin Raussen},
title = {Formal Relationships Between Geometrical and Classical Models for
Concurrency},
booktitle = {Proceedings of the workshop on Geometric and Topological Methods in
Computer Science, {GETCO} 2010, Aalborg, Denmark, January 11-15, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {283},
pages = {77--109},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2012.05.007},
doi = {10.1016/J.ENTCS.2012.05.007},
timestamp = {Fri, 25 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultM12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultHK10,
author = {Eric Goubault and
Emmanuel Haucourt and
Sanjeevi Krishnan},
editor = {Michael W. Mislove and
Peter Selinger},
title = {Future Path-components in Directed Topology},
booktitle = {Proceedings of the 26th Conference on the Mathematical Foundations
of Programming Semantics, {MFPS} 2010, Ottawa, Ontario, Canada, May
6-10, 2010},
series = {Electronic Notes in Theoretical Computer Science},
volume = {265},
pages = {325--335},
publisher = {Elsevier},
year = {2010},
url = {https://doi.org/10.1016/j.entcs.2010.08.019},
doi = {10.1016/J.ENTCS.2010.08.019},
timestamp = {Mon, 08 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultHK10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1001-4119,
author = {Xavier Allamigeon and
St{\'{e}}phane Gaubert and
Eric Goubault},
title = {The tropical double description method},
journal = {CoRR},
volume = {abs/1001.4119},
year = {2010},
url = {http://arxiv.org/abs/1001.4119},
eprinttype = {arXiv},
eprint = {1001.4119},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1001-4119.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1002-2236,
author = {Khalil Ghorbal and
Eric Goubault and
Sylvie Putot},
title = {A Logical Product Approach to Zonotope Intersection},
journal = {CoRR},
volume = {abs/1002.2236},
year = {2010},
url = {http://arxiv.org/abs/1002.2236},
eprinttype = {arXiv},
eprint = {1002.2236},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1002-2236.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1004-2818,
author = {Eric Goubault and
Samuel Mimram},
title = {Formal Relationships Between Geometrical and Classical Models for
Concurrency},
journal = {CoRR},
volume = {abs/1004.2818},
year = {2010},
url = {http://arxiv.org/abs/1004.2818},
eprinttype = {arXiv},
eprint = {1004.2818},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1004-2818.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BouissouGPTV09,
author = {Olivier Bouissou and
Eric Goubault and
Sylvie Putot and
Karim Tekkal and
Franck V{\'{e}}drine},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {HybridFluctuat: {A} Static Analyzer of Numerical Programs within a
Continuous Environment},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {620--626},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_46},
doi = {10.1007/978-3-642-02658-4\_46},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/BouissouGPTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/GhorbalGP09,
author = {Khalil Ghorbal and
Eric Goubault and
Sylvie Putot},
editor = {Ahmed Bouajjani and
Oded Maler},
title = {The Zonotope Abstract Domain Taylor1+},
booktitle = {Computer Aided Verification, 21st International Conference, {CAV}
2009, Grenoble, France, June 26 - July 2, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5643},
pages = {627--633},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-02658-4\_47},
doi = {10.1007/978-3-642-02658-4\_47},
timestamp = {Wed, 03 Oct 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/GhorbalGP09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/DelmasGPSTV09,
author = {David Delmas and
Eric Goubault and
Sylvie Putot and
Jean Souyris and
Karim Tekkal and
Franck V{\'{e}}drine},
editor = {Mar{\'{\i}}a Alpuente and
Byron Cook and
Christophe Joubert},
title = {Towards an Industrial Use of {FLUCTUAT} on Safety-Critical Avionics
Software},
booktitle = {Formal Methods for Industrial Critical Systems, 14th International
Workshop, {FMICS} 2009, Eindhoven, The Netherlands, November 2-3,
2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5825},
pages = {53--69},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-04570-7\_6},
doi = {10.1007/978-3-642-04570-7\_6},
timestamp = {Sun, 02 Oct 2022 16:01:27 +0200},
biburl = {https://dblp.org/rec/conf/fmics/DelmasGPSTV09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2004-5-6,
editor = {{\'{E}}ric Goubault},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
publisher = {Elsevier},
year = {2009},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/230/suppl/C},
timestamp = {Mon, 27 Feb 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2004-5-6.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0910-1763,
author = {Eric Goubault and
Sylvie Putot},
title = {A zonotopic framework for functional abstractions},
journal = {CoRR},
volume = {abs/0910.1763},
year = {2009},
url = {http://arxiv.org/abs/0910.1763},
eprinttype = {arXiv},
eprint = {0910.1763},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0910-1763.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/AllamigeonGG08,
author = {Xavier Allamigeon and
Stephane Gaubert and
Eric Goubault},
editor = {Mar{\'{\i}}a Alpuente and
Germ{\'{a}}n Vidal},
title = {Inferring Min and Max Invariants Using Max-Plus Polyhedra},
booktitle = {Static Analysis, 15th International Symposium, {SAS} 2008, Valencia,
Spain, July 16-18, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5079},
pages = {189--204},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-69166-2\_13},
doi = {10.1007/978-3-540-69166-2\_13},
timestamp = {Wed, 25 Sep 2019 18:08:39 +0200},
biburl = {https://dblp.org/rec/conf/sas/AllamigeonGG08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-0807-2961,
author = {Eric Goubault and
Sylvie Putot},
title = {Perturbed affine arithmetic for invariant computation in numerical
program analysis},
journal = {CoRR},
volume = {abs/0807.2961},
year = {2008},
url = {http://arxiv.org/abs/0807.2961},
eprinttype = {arXiv},
eprint = {0807.2961},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-0807-2961.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/GoubaultH07,
author = {Eric Goubault and
Emmanuel Haucourt},
title = {Components of the Fundamental Category {II}},
journal = {Appl. Categorical Struct.},
volume = {15},
number = {4},
pages = {387--414},
year = {2007},
url = {https://doi.org/10.1007/s10485-007-9082-7},
doi = {10.1007/S10485-007-9082-7},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/GoubaultH07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GaubertGTZ07,
author = {Stephane Gaubert and
Eric Goubault and
Ankur Taly and
Sarah Zennou},
editor = {Rocco De Nicola},
title = {Static Analysis by Policy Iteration on Relational Domains},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {237--252},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_17},
doi = {10.1007/978-3-540-71316-6\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/GaubertGTZ07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fmics/GoubaultPBG07,
author = {Eric Goubault and
Sylvie Putot and
Philippe Baufreton and
Jean Gassino},
editor = {Stefan Leue and
Pedro Merino},
title = {Static Analysis of the Accuracy in Control Systems: Principles and
Experiments},
booktitle = {Formal Methods for Industrial Critical Systems, 12th International
Workshop, {FMICS} 2007, Berlin, Germany, July 1-2, 2007, Revised Selected
Papers},
series = {Lecture Notes in Computer Science},
volume = {4916},
pages = {3--20},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-79707-4\_3},
doi = {10.1007/978-3-540-79707-4\_3},
timestamp = {Tue, 14 May 2019 10:00:54 +0200},
biburl = {https://dblp.org/rec/conf/fmics/GoubaultPBG07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GoubaultP07,
author = {Eric Goubault and
Sylvie Putot},
editor = {Hanne Riis Nielson and
Gilberto Fil{\'{e}}},
title = {Under-Approximations of Computations in Real Numbers Based on Generalized
Affine Arithmetic},
booktitle = {Static Analysis, 14th International Symposium, {SAS} 2007, Kongens
Lyngby, Denmark, August 22-24, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4634},
pages = {137--152},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-74061-2\_9},
doi = {10.1007/978-3-540-74061-2\_9},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GoubaultP07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/FajstrupRG06,
author = {Lisbeth Fajstrup and
Martin Rau{\ss}en and
Eric Goubault},
title = {Algebraic topology and concurrency},
journal = {Theor. Comput. Sci.},
volume = {357},
number = {1-3},
pages = {241--278},
year = {2006},
url = {https://doi.org/10.1016/j.tcs.2006.03.022},
doi = {10.1016/J.TCS.2006.03.022},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/FajstrupRG06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/GoubaultP06,
author = {Eric Goubault and
Sylvie Putot},
editor = {Kwangkeun Yi},
title = {Static Analysis of Numerical Algorithms},
booktitle = {Static Analysis, 13th International Symposium, {SAS} 2006, Seoul,
Korea, August 29-31, 2006, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4134},
pages = {18--34},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11823230\_3},
doi = {10.1007/11823230\_3},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/GoubaultP06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault09,
author = {Eric Goubault},
editor = {{\'{E}}ric Goubault},
title = {Preface},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {230},
pages = {1--2},
publisher = {Elsevier},
year = {2006},
url = {https://doi.org/10.1016/j.entcs.2009.02.013},
doi = {10.1016/J.ENTCS.2009.02.013},
timestamp = {Mon, 27 Feb 2023 09:17:38 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/CostanGGMP05,
author = {Alexandru Costan and
Stephane Gaubert and
Eric Goubault and
Matthieu Martel and
Sylvie Putot},
editor = {Kousha Etessami and
Sriram K. Rajamani},
title = {A Policy Iteration Algorithm for Computing Fixed Points in Static
Analysis of Programs},
booktitle = {Computer Aided Verification, 17th International Conference, {CAV}
2005, Edinburgh, Scotland, UK, July 6-10, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3576},
pages = {462--475},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11513988\_46},
doi = {10.1007/11513988\_46},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/CostanGGMP05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GoubaultH05,
author = {Eric Goubault and
Emmanuel Haucourt},
editor = {Mart{\'{\i}}n Abadi and
Luca de Alfaro},
title = {A Practical Application of Geometric Semantics to Static Analysis
of Concurrent Programs},
booktitle = {{CONCUR} 2005 - Concurrency Theory, 16th International Conference,
{CONCUR} 2005, San Francisco, CA, USA, August 23-26, 2005, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3653},
pages = {503--517},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11539452\_38},
doi = {10.1007/11539452\_38},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GoubaultH05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/acs/FajstrupRGH04,
author = {Lisbeth Fajstrup and
Martin Rau{\ss}en and
Eric Goubault and
Emmanuel Haucourt},
title = {Components of the Fundamental Category},
journal = {Appl. Categorical Struct.},
volume = {12},
number = {1},
pages = {81--108},
year = {2004},
url = {https://doi.org/10.1023/B:APCS.0000013812.75342.de},
doi = {10.1023/B:APCS.0000013812.75342.DE},
timestamp = {Tue, 29 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/acs/FajstrupRGH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2003,
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
publisher = {Elsevier},
year = {2004},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/100/suppl/C},
timestamp = {Thu, 08 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2003.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dagstuhl/PutotGM03,
author = {Sylvie Putot and
Eric Goubault and
Matthieu Martel},
editor = {Ren{\'{e}} Alt and
Andreas Frommer and
R. Baker Kearfott and
Wolfram Luther},
title = {Static Analysis-Based Validation of Floating-Point Computations},
booktitle = {Numerical Software with Result Verification, International Dagstuhl
Seminar, Dagstuhl Castle, Germany, January 19-24, 2003, Revised Papers},
series = {Lecture Notes in Computer Science},
volume = {2991},
pages = {306--313},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-24738-8\_18},
doi = {10.1007/978-3-540-24738-8\_18},
timestamp = {Tue, 14 May 2019 10:00:51 +0200},
biburl = {https://dblp.org/rec/conf/dagstuhl/PutotGM03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/GoubaultF04,
author = {Eric Goubault and
Ulrich Fahrenberg},
editor = {Thomas T. Hildebrandt and
Alexander Kurz and
Eric Goubault and
Ulrich Fahrenberg},
title = {Preface},
booktitle = {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},
series = {Electronic Notes in Theoretical Computer Science},
volume = {100},
pages = {47--48},
publisher = {Elsevier},
year = {2003},
url = {https://doi.org/10.1016/j.entcs.2004.08.014},
doi = {10.1016/J.ENTCS.2004.08.014},
timestamp = {Thu, 08 Dec 2022 22:54:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/GoubaultF04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2002,
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
publisher = {Elsevier},
year = {2003},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/81/suppl/C},
timestamp = {Wed, 07 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2002.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/GoubaultMP02,
author = {Eric Goubault and
Matthieu Martel and
Sylvie Putot},
editor = {Daniel Le M{\'{e}}tayer},
title = {Asserting the Precision of Floating-Point Computations: {A} Simple
Abstract Interpreter},
booktitle = {Programming Languages and Systems, 11th European Symposium on Programming,
{ESOP} 2002, held as Part of the Joint European Conference on Theory
and Practice of Software, {ETAPS} 2002, Grenoble, France, April 8-12,
2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2305},
pages = {209--212},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45927-8\_15},
doi = {10.1007/3-540-45927-8\_15},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/GoubaultMP02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/latin/GoubaultR02,
author = {Eric Goubault and
Martin Rau{\ss}en},
editor = {Sergio Rajsbaum},
title = {Dihomotopy as a Tool in State Space Analysis},
booktitle = {{LATIN} 2002: Theoretical Informatics, 5th Latin American Symposium,
Cancun, Mexico, April 3-6, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2286},
pages = {16--37},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45995-2\_8},
doi = {10.1007/3-540-45995-2\_8},
timestamp = {Tue, 14 May 2019 10:00:53 +0200},
biburl = {https://dblp.org/rec/conf/latin/GoubaultR02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault03,
author = {Eric Goubault},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Foreword},
booktitle = {4th Workshop on GEometry and Topology in COncurrency and distributed
systems theory, {GETCO} 2002, Satellite workshop of {DISC} 2002, Toulouse,
France, October 2002},
series = {Electronic Notes in Theoretical Computer Science},
volume = {81},
pages = {99},
publisher = {Elsevier},
year = {2002},
url = {https://doi.org/10.1016/S1571-0661(05)80838-2},
doi = {10.1016/S1571-0661(05)80838-2},
timestamp = {Wed, 07 Dec 2022 09:37:04 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2001,
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {2},
publisher = {Elsevier},
year = {2002},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/52/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2001.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/Goubault01,
author = {Eric Goubault},
editor = {Patrick Cousot},
title = {Static Analyses of the Precision of Floating-Point Operations},
booktitle = {Static Analysis, 8th International Symposium, {SAS} 2001, Paris, France,
July 16-18, 2001, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2126},
pages = {234--259},
publisher = {Springer},
year = {2001},
url = {https://doi.org/10.1007/3-540-47764-0\_14},
doi = {10.1007/3-540-47764-0\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/Goubault01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault01,
author = {Eric Goubault},
editor = {Patrick Cousot and
Lisbeth Fajstrup and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Preface},
booktitle = {3rd Workshop on GEometry and Topology in COncurrency theory, {GETCO}
2001, Satellite Event of {CONCUR} 2001, Aalborg, Denmark, August 25,
2001},
series = {Electronic Notes in Theoretical Computer Science},
volume = {52},
number = {2},
pages = {205},
publisher = {Elsevier},
year = {2001},
url = {https://doi.org/10.1016/S1571-0661(05)82558-7},
doi = {10.1016/S1571-0661(05)82558-7},
timestamp = {Thu, 01 Dec 2022 14:57:42 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault01.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault00,
author = {Eric Goubault},
title = {Foreword},
journal = {Math. Struct. Comput. Sci.},
volume = {10},
number = {4},
pages = {409},
year = {2000},
url = {http://journals.cambridge.org/action/displayAbstract?aid=54591},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mscs/Goubault00a,
author = {Eric Goubault},
title = {Geometry and concurrency: a user's guide},
journal = {Math. Struct. Comput. Sci.},
volume = {10},
number = {4},
pages = {411--425},
year = {2000},
url = {http://journals.cambridge.org/action/displayAbstract?aid=54593},
timestamp = {Wed, 01 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mscs/Goubault00a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/Goubault02,
author = {Eric Goubault},
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {Preface},
booktitle = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
pages = {1},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)01146-1},
doi = {10.1016/S1571-0661(05)01146-1},
timestamp = {Thu, 01 Dec 2022 09:26:41 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Goubault02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/getco/2000,
editor = {Patrick Cousot and
Eric Goubault and
Jeremy Gunawardena and
Maurice Herlihy and
Martin Raussen and
Vladimiro Sassone},
title = {2nd Workshop on Geometry and Topology in Concurrency theory, {GETCO}
2000, Satellite Workshop of {CONCUR} 2000, State College, PA, USA,
August 21, 2000},
series = {Electronic Notes in Theoretical Computer Science},
volume = {39},
number = {2},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/39/issue/2},
timestamp = {Thu, 01 Dec 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/getco/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/FajstrupGR98,
author = {Lisbeth Fajstrup and
Eric Goubault and
Martin Rau{\ss}en},
editor = {Davide Sangiorgi and
Robert de Simone},
title = {Detecting Deadlocks in Concurrent Systems},
booktitle = {{CONCUR} '98: Concurrency Theory, 9th International Conference, Nice,
France, September 8-11, 1998, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1466},
pages = {332--347},
publisher = {Springer},
year = {1998},
url = {https://doi.org/10.1007/BFb0055632},
doi = {10.1007/BFB0055632},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/FajstrupGR98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Goubault97,
author = {Eric Goubault},
editor = {Michel Bidoit and
Max Dauchet},
title = {Optimal Implementation of Wait-Free Binary Relations},
booktitle = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1214},
pages = {225--236},
publisher = {Springer},
year = {1997},
url = {https://doi.org/10.1007/BFb0030599},
doi = {10.1007/BFB0030599},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/tapsoft/Goubault97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/Goubault96,
author = {Eric Goubault},
editor = {Hanne Riis Nielson},
title = {Durations for Truly-Concurrent Transitions},
booktitle = {Programming Languages and Systems - ESOP'96, 6th European Symposium
on Programming, Link{\"{o}}ping, Sweden, April 22-24, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1058},
pages = {173--187},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-61055-3\_36},
doi = {10.1007/3-540-61055-3\_36},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/esop/Goubault96.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/Goubault95,
author = {Eric Goubault},
editor = {Neil D. Jones},
title = {Schedulers as Abstract Interpreter of Higher Dimensional Automata},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Symposium on Partial Evaluation
and Semantics-Based Program Manipulation, La Jolla, California, USA,
June 21-23, 1995},
pages = {134--145},
publisher = {{ACM} Press},
year = {1995},
url = {https://doi.org/10.1145/215465.215577},
doi = {10.1145/215465.215577},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/Goubault95.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/Goubault93,
author = {Eric Goubault},
editor = {Eike Best},
title = {Domains of Higher-Dimensional Automata},
booktitle = {{CONCUR} '93, 4th International Conference on Concurrency Theory,
Hildesheim, Germany, August 23-26, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {715},
pages = {293--307},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57208-2\_21},
doi = {10.1007/3-540-57208-2\_21},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/Goubault93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/CridligG93,
author = {R{\'{e}}gis Cridlig and
Eric Goubault},
editor = {Patrick Cousot and
Moreno Falaschi and
Gilberto Fil{\'{e}} and
Antoine Rauzy},
title = {Semantics and Analysis of Linda-Based Languages},
booktitle = {Static Analysis, Third International Workshop, WSA'93, Padova, Italy,
September 22-24, 1993, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {724},
pages = {72--86},
publisher = {Springer},
year = {1993},
url = {https://doi.org/10.1007/3-540-57264-3\_30},
doi = {10.1007/3-540-57264-3\_30},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/CridligG93.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/GoubaultJ92,
author = {Eric Goubault and
Thomas P. Jensen},
editor = {Rance Cleaveland},
title = {Homology of Higher Dimensional Automata},
booktitle = {{CONCUR} '92, Third International Conference on Concurrency Theory,
Stony Brook, NY, USA, August 24-27, 1992, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {630},
pages = {254--268},
publisher = {Springer},
year = {1992},
url = {https://doi.org/10.1007/BFb0084796},
doi = {10.1007/BFB0084796},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/concur/GoubaultJ92.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icassp/RaimondoGGLM91,
author = {Catherine Raimondo and
Claude R. Galand and
Eric Goubault and
Emmanuel Lan{\c{c}}on and
Jean E. Menez},
title = {Low bit-rate hybrid coder using hierarchical motion compensation and
low complexity vector quantization},
booktitle = {1991 International Conference on Acoustics, Speech, and Signal Processing,
{ICASSP} '91, Toronto, Ontario, Canada, May 14-17, 1991},
pages = {2717--2720},
publisher = {{IEEE} Computer Society},
year = {1991},
url = {https://doi.org/10.1109/ICASSP.1991.150963},
doi = {10.1109/ICASSP.1991.150963},
timestamp = {Mon, 09 Aug 2021 14:54:02 +0200},
biburl = {https://dblp.org/rec/conf/icassp/RaimondoGGLM91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2024-09-22 00:34 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
