Corto Mascle

Publication Activity (10 Years)

Years Active: 2018-2024
Publications (10 Years): 26

Top Topics

Totally Unimodular

Controller Synthesis

Top Venues

Publications

Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. CoRR (2024)
Antonio Casares, Corto Mascle
The Complexity of Simplifying ω-Automata through the Alternating Cycle Decomposition. CoRR (2024)
Antonio Casares, Corto Mascle
The Complexity of Simplifying ω-Automata Through the Alternating Cycle Decomposition. MFCS (2024)
Steffen van Bergerem, Roland Guttenberg, Sandra Kiefer, Corto Mascle, Nicolas Waldburger, Chana Weil-Kennedy
Verification of Population Protocols with Unordered Data. ICALP (2024)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. FoSSaCS (2) (2024)
Antonio Casares, Olivier Idir, Denis Kuperberg, Corto Mascle, Aditya Prakash
On the Minimisation of Deterministic and History-Deterministic Generalised (co)Büchi Automata. CoRR (2024)
Corto Mascle, Anca Muscholl, Igor Walukiewicz
Model-Checking Parametric Lock-Sharing Systems Against Regular Constraints. CONCUR (2023)
Lucie Guillou, Corto Mascle, Nicolas Waldburger
Parameterized Broadcast Networks with Registers: from NP to the Frontiers of Decidability. CoRR (2023)
Corto Mascle, Nathanaël Fijalkow, Guillaume Lagarde
Learning temporal formulas from examples is hard. CoRR (2023)
Corto Mascle, Anca Muscholl, Igor Walukiewicz
Model-checking parametric lock-sharing systems against regular constraints. CoRR (2023)
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
Distributed Controller Synthesis for Deadlock Avoidance. ICALP (2022)
Corto Mascle
Model-checking lock-sharing systems against regular constraints. CoRR (2022)
Hugo Gimbert, Corto Mascle, Anca Muscholl, Igor Walukiewicz
Distributed controller synthesis for deadlock avoidance. CoRR (2022)
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
Keyboards as a New Model of Computation. MFCS (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. CoRR (2021)
Corto Mascle, Christel Baier, Florian Funke, Simon Jantsch, Stefan Kiefer
Responsibility and verification: Importance value in temporal logics. LICS (2021)
Stefan Kiefer, Corto Mascle
On Nonnegative Integer Matrices and Short Killing Words. SIAM J. Discret. Math. 35 (2) (2021)
Yoan Géran, Bastien Laboureix, Corto Mascle, Valentin D. Richard
Les claviers, un modèle de calcul. CoRR (2021)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. Formal Methods Syst. Des. 59 (1) (2021)
Corto Mascle, Martin Zimmermann
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. CSL (2020)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL monitoring: improved monitorability through robust semantics. HSCC (2020)
Stefan Kiefer, Corto Mascle
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. STACS (2019)
Corto Mascle, Mahsa Shirmohammadi, Patrick Totzke
Controlling a Random Population is EXPTIME-hard. CoRR (2019)
Corto Mascle, Martin Zimmermann
The Keys to Decidable HyperLTL Satisfiability: Small Models or Very Simple Formulas. CoRR (2019)
Stefan Kiefer, Corto Mascle
On Finite Monoids over Nonnegative Integer Matrices and Short Killing Words. CoRR (2018)
Corto Mascle, Daniel Neider, Maximilian Schwenger, Paulo Tabuada, Alexander Weinert, Martin Zimmermann
From LTL to rLTL Monitoring: Improved Monitorability through Robust Semantics. CoRR (2018)