Liste des publications relatives aux projets financés par DigiCosme
2020
Thomas Chatain, Stefan Haar, Juraj Kolčák, Loïc Paulevé & Aalok Thakkar, Concurrency in Boolean networks, Natural Computing volume 19, pages 91–109 (2020)
Georg Zetzsche, The emptiness problem for valence automata over graph monoids, Information and Computation, available online, April 2020 https://doi.org/10.1016/j.ic.2020.104583
2019
Sylvie Boldo, Florian Faissole, and Alexandre Chapoutot
Round-off error and exceptional behavior analysis of explicit Runge-Kutta methods.
IEEE Transactions on Computers, 8 pages, , April 2019.
Lucien Etienne, Antoine Girard, Luca Greco, Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems.
Automatica, 100:388-395, 2019.
Kazumune Hashimoto, Adnane Saoud, Masako Kishida, Toshimitsu Ushio, Dimos V. Dimarogonas, A Symbolic Approach to the Self-Triggered Design for Networked Control Systems.
IEEE Control Systems Letters, 3(4), 1050-1055, 2019.
Florian Faissole
Formalisation en Coq des erreurs d’arrondi de méthodes de Runge-Kutta pour les systèmes matriciels.
In 18èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels, pages 19-26, Toulouse, France, June 2019.
Florian Faissole, George A. Constantinides, and David Thomas.
Formalizing Loop-Carried Dependencies in Coq for High-Level Synthesis.
Poster session of 27th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, San Diego, United States of America, April 2019.
Da-Jung Cho and Yo-Sub Han and Hwee Kim,
Bound-decreasing duplication system.
Theoretical Computer Science,2019.
Da-Jung Cho and Yo-Sub Han and Kai Salomaa and Taylor J. Smith,
Site-directed insertion: Language equations and decision problems.
Theoretical Computer Science, 2019.
Daniel Ohlinger, Jurgen Maier, Matthias Fugger and Ulrich Schmid,
The Involution Tool for Accurate Digital Timing and Power Analysis.
29th International Symposium on Power and Timing Modeling, Optimization and Simulation, PATMOS, 2019.
Guillaume Burel, Guillaume Bury, Raphaël Cauderlier, David Delahaye, Pierre Halmagrand and Olivier Hermant.
First-order automated reasoning with theories: When deduction modulo theory meets practice.
Journal of Automated Reasoning, 2019.
Matthias Függer, Robert Najvirt, Thomas Nowak, and Ulrich Schmid.
A faithful binary circuit model.
IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems, August 2019.
Hugues Mandon, Cui Su, Jun Pang, Soumya Paul, Stefan Haar and Loïc Paulevé.
Algorithms for the Sequential Reprogramming of Boolean Networks.
IEEE/ACM Trans. Comput. Biology Bioinform. 16(5): 1610-1619, 2019.
M. De Brecht, J. Goubault-Larrecq, X. Jia and Z. Lyu.
Domain-complete and lcs-complete spaces.
Electronic Notes in Theoretical Computer Science, 345:3–35, 2019.
D. Chistikov, W. Czerwiski, P. Hofman, M. Pilipczuk and M. Wehar.
Shortest paths in one-counter systems.
Logical Methods in Computer Science, 15(1):19:1–19:28, 2019.
J. Goubault-Larrecq.
Fooling the parallel or tester with probability 8/27.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11760 LNCS:313–328, 2019.
J. Goubault-Larrecq and X. Jia.
Algebras of the extended probabilistic powerdomain monad.
Electronic Notes in Theoretical Computer Science, 345:37–61, 2019.
J. Kolk, D. Afrnek, S. Haar, and L. Paulev.
Parameter space abstraction and unfolding semantics of discrete regulatory networks.
Theoretical Computer Science, 765:120–144, 2019.
S. Haar, J. Kolk, and L. Paulev.
Combining refinement of parametric models with goal-oriented reduction of dynamics.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 11388 LNCS:555–576, 2019
Saoud, E. Ivanova and A. Girard.
Efficient Synthesis for Monotone Transition Systems and Directed Safety Specifications.
IEEE Conference on Decision and Control, Nice, France, 2019.
D. Zonetti, A. Saoud, A. Girard and L. Fribourg.
A Symbolic Approach to Voltage Stability and Power Sharing in Time-varying DC Microgrids.
European Control Conference, Naples, Italy, 2019.
D. Zonetti, A. Saoud, A. Girard and L. Fribourg.
Decentralized Monotonicity-based Voltage Control of DC Microgrids with ZIP Loads.
IFAC Workshop on Distributed Estimation and Control in Networked Systems, Chicago, USA, 2019.
Hugues Mandon, Cui Su, Stefan Haar, Jun Pang, and Loïc Paulevé.
Sequential Reprogramming of Boolean Networks Made Practical.
Proceedings of the 17th Conference on Computational Methods in System Biology (CMSB’19), volume 11773 of Lecture Notes in Bioinformatics, pages 3–19, Trieste, Italy, September 2019.
Guillaume Burel and Frédéric Blanqui.
Ekstrakto, a tool to reconstruct Dedukti proof from TSTP files.
PxTP, to appear in EPTCS 301, 2019.
Frédéric Blanqui, Guillaume Genestier and Olivier Hermant.
Dependency Pairs Termination in Dependent Type Theory Modulo Rewriting.
FSCD, 2019
Z. Kader, A. Saoud and A. Girard.
Safety controller design for incrementally stable switched systems using event-based symbolic models.
Proc. 18th European Control Conference (ECC), pages 903-909, 2019
A. Eqtami and A. Girard.
A quantitative approach on assume-guarantee contracts for safety of interconnected systems.
Proc. 18th European Control Conference (ECC), pages 536–541, 2019.
2018
Zohra Kader, Antoine Girard and Adnane Saoud,
Symbolic models for incrementally stable switched systems with aperiodic time sampling.
IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.
Sylvie Boldo, Florian Faissole, Vincent Tourneur
A Formally-Proved Algorithm to Compute the Correct Average of Decimal Floating-Point Numbers.
25th IEEE Symposium on Computer Arithmetic, Jun 2018, Amherst, MA, United States
Sophie Tarbouriech, Antoine Girard, Laurentiu Hetel (Eds.).
Control subject to Computational and Communication Constraints.
Vol. 475 in Lecture Notes in Control and Information Sciences, Springer, 2018
Pierre-Jean Meyer, Antoine Girard and Emmanuel Witrant,
Compositional abstraction and safety synthesis using overlapping symbolic models.
IEEE Transactions on Automatic Control, 63(6):1835-1841, 2018.
Lucien Etienne, Antoine Girard, LucaGreco,
Stability and stabilizability of discrete-time dual switching systems with application to sampled-data systems.
submitted, 2018.
Juraj Kolčák, David Šafránek, Stefan Haar and Loïc Paulevé
Parameter Space Abstraction and Unfolding Semantics of Discrete Regulatory Networks.
HAL, 15 mars 2018
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaïdi,
MANETs Interoperability: Current Trends and Open Research.
In The 32nd International Conference on Advanced Information Networking and Applications Workshops, pp 481-487, Krakow, Poland, May 16-18, 2018
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi,
A Formal Consensus-based Distributed MonitoringApproach for MANET.
Elsevier Computer Networks, Submitted June, 2018.
Florian Faissole
Preuves constructives de programmes probabilistes.
Bas Spitters JFLA 2018,
Florian Faissole
29èmes Journées Francophones des Langages Applicatifs.
Jan 2018, Banyuls-sur-Mer, France, 2018
Aurélien Naldi, Céline Hernandez, Nicolas Levy, Gautier Stoll, Pedro Monteiro, Claudine Chaouiya, Tomáš Helikar, Andrei Zinovyev, Laurence Calzone, Sarah Cohen-Boulakia, Denis Thieffry, Loïc Paulevé
The CoLoMoTo Interactive Notebook: Accessible and Reproducible Computational Analyses for Qualitative Biological Networks.
HAL, 19 juin 2018
Antoine Girard, Laurentiu Hetel (Eds)
Control subject to Computational and Communication Constraints.
Vol. 475 in Lecture Notes in Control and Information Sciences, Springer, 2018.
Alina Eqtami and Antoine Girard,
Safety control, a quantitative approach.
IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.
Adnane Saoud, Antoine Girard,
Optimal multirate sampling in symbolic models for incrementally stable switched systems.
Automatica To appear, 2018
Adnane Saoud, Antoine Girard, Laurent Fribourg,
Contract based design of symbolic controllers for interconnected multiperiodic sampled-data systems.
IEEE Conference on Decision and Control, Miami, USA, 2018.
Adnane Saoud, Pushpak Jagtap, Majid Zamani and Antoine Girard,
Compositional abstraction-based synthesis for cascade discrete-time control systems.
IFAC Conference on Analysis and Design of Hybrid Systems, Oxford, UK, 2018.
Adnane Saoud, Antoine Girard and Laurent Fribourg,
On the composition of discrete and continuous-time assume-guarantee contracts for invariance.
European Control Conference, Limassol, Cyprus, 2018. (Finalist of the Best Student Paper Award).
2017
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
A Coq formal proof of the Lax–Milgram theorem.
6th ACM SIGPLAN Conference on Certified Programs and Proofs ,Jan 2017, Paris, France.
Sylvie Boldo, Florian Faissole, Alexandre Chapoutot
Round-off Error Analysis of Explicit One-Step Numerical Integration Methods.
24th IEEE Symposium on Computer , Jul 2017 Arithmetic, , London, United Kingdom
Sylvie Boldo, François Clément, Florian Faissole, Vincent Martin, Micaela Mayero
Preuve formelle du théorème de Lax–Milgram.
16èmes journées Approches Formelles dans l’Assistance au Développement de Logiciels, Jun 2017, Montpellier, France.
Stefan Haar, Salim Perchy, and Frank Valencia.
D-spaces: Implementing declarative semantics for spatially structured information.
IEEE 11th International Conference on Semantic Computing, IEEE ICSC 2017, 2017.
Stanislav Böhm, Stefan Göller, Simon Halfon and Piotrek Hofman
On Büchi one-counter automata.
In STACS’,17
Simon Halfon and P. Schnoebelen and Georg Zetzsche
Decidability, Complexity, and Expressiveness of First-Order Logic Over the Subword
Ordering.
In LICS’,17
Mohammad Al Khatib, Antoine Girard, Thao Dang,
Scheduling of embedded controllers under timing contracts. Hybrid Systems: Computation and Control.
Pittsburgh, USA, 2017.
Michell Guzman, Stefan Haar, Salim Perchy, Camilo Rueda, and Frank D. Valencia.
Belief, knowledge, lies and other utterances in an algebra for space and extrusion.
Journal of Logical and Algebraic Methods in Programming, JLAMP, 86:107–133, 2017.
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi,
Monitoring Dynamic Mobile Ad-hoc Networks: A Fully Distributed Hybrid Architecture.
The 31st IEEE International Conference on Advanced Information Networking and Applications,2017.
Jose Alfredo Alvarez Aldana, Stephane Maag, Fatiha Zaidi,
DHYMON: a continuous Decentralized HYBrid MONitoring architecture for MANETs.
The 9th IEEE Latin-American Conference on Communications Workshop, Los Alamitos : IEEE Computer Society, 08-10 november 2017, Guatemala City, Guatemala, 2017
Florian Faissole, Bas Spitters
Synthetic topology in HoTT for probabilistic programming.
The Third International Workshop on Coq for Programming Languages (CoqPL 2017), Jan
2017, Paris, France.
Florian Faissole
Formalization and closedness of finite dimensional subspaces SYNASC.
19th International Symposium on Symbolic and Numeric Algorithms for Scientific
Computing, ,Sep 2017,
Arnaud Carayol and Stefan Göller
On long words avoiding Zimin patterns.
In STACS’,17
Adnane Saoud and Antoine Girard,
Multirate symbolic models for incrementally stable switched systems.
IFAC World Congress, Toulouse, France, 2017.
Adel Djaballah, Alexandre Chapoutot, Michel Kieffer, Olivier Bouissou,
Construction of parametric barrier functions for dynamical systems using interval analysis.
Automatica 78, Elsevier, 2017
2016
Thomas Colcombet and Stefan Göller
Games with bound guess actions.
In LICS’,2016
Stefan Göller, Christoph Haase, Ranko Lazić and Patrick Totzke
A Polynomial-Time Algorithm for Reachability in Branching VASS in Dimension One.
In ICALP’,2016
Piotrek Hofman, Slawek Lasota, Ranko Lazić, J. Leroux, Sylvain Schmitz and Patrick Totzke
Coverability Trees for Petri Nets with Unordered Data.
In FoSSaCS’,2016
Moses Ganardi, Stefan Göller and Markus Lohrey
On the Parallel Complexity of Bisimulation over Finite Systems.
In CSL’,2016
Mohamed Faouzi Atig, Dmitry Chistikov, Piotrek Hofman, K Narayan Kumar, Prakash Saivasan and Georg Zetzsche
Complexity of regular abstractions of one-counter languages.
In LICS’,2016
Michell Guzman, Salim Perchy, Camilo Rueda, and Frank D. Valencia.
Deriving inverse operators for modal logics.
The 13th International Colloquium on Theoretical Aspects of Computing, ICTAC 2016, pages 214–232,,2016
Michel Blondin, Alain Finkel, Christoph Haase and Serge Haddad
Approaching the Coverability Problem Continuously.
In TACAS’,2016
Jose Alvarez, Stéphane Maag, Fatiha Zaïdi,
MANETs monitoring with a distributed hybrid architecture.
15th IEEE International Symposium on Network Computing and Applications (IEEE NCA), pp.388-391, Cambridge, Ma, United States,,2016
Dmitry Chistikov and Christoph Haase
The Taming of the Semi-Linear Set.
In ICALP’,2016
Dmitry Chistikov, W. Czerwiński, Piotrek Hofman, Marcin Pilipczuk and Michael Wehar
Shortest paths in one-counter systems.
In FoSSaCS’,2016
Christoph Haase and Stefan Kiefer
The Complexity of the Kth Largest Subset Problem and Related Problems In Information
Processing Letters.
116(2)’,2016
Christoph Haase and Piotrek Hofman
Tightening the Complexity of Equivalence Problems for Commutative Grammars.
In STACS’,2016
2015
Stefan Haar, Salim Perchy, Camilo Rueda, and Frank D. Valencia.
An algebraic view of space/belief and extrusion/utterance for concurrency/epistemic logic.
The 17th ACM SIGPLAN International Symposium on Principles and Practice of Declarative Programming, PPDP 2015, pages 161–172,2015
Stanislav Böhm, Stefan Haar, Serge Haddad, Piotrek. Hofman and Stefan Schwoon
Active Diagnosis with Observable Quiescence.
In CDC,2015
Salim Perchy and Frank D. Valencia.
Opinions and beliefs as constraint system operators.
In Technical Communications of the 31st International Conference on Logic Programming, ICLP 2015, ,2015
Michael Blondin, Alain Finkel, Stefan Göller, Christoph. Haase and Pierre McKenzie
Reachability in Two-Dimensional Vector Addition Systems with States is PSPACE Complete .
In LICS,2015
Christoph Haase and Stefan Kiefer
The Odds of Staying on Budget.
In ICALP,2015
2014
Olivier Bouissou, Alexandre Chapoutot, Adel Djaballah, Michel Kieffer,
Computation of Parametric Barrier Functions for Dynamical Systems using Interval Analysis.
IEEE CDC ,2014