Corto Mascle

34 papers A* 4A 1B 5Journal 21Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
The complexity of downward closures of indexed languages.
CoRR
Richard Mandel, Corto Mascle, Georg Zetzsche
2025 J jnl
Distributed controller synthesis for deadlock avoidance.
Log. Methods Comput. Sci.
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2025 B conf
On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata.
CSL
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
2025 J jnl
Optimal Sequential Flows.
CoRR
Hugo Gimbert, Corto Mascle, Patrick Totzke
2025 J jnl
Reach together: How populations win repeated games.
CoRR
Nathalie Bertrand, Patricia Bouyer, Luc Lapointe, Corto Mascle
2025 A* conf
The Trichotomy of Regular Property Testing.
ICALP
Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle
2025 J jnl
The Trichotomy of Regular Property Testing.
CoRR
Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle
2024 J jnl
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata.
CoRR
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
2024 — conf
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
FoSSaCS (2)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
2024 B conf
The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition.
MFCS
Antonio Casares, Corto Mascle
2024 J jnl
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition.
CoRR
Antonio Casares, Corto Mascle
2024 — —
Verification and synthesis of distributed systems with weak synchronisation. (Vérification et synthèse de systèmes distribués à synchronisation faible).
Corto Mascle
2024 A* conf
Verification of Population Protocols with Unordered Data.
ICALP
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2024 J jnl
Verification of Population Protocols with Unordered Data.
CoRR
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
2023 J jnl
Learning temporal formulas from examples is hard.
CoRR
Corto Mascle, Nathanaël Fijalkow, Guillaume Lagarde
2023 B conf
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints.
CONCUR
Corto Mascle, Anca Muscholl, Igor Walukiewicz
2023 J jnl
Model-checking parametric lock-sharing systems against regular constraints.
CoRR
Corto Mascle, Anca Muscholl, Igor Walukiewicz
2023 J jnl
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability.
CoRR
Lucie Guillou, Corto Mascle, Nicolas Waldburger
2022 A* conf
Distributed Controller Synthesis for Deadlock Avoidance.
ICALP
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2022 J jnl
Distributed controller synthesis for deadlock avoidance.
CoRR
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
2022 J jnl
Model-checking lock-sharing systems against regular constraints.
CoRR
Corto Mascle
2021 J jnl
From LTL to rLTL monitoring: improved monitorability through robust semantics.
Formal Methods Syst. Des.
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2021 B conf
Keyboards as a New Model of Computation.
MFCS
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
2021 J jnl
Les claviers, un modèle de calcul.
CoRR
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
2021 J jnl
On Nonnegative Integer Matrices and Short Killing Words.
SIAM J. Discret. Math.
Stefan Kiefer, Corto Mascle
2021 A* conf
Responsibility and verification: Importance value in temporal logics.
LICS
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
2021 J jnl
Responsibility and verification: Importance value in temporal logics.
CoRR
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
2020 — conf
From LTL to rLTL monitoring: improved monitorability through robust semantics.
HSCC
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2020 B conf
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.
CSL
Corto Mascle, Martin Zimmermann
2019 J jnl
Controlling a Random Population is EXPTIME-hard.
CoRR
Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke
2019 A conf
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words.
STACS
Stefan Kiefer, Corto Mascle
2019 J jnl
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas.
CoRR
Corto Mascle, Martin Zimmermann
2018 J jnl
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics.
CoRR
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
2018 J jnl
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words.
CoRR
Stefan Kiefer, Corto Mascle