Nicolas Mazzocchi

According to our database, Nicolas Mazzocchi authored at least 17 papers between 2019 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Safety and Liveness of Quantitative Properties and Automata.

Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Log. Methods Comput. Sci., 2025

Automating the Analysis of Quantitative Automata with QuAK.

Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2025

Quantitative Language Automata.

Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the 36th International Conference on Concurrency Theory, 2025

Temporal Explorability Games.

Pete Austin, Sougata Bose, Nicolas Mazzocchi, Patrick Totzke

Proceedings of the 36th International Conference on Concurrency Theory, 2025

2024

QuAK: Quantitative Automata Kit.

Marek Chalupa, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering Methodologies, 2024

Strategic Dominance: A New Preorder for Nondeterministic Processes.

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the 35th International Conference on Concurrency Theory, 2024

2023

Regular Methods for Operator Precedence Languages.

Thomas A. Henzinger, Pavol Kebis, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the 50th International Colloquium on Automata, Languages, and Programming, 2023

Quantitative Safety and Liveness.

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the Foundations of Software Science and Computation Structures, 2023

Safety and Liveness of Quantitative Automata.

Udi Boker, Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the 34th International Conference on Concurrency Theory, 2023

2022

Abstract Monitors for Quantitative Specifications.

Thomas A. Henzinger, Nicolas Mazzocchi, N. Ege Saraç

Proceedings of the Runtime Verification - 22nd International Conference, 2022

FORQ-Based Language Inclusion Formal Testing.

Kyveli Doveri, Pierre Ganty, Nicolas Mazzocchi

Proceedings of the Computer Aided Verification - 34th International Conference, 2022

2021

Decomposing Permutation Automata.

Ismaël Jecker, Nicolas Mazzocchi, Petra Wolf

Proceedings of the 32nd International Conference on Concurrency Theory, 2021

2020

A Pattern Logic for Automata with Outputs.

Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin

Int. J. Found. Comput. Sci., 2020

Unary Prime Languages.

Ismaël Jecker, Orna Kupferman, Nicolas Mazzocchi

Proceedings of the 45th International Symposium on Mathematical Foundations of Computer Science, 2020

Weighted Transducers for Robustness Verification.

Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin, Sriram Sankaranarayanan, Ashutosh Trivedi

Proceedings of the 31st International Conference on Concurrency Theory, 2020

2019

Decidable weighted expressions with Presburger combinators.

Emmanuel Filiot, Nicolas Mazzocchi, Jean-François Raskin

J. Comput. Syst. Sci., 2019

Two-Way Parikh Automata.

Emmanuel Filiot, Shibashis Guha, Nicolas Mazzocchi

Proceedings of the 39th IARCS Annual Conference on Foundations of Software Technology and Theoretical Computer Science, 2019