Folgen
Corto Mascle
Corto Mascle
LaBRI
Bestätigte E-Mail-Adresse bei labri.fr
Titel
Zitiert von
Zitiert von
Jahr
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
162020
The keys to decidable hyperltl satisfiability: Small models or very simple formulas
C Mascle, M Zimmermann
arXiv preprint arXiv:1907.05070, 2019
162019
On finite monoids over nonnegative integer matrices and short killing words
S Kiefer, C Mascle
STACS 2019 126, 2019
92019
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
42021
Distributed controller synthesis for deadlock avoidance
H Gimbert, C Mascle, A Muscholl, I Walukiewicz
arXiv preprint arXiv:2204.12409, 2022
22022
Controlling a Random Population is EXPTIME-hard
C Mascle, M Shirmohammadi, P Totzke
arXiv preprint arXiv:1909.06420, 2019
22019
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability
L Guillou, C Mascle, N Waldburger
arXiv preprint arXiv:2306.01517, 2023
12023
The Complexity of Simplifying -Automata through the Alternating Cycle Decomposition
A Casares, C Mascle
arXiv preprint arXiv:2401.03811, 2024
2024
Learning temporal formulas from examples is hard
C Mascle, N Fijalkow, G Lagarde
arXiv preprint arXiv:2312.16336, 2023
2023
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
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–13