The keys to decidable hyperltl satisfiability: Small models or very simple formulas C Mascle, M Zimmermann
arXiv preprint arXiv:1907.05070, 2019
19 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
16 2020 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
4 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
3 2024 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 Learning temporal formulas from examples is hard C Mascle, N Fijalkow, G Lagarde
arXiv preprint arXiv:2312.16336, 2023
1 2023 Verification of Population Protocols with Unordered Data S van Bergerem, R Guttenberg, S Kiefer, C Mascle, N Waldburger, ...
arXiv preprint arXiv:2405.00921, 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 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 On Nonnegative Integer Matrices and Short Killing Words S Kiefer, CN Mascle
SIAM Journal on Discrete Mathematics 35 (2), 1252-1267, 2021
2021