Nicolas Mazzocchi

Publication Activity (10 Years)

Years Active: 2017-2024
Publications (10 Years): 23

Top Topics

Quantitative And Qualitative

Finite Automata

Finite State Machines

Regular Expressions

Top Venues

J. Comput. Syst. Sci.

Publications

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes. CONCUR (2024)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Strategic Dominance: A New Preorder for Nondeterministic Processes. CoRR (2024)
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
Regular Methods for Operator Precedence Languages. ICALP (2023)
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
Regular Methods for Operator Precedence Languages. CoRR (2023)
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Safety and Liveness of Quantitative Automata. CoRR (2023)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Quantitative Safety and Liveness. CoRR (2023)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Quantitative Safety and Liveness. FoSSaCS (2023)
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Safety and Liveness of Quantitative Automata. CONCUR (2023)
Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi
FORQ-based Language Inclusion Formal Testing. CoRR (2022)
Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi
FORQ-Based Language Inclusion Formal Testing. CAV (2) (2022)
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
Abstract Monitors for Quantitative Specifications. RV (2022)
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
Decomposing Permutation Automata. CoRR (2021)
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
Decomposing Permutation Automata. CONCUR (2021)
Ismaël Jecker, Orna Kupferman, Nicolas Mazzocchi
Unary Prime Languages. MFCS (2020)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
A Pattern Logic for Automata with Outputs. Int. J. Found. Comput. Sci. 31 (6) (2020)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
Weighted Transducers for Robustness Verification. CONCUR (2020)
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
Two-way Parikh Automata. CoRR (2019)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
Decidable weighted expressions with Presburger combinators. J. Comput. Syst. Sci. 106 (2019)
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
Two-Way Parikh Automata. FSTTCS (2019)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
A Pattern Logic for Automata with Outputs. DLT (2018)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
A Pattern Logic for Automata with Outputs. CoRR (2018)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
Decidable Weighted Expressions with Presburger Combinators. FCT (2017)
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
Decidable Weighted Expressions with Presburger Combinators. CoRR (2017)