The keys to decidable hyperltl satisfiability: Small models or very simple formulas C Mascle, M Zimmermann
arXiv preprint arXiv:1907.05070, 2019
20 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
19 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
10 2021 On finite monoids over nonnegative integer matrices and short killing words S Kiefer, C Mascle
STACS 2019 126, 2019
9 2019 Learning temporal formulas from examples is hard C Mascle, N Fijalkow, G Lagarde
arXiv preprint arXiv:2312.16336, 2023
4 2023 On nonnegative integer matrices and short killing words S Kiefer, CN Mascle
SIAM Journal on Discrete Mathematics 35 (2), 1252-1267, 2021
4 2021 Verification of population protocols with unordered data S van Bergerem, R Guttenberg, S Kiefer, C Mascle, N Waldburger, ...
arXiv preprint arXiv:2405.00921, 2024
2 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
2 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 The Complexity of Simplifying A Casares, C Mascle
arXiv preprint arXiv:2401.03811, 2024
1 2024 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 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 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, ...
