| The keys to decidable hyperltl satisfiability: Small models or very simple formulas C Mascle, M Zimmermann arXiv preprint arXiv:1907.05070, 2019 | 28 | 2019 |
| From LTL to rLTL monitoring: improved monitorability through robust semantics C Mascle, D Neider, M Schwenger, P Tabuada, A Weinert, ... Proceedings of the 23rd International Conference on Hybrid Systems …, 2020 | 21 | 2020 |
| Responsibility and verification: Importance value in temporal logics C Mascle, C Baier, F Funke, S Jantsch, S Kiefer 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), 1-14, 2021 | 14 | 2021 |
| On finite monoids over nonnegative integer matrices and short killing words S Kiefer, C Mascle STACS 2019 126, 2019 | 10 | 2019 |
| Learning temporal formulas from examples is hard C Mascle, N Fijalkow, G Lagarde arXiv preprint arXiv:2312.16336, 2023 | 7 | 2023 |
| On nonnegative integer matrices and short killing words S Kiefer, CN Mascle SIAM Journal on Discrete Mathematics 35 (2), 1252-1267, 2021 | 6 | 2021 |
| Controlling a Random Population is EXPTIME-hard C Mascle, M Shirmohammadi, P Totzke arXiv preprint arXiv:1909.06420, 2019 | 4 | 2019 |
| Distributed controller synthesis for deadlock avoidance H Gimbert, C Mascle, A Muscholl, I Walukiewicz Logical Methods in Computer Science 21, 2025 | 3 | 2025 |
| Optimally Controlling a Random Population H Gimbert, C Mascle, P Totzke arXiv preprint arXiv:2411.15181, 2024 | 3 | 2024 |
| On the Minimisation of Deterministic and History-Deterministic Generalised (co) B\" uchi Automata A Casares, O Idir, D Kuperberg, C Mascle, A Prakash arXiv preprint arXiv:2407.18090, 2024 | 3 | 2024 |
| Verification of population protocols with unordered data S van Bergerem, R Guttenberg, S Kiefer, C Mascle, N Waldburger, ... arXiv preprint arXiv:2405.00921, 2024 | 3 | 2024 |
| Parameterized broadcast networks with registers: from NP to the frontiers of decidability L Guillou, C Mascle, N Waldburger International Conference on Foundations of Software Science and Computation …, 2024 | 3 | 2024 |
| The Complexity of Simplifying -Automata through the Alternating Cycle Decomposition A Casares, C Mascle arXiv preprint arXiv:2401.03811, 2024 | 1 | 2024 |
| Model-checking parametric lock-sharing systems against regular constraints C Mascle, A Muscholl, I Walukiewicz arXiv preprint arXiv:2307.04925, 2023 | 1 | 2023 |
| Optimal Sequential Flows H Gimbert, C Mascle, P Totzke arXiv preprint arXiv:2511.13806, 2025 | | 2025 |
| Reach together: How populations win repeated games N Bertrand, P Bouyer, L Lapointe, C Mascle arXiv preprint arXiv:2510.02984, 2025 | | 2025 |
| The Trichotomy of Regular Property Testing G Bathie, NÃĢ Fijalkow, C Mascle arXiv preprint arXiv:2504.19152, 2025 | | 2025 |
| Verification and synthesis of distributed systems with weak synchronisation C Mascle Université de Bordeaux, 2024 | | 2024 |
| Véri cation et synthèse de systèmes distribués à synchronisation faible Verification and synthesis of distributed systems with weak C Mascle Université de Bordeaux, 2024 | | 2024 |
| 34th International Conference on Concurrency Theory: CONCUR 2023, September 18-23, 2023, Antwerp, Belgium GA Pérez, JF Raskin Schloss Dagstuhl-Leibniz-Zentrum für Informatik GmbH, 2023 | | 2023 |
