On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. - Stefan Kiefer; Corto Mascle (STACS, 2019)

Controlling a Random Population is EXPTIME-hard. - Corto Mascle; Mahsa Shirmohammadi; Patrick Totzke (CoRR, 2019)

The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. - Corto Mascle; Martin Zimmermann 002 (CSL, 2020)

Responsibility and verification: Importance value in temporal logics. - Corto Mascle; Christel Baier; Florian Funke 002; Simon Jantsch; Stefan Kiefer (LICS, 2021)

Keyboards as a New Model of Computation. - Yoan Géran; Bastien Laboureix; Corto Mascle; Valentin D. Richard (MFCS, 2021)

Les claviers, un modèle de calcul. - Yoan Géran; Bastien Laboureix; Corto Mascle; Valentin D. Richard (CoRR, 2021)

From LTL to rLTL monitoring: improved monitorability through robust semantics. - Corto Mascle; Daniel Neider; Maximilian Schwenger; Paulo Tabuada; Alexander Weinert; Martin Zimmermann 002 (Formal Methods Syst. Des., 2021)

On Nonnegative Integer Matrices and Short Killing Words. - Stefan Kiefer; Corto Mascle (SIAM J. Discret. Math., 2021)

Distributed Controller Synthesis for Deadlock Avoidance. - Hugo Gimbert; Corto Mascle; Anca Muscholl; Igor Walukiewicz (ICALP, 2022)

Model-checking lock-sharing systems against regular constraints. - Corto Mascle (CoRR, 2022)

Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints. - Corto Mascle; Anca Muscholl; Igor Walukiewicz (CONCUR, 2023)

Learning temporal formulas from examples is hard. - Corto Mascle; Nathanaël Fijalkow; Guillaume Lagarde (CoRR, 2023)

Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. - Lucie Guillou; Corto Mascle; Nicolas Waldburger (FoSSaCS (2), 2024)

Verification of Population Protocols with Unordered Data. - Steffen van Bergerem; Roland Guttenberg; Sandra Kiefer; Corto Mascle; Nicolas Waldburger; Chana Weil-Kennedy (ICALP, 2024)

The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition. - Antonio Casares; Corto Mascle (MFCS, 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)

On the Minimisation of Deterministic and History-Deterministic Generalised (Co)Büchi Automata. - Antonio Casares; Olivier Idir; Denis Kuperberg; Corto Mascle; Aditya Prakash 002 (CSL, 2025)

The Trichotomy of Regular Property Testing. - Gabriel Bathie; Nathanaël Fijalkow; Corto Mascle (ICALP, 2025)