| 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 | 18 | 2020 |
| The keys to decidable hyperltl satisfiability: Small models or very simple formulas C Mascle, M Zimmermann arXiv preprint arXiv:1907.05070, 2019 | 18 | 2019 |
| On finite monoids over nonnegative integer matrices and short killing words S Kiefer, C Mascle STACS 2019 126, 2019 | 9 | 2019 |
| 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 | 8 | 2021 |
| 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 | 4 | 2024 |
| On nonnegative integer matrices and short killing words S Kiefer, CN Mascle SIAM Journal on Discrete Mathematics 35 (2), 1252-1267, 2021 | 3 | 2021 |
| Learning temporal formulas from examples is hard C Mascle, N Fijalkow, G Lagarde arXiv preprint arXiv:2312.16336, 2023 | 2 | 2023 |
| Distributed controller synthesis for deadlock avoidance H Gimbert, C Mascle, A Muscholl, I Walukiewicz arXiv preprint arXiv:2204.12409, 2022 | 2 | 2022 |
| Controlling a Random Population is EXPTIME-hard C Mascle, M Shirmohammadi, P Totzke arXiv preprint arXiv:1909.06420, 2019 | 2 | 2019 |
| Verification of Population Protocols with Unordered Data S van Bergerem, R Guttenberg, S Kiefer, C Mascle, N Waldburger, ... arXiv preprint arXiv:2405.00921, 2024 | 1 | 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 |
| Optimally Controlling a Random Population H Gimbert, C Mascle, P Totzke arXiv preprint arXiv:2411.15181, 2024 | | 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 | | 2024 |
| The Complexity of Simplifying -Automata through the Alternating Cycle Decomposition A Casares, C Mascle arXiv preprint arXiv:2401.03811, 2024 | | 2024 |
| Model-checking parametric lock-sharing systems against regular constraints C Mascle, A Muscholl, I Walukiewicz arXiv preprint arXiv:2307.04925, 2023 | | 2023 |
| 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 |
| Model-checking lock-sharing systems against regular constraints C Mascle arXiv preprint arXiv:2210.07914, 2022 | | 2022 |
| Keyboards as a new model of computation Y Géran, B Laboureix, C Mascle, VD Richard arXiv preprint arXiv:2102.10182, 2021 | | 2021 |
| Program for Highlights and Jewels of Automata Theory 2024 M Droste, J Almeida, P Bouyer, V Bruyère, T Colcombet, L Doyen, ... | | |
