Eric Goubault

J. Appl. Comput. Topol., March, 2025

Knowledge in multi-robot systems: an interplay of dynamics, computation and communication.

[BibT_eX]

[DOI]

Giorgio Cignarale

Stephan Felber

Bernardo Hummes Flores

Hugo Rincon Galeana

CoRR, January, 2025

2024

Persistent homology of partially ordered spaces.

[BibT_eX]

[DOI]

J. Appl. Comput. Topol., December, 2024

Geometric and topological methods in computer science (11th GETCO conference, 2022).

[BibT_eX]

[DOI]

Marian Mrozek

Martin Raussen

J. Appl. Comput. Topol., September, 2024

A semi-abelian approach to directed homology.

[BibT_eX]

[DOI]

J. Appl. Comput. Topol., June, 2024

Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts.

[BibT_eX]

[DOI]

Eng. Appl. Artif. Intell., January, 2024

Estimating the coverage measure and the area explored by a line-sweep sensor on the plane.

[BibT_eX]

[DOI]

Maria Luiza Costa Vianna

Luc Jaulin

Int. J. Approx. Reason., 2024

Inner and outer approximate quantifier elimination for general reachability problems.

[BibT_eX]

[DOI]

Proceedings of the 27th ACM International Conference on Hybrid Systems: Computation and Control, 2024

A Zonotopic Dempster-Shafer Approach to the Quantitative Verification of Neural Networks.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods - 26th International Symposium, 2024

A Many-Sorted Epistemic Logic for Chromatic Hypergraphs.

[BibT_eX]

[DOI]

Roman Kniazev

Proceedings of the 32nd EACSL Annual Conference on Computer Science Logic, 2024

2023

On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability.

[BibT_eX]

[DOI]

IEEE Trans. Autom. Control., August, 2023

Simplicial Models for the Epistemic Logic of Faulty Agents.

[BibT_eX]

[DOI]

CoRR, 2023

Guaranteed approximations of arbitrarily quantified reachability problems.

[BibT_eX]

[DOI]

CoRR, 2023

Persistent homology of directed spaces.

[BibT_eX]

[DOI]

CoRR, 2023

Semi-Simplicial Set Models for Distributed Knowledge.

[BibT_eX]

[DOI]

Proceedings of the 38th Annual ACM/IEEE Symposium on Logic in Computer Science, 2023

2022

Algebraic coherent confluence and higher globular Kleene algebras.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2022

Reachability Analysis of Generalized Input-Affine Systems With Bounded Measurable Time-Varying Uncertainties.

[BibT_eX]

[DOI]

François Bidet

IEEE Control. Syst. Lett., 2022

A Simplicial Model for KB4_n: Epistemic Logic with Agents That May Die.

[BibT_eX]

[DOI]

Proceedings of the 39th International Symposium on Theoretical Aspects of Computer Science, 2022

Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling.

[BibT_eX]

[DOI]

Proceedings of the Learning for Dynamics and Control Conference, 2022

Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs.

[BibT_eX]

[DOI]

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022

RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach.

[BibT_eX]

[DOI]

Proceedings of the 21st International Conference on Autonomous Agents and Multiagent Systems, 2022

2021

A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2021

A topological method for finding invariant sets of continuous systems.

[BibT_eX]

[DOI]

Inf. Comput., 2021

A Simplicial Model for KB4<sub>n</sub>: Epistemic Logic with Agents that May Die.

[BibT_eX]

[DOI]

CoRR, 2021

Neural Network Based Model Predictive Control for an Autonomous Vehicle.

[BibT_eX]

[DOI]

Maria Luiza Costa Vianna

CoRR, 2021

Static Analysis of ReLU Neural Networks with Tropical Polyhedra.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 28th International Symposium, 2021

A few lessons learned in reinforcement learning for quadcopter attitude control.

[BibT_eX]

[DOI]

Proceedings of the HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, 2021

On-The-Fly Control of Unknown Smooth Systems from Limited Data.

[BibT_eX]

[DOI]

Proceedings of the 2021 American Control Conference, 2021

Tractable higher-order under-approximating AE extensions for non-linear systems.

[BibT_eX]

[DOI]

Proceedings of the 7th IFAC Conference on Analysis and Design of Hybrid Systems, 2021

Abstract Strategies and Coherence.

[BibT_eX]

[DOI]

Proceedings of the Relational and Algebraic Methods in Computer Science, 2021

2020

Directed Homotopy in Non-Positively Curved Spaces.

[BibT_eX]

[DOI]

Log. Methods Comput. Sci., 2020

Directed topological complexity.

[BibT_eX]

[DOI]

Michael Farber

Aurélien Sagnier

J. Appl. Comput. Topol., 2020

Robust Under-Approximations and Application to Reachability of Non-Linear Control Systems With Disturbances.

[BibT_eX]

[DOI]

IEEE Control. Syst. Lett., 2020

Algebraic coherent confluence and higher-dimensional globular Kleene algebras.

[BibT_eX]

[DOI]

CoRR, 2020

Knowledge and simplicial complexes.

[BibT_eX]

[DOI]

CoRR, 2020

Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants.

[BibT_eX]

[DOI]

Proceedings of the Software Verification - 12th International Conference, 2020

Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms.

[BibT_eX]

[DOI]

Yi Chou

Proceedings of the Advances in Neural Information Processing Systems 33: Annual Conference on Neural Information Processing Systems 2020, 2020

2019

Wait-Free Solvability of Equality Negation Tasks.

[BibT_eX]

[DOI]

Proceedings of the 33rd International Symposium on Distributed Computing, 2019

A Dynamic Epistemic Logic Analysis of the Equality Negation Task.

[BibT_eX]

[DOI]

Proceedings of the Dynamic Logic. New Trends and Applications, 2019

Inner and outer reachability for the verification of control systems.

[BibT_eX]

[DOI]

Proceedings of the 22nd ACM International Conference on Hybrid Systems: Computation and Control, 2019

2018

Discrete Choice in the Presence of Numerical Uncertainties.

[BibT_eX]

[DOI]

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018

Geometric and combinatorial views on asynchronous computability.

[BibT_eX]

[DOI]

Christine Tasson

Distributed Comput., 2018

Time-reversal homotopical properties of concurrent systems.

[BibT_eX]

[DOI]

CoRR, 2018

A Simplicial Complex Model for Dynamic Epistemic Logic to study Distributed Task Computability.

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Symposium on Games, 2018

Brief Announcement: On the Impossibility of Detecting Concurrency.

[BibT_eX]

[DOI]

Proceedings of the 32nd International Symposium on Distributed Computing, 2018

Concurrent Specifications Beyond Linearizability.

[BibT_eX]

[DOI]

Proceedings of the 22nd International Conference on Principles of Distributed Systems, 2018

Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark (short paper).

[BibT_eX]

[DOI]

François Bidet

Proceedings of the Joint Proceedings of the CME-EI, 2018

Inner and Outer Approximating Flowpipes for Delay Differential Equations.

[BibT_eX]

[DOI]

Lorenz Sahlmann

Proceedings of the Computer Aided Verification - 30th International Conference, 2018

2017

A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2017

On directed homotopy equivalences and a notion of directed topological complexity.

[BibT_eX]

[DOI]

CoRR, 2017

Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System.

[BibT_eX]

[DOI]

Proceedings of the Proceedings First Workshop on Formal Verification of Autonomous Vehicles, 2017

Models of fault-tolerant distributed computation via dynamic epistemic logic.

[BibT_eX]

[DOI]

CoRR, 2017

A simplicial complex model of dynamic epistemic logic for fault-tolerant distributed computing.

[BibT_eX]

[DOI]

CoRR, 2017

Directed Homology Theories and Eilenberg-Steenrod Axioms.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2017

Forward Inner-Approximated Reachability of Non-Linear Continuous Systems.

[BibT_eX]

[DOI]

Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, 2017

2016

A Scalable Algebraic Method to Infer Quadratic Invariants of Switched Systems.

[BibT_eX]

[DOI]

ACM Trans. Embed. Comput. Syst., 2016

Uncertainty Propagation Using Probabilistic Affine Forms and Concentration of Measure Inequalities.

[BibT_eX]

[DOI]

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2016

A Topological Method for Finding Invariant Sets of Switched Systems.

[BibT_eX]

[DOI]

Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, 2016

Recovering High-Level Conditions from Binary Programs.

[BibT_eX]

[DOI]

Adel Djoudi

Sébastien Bardin

Proceedings of the FM 2016: Formal Methods, 2016

The Directed Homotopy Hypothesis.

[BibT_eX]

[DOI]

Proceedings of the 25th EACSL Annual Conference on Computer Science Logic, 2016

Bisimulations and Unfolding in P-Accessible Categorical Models.

[BibT_eX]

[DOI]

Proceedings of the 27th International Conference on Concurrency Theory, 2016

Directed Algebraic Topology and Concurrency

[BibT_eX]

[DOI]

Springer, ISBN: 978-3-319-15398-8, 2016

2015

A zonotopic framework for functional abstractions.

[BibT_eX]

[DOI]

Formal Methods Syst. Des., 2015

Iterated Chromatic Subdivisions are Collapsible.

[BibT_eX]

[DOI]

Christine Tasson

Appl. Categorical Struct., 2015

From Geometric Semantics to Asynchronous Computability.

[BibT_eX]

[DOI]

Christine Tasson

Proceedings of the Distributed Computing - 29th International Symposium, 2015

Natural Homology.

[BibT_eX]

[DOI]

Proceedings of the Automata, Languages, and Programming - 42nd International Colloquium, 2015

2014

Inner approximated reachability analysis.

[BibT_eX]

[DOI]

Proceedings of the 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), 2014

Finding non-polynomial positive invariants and lyapunov functions for polynomial systems through Darboux polynomials.

[BibT_eX]

[DOI]

Jacques-Henri Jourdan

Proceedings of the American Control Conference, 2014

2013

General Inner Approximation of Vector-valued Functions.

[BibT_eX]

[DOI]

Reliab. Comput., 2013

A Geometric View of Partial Order Reduction.

[BibT_eX]

[DOI]

Tobias Heindel

Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, 2013

Computing the Vertices of Tropical Polyhedra Using Directed Hypergraphs.

[BibT_eX]

[DOI]

Xavier Allamigeon

Stéphane Gaubert

Discret. Comput. Geom., 2013

Static Analysis of Programs with Imprecise Probabilistic Inputs.

[BibT_eX]

[DOI]

Assalé Adjé

Olivier Bouissou

Proceedings of the Verified Software: Theories, Tools, Experiments, 2013

Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis - 20th International Symposium, 2013

Robustness Analysis of Finite Precision Implementations.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Editorial: Special Section VCPSS'09.

[BibT_eX]

[DOI]

Georgios Fainekos

Franjo Ivancic

ACM Trans. Embed. Comput. Syst., 2012

Abstract interpretation meets convex optimization.

[BibT_eX]

[DOI]

Thomas Martin Gawlitza

J. Symb. Comput., 2012

An Accurate Join for Zonotopes, Preserving Affine Input/Output Relations.

[BibT_eX]

[DOI]

Tristan Le Gall

Proceedings of the Fourth International Workshop on Numerical and Symbolic Abstract Domains, 2012

Coupling policy iteration with semi-definite relaxation to compute accurate numerical invariants in static analysis

[BibT_eX]

[DOI]

Assalé Adjé

Stéphane Gaubert

Log. Methods Comput. Sci., 2012

A generalization of p-boxes to affine arithmetic.

[BibT_eX]

[DOI]

Olivier Bouissou

Computing, 2012

Modular Static Analysis with Zonotopes.

[BibT_eX]

[DOI]

Franck Védrine

Proceedings of the Static Analysis - 19th International Symposium, 2012

Trace Spaces: An Efficient New Technique for State-Space Reduction.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2012

Design of fixed-point embedded systems (DEFIS) French ANR project.

[BibT_eX]

[DOI]

Laurent-Stéphane Didier

Proceedings of the 2012 Conference on Design and Architectures for Signal and Image Processing, 2012

2011

Foreword.

[BibT_eX]

[DOI]

Math. Comput. Sci., 2011

Static Analysis of Finite Precision Computations.

[BibT_eX]

[DOI]

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2011

Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software.

[BibT_eX]

[DOI]

Proceedings of the Computer Safety, Reliability, and Security, 2011

Policy Iteration within Logico-Numerical Abstract Domains.

[BibT_eX]

[DOI]

Proceedings of the Automated Technology for Verification and Analysis, 2011

2010

Static Analysis by Abstract Interpretation: A Mathematical Programming Approach.

[BibT_eX]

[DOI]

Proceedings of the Proceeding of the Second International Workshop on Numerical and Symbolic Abstract Domains, 2010

Formal Relationships Between Geometrical and Classical Models for Concurrency.

[BibT_eX]

[DOI]

Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

Future Path-components in Directed Topology.

[BibT_eX]

[DOI]

Emmanuel Haucourt

Sanjeevi Krishnan

Proceedings of the 26th Conference on the Mathematical Foundations of Programming Semantics, 2010

Preface.

[BibT_eX]

[DOI]

Lisbeth Fajstrup

Martin Raussen

Proceedings of the workshop on Geometric and Topological Methods in Computer Science, 2010

The Tropical Double Description Method.

[BibT_eX]

[DOI]

Xavier Allamigeon

Stéphane Gaubert

Proceedings of the 27th International Symposium on Theoretical Aspects of Computer Science, 2010

A Logical Product Approach to Zonotope Intersection.

[BibT_eX]

[DOI]

Khalil Ghorbal

Proceedings of the Computer Aided Verification, 22nd International Conference, 2010

2009

Towards an Industrial Use of FLUCTUAT on Safety-Critical Avionics Software.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2009

The Zonotope Abstract Domain Taylor1+.

[BibT_eX]

[DOI]

Khalil Ghorbal

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

HybridFluctuat: A Static Analyzer of Numerical Programs within a Continuous Environment.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 21st International Conference, 2009

2008

Perturbed affine arithmetic for invariant computation in numerical program analysis

[BibT_eX]

[DOI]

CoRR, 2008

Inferring Min and Max Invariants Using Max-Plus Polyhedra.

[BibT_eX]

[DOI]

Xavier Allamigeon

Stephane Gaubert

Proceedings of the Static Analysis, 15th International Symposium, 2008

2007

Components of the Fundamental Category II.

[BibT_eX]

[DOI]

Emmanuel Haucourt

Appl. Categorical Struct., 2007

Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 14th International Symposium, 2007

Static Analysis of the Accuracy in Control Systems: Principles and Experiments.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Industrial Critical Systems, 2007

Static Analysis by Policy Iteration on Relational Domains.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 2007

2006

Algebraic topology and concurrency.

[BibT_eX]

[DOI]

Lisbeth Fajstrup

Martin Raußen

Theor. Comput. Sci., 2006

Static Analysis of Numerical Algorithms.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 13th International Symposium, 2006

2005

A Practical Application of Geometric Semantics to Static Analysis of Concurrent Programs.

[BibT_eX]

[DOI]

Emmanuel Haucourt

Proceedings of the CONCUR 2005 - Concurrency Theory, 16th International Conference, 2005

A Policy Iteration Algorithm for Computing Fixed Points in Static Analysis of Programs.

[BibT_eX]

[DOI]

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2004

Components of the Fundamental Category.

[BibT_eX]

[DOI]

Appl. Categorical Struct., 2004

2003

Preface.

[BibT_eX]

[DOI]

Ulrich Fahrenberg

Proceedings of the Combined Proceedings of the Second Workshop on Categorical Methods for Concurrency, 2003

Static Analysis-Based Validation of Floating-Point Computations.

[BibT_eX]

[DOI]

Matthieu Martel

Proceedings of the Numerical Software with Result Verification, 2003

2002

Foreword.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on GEometry and Topology in COncurrency and distributed systems theory, 2002

Dihomotopy as a Tool in State Space Analysis.

[BibT_eX]

[DOI]

Martin Raußen

Proceedings of the LATIN 2002: Theoretical Informatics, 2002

Asserting the Precision of Floating-Point Computations: A Simple Abstract Interpreter.

[BibT_eX]

[DOI]

Matthieu Martel

Proceedings of the Programming Languages and Systems, 2002

2001

Static Analyses of the Precision of Floating-Point Operations.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 8th International Symposium, 2001

2000

Geometry and concurrency: a user's guide.

[BibT_eX]

[DOI]

Math. Struct. Comput. Sci., 2000

Preface.

[BibT_eX]

[DOI]

Proceedings of the 2nd Workshop on Geometry and Topology in Concurrency theory, 2000

1998

Detecting Deadlocks in Concurrent Systems.

[BibT_eX]

[DOI]

Lisbeth Fajstrup

Martin Raußen

Proceedings of the CONCUR '98: Concurrency Theory, 1998

1997

Optimal Implementation of Wait-Free Binary Relations.

[BibT_eX]

[DOI]

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

1996

Durations for Truly-Concurrent Transitions.

[BibT_eX]

[DOI]

Proceedings of the Programming Languages and Systems, 1996

1995

Schedulers as Abstract Interpreter of Higher Dimensional Automata.

[BibT_eX]

[DOI]

Proceedings of the ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based Program Manipulation, 1995

1993

Semantics and Analysis of Linda-Based Languages.

[BibT_eX]

[DOI]

Régis Cridlig

Proceedings of the Static Analysis, Third International Workshop, 1993

Domains of Higher-Dimensional Automata.

[BibT_eX]

[DOI]

Proceedings of the CONCUR '93, 1993

1992

Homology of Higher Dimensional Automata.

[BibT_eX]

[DOI]