Cosynus

Recent publications

 
Reconciling Spatial and Temporal Abstractions for Goal Representation. Mehdi Zadem, Sergio Mover, and Sao Mai Nguyen. CoRR, abs/2401.09870, 2024. [ bib ]
 
Emergence of a Symbolic Goal Representation with an Intelligent Tutoring System based on Intrinsic Motivation, Mehdi Zadem, Sergio Mover, and Sao Mai Nguyen. NeurIPS 2023 - IMOL Workshop ”Intrinsically-Motivated and Open-Ended Learning”, December 2023. Poster. [ bib | http | http ]
 
A semi-abelian approach to directed homology. Eric Goubault. Journal of Applied and Computational Topology, December 2023. https://arxiv.org/abs/2301.06409. [ bib | DOI | http ]
 
Goal Space Abstraction in Hierarchical Reinforcement Learning via Set-Based Reachability Analysis. Mehdi Zadem, Sergio Mover, and Sao Mai Nguyen. In ICDL 2023 - 22nd IEEE International Conference on Development and Learning, pages 423--428, Macau, China, November 2023. IEEE. https://arxiv.org/abs/2309.07675. [ bib | DOI | http | http ]
 
Historia: Refuting Callback Reachability with Message-History Logics. Shawn Meier, Sergio Mover, Gowtham Kaki, and Bor-Yuh Evan Chang. Proceedings of the ACM on Programming Languages, 7(OOPSLA2):1905--1934, October 2023. https://arxiv.org/abs/2309.04464. [ bib | DOI | http | http ]
 
Reinforcement learning with formal performance metrics for quadcopter attitude control under non-nominal contexts. Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, and François Sillion. Engineering Applications of Artificial Intelligence, 127, October 2023. [ bib | DOI | http | http ]
 
Verification Modulo Theories. Alessandro Cimatti, Alberto Griggio, Sergio Mover, Marco Roveri, and Stefano Tonetta. Formal Methods in System Design, 60(3):452--481, September 2023. [ bib | DOI | http | http ]
 
Goal Space Abstraction in Hierarchical Reinforcement Learning via Reachability Analysis. Mehdi Zadem, Sergio Mover, and Sao Mai Nguyen. In IMOL 2023 - The 6th International Workshop on Intrinsically Motivated Open-ended Learning, Paris, France, September 2023. https://arxiv.org/abs/2309.07168. [ bib | http | http ]
 
Faithful Simulation of Randomized BFT Protocols on Block DAGs. Hagit Attiya, Constantin Enea, and Shafik Nassar. In 34th International Conference on Concurrency Theory, CONCUR 2023,, Antwerp, Belgium, September 2023. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. [ bib | DOI | http | http ]
 
On-the-Fly Control of Unknown Systems: From Side Information to Performance Guarantees Through Reachability. Franck Djeumou, Abraham P Vinod, Eric Goubault, Sylvie Putot, and Ufuk Topcu. IEEE Transactions on Automatic Control, 68:4857 -- 4872, August 2023. [ bib | DOI | http | http ]
 
Categorical Coherence from Term Rewriting Systems. Samuel Mimram. In Marco Gaboardi and Femke van Raamsdonk, editors, 8th International Conference on Formal Structures for Computation and Deduction (FSCD 2023), volume 260, page 16, Rome, Italy, July 2023. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [ bib | DOI | http | http ]
 
Semi-Simplicial Set Models for Distributed Knowledge. Éric Goubault, Roman Kniazev, Jérémy Ledent, and Sergio Rajsbaum. In Logic in Computer Science, Boston (MA), United States, June 2023. [ bib | DOI | http | .pdf ]
 
SMT-Based Stability Verification of an Industrial Switched PI Control Systems. Ludovico Battista, Anna Becchi, Stylianos Basagiannis, Alessandro Cimatti, Georgios Giantamidis, Sergio Mover, Alberto Tacchella, Stefano Tonetta, and Vassilios Tsachouridis. In 2023 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Networks Workshops (DSN-W), pages 243--250, Porto, Portugal, June 2023. IEEE. [ bib | DOI | http | http ]
 
Non-Hausdorff parallelized manifolds over geometric models of conservative programs. Emmanuel Haucourt. working paper or preprint, June 2023. [ bib | DOI | http | http ]
 
Dynamic Partial Order Reduction for Checking Correctness against Transaction Isolation Levels. Ahmed Bouajjani, Constantin Enea, and Enrique Román-Calvo. In Michael Hicks, editor, Programming Language Design and Implementation Conference, volume 7, pages 565--590, Orlando (FL), United States, June 2023. Association for Computing Machinery, ACM. [ bib | DOI | http | http ]
 
Quorum Tree Abstractions of Consensus Protocols. Berk Cirisci, Constantin Enea, and Suha Orhun Mutluergil. In Programming Languages and Systems - 32nd European Symposium on Programming, ESOP 2023, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2023, Paris, France, April 22-27, 2023, Proceedings, volume 13990 of Lecture Notes in Computer Science, pages 337--362, Paris, France, April 2023. Springer Nature Switzerland. [ bib | DOI | http | http ]
 
A Myhill-Nerode Theorem for Higher-Dimensional Automata. Uli Fahrenberg and Krzysztof Ziemianski. In Luís Gomes and Robert Lorenz, editors, Application and Theory of Petri Nets and Concurrency - 44th International Conference, PETRI NETS 2023, Lisbon, Portugal, June 25-30, 2023, Proceedings, volume 13929 of Lecture Notes in Computer Science, pages 167--188. Springer, 2023. [ bib | DOI | http ]
 
Optimisation macroscopique des plans de transports grâce aux véhicules autonomes. Théophile Cabannes. PhD thesis, 2023. Thèse de doctorat dirigée par Goubault, Éric Informatique Institut polytechnique de Paris 2023. [ bib | http ]
 
Modèles géométriques de la logique épistémique. Roman Kniazev. PhD thesis, 2023. Thèse de doctorat dirigée par Goubault, Éric et Goubault-larrecq, Jean Informatique, données, IA Institut polytechnique de Paris 2023. [ bib | www: ]
 
A Geometrical Approach to Estimate the Coverage Measure of the Area Explored by a Robot. Maria Luiza Costa Vianna. PhD thesis, 2023. Thèse de doctorat dirigée par Putot, SylvieGoubault, Éric et Jaulin, Luc Signal, Images, Automatique et Robotique Institut polytechnique de Paris 2023. [ bib | http ]
 
Polygraphs: From Rewriting to Higher Categories. Dimitri Ara, Albert Burroni, Yves Guiraud, Philippe Malbos, François Métayer, and Samuel Mimram. London Mathematical Society Lecture Note Series. 2023. https://arxiv.org/abs/2312.00429 - 666pp. [ bib | http ]
 
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, Constantin Enea and Akash Lal. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part II, 2023. [ bib | DOI | http ]
 
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, Constantin Enea and Akash Lal. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part III, 2023. [ bib | DOI | http ]
 
Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, Constantin Enea and Akash Lal. Computer Aided Verification - 35th International Conference, CAV 2023, Paris, France, July 17-22, 2023, Proceedings, Part I, 2023. [ bib | DOI | http ]
 
A Pragmatic Approach to Stateful Partial Order Reduction. Berk Cirisci, Constantin Enea, Azadeh Farzan, and Suha Orhun Mutluergil. In 24th International Conference Interpretation Verification, Model Checking, and Abstract (VMCAI 2023), volume 13881 of Lecture Notes in Computer Science, pages 129--154, Boston, United States, January 2023. Springer Nature Switzerland. [ bib | DOI | http | http ]
 
Automated Synthesis of Asynchronizations. Sidi Mohamed Beillahi, Ahmed Bouajjani, Constantin Enea, and Shuvendu Lahiri. In Gagandeep Singh and Caterina Urban, editors, 29th International Symposium on static analysis (SAS 2022), volume 13790 of Static Analysis 29th International Symposium, SAS 2022, Auckland, New Zealand, December 5--7, 2022, Proceedings, pages 135--159, Auckland, New Zealand, December 2022. Springer Nature Switzerland. [ bib | DOI | http | http ]
 
Algebraic and topological models of directed systems : Exploring dimensions of calculation via algebraic, categorical, and homotopical approaches. Cameron Calk. Theses, Institut Polytechnique de Paris, November 2022. [ bib | http | http ]
 
Algebraic coherent confluence and higher globular Kleene algebras. Cameron Calk, Eric Goubault, Philippe Malbos, and Georg Struth. Logical Methods in Computer Science, 18(4), November 2022. https://arxiv.org/abs/2006.16129. [ bib | DOI | http | http ]
 
Free precategories as presheaf categories. Simon Forest and Samuel Mimram. working paper or preprint, November 2022. [ bib | http | http ]
 
Estimating the Coverage Measure and the Area Explored by a Side-Scan Sonar. Maria Luiza Costa Vianna, Eric Goubault, Luc Jaulin, and Sylvie Putot. In OCEANS 2022, Hampton Roads, volume 2022, pages 1--6, Hampton Roads, United States, October 2022. IEEE. [ bib | DOI | http ]
 
A Kleene Theorem for Higher-Dimensional Automata. Uli Fahrenberg, Christian Johansen, Georg Struth, and Krzysztof Ziemiański. In CONCUR, volume 29, Warsaw, Poland, September 2022. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. [ bib | DOI | http ]
 
A Real-Time NMPC Controller for Autonomous Vehicle Racing. Nan Li, Eric Goubault, Laurent Pautet, and Sylvie Putot. In 2022 6th International Conference on Automation, Control and Robots (ICACR), pages 148--155, Shanghai, China, September 2022. IEEE. [ bib | DOI | http | http ]
 
Reachability analysis with Lebesgue-integrable time-varying uncertainties. François Bidet. Theses, Institut Polytechnique de Paris, September 2022. [ bib | http | http ]
 
Division by Two, in Homotopy Type Theory. Samuel Mimram and Émile Oleon. In Amy P. Felty, editor, 7th International Conference on Formal Structures for Computation and Deduction (FSCD 2022), volume 228, page 10, Haifa, Israel, August 2022. Schloss Dagstuhl - Leibniz-Zentrum für Informatik. [ bib | DOI | http | http ]
 
Blunting an Adversary Against Randomized Concurrent Programs with Linearizable Implementations. Hagit Attiya, Constantin Enea, and Jennifer L Welch. In PODC '22: ACM Symposium on Principles of Distributed Computing, pages 209--219, Salerno Italy, Italy, July 2022. ACM. [ bib | DOI | http | http ]
 
Taylor-Lagrange Neural Ordinary Differential Equations: Toward Fast Training and Evaluation of Neural ODEs. Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, and Ufuk Topcu. In Thirty-First International Joint Conference on Artificial Intelligence IJCAI-22, pages 2923--2929, Vienna, France, July 2022. International Joint Conferences on Artificial Intelligence Organization. https://arxiv.org/abs/2201.05715. [ bib | DOI | http ]
 
Type theoretical approaches to opetopes. Cédric Ho Thanh, Pierre-Louis Curien, and Samuel Mimram. Higher Structures, 6(1):80 -- 181, July 2022. [ bib | DOI | http | http ]
 
Unifying notions of pasting diagrams. Simon Forest. Higher Structures, 6(1):1--79, July 2022. https://arxiv.org/abs/1903.00282. [ bib | DOI | http | http ]
 
Tietze Equivalences as Weak Equivalences. Simon Henry and Samuel Mimram. Applied Categorical Structures, 30(3):453--483, June 2022. https://arxiv.org/abs/2101.03591. [ bib | DOI | http | http ]
 
Knowledge and Simplicial Complexes. Hans Van Ditmarsch, Éric Goubault, Jérémy Ledent, and Sergio Rajsbaum. Philosophical Studies Series, 143:1--50, May 2022. https://arxiv.org/abs/2002.08863. [ bib | DOI | http ]
 
Colimits of local orders. Emmanuel Haucourt and Pierre-Yves Coursolle. In GETCO 2022 : 11th International Conference on Geometric and Topological Methods in Computer Science, Paris, France, May 2022. [ bib | http ]
 
Towards Automata-Based Abstraction of Goals in Hierarchical Reinforcement Learning. Mehdi Zadem, Sergio Mover, Sao Mai Nguyen, and Sylvie Putot. In Intrinsically Motivated Open-ended Learning IMOL 2022, Tübingen, Germany, April 2022. [ bib | http | http ]
 
A Simplicial Model for KB4
_n: Epistemic Logic with Agents That May Die. Éric Goubault, Jérémy Ledent, and Sergio Rajsbaum. In STACS, Marseille, France, March 2022. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. [ bib | DOI | http ]
 
A framework for locally structured spaces - application to geometric models of concurrency. Pierre-Yves Coursolle. Theses, Institut Polytechnique de Paris, February 2022. [ bib | http | http ]
 
Higher-Dimensional Timed and Hybrid Automata. Uli Fahrenberg. Leibniz Trans. Embed. Syst., 8(2):03:1--03:16, 2022. [ bib | DOI | http ]
 
A Kleene Theorem for Higher-Dimensional Automata. Uli Fahrenberg, Christian Johansen, Georg Struth, and Krzysztof Ziemianski. In Bartek Klin, Slawomir Lasota, and Anca Muscholl, editors, 33rd International Conference on Concurrency Theory, CONCUR 2022, September 12-16, 2022, Warsaw, Poland, volume 243 of LIPIcs, pages 29:1--29:18. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2022. [ bib | DOI | http ]
 
Solving N-Player Dynamic Routing Games with Congestion: A Mean-Field Approach. Theophile Cabannes, Mathieu Laurière, Julien Pérolat, Raphaël Marinier, Sertan Girgin, Sarah Perrin, Olivier Pietquin, Alexandre M. Bayen, Eric Goubault, and Romuald Elie. In Piotr Faliszewski, Viviana Mascardi, Catherine Pelachaud, and Matthew E. Taylor, editors, 21st International Conference on Autonomous Agents and Multiagent Systems, AAMAS 2022, Auckland, New Zealand, May 9-13, 2022, pages 1557--1559. International Foundation for Autonomous Agents and Multiagent Systems (IFAAMAS), 2022. [ bib | DOI | .pdf ]
 
Formal verification of concurrent data structures. Berk Cirisci. PhD thesis, 2022. Thèse de doctorat dirigée par Enea, Constantin Informatique Université Paris Cité 2022. [ bib | http ]
 
Higher-Dimensional Timed and Hybrid Automata. Uli Fahrenberg. Leibniz Transactions on Embedded Systems, 2022. [ bib | DOI | http ]
 
RINO: Robust INner and Outer Approximated Reachability of Neural Networks Controlled Systems. Eric Goubault and Sylvie Putot. Lecture Notes in Computer Science, pages 511 -- 523, 2022. [ bib | DOI | http | http ]
 
Reachability Analysis of Generalized Input-Affine Systems with Bounded Measurable Time-varying Uncertainties. Francois Bidet, Eric Goubault, and Sylvie Putot. IEEE Control Systems Letters, 6:638--643, 2022. [ bib | DOI | http | http ]
 
Neural Networks with Physics-Informed Architectures and Constraints for Dynamical Systems Modeling. Franck Djeumou, Cyrus Neary, Eric Goubault, Sylvie Putot, and Ufuk Topcu. In Learning for Dynamics and Control Conference,, volume 168 of Proceedings of Machine Learning Research. 2022. [ bib | http ]
 
Rewriting in Gray categories with applications to coherence. Simon Forest and Samuel Mimram. Mathematical Structures in Computer Science, 32(5):574--647, 2022. https://arxiv.org/abs/2109.05369. [ bib | DOI | http | http ]
 
Abstract strategies and coherence. Cameron Calk, Eric Goubault, and Philippe Malbos. In 19th International Conference on Relational and Algebraic Methods in Computer Science RAMICS 2021, Marseille, France, November 2021. [ bib | http | http ]
 
Languages of Higher-Dimensional Automata. Uli Fahrenberg, Christian Johansen, Georg Struth, and Krzysztof Ziemiański. Mathematical Structures in Computer Science, 31(5), October 2021. [ bib | DOI | http ]
 
Static Analysis of ReLU Neural Networks with Tropical Polyhedra. Eric Goubault, Sébastien Palumby, Sylvie Putot, Louis Rustenholz, and Sriram Sankaranarayanan. In Static Analysis, volume 12913 of Lecture Notes in Computer Science, pages 166--190. Springer International Publishing, October 2021. [ bib | DOI | http | http ]
 
Syntactic Regions for Concurrent Programs. Samuel Mimram and Aly-Bora Ulusoy. In Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, volume 351 of Proceedings 37th Conference on Mathematical Foundations of Programming Semantics, MFPS 2021, pages 184--199, Salzburg, Austria, August 2021. [ bib | DOI | http | http ]
 
A cartesian bicategory of polynomial functors in homotopy type theory. Eric Finster, Samuel Mimram, Maxime Lucas, and Thomas Seiller. In 37th Conference on the Mathematical Foundations of Programming Semantics (MFPS 2021), Salzburg, Austria, August 2021. [ bib | http | http ]
 
Globular weak ω-categories as models of a type theory. Thibaut Benjamin, Eric Finster, and Samuel Mimram. In Workshop on Homotopy Type Theory / Univalent Foundations, The Internet, Argentina, July 2021. [ bib | http | http ]
 
Implicit Semi-Algebraic Abstraction for Polynomial Dynamical Systems. Sergio Mover, Alessandro Cimatti, Alberto Griggio, Ahmed Irfan, and Stefano Tonetta. In Computer Aided Verification, volume 12759 of Lecture Notes in Computer Science, pages 529--551. Springer International Publishing, July 2021. [ bib | DOI | http | http ]
 
A dynamic epistemic logic analysis of equality negation and other epistemic covering tasks. Hans van Ditmarsch, Éric Goubault, Marijana Lazić, Jérémy Ledent, and Sergio Rajsbaum. Journal of Logical and Algebraic Methods in Programming, 121:100662, June 2021. [ bib | DOI | http ]
 
A simplicial complex model for dynamic epistemic logic to study distributed task computability. Éric Goubault, Jérémy Ledent, and Sergio Rajsbaum. Information and Computation, 278:104597, June 2021. https://arxiv.org/abs/1809.03095. [ bib | DOI | http ]
 
A few lessons learned in reinforcement learning for quadcopter attitude control. Nicola Bernini, Mikhail Bessa, Rémi Delmas, Arthur Gold, Eric Goubault, Romain Pennec, Sylvie Putot, and François Sillion. In HSCC '21: 24th ACM International Conference on Hybrid Systems: Computation and Control, pages 1--11, Nashville, United States, May 2021. ACM. [ bib | DOI | http | http ]
 
On-The-Fly Control of Unknown Smooth Systems from Limited Data. Franck Djeumou, Abraham Vinod, Eric Goubault, Sylvie Putot, and Ufuk Topcu. In 2021 American Control Conference (ACC), pages 3656--3663, New Orleans, France, May 2021. IEEE. [ bib | DOI | http | http ]
 
Autonomous racecar control in head-to-head competition using Mixed-Integer Quadratic Programming. Nan Li, Eric Goubault, Laurent Pautet, and S. Putot. In Opportunities and challenges with autonomous racing, 2021 ICRA workshop, Online, United States, May 2021. [ bib | http | http ]
 
Sculptures in Concurrency. Uli Fahrenberg, Christian Johansen, Christopher Trotter, and Krzysztof Ziemianski. Log. Methods Comput. Sci., 17(2), 2021. [ bib | http ]
 
Languages of higher-dimensional automata. Uli Fahrenberg, Christian Johansen, Georg Struth, and Krzysztof Ziemianski. Math. Struct. Comput. Sci., 31(5):575--613, 2021. [ bib | DOI | http ]
 
Arithmétiques relationnelles pour l'analyse par interprétation abstraite de propriétés de précision numérique. Maxime Jacquemin. PhD thesis, 2021. Thèse de doctorat dirigée par Signoles, Julien et Vedrine, Franck Informatique université Paris-Saclay 2021. [ bib | http ]
 
Sculptures in Concurrency. Uli Fahrenberg, Christian Johansen, Christopher Trotter, and Krzysztof Ziemiański. Logical Methods in Computer Science, 17(2), 2021. [ bib | DOI | http ]
 
Optimal and robust controller synthesis using energy timed automata with uncertainty. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Larsen, Nicolas Markey, and Pierre-Alain Reynier. Formal Aspects of Computing, 33(1):3--25, January 2021. [ bib | DOI | http | http ]
 
Tractable higher-order under-approximating AE extensions for non-linear systems. Eric Goubault and Sylvie Putot. IFAC-PapersOnLine, 54(5):235 -- 240, 2021. [ bib | DOI | http | http ]
 
The Liquidsoap book. Samuel Mimram and Romain Beauxis. 2021. [ bib | http ]
 
Computational descriptions of higher categories. Simon Forest. Theses, Institut Polytechnique de Paris, January 2021. [ bib | http | http ]
 
Reasoning about Uncertainties in Discrete-Time Dynamical Systems using Polynomial Forms. Sriram Sankaranarayanan, Yi Chou, Eric Goubault, and Sylvie Putot. In 2020 Conference on Neural Information Processing Systems (NeurIPS 2020), Online, France, December 2020. [ bib | http | http ]
 
A type theoretic approach to weak w-categories and related higher structures. Thibaut Benjamin. Theses, Institut Polytechnique de Paris, November 2020. [ bib | http | http ]
 
Directed Homotopy in Non-Positively Curved Spaces. Eric Goubault and Samuel Mimram. Logical Methods in Computer Science, July 2020. https://arxiv.org/abs/1908.06684. [ bib | DOI | http | http ]
 
Combining Zonotope Abstraction and Constraint Programming for Synthesizing Inductive Invariants. Bibek Kabi, Eric Goubault, Antoine Miné, and Sylvie Putot. In 13th International Workshop on Numerical Software Verification (NSV'20), volume 12549 of Lecture Notes in Computer Science, pages 221--238, Los Angeles, CA, United States, July 2020. Springer. [ bib | DOI | http | http ]
 
Synthesizing invariants : a constraint programming approach based on zonotopic abstraction. Bibek Kabi. Theses, Institut Polytechnique de Paris, June 2020. [ bib | http | http ]
 
A topological method for finding invariant sets of continuous systems. Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, and Sylvie Putot. Information and Computation, page 104581, March 2020. [ bib | DOI | http ]
 
PROGRAM = PROOF. Samuel Mimram. Self-published, 2020. [ bib | http ]
 
Robust under-approximations and application to reachability of non-linear control systems with disturbances. Eric Goubault and Sylvie Putot. IEEE Control Systems Letters, pages 1--1, 2020. [ bib | DOI | http ]
 
A Dynamic Epistemic Logic Analysis of the Equality Negation Task. Éric Goubault, Marijana Lazić, Jérémy Ledent, and Sergio Rajsbaum. Lecture Notes in Computer Science, 12005:53--70, January 2020. https://arxiv.org/abs/1909.03263. [ bib | DOI | http ]
 
Time-reversal homotopical properties of concurrent systems. Cameron Calk, Éric Goubault, and Philippe Malbos. Homology, Homotopy and Applications(HHA), 22(2):31--57, 2020. https://arxiv.org/abs/1812.05062. [ bib | DOI | http | http ]
 
PROGRAM = PROOF. Samuel Mimram. 2020. [ bib | http ]
 
A linear-time--branching-time spectrum for behavioral specification theories, Uli Fahrenberg and Axel Legay. January 2020. We propose behavioral specification theories for most equivalences in the linear-time--branching-time spectrum. [ bib | DOI | http | http ]
 
Geometric semantics for asynchronous computability. Jérémy Ledent. Theses, Université Paris Saclay (COmUE), December 2019. [ bib | http | http ]
 
Wait-Free Solvability of Equality Negation Tasks. Éric Goubault, Marijana Lazić, Jérémy Ledent, and Sergio Rajsbaum. In DISC, Budapest, Hungary, October 2019. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. [ bib | DOI | http ]
 
Reaching Out Towards Fully Verified Autonomous Systems. Sriram Sankaranarayanan, Souradeep Dutta, and Sergio Mover. In Reachability Problems, volume 11674 of Lecture Notes in Computer Science, pages 22--32, Brussels (Belgium), France, September 2019. Springer International Publishing. [ bib | DOI | http | http ]
 
A Sound Foundation for the Topological Approach to Task Solvability. Jérémy Ledent and Samuel Mimram. In 30th International Conference on Concurrency Theory (CONCUR 2019), 30th International Conference on Concurrency Theory (CONCUR 2019), Amsterdam, Netherlands, August 2019. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik GmbH, Wadern/Saarbruecken, Germany. [ bib | DOI | http | http ]
 
Directed topological complexity. Eric Goubault, Aurélien Sagnier, and Michael Färber. Journal of Applied and Computational Topology, August 2019. [ bib | http | http ]
 
Directed topological complexity. Eric Goubault, Michael Farber, and Aurélien Sagnier. Journal of Applied and Computational Topology, 4(1):11--27, August 2019. https://arxiv.org/abs/1812.09382. [ bib | DOI | http ]
 
Lifestate: Event-Driven Protocols and Callback Control Flow. Shawn Meier, Sergio Mover, and Bor-Yuh Evan Chang. In 33rd European Conference on Object-Oriented Programming, ECOOP 2019, volume 134, London, United Kingdom, July 2019. Schloss Dagstuhl -- Leibniz-Zentrum für Informatik. https://arxiv.org/abs/1906.04924. [ bib | DOI | http | http ]
 
A Sequent Calculus for Opetopes. Cédric Ho Thanh, Pierre-Louis Curien, and Samuel Mimram. In LICS 2019 - Logic in computer science 2019, Vancouver, Canada, June 2019. [ bib | http | http ]
 
Describing free ω-categories. Simon Forest and Samuel Mimram. In 2019 34th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), Vancouver, Canada, June 2019. [ bib | http | http ]
 
Unique decomposition of homogeneous languages and application to isothetic regions. Emmanuel Haucourt and Nicolas Ninin. Mathematical Structures in Computer Science, 29(5), May 2019. [ bib | DOI | http | http ]
 
ARCH-COMP19 Category Report: Hybrid Systems with Piecewise Constant Dynamics. Goran Frehse, Alessandro Abate, Dieky Adzkiya, Anna Becchi, Lei Bu, Alessandro Cimatti, Mirco Giacobbe, Alberto Griggio, Sergio Mover, Muhammad Syifa'Ul Mufid, Idriss Riouak, Stefano Tonetta, and Enea Zaffanella. In ARCH19. 6th International Workshop on Applied Verification of Continuous and Hybrid Systems, pages 1--13, Montreal (Canada), Canada, April 2019. [ bib | DOI | http ]
 
Syntactical approaches to opetopes. Pierre-Louis Curien, Cédric Ho Thanh, and Samuel Mimram. working paper or preprint, March 2019. [ bib | http | http ]
 
Suspension et fonctorialité: Deux opérations implicites utiles en catt. Thibaut Benjamin and Samuel Mimram. Journées Francophones des Langages Applicatifs 2019, page 45, 2019. [ bib ]
 
Violat: Generating Tests of Observational Refinement for Concurrent Objects. Michael Emmi and Constantin Enea. In Isil Dillig and Serdar Tasiran, editors, Computer Aided Verification - 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part II, volume 11562 of Lecture Notes in Computer Science, pages 534--546. Springer, 2019. [ bib | DOI | http ]
 
Inner and outer reachability for the verification of control systems. Eric Goubault and Sylvie Putot. In Proceedings of the 22th ACM International Conference on Hybrid Systems: Computation and Control, pages 11--22. ACM, 2019. [ bib | DOI | http ]
 
Directed topological complexity. Eric Goubault, Aurélien Sagnier, and Michael Färber. working paper or preprint, January 2019. [ bib | http | http ]
 
The geometry of conservative programs. Emmanuel Haucourt. Mathematical Structures in Computer Science, 28(10), November 2018. [ bib | http | http ]
 
Discrete Choice in the Presence of Numerical Uncertainties. Debasmita Lohar, Eva Darulova, Sylvie Putot, and Eric Goubault. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, 37(11):2381--2392, November 2018. [ bib | DOI | http ]
 
A paradigmatic approach of the architectural design of artificial complex systems. Jean-Luc Wippler. Theses, Université Paris Saclay (COmUE), November 2018. [ bib | http | http ]
 
Brief Announcement: On the Impossibility of Detecting Concurrency. Éric Goubault, Jérémy Ledent, and Samuel Mimram. In DISC, New Orleans, United States, October 2018. [ bib | DOI | http | http ]
 
Work in Progress: Reachability Analysis for Time-triggered Hybrid Systems, The Platoon Benchmark. François Bidet, Eric Goubault, and S. Putot. In FVPS, Hagenberg, Austria, August 2018. [ bib | http | http ]
 
Human Arm Motion Analysis Based on the Inverse Optimization Approach. Adina M Panchea, Nacim Ramdani, Vincent Bonnet, and Philippe Fraisse. In BioRob 2018 - 7th IEEE/RAS-EMBS International Conference on Biomedical Robotics and Biomechatronics, pages 1005--1010, Enschede, Netherlands, August 2018. IEEE. [ bib | DOI | http ]
 
Geometric and combinatorial views on asynchronous computability. Eric Goubault, Samuel Mimram, and Christine Tasson. Distributed Computing, 31(4):289--316, August 2018. [ bib | DOI | http | http ]
 
Higher-Dimensional Timed Automata. Uli Fahrenberg. In ADHS, Oxford, United Kingdom, July 2018. [ bib | http ]
 
Optimal and Robust Controller Synthesis : Using Energy Timed Automata with Uncertainty. Giovanni Bacci, Patricia Bouyer, Uli Fahrenberg, Kim Guldstrand Larsen, Nicolas Markey, and Pierre-Alain Reynier. In FM 2018 - International Symposium on Formal Methods, volume 10951 of LNCS, pages 203--221, Oxford, United Kingdom, July 2018. Springer. [ bib | DOI | http | http ]
 
Coherence of Gray Categories via Rewriting. Simon Forest and Samuel Mimram. In 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018), volume 108 of 3rd International Conference on Formal Structures for Computation and Deduction (FSCD 2018)., Oxford, United Kingdom, July 2018. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http | http ]
 
Model Checking Real-Time Systems. Patricia Bouyer, Uli Fahrenberg, Kim G. Larsen, Nicolas Markey, Joël Ouaknine, and James Worrell. In Handbook of model checking, pages 1001--1046. Springer-Verlag, April 2018. [ bib | DOI | http | http ]
 
Higher-Dimensional Timed Automata. Uli Fahrenberg. In Alessandro Abate, Antoine Girard, and Maurice Heemels, editors, 6th IFAC Conference on Analysis and Design of Hybrid Systems, ADHS 2018, Oxford, UK, July 11-13, 2018, volume 51 of IFAC-PapersOnLine, pages 109--114. Elsevier, 2018. [ bib | DOI | http ]
 
Mining framework usage graphs from app corpora. Sergio Mover, Sriram Sankaranarayanan, Rhys Braginton Pettee Olsen, and Bor-Yuh Evan Chang. In 2018 IEEE 25th International Conference on Software Analysis, Evolution and Reengineering (SANER), pages 277--289. IEEE, 2018. [ bib ]
 
Concurrent specifications beyond linearizability. Eric Goubault, Jérémy Ledent, and Samuel Mimram. In 22nd International Conference on Principles of Distributed Systems (OPODIS 2018), Hong Kong, China, 2018. [ bib | DOI | http ]
 
On the Impossibility of Detecting Concurrency. Eric Goubault, Jérémy Ledent, and Samuel Mimram. In 32nd International Symposium on Distributed Computing (DISC 2018), New Orleans, United States, 2018. [ bib | DOI | http | http ]
 
Reliable motion planner evaluated on a mobile robot. Elise Crépon, Adina M Panchea, and Alexandre Chapoutot. In International Workshop on New Frontiers in Computational Robotics, Laguna Hills, California, United States, January 2018. [ bib | DOI | http | http ]
 
A Reduced Product of Absolute and Relative Error Bounds for Floating-Point Analysis. Maxime Jacquemin, Sylvie Putot, and Franck Védrine. In Static Analysis 25th International Symposium, SAS 2018, Freiburg, Germany, August 29--31, 2018, Proceedings, volume 11002 of Lecture Notes in Computer Science, pages 223--242. 2018. [ bib | DOI | http | http ]
 
Inner and Outer Approximating Flowpipes for Delay Differential Equations. Eric Goubault, Sylvie Putot, and Lorenz Sahlmann. In Hana Chockler and Georg Weissenbacher, editors, 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, pages 523--541. Springer, 2018. [ bib | DOI | http | http ]
 
Reliable navigation planning implementation on a two-wheeled mobile robot, Elise Crépon, Adina M Panchea, and Alexandre Chapoutot. The Second IEEE International Conference on Robotic Computing, January 2018. Poster. [ bib | DOI | http | http ]
 
International Congress of Mathematicians, Aurélien Sagnier. 2018. Invited short communication. [ bib ]
 
Coherence of Gray categories via rewriting. Simon Forest and Samuel Mimram. To appear in the proceedings of FSCD, 2018. [ bib ]
 
Unique decomposition of homogeneous languages and application to isothetic regions. Emmanuel Haucourt. To appear in Mathematical Structures in Computer Science, 2018. [ bib ]
 
Geometric and combinatorial views on asynchronous computability. Éric Goubault, Samuel Mimram, and Christine Tasson. Distributed Computing, 2018. [ bib | DOI | http | .pdf ]
 
Compositionality for quantitative specifications. Uli Fahrenberg, Jan Kretínský, Axel Legay, and Louis-Marie Traonouez. Soft Comput., 22(4):1139--1158, 2018. [ bib | DOI | http ]
 
Inner and Outer Approximating Flowpipes for Delay Differential Equations. Eric Goubault, Sylvie Putot, and Lorenz Sahlmann. In 30th International Conference on Computer Aided Verification, Lecture Notes in Computer Science, 2018. To appear. [ bib ]
 
Higher-Dimensional Timed Automata. Uli Fahrenberg. In ADHS, 2018. To be published. [ bib ]
 
Reliable motion plannning for a mobile robot. Élise Crépon, Adina Marlena Panchea, and Alexandre Chapoutot. In 2018 Second IEEE International Conference on Robotic Computing (IRC), pages 413--418. IEEE, 2018. [ bib | DOI | http ]
 
Reliable navigation planning implementation on a two-wheeled mobile robot. Élise Crépon, Adina Panchea, and Alexandre Chapoutot. In The Second IEEE International Conference on Robotic Computing, pages 173--174, 2018. [ bib | DOI | http ]
 
Trace Checking for Dynamic Software Product Lines. Rafael Olaechea, Joanne Atlee, Axel Legay, and Uli Fahrenberg. In SEAMS@ICSE, 2018. To be published. [ bib ]
 
Optimal and Robust Controller Synthesis Using Energy Timed Automata with Uncertainty. Giovanni Bacci, Kim G. Larsen, Nicolas Markey, Patricia Bouyer-Decitre, Uli Fahrenberg, and Pierre-Alain Reynier. In FM, 2018. To be published. [ bib ]
 
Improving Validated Computation of Viability Kernels. Benjamin Martin and Olivier Mullier. In Proceedings of the 21st International Conference on Hybrid Systems: Computation and Control (Part of CPS Week), HSCC '18, pages 227--236, New York, NY, USA, 2018. ACM. [ bib | DOI | http ]
 
The geometry of conservative programs. Emmanuel Haucourt. Mathematical Structures in Computer Science, pages 1--47, October 2017. Also available on HAL. [ bib | http ]
 
Formal Verification of Station Keeping Maneuvers for a Planar Autonomous Hybrid System. Benjamin Martin, Khalil Ghorbal, Eric Goubault, and Sylvie Putot. In Lukas Bulwahn, Maryam Kamali, and Sven Linker, editors, FVAV 2017 - 1st Formal Verification of Autonomous Vehicles Workshop, volume 257 of FVAV@iFM 2017, pages 91--104, Turin, Italy, September 2017. [ bib | DOI | http | .pdf ]
 
A type-theoretical definition of weak ω-categories. Eric Finster and Samuel Mimram. In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1--12. IEEE, 2017. [ bib ]
 
Factorisation des régions cubiques et application à la concurrence. Nicolas Ninin. PhD thesis, École Polytechnique, 2017. [ bib ]
 
Directed homotopy and homology theories for geometric models of true concurrency. Jérémy Dubut. PhD thesis, ENS Paris-Saclay and École Polytechnique, 2017. [ bib ]
 
Applied and Computational Algebraic Topology spring school, Samuel Mimram. 2017. Course. [ bib ]
 
9th International School on Rewriting, Samuel Mimram. 2017. Course. [ bib ]
 
SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings. Bernhard Steffen, Christel Baier, Mark van den Brand, Johann Eder, Mike Hinchey, and Tiziana Margaria, editors, volume 10139 of Lecture Notes in Computer Science. Springer, 2017. [ bib | DOI | http ]
 
Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017. Ahmed Seffah, Birgit Penzenstadler, Carina Alves, and Xin Peng, editors. ACM, 2017. [ bib | DOI | http ]
 
5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017. IEEE, 2017. [ bib | http ]
 
Directed homology theories and Eilenberg-Steenrod axioms. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. Applied Categorical Structures, 25(5):775--807, 2017. [ bib ]
 
Coherent Presentations of Monoidal Categories. Pierre-Louis Curien and Samuel Mimram. Logical Methods in Computer Science, 13(3), 2017. [ bib | DOI | arXiv | http | .pdf ]
 
The geometry of conservative programs. Emmanuel Haucourt. Mathematical Structures in Computer Science, pages 1--47, 2017. [ bib ]
 
Inverse Parametric Optimization in a Set-Membership Error-in-Variables Framework. Adina M Panchea and Nacim Ramdani. IEEE Transactions on Automatic Control, 62(12):6536--6543, 2017. [ bib ]
 
An Algebraic Approach to Energy Problems II -- The Algebra of Energy Functions. Zoltán Ésik, Uli Fahrenberg, Axel Legay, and Karin Quaas. Acta Cybern., 23(1):229--268, 2017. [ bib | DOI | http ]
 
An Algebraic Approach to Energy Problems I -- *-Continuous Kleene ω-Algebras. Zoltán Ésik, Uli Fahrenberg, Axel Legay, and Karin Quaas. Acta Cybern., 23(1):203--228, 2017. [ bib | DOI | http ]
 
From Timed Automata to Stochastic Hybrid Games Model Checking, Synthesis, Performance Analysis and Machine Learning. Kim G. Larsen, Uli Fahrenberg, and Axel Legay. In Dependable Software Systems Engineering, pages 60--103. 2017. [ bib | DOI | http ]
 
A certified Branch & Bound approach for reliability-based optimization problems. Benjamin Martin, Marco Correia, and Jorge Cruz. Journal of Global Optimization, pages 1--24, 2017. [ bib | DOI | http ]
 
A Type-Theoretical Definition of Weak ω-Categories. Eric Finster and Samuel Mimram. In 2017 32nd Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), pages 1--12, 2017. [ bib | DOI | arXiv | .pdf ]
 
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. Eric Goubault and Sylvie Putot. In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, HSCC 2017, Pittsburgh, PA, USA, April 18-20, 2017, pages 1--10, 2017. [ bib ]
 
A cartesian-closed category for higher-order model checking. Martin Hofmann and Jeremy Ledent. In 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, LICS 2017, Reykjavik, Iceland, June 20-23, 2017, pages 1--12, 2017. [ bib ]
 
Forward Inner-Approximated Reachability of Non-Linear Continuous Systems. Eric Goubault and Sylvie Putot. In Proceedings of the 20th International Conference on Hybrid Systems: Computation and Control, pages 1--10. ACM, 2017. [ bib ]
 
A Fast Method to Compute Disjunctive Quadratic Invariants of Numerical Programs. Xavier Allamigeon, Stéphane Gaubert, Eric Goubault, Sylvie Putot, and Nikolas Stott. In Proceedings of International Conference on Embedded Software, volume 16 of ACM Transactions on Embedded Computing Systems (TECS), page 166, 2017. [ bib ]
 
Extended reliable robust motion planners. A. M. Panchea, A. Chapoutot, and D. Filliat. In 2017 IEEE 56th Annual Conference on Decision and Control (CDC), pages 1112--1117, 2017. [ bib | DOI ]
 
BoxRRT* -- A Reliable Motion Planner. Adina Panchea, Alexandre Chapoutot, and David Filliat. In 10th Summer Workshop on Interval Methods, and 3rd International Symposium on Set Membership-Applications, Reliability and Theory, 2017. [ bib ]
 
A Linear-Time-Branching-Time Spectrum of Behavioral Specification Theories. Uli Fahrenberg and Axel Legay. In SOFSEM 2017: Theory and Practice of Computer Science - 43rd International Conference on Current Trends in Theory and Practice of Computer Science, Limerick, Ireland, January 16-20, 2017, Proceedings, pages 49--61, 2017. [ bib | DOI | http ]
 
Compatibility flooding: measuring interaction of services interfaces. Meriem Ouederni, Uli Fahrenberg, Axel Legay, and Gwen Salaün. In Proceedings of the Symposium on Applied Computing, SAC 2017, Marrakech, Morocco, April 3-7, 2017, pages 1334--1340, 2017. [ bib | DOI | http ]
 
Featured Weighted Automata. Uli Fahrenberg and Axel Legay. In 5th IEEE/ACM International FME Workshop on Formal Methods in Software Engineering, FormaliSE@ICSE 2017, Buenos Aires, Argentina, May 27, 2017, pages 51--57, 2017. [ bib | DOI | http ]
 
Binary level static analysis. Adel Djoudi. PhD thesis, École Polytechnique, 2016. [ bib ]
 
Une méthode topologique pour la recherche d’ensembles invariants de systèmes continus et à communtation. Sameh Mohamed. PhD thesis, École Polytechnique and ENS Paris-Saclay, 2016. [ bib ]
 
The directed homotopy hypothesis. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. In LIPIcs-Leibniz International Proceedings in Informatics, volume 62. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016. [ bib ]
 
Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016. Hong Mei, editor. ACM, 2016. [ bib | http ]
 
Directed Algebraic Topology and Concurrency. Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, and Martin Raussen. Springer International Publishing, 2016. [ bib | DOI | http ]
 
Directed Algebraic Topology and Concurrency. Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, and Martin Raussen. Springer International Publishing, 2016. [ bib | DOI | http ]
 
Some Invariants of Directed Topology towards a Static Analyzer Dealing with Fine-Grain Concurrency, Emmanuel Haucourt. 2016. Habilitation à diriger des recherches. [ bib ]
 
Geometric Models of Concurrent Computations, Samuel Mimram. 2016. Habilitation à diriger des recherches. [ bib ]
 
Directed homotopy in non-positively curved spaces. Éric Goubault and Samuel Mimram. Submitted, 2016. [ bib ]
 
Contract-Based Requirement Modularization via Synthesis of Correct Decompositions. Thi Thieu Hoa Le, Roberto Passerone, Uli Fahrenberg, and Axel Legay. ACM Trans. Embedded Comput. Syst., 15(2):33:1--33:26, 2016. [ bib | DOI | http ]
 
A tag contract framework for modeling heterogeneous systems. Thi Thieu Hoa Le, Roberto Passerone, Ulrich Fahrenberg, and Axel Legay. Sci. Comput. Program., 115-116:225--246, 2016. [ bib | DOI | http ]
 
Constraint propagation using dominance in interval Branch & Bound for nonlinear biobjective optimization. Benjamin Martin, Alexandre Goldsztejn, Laurent Granvilliers, and Christophe Jermann. European Journal of Operational Research, 260(3):934 -- 948, 2016. [ bib | DOI | http ]
 
Homological Computations for Term Rewriting Systems. Philippe Malbos and Samuel Mimram. In Delia Kesner and Brigitte Pientka, editors, 1st International Conference on Formal Structures for Computation and Deduction (FSCD 2016), volume 52 of Leibniz International Proceedings in Informatics (LIPIcs), pages 27:1--27:17, Dagstuhl, Germany, 2016. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http | .pdf ]
 
A Topological Method for Finding Invariant Sets of Switched Systems. Laurent Fribourg, Eric Goubault, Sylvie Putot, and Sameh Mohamed. In Proceedings of the 19th International Conference on Hybrid Systems: Computation and Control, pages 61--70. ACM, 2016. [ bib ]
 
Recovering high-level conditions from binary programs. Adel Djoudi, Sebastien Bardin, and Éric Goubault. In International Symposium on Formal Methods, pages 235--253. Springer, 2016. [ bib ]
 
Bisimulations and unfolding in P-accessible categorical models. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. In LIPIcs-Leibniz International Proceedings in Informatics, volume 59. Schloss Dagstuhl-Leibniz-Zentrum fuer Informatik, 2016. [ bib ]
 
A scalable algebraic method to infer quadratic invariants of switched systems. Xavier Allamigeon, Stéphane Gaubert, Nikolas Stott, Eric Goubault, and Sylvie Putot. In Proceedings of the ACM SIGBED International Conference on Embedded Software EMSOFT 2015, volume 15 of ACM Transactions on Embedded Computing Systems (TECS), page 69. ACM, 2016. [ bib ]
 
Uncertainty propagation using probabilistic affine forms and concentration of measure inequalities. Olivier Bouissou, Eric Goubault, Sylvie Putot, Aleksandar Chakarov, and Sriram Sankaranarayanan. In International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pages 225--243. Springer, 2016. [ bib ]
 
Long-term average cost in featured transition systems. Rafael Olaechea, Uli Fahrenberg, Joanne M. Atlee, and Axel Legay. In Proceedings of the 20th International Systems and Software Product Line Conference, SPLC 2016, Beijing, China, September 16-23, 2016, pages 109--118, 2016. [ bib | DOI | http ]
 
A zonotopic framework for functional abstractions. Eric Goubault and Sylvie Putot. Formal Methods in System Design, 47(3):302--360, 2015. [ bib | DOI | http ]
 
From Geometric Semantics to Asynchronous Computability. Éric Goubault, Samuel Mimram, and Christine Tasson. In Yoram Moses, editor, Distributed Computing, volume 9363 of Lecture Notes in Computer Science, pages 436--451. Springer Berlin Heidelberg, 2015. [ bib | DOI | http | .pdf ]
 
Natural homology. Jérémy Dubut, Eric Goubault, and Jean Goubault-Larrecq. In International Colloquium on Automata, Languages, and Programming, pages 171--183. Springer, 2015. [ bib ]
 
Presenting Finite Posets. Samuel Mimram. In Aart Middeldorp and Femke van Raamsdonk, editors, Proceedings 8th International Workshop on Computing with Terms and Graphs, Vienna, Austria, July 13, 2014, volume 183 of Electronic Proceedings in Theoretical Computer Science, pages 1--17. Open Publishing Association, 2015. [ bib | DOI | .pdf ]
 
Presenting a Category Modulo a Rewriting System. Florence Clerc and Samuel Mimram. In Maribel Fernández, editor, 26th International Conference on Rewriting Techniques and Applications (RTA 2015), volume 36 of Leibniz International Proceedings in Informatics (LIPIcs), pages 89--105, Dagstuhl, Germany, 2015. Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik. [ bib | DOI | http | .pdf ]
 
A topological method for finding invariant sets of continuous systems. Laurent Fribourg, Eric Goubault, Sameh Mohamed, Marian Mrozek, and Sylvie Putot. In International Workshop on Reachability Problems, pages 63--75. Springer, 2015. [ bib ]
 
Introduction to Directed Algebraic Topology with a view towards modelling Concurrency, Emmanuel Haucourt. 2014. Course at Mathematical Structures of Computation conference. [ bib ]
 
Iterated Chromatic Subdivisions are Collapsible. Éric Goubault, Samuel Mimram, and Christine Tasson. Applied Categorical Structures, pages 1--42, 2014. [ bib | DOI | http | .pdf ]
 
Inner approximated reachability analysis. Eric Goubault, Olivier Mullier, Sylvie Putot, and Michel Kieffer. In Proceedings of the 17th international conference on Hybrid systems: computation and control, pages 163--172. ACM, 2014. [ bib ]
 
The Boolean algebra of cubical areas as a tensor product in the category of semilattices with zero. E Haucourt and N Ninin. In Proceedings of the 7th Interaction and Concurrency Experience (ICE 2014), Electronic Proceedings in Theoretical Computer Science, 2014. [ bib ]
 
Finding non-polynomial positive invariants and Lyapunov functions for polynomial systems through Darboux polynomials. Eric Goubault, Jacques-Henri Jourdan, Sylvie Putot, and Sriram Sankaranarayanan. In American Control Conference (ACC), 2014, pages 3571--3578. IEEE, 2014. [ bib ]
 
Towards 3-Dimensional Rewriting Theory. Samuel Mimram. Logical Methods in Computer Science, 10(1):1--47, 2014. [ bib | DOI | arXiv ]
 
Inner approximated reachability analysis. Eric Goubault, Olivier Mullier, Sylvie Putot, and Michel Kieffer. In 17th International Conference on Hybrid Systems: Computation and Control (part of CPS Week), HSCC'14, Berlin, Germany, April 15-17, 2014, pages 163--172. ACM, 2014. [ bib ]
 
Analyse statique de programmes et systèmes numériques. Sylvie Putot. Technique et Science Informatiques, 33(1-2):159--162, 2014. [ bib ]
 
The Boolean Algebra of Cubical Areas as a Tensor Product in the Category of Semilattices with Zero. Emmanuel Haucourt and Nicolas Ninin. In 7th Interaction and Concurrency Experience (ICE 2014), Electronic Proceedings in Theoretical Computer Science, 2014. [ bib ]
 
Iterated Chromatic Subdivisions are Collapsible. Éric Goubault, Samuel Mimram, and Christine Tasson. Applied Categorical Structures, pages 1--42, 2014. [ bib | DOI | http ]
 
Homotopy Type Theory: Univalent Foundations of Mathematics. The Univalent Foundations Program. https://homotopytypetheory.org/book, Institute for Advanced Study, 2013. [ bib ]
 
Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT, Éric Goubault. 2013. Invited conference at SAS 2013. [ bib ]
 
General Inner Approximation of Vector-valued Functions. Olivier Mullier, Eric Goubault, Michel Kieffer, and Sylvie Putot. Reliable Computing, 18:117--143, 2013. [ bib ]
 
Static analysis of programs with imprecise probabilistic inputs. Assale Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, and Sylvie Putot. In Working Conference on Verified Software: Theories, Tools, and Experiments, pages 22--47. Springer, 2013. [ bib ]
 
Robustness analysis of finite precision implementations. Eric Goubault and Sylvie Putot. In Asian Symposium on Programming Languages and Systems, pages 50--57. Springer, 2013. [ bib ]
 
A Geometric View of Partial Order Reduction. Éric Goubault, Tobias Heindel, and Samuel Mimram. Electronic Notes in Theoretical Computer Science, 298(0):179--195, 2013. Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. [ bib | DOI | http ]
 
A Categorical Theory of Patches. Samuel Mimram and Cinzia Di Giusto. Electronic Notes in Theoretical Computer Science, 298(0):283--307, 2013. Proceedings of the Twenty-ninth Conference on the Mathematical Foundations of Programming Semantics, MFPS XXIX. [ bib | DOI | arXiv | http ]
 
Robustness Analysis of Finite Precision Implementations. Eric Goubault and Sylvie Putot. In Programming Languages and Systems - 11th Asian Symposium, APLAS 2013, Melbourne, VIC, Australia, December 9-11, 2013. Proceedings, volume 8301 of Lecture Notes in Computer Science, pages 50--57. Springer, 2013. [ bib ]
 
Static Analysis of Programs with Imprecise Probabilistic Inputs. Assale Adje, Olivier Bouissou, Jean Goubault-Larrecq, Eric Goubault, and Sylvie Putot. In VSTTE, 2013. [ bib ]
 
General Inner Approximation of Vector-Valued Functions. E. Goubault, M. Kieffer, O. Mullier, and S. Putot. Reliable Computing, 18:117--143, 2013. [ bib ]
 
HySon: Set-based simulation of hybrid systems. O. Bouissou, A. Chapoutot, and S. Mimram. In Rapid System Prototyping (RSP), 2012 23rd IEEE International Symposium on, pages 79--85, 2012. [ bib | DOI ]
 
Formal Relationships Between Geometrical and Classical Models for Concurrency. Éric Goubault and Samuel Mimram. Electronic Notes in Theoretical Computer Science, 283(0):77--109, 2012. Proceedings of the workshop on Geometric and Topological Methods in Computer Science (GETCO). [ bib | DOI | arXiv | http ]
 
Trace Spaces: An Efficient New Technique for State-Space Reduction. Lisbeth Fajstrup, Éric Goubault, Emmanuel Haucourt, Samuel Mimram, and Martin Raussen. In Helmut Seidl, editor, Programming Languages and Systems, volume 7211 of Lecture Notes in Computer Science, pages 274--294. Springer Berlin Heidelberg, 2012. [ bib | DOI | arXiv | http ]
 
Interactive Analysis in Fluctuat, E. Goubault, T. Le Gall, S. Putot, and F. Védrine. 2012. [ bib ]
 
Design of fixed-point embedded systems (DEFIS) French ANR project. Daniel Menard, 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, and Christophe Clienti. In 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. IEEE, 2012. [ bib ]
 
A generalization of p-boxes to affine arithmetic. Olivier Bouissou, Eric Goubault, Jean Goubault-Larrecq, and Sylvie Putot. Computing, 94(2-4):189--201, 2012. [ bib ]
 
Modular static analysis with zonotopes. E. Goubault, S. Putot, and F. Vedrine. In SAS'12, volume 7460 of LNCS, pages 24--40. Springer, 2012. [ bib ]
 
An accurate join for zonotopes, preserving affine input/output Relations. E. Goubault, T. Le Gall, and S. Putot. ENTCS, 287:65--76, 2012. NSAD'12. [ bib ]
 
Streams, d-Spaces and their Fundamental Categories. Emmanuel Haucourt. Electronic Notes in Theoretical Computer Science, 283:111–151, 2012. [ bib | DOI ]
 
Rigorous Evidence of Freedom from Concurrency Faults in Industrial Control Software. Richard Bonichon, Géraud Canet, Loïc Correnson, Eric Goubault, Emmanuel Haucourt, Michel Hirschowitz, Sébastien Labbé, and Samuel Mimram. In Francesco Flammini, Sandro Bologna, and Valeria Vittorini, editors, Computer Safety, Reliability, and Security, volume 6894 of Lecture Notes in Computer Science, pages 85--98. Springer Berlin Heidelberg, 2011. [ bib | DOI | http ]
 
Superellipsoids: a generalization of the interval, zonotope and ellipsoid domains, E. Goubault and S. Putot. 2011. [ bib ]
 
Static analysis of finite precision computations. E. Goubault and S. Putot. In Proceedings of VMCAI'11, 12th Conference on Verification, Model Checking, and Abstract Interpretation, volume 6538 of Lecture Notes in Computer Science, pages 232--247. Springer, 2011. [ bib ]
 
A logical product approach to zonotope intersection. K. Ghorbal, E. Goubault, and S. Putot. In CAV'10, volume 6174 of LNCS, 2010. [ bib ]
 
HybridFluctuat: a static analyzer of numerical programs within a continuous environment. O. Bouissou, E. Goubault, S. Putot, K. Tekkal, and F. Védrine. In Proceedings of CAV'09, Conference on Computer Aided Verification, volume 5643 of Lecture Notes in Computer Science, pages 620--626. LNCS, Springer, 2009. [ bib ]
 
The zonotope abstract domain Taylor1+. K. Ghorbal, E. Goubault, and S. Putot. In CAV'09, volume 5643 of LNCS, pages 627--633. Springer, 2009. [ bib ]
 
Towards an industrial use of FLUCTUAT on safety-critical avionics software. D. Delmas, E. Goubault, S. Putot, J. Souyris, K. Tekkal, and F. Védrine. In FMICS, 2009. [ bib ]
 
A zonotopic framework for functional abstractions. E. Goubault and S. Putot. CoRR, abs/0910.1763, 2009. [ bib ]
 
Perturbed affine arithmetic for invariant computation in numerical program analysis. E. Goubault and S. Putot. CoRR, abs/0807.2961, 2008. [ bib ]
 
Static analysis of the accuracy in control systems: principles and experiments. E. Goubault, S. Putot, P. Baufreton, and J. Gassino. In Proceedings of FMICS'07, 12th Workshop on Formal Methods for Industrial Critical Systems, volume 4916 of Lecture Notes in Computer Science, pages 3--20. Springer, 2007. [ bib ]
 
Under-Approximations of Computations in Real Numbers Based on Generalized Affine Arithmetic. E. Goubault and S. Putot. In SAS, pages 137--152, 2007. [ bib ]
 
Some future challenges in the validation of control systems. E. Goubault, M. Martel, and S. Putot. In Proceedings of ERTS'06, Embedded Real-Time Systems, 2006. [ bib ]
 
Static Analysis of Numerical Algorithms. E. Goubault and S. Putot. In SAS'06, Seoul, volume 4134 of LNCS, pages 18--34, 2006. [ bib ]
 
Categories of Components and Loop-free Categories. Emmanuel Haucourt. Theory and Applications of Categories, 16(27):736--770, 2006. [ bib ]
 
Weakly relational domains for floating-point computation analysis. E. Goubault and S. Putot. In Proceedings of NSAD'05, Workshop on Numerical and Symbolic Abstract Domains, 2005. [ bib ]
 
A policy iteration algorithm for computing fixed points in static analysis of programs. A. Costan, S. Gaubert, E. Goubault, M. Martel, and S. Putot. In CAV'05, 2005. [ bib ]
 
Higher operads, higher categories. Tom Leinster, volume 298. Cambridge University Press, 2004. [ bib ]
 
Static analysis-based validation of floating-point computations. E. Goubault, M. Martel, and S. Putot. In Dagstuhl Seminar Numerical Software with Result Verification, LNCS, volume 2991 of Lecture Notes in Computer Science, pages 306--313. Springer, 2003. [ bib ]
 
Asserting the precision of floating-point computations: a simple abstract interpreter. E. Goubault, M. Martel, and S. Putot. In Proceedings of ESOP'02, 11st European Symposium on Programming, volume 2305 of Lecture Notes in Computer Science, pages 209--212. Springer, 2002. [ bib ]
 
The RINO library: robust inner and outer reachability, Sylvie Putot. [ bib | http ]
 
Cosynus GitHub repository, Cosynus members. [ bib | http ]