Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDEric Goubault
Éric Goubault
Person information
- affiliation: École Polytechnique, Palaiseau, France
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j31]Nicola Bernini, Mikhail Bessa, Rémi Delmas
, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion:
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. Eng. Appl. Artif. Intell. 127(Part A): 107090 (2024)- [j30]Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot:
Estimating the coverage measure and the area explored by a line-sweep sensor on the plane. Int. J. Approx. Reason. 169: 109162 (2024) - [j29]Eric Goubault:
A semi-abelian approach to directed homology. J. Appl. Comput. Topol. 8(2): 271-299 (2024) - [c81]Éric Goubault, Roman Kniazev, Jérémy Ledent:
A Many-Sorted Epistemic Logic for Chromatic Hypergraphs. CSL 2024: 30:1-30:18 - [c80]Eric Goubault, Sylvie Putot:
Inner and outer approximate quantifier elimination for general reachability problems. HSCC 2024: 8:1-8:11 - 2023
- [j28]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. IEEE Trans. Autom. Control. 68(8): 4857-4872 (2023) - [c79]Éric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-Simplicial Set Models for Distributed Knowledge. LICS 2023: 1-13 - [i34]Eric Goubault:
A semi-abelian approach to directed homology. CoRR abs/2301.06409 (2023) - [i33]Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Semi-simplicial Set Models for Distributed Knowledge. CoRR abs/2303.14976 (2023) - [i32]Cameron Calk, Eric Goubault, Philippe Malbos:
Persistent homology of directed spaces. CoRR abs/2305.03357 (2023) - [i31]Eric Goubault, Roman Kniazev, Jérémy Ledent:
A many-sorted epistemic logic for chromatic hypergraphs. CoRR abs/2308.00477 (2023) - [i30]Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, Sylvie Putot:
Estimating the Coverage Measure and the Area Explored by a Line-Sweep Sensor on the Plane. CoRR abs/2309.03604 (2023) - [i29]Eric Goubault, Sylvie Putot:
Guaranteed approximations of arbitrarily quantified reachability problems. CoRR abs/2309.07662 (2023) - [i28]Eric Goubault, Roman Kniazev, Jérémy Ledent, Sergio Rajsbaum:
Simplicial Models for the Epistemic Logic of Faulty Agents. CoRR abs/2311.01351 (2023) - 2022
- [j27]François Bidet, Éric Goubault, Sylvie Putot:
Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties. IEEE Control. Syst. Lett. 6: 638-643 (2022) - [j26]Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher globular Kleene algebras. Log. Methods Comput. Sci. 18(4) (2022) - [c78]Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Eric Goubault, Romuald Elie:
Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach. AAMAS 2022: 1557-1559 - [c77]Eric Goubault, Sylvie Putot:
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. CAV (1) 2022: 511-523 - [c76]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. IJCAI 2022: 2923-2929 - [c75]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. L4DC 2022: 263-277 - [c74]Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die. STACS 2022: 33:1-33:20 - [i27]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. CoRR abs/2201.05715 (2022) - 2021
- [j25]Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot:
A topological method for finding invariant sets of continuous systems. Inf. Comput. 277: 104581 (2021) - [j24]Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Inf. Comput. 278: 104597 (2021) - [j23]Hans van Ditmarsch, Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. J. Log. Algebraic Methods Program. 121: 100662 (2021) - [c73]Cameron Calk, Eric Goubault, Philippe Malbos:
Abstract Strategies and Coherence. RAMiCS 2021: 108-125 - [c72]Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. ADHS 2021: 235-240 - [c71]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Smooth Systems from Limited Data. ACC 2021: 3656-3663 - [c70]Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion:
A few lessons learned in reinforcement learning for quadcopter attitude control. HSCC 2021: 27:1-27:11 - [c69]Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan:
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. SAS 2021: 166-190 - [i26]Eric Goubault, Sylvie Putot:
Tractable higher-order under-approximating AE extensions for non-linear systems. CoRR abs/2101.11536 (2021) - [i25]Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, François X. Sillion:
Reinforcement Learning with Formal Performance Metrics for Quadcopter Attitude Control under Non-nominal Contexts. CoRR abs/2107.12942 (2021) - [i24]Maria Luiza Costa Vianna, Eric Goubault, Sylvie Putot:
Neural Network Based Model Predictive Control for an Autonomous Vehicle. CoRR abs/2107.14573 (2021) - [i23]Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, Sriram Sankaranarayanan:
Static analysis of ReLU neural networks with tropical polyhedra. CoRR abs/2108.00893 (2021) - [i22]Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Model for KB4n: Epistemic Logic with Agents that May Die. CoRR abs/2108.10293 (2021) - [i21]Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, Ufuk Topcu:
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. CoRR abs/2109.06407 (2021) - [i20]Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Éric Goubault, Romuald Elie:
Solving N-player dynamic routing games with congestion: a mean field approach. CoRR abs/2110.11943 (2021) - 2020
- [j22]Eric Goubault, Sylvie Putot:
Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances. IEEE Control. Syst. Lett. 4(4): 928-933 (2020) - [j21]Eric Goubault, Michael Farber, Aurélien Sagnier:
Directed topological complexity. J. Appl. Comput. Topol. 4(1): 11-27 (2020) - [j20]Eric Goubault, Samuel Mimram:
Directed Homotopy in Non-Positively Curved Spaces. Log. Methods Comput. Sci. 16(3) (2020) - [c68]Sriram Sankaranarayanan, Yi Chou, Eric Goubault, Sylvie Putot:
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. NeurIPS 2020 - [c67]Bibek Kabi, Eric Goubault, Antoine Miné, Sylvie Putot:
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. VSTTE 2020: 221-238 - [i19]Hans van Ditmarsch, Eric Goubault, Jérémy Ledent, Sergio Rajsbaum:
Knowledge and simplicial complexes. CoRR abs/2002.08863 (2020) - [i18]Cameron Calk, Eric Goubault, Philippe Malbos, Georg Struth:
Algebraic coherent confluence and higher-dimensional globular Kleene algebras. CoRR abs/2006.16129 (2020) - [i17]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Smooth Systems from Limited Data. CoRR abs/2009.12733 (2020) - [i16]Franck Djeumou, Abraham P. Vinod, Eric Goubault, Sylvie Putot, Ufuk Topcu:
On-The-Fly Control of Unknown Systems: From Side Information to Performance Guarantees through Reachability. CoRR abs/2011.05524 (2020)
2010 – 2019
- 2019
- [c66]Eric Goubault, Sylvie Putot:
Inner and outer reachability for the verification of control systems. HSCC 2019: 11-22 - [c65]Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. DaLí 2019: 53-70 - [c64]Éric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
Wait-Free Solvability of Equality Negation Tasks. DISC 2019: 21:1-21:16 - [i15]Eric Goubault, Samuel Mimram:
Directed Homotopy in Non-Positively Curved Spaces. CoRR abs/1908.06684 (2019) - [i14]Eric Goubault, Marijana Lazic, Jérémy Ledent, Sergio Rajsbaum:
A dynamic epistemic logic analysis of the equality negation task. CoRR abs/1909.03263 (2019) - 2018
- [j19]Éric Goubault, Samuel Mimram, Christine Tasson:
Geometric and combinatorial views on asynchronous computability. Distributed Comput. 31(4): 289-316 (2018) - [j18]Debasmita Lohar, Eva Darulova, Sylvie Putot, Eric Goubault:
Discrete Choice in the Presence of Numerical Uncertainties. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37(11): 2381-2392 (2018) - [c63]Eric Goubault, Sylvie Putot, Lorenz Sahlmann:
Inner and Outer Approximating Flowpipes for Delay Differential Equations. CAV (2) 2018: 523-541 - [c62]François Bidet, Éric Goubault, Sylvie Putot:
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper). CICM Workshops 2018 - [c61]Éric Goubault, Jérémy Ledent, Samuel Mimram:
Concurrent Specifications Beyond Linearizability. OPODIS 2018: 28:1-28:16 - [c60]Éric Goubault, Jérémy Ledent, Samuel Mimram:
Brief Announcement: On the Impossibility of Detecting Concurrency. DISC 2018: 50:1-50:4 - [c59]Éric Goubault, Jérémy Ledent, Sergio Rajsbaum:
A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability. GandALF 2018: 73-87 - [i13]Cameron Calk, Eric Goubault, Philippe Malbos:
Time-reversal homotopical properties of concurrent systems. CoRR abs/1812.05062 (2018) - [i12]Eric Goubault, Michael Farber, Aurélien Sagnier:
Directed topological complexity. CoRR abs/1812.09382 (2018) - 2017
- [j17]Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq:
Directed Homology Theories and Eilenberg-Steenrod Axioms. Appl. Categorical Struct. 25(5): 775-807 (2017) - [j16]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott:
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. ACM Trans. Embed. Comput. Syst. 16(5s): 166:1-166:19 (2017) - [c58]Eric Goubault, Sylvie Putot:
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. HSCC 2017: 1-10 - [c57]Benjamin Martin, Khalil Ghorbal, Eric Goubault, Sylvie Putot:
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. FVAV@iFM 2017: 91-104 - [e7]Gauthier Fanmuy, Eric Goubault, Daniel Krob, François Stephan:
Complex Systems Design & Management, Proceedings of the Seventh International Conference on Complex Systems Design & Management, CSD&M 2016, Paris, France, December 13-14, 2016. Springer 2017, ISBN 978-3-319-49102-8 [contents] - [i11]Eric Goubault, Sergio Rajsbaum:
A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing. CoRR abs/1703.11005 (2017) - [i10]Eric Goubault, Sergio Rajsbaum:
Models of fault-tolerant distributed computation via dynamic epistemic logic. CoRR abs/1704.07883 (2017) - [i9]Eric Goubault:
On directed homotopy equivalences and a notion of directed topological complexity. CoRR abs/1709.05702 (2017) - 2016
- [b1]Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen:
Directed Algebraic Topology and Concurrency. Springer 2016, ISBN 978-3-319-15397-1, pp. 1-167 - [j15]Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, Sylvie Putot:
A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems. ACM Trans. Embed. Comput. Syst. 15(4): 69:1-69:20 (2016) - [c56]Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq:
Bisimulations and Unfolding in P-Accessible Categorical Models. CONCUR 2016: 25:1-25:14 - [c55]Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq:
The Directed Homotopy Hypothesis. CSL 2016: 9:1-9:16 - [c54]Adel Djoudi, Sébastien Bardin, Éric Goubault:
Recovering High-Level Conditions from Binary Programs. FM 2016: 235-253 - [c53]Laurent Fribourg, Eric Goubault, Sylvie Putot, Sameh Mohamed:
A Topological Method for Finding Invariant Sets of Switched Systems. HSCC 2016: 61-70 - [c52]Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, Sriram Sankaranarayanan:
Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities. TACAS 2016: 225-243 - 2015
- [j14]Eric Goubault, Samuel Mimram, Christine Tasson:
Iterated Chromatic Subdivisions are Collapsible. Appl. Categorical Struct. 23(6): 777-818 (2015) - [j13]Eric Goubault, Sylvie Putot:
A zonotopic framework for functional abstractions. Formal Methods Syst. Des. 47(3): 302-360 (2015) - [c51]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, Nikolas Stott:
A scalable algebraic method to infer quadratic invariants of switched systems. EMSOFT 2015: 75-84 - [c50]Jérémy Dubut, Eric Goubault, Jean Goubault-Larrecq:
Natural Homology. ICALP (2) 2015: 171-183 - [c49]Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, Sylvie Putot:
A Topological Method for Finding Invariant Sets of Continuous Systems. RP 2015: 63-75 - [c48]Eric Goubault, Samuel Mimram, Christine Tasson:
From Geometric Semantics to Asynchronous Computability. DISC 2015: 436-451 - 2014
- [c47]Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, Sriram Sankaranarayanan:
Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials. ACC 2014: 3571-3578 - [c46]Eric Goubault, Olivier Mullier, Sylvie Putot, Michel Kieffer:
Inner approximated reachability analysis. HSCC 2014: 163-172 - 2013
- [j12]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs. Discret. Comput. Geom. 49(2): 247-279 (2013) - [j11]Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot:
General Inner Approximation of Vector-valued Functions. Reliab. Comput. 18: 117-143 (2013) - [c45]Eric Goubault, Sylvie Putot:
Robustness Analysis of Finite Precision Implementations. APLAS 2013: 50-57 - [c44]Eric Goubault:
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT. SAS 2013: 1-3 - [c43]Assalé Adjé, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, Sylvie Putot:
Static Analysis of Programs with Imprecise Probabilistic Inputs. VSTTE 2013: 22-47 - [c42]Eric Goubault, Tobias Heindel, Samuel Mimram:
A Geometric View of Partial Order Reduction. MFPS 2013: 179-195 - [i8]Eric Goubault, Sylvie Putot:
Robustness analysis of finite precision implementations. CoRR abs/1309.3910 (2013) - [i7]Olivier Mullier, Eric Goubault, Michel Kieffer, Sylvie Putot:
General inner approximation of vector-valued functions. CoRR abs/1310.1709 (2013) - 2012
- [j10]Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, Sylvie Putot:
A generalization of p-boxes to affine arithmetic. Computing 94(2-4): 189-201 (2012) - [j9]Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis. Log. Methods Comput. Sci. 8(1) (2012) - [j8]Thomas Martin Gawlitza, Helmut Seidl, Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Abstract interpretation meets convex optimization. J. Symb. Comput. 47(12): 1416-1446 (2012) - [j7]Georgios Fainekos, Eric Goubault, Franjo Ivancic, Sriram Sankaranarayanan:
Editorial: Special Section VCPSS'09. ACM Trans. Embed. Comput. Syst. 11(S2): 52:1-52:3 (2012) - [c41]Daniel Ménard, Romuald Rocher, Olivier Sentieys, Nicolas Simon, Laurent-Stéphane Didier, Thibault Hilaire, Benoit Lopez, Eric Goubault, Sylvie Putot, Franck Védrine, Amine Najahi, Guillaume Revy, L. Fangain, Christian Samoyeau, Fabrice Lemonnier, Christophe Clienti:
Design of fixed-point embedded systems (DEFIS) French ANR project. DASIP 2012: 1-2 - [c40]Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raußen:
Trace Spaces: An Efficient New Technique for State-Space Reduction. ESOP 2012: 274-294 - [c39]Eric Goubault, Sylvie Putot, Franck Védrine:
Modular Static Analysis with Zonotopes. SAS 2012: 24-40 - [c38]Eric Goubault, Tristan Le Gall, Sylvie Putot:
An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations. NSAD@SAS 2012: 65-76 - [e6]Lisbeth Fajstrup, Eric Goubault, Martin Raussen:
Proceedings of the workshop on Geometric and Topological Methods in Computer Science, GETCO 2010, Aalborg, Denmark, January 11-15, 2010. Electronic Notes in Theoretical Computer Science 283, Elsevier 2012 [contents] - [i6]Lisbeth Fajstrup, Eric Goubault, Emmanuel Haucourt, Samuel Mimram, Martin Raussen:
Trace Spaces: an Efficient New Technique for State-Space Reduction. CoRR abs/1204.0414 (2012) - 2011
- [j6]Georgios Fainekos, Eric Goubault, Sylvie Putot, Stefan Ratschan:
Foreword. Math. Comput. Sci. 5(4): 357-358 (2011) - [c37]Pascal Sotin, Bertrand Jeannet, Franck Védrine, Eric Goubault:
Policy Iteration within Logico-Numerical Abstract Domains. ATVA 2011: 290-305 - [c36]Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, Samuel Mimram:
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. SAFECOMP 2011: 85-98 - [c35]Eric Goubault, Sylvie Putot:
Static Analysis of Finite Precision Computations. VMCAI 2011: 232-247 - 2010
- [c34]Khalil Ghorbal, Eric Goubault, Sylvie Putot:
A Logical Product Approach to Zonotope Intersection. CAV 2010: 212-226 - [c33]Assalé Adjé, Stéphane Gaubert, Eric Goubault:
Coupling Policy Iteration with Semi-definite Relaxation to Compute Accurate Numerical Invariants in Static Analysis. ESOP 2010: 23-42 - [c32]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The Tropical Double Description Method. STACS 2010: 47-58 - [c31]Lisbeth Fajstrup, Eric Goubault, Martin Raussen:
Preface. GETCO 2010: 1-2 - [c30]Eric Goubault, Stéphane Le Roux, Jeremy Leconte, Leo Liberti, Fabrizio Marinelli:
Static Analysis by Abstract Interpretation: A Mathematical Programming Approach. NSAD@SAS 2010: 73-87 - [c29]Eric Goubault, Samuel Mimram:
Formal Relationships Between Geometrical and Classical Models for Concurrency. GETCO 2010: 77-109 - [c28]Eric Goubault, Emmanuel Haucourt, Sanjeevi Krishnan:
Future Path-components in Directed Topology. MFPS 2010: 325-335 - [i5]Xavier Allamigeon, Stéphane Gaubert, Eric Goubault:
The tropical double description method. CoRR abs/1001.4119 (2010) - [i4]Khalil Ghorbal, Eric Goubault, Sylvie Putot:
A Logical Product Approach to Zonotope Intersection. CoRR abs/1002.2236 (2010) - [i3]Eric Goubault, Samuel Mimram:
Formal Relationships Between Geometrical and Classical Models for Concurrency. CoRR abs/1004.2818 (2010)
2000 – 2009
- 2009
- [c27]Olivier Bouissou, Eric Goubault, Sylvie Putot, Karim Tekkal, Franck Védrine:
HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment. CAV 2009: 620-626 - [c26]Khalil Ghorbal, Eric Goubault, Sylvie Putot:
The Zonotope Abstract Domain Taylor1+. CAV 2009: 627-633 - [c25]David Delmas, Eric Goubault, Sylvie Putot, Jean Souyris, Karim Tekkal, Franck Védrine:
Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software. FMICS 2009: 53-69 - [e5]