Nicolas Mazzocchi

33 papers A* 1B 10C 1Journal 17Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Decomposing permutation automata.
J. Comput. Syst. Sci.
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
2025 — conf
Automating the Analysis of Quantitative Automata with QuAK.
TACAS (1)
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2025 J jnl
Automating the Analysis of Quantitative Automata with QuAK.
CoRR
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2025 B conf
Quantitative Language Automata.
CONCUR
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2025 J jnl
Quantitative Language Automata.
CoRR
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2025 J jnl
Safety and Liveness of Quantitative Properties and Automata.
Log. Methods Comput. Sci.
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2025 B conf
Temporal Explorability Games.
CONCUR
Pete Austin, Sougata Bose, Nicolas Mazzocchi, Patrick Totzke
2024 — conf
QuAK: Quantitative Automata Kit.
ISoLA (4)
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 J jnl
QuAK: Quantitative Automata Kit.
CoRR
Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 B conf
Strategic Dominance: A New Preorder for Nondeterministic Processes.
CONCUR
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 J jnl
Strategic Dominance: A New Preorder for Nondeterministic Processes.
CoRR
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2024 J jnl
Temporal Explorability Games.
CoRR
Pete Austin, Nicolas Mazzocchi, Sougata Bose, Patrick Totzke
2023 B conf
Quantitative Safety and Liveness.
FoSSaCS
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 J jnl
Quantitative Safety and Liveness.
CoRR
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 A* conf
Regular Methods for Operator Precedence Languages.
ICALP
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2023 J jnl
Regular Methods for Operator Precedence Languages.
CoRR
Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç
2023 B conf
Safety and Liveness of Quantitative Automata.
CONCUR
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2023 J jnl
Safety and Liveness of Quantitative Automata.
CoRR
Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2022 B conf
Abstract Monitors for Quantitative Specifications.
RV
Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç
2022 — conf
FORQ-Based Language Inclusion Formal Testing.
CAV (2)
Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi
2022 J jnl
FORQ-based Language Inclusion Formal Testing.
CoRR
Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi
2021 B conf
Decomposing Permutation Automata.
CONCUR
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
2021 J jnl
Decomposing Permutation Automata.
CoRR
Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf
2020 J jnl
A Pattern Logic for Automata with Outputs.
Int. J. Found. Comput. Sci.
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2020 B conf
Unary Prime Languages.
MFCS
Ismaël Jecker, Orna Kupferman, Nicolas Mazzocchi
2020 B conf
Weighted Transducers for Robustness Verification.
CONCUR
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi
2019 J jnl
Decidable weighted expressions with Presburger combinators.
J. Comput. Syst. Sci.
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2019 — conf
Two-Way Parikh Automata.
FSTTCS
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
2019 J jnl
Two-way Parikh Automata.
CoRR
Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi
2018 C conf
A Pattern Logic for Automata with Outputs.
DLT
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2018 J jnl
A Pattern Logic for Automata with Outputs.
CoRR
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2017 B conf
Decidable Weighted Expressions with Presburger Combinators.
FCT
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin
2017 J jnl
Decidable Weighted Expressions with Presburger Combinators.
CoRR
Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin