Corto Mascle

Most-cited papers

The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas
Corto Mascle, Martin Zimmermann
2019Annual Conference for Computer Science Logic24 citations
Semantic Scholar
From LTL to rLTL monitoring: improved monitorability through robust semantics
Corto Mascle, D. Neider, Maximilian Schwenger, P. Tabuada +2 more
2018Formal methods in system design16 citations Open access
Semantic Scholar
Responsibility and verification: Importance value in temporal logics
Corto Mascle, C. Baier, Florian Funke, Simon Jantsch +1 more
2021Logic in Computer Science10 citations Open access
Semantic Scholar
Learning temporal formulas from examples is hard
Corto Mascle, Nathanaël Fijalkow, Guillaume Lagarde
2023arXiv.org9 citations
Semantic Scholar
On Nonnegative Integer Matrices and Short Killing Words
Stefan Kiefer, Corto Mascle
2018SIAM Journal on Discrete Mathematics7 citations Open access
Semantic Scholar
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words
Stefan Kiefer, Corto Mascle
2018Symposium on Theoretical Aspects of Computer Science7 citations
Semantic Scholar
Controlling a Random Population is EXPTIME-hard
Corto Mascle, M. Shirmohammadi, Patrick Totzke
2019arXiv.org5 citations
Semantic Scholar
Verification of Population Protocols with Unordered Data
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle +2 more
2024International Colloquium on Automata, Languages and Programming4 citations
Semantic Scholar
The Trichotomy of Regular Property Testing
Gabriel Bathie, Nathanaël Fijalkow, Corto Mascle
2025International Colloquium on Automata, Languages and Programming3 citations
Semantic Scholar
Optimally Controlling a Random Population
H. Gimbert, Corto Mascle, Patrick Totzke
2024International Colloquium on Automata, Languages and Programming3 citations
Semantic Scholar
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
L. Guillou, Corto Mascle, Nicolas Waldburger
2023Foundations of Software Science and Computation Structure3 citations Open access
Semantic Scholar
The complexity of downward closures of indexed languages
Richard Mandel, Corto Mascle, Georg Zetzsche
2026Logic in Computer Science2 citations
Semantic Scholar
Optimal Sequential Flows
H. Gimbert, Corto Mascle, Patrick Totzke
2025International Colloquium on Automata, Languages and Programming2 citations
Semantic Scholar
Distributed controller synthesis for deadlock avoidance
H. Gimbert, Corto Mascle, A. Muscholl, I. Walukiewicz
2022International Colloquium on Automata, Languages and Programming2 citations Open access
Semantic Scholar
Reach together: How populations win repeated games
Nathalie Bertrand, Patricia Bouyer, L. Lapointe, Corto Mascle
2025arXiv.org1 citations
Semantic Scholar
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle +1 more
2024Annual Conference for Computer Science Logic1 citations
Semantic Scholar
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition
Antonio Casares, Corto Mascle
2024International Symposium on Mathematical Foundations of Computer Science1 citations
Semantic Scholar
Population Protocols over Ordered Agents
M. Blondin, Michaël Cadilhac, Benjamin Courchesne, Lucie Guillou +2 more
2026International Colloquium on Automata, Languages and Programming0 citations
Semantic Scholar
WinPop: Making Populations Win Together
Nathalie Bertrand, Patricia Bouyer, L. Lapointe, Corto Mascle
2026International Conference on Concurrency Theory0 citations
Semantic Scholar
Model-checking parametric lock-sharing systems against regular constraints
Corto Mascle, A. Muscholl, I. Walukiewicz
2023International Conference on Concurrency Theory0 citations Open access
Semantic Scholar
Model-checking lock-sharing systems against regular constraints
Corto Mascle
2022arXiv.org0 citations Open access
Semantic Scholar
Keyboards as a New Model of Computation
Yoan G'eran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
2021International Symposium on Mathematical Foundations of Computer Science0 citations
Semantic Scholar
Controller Synthesis for Broadcast Networks with 1 Data 2
Corto Mascle
0 citations
Semantic Scholar