A pattern logic for automata with outputs E Filiot, N Mazzocchi, JF Raskin Developments in Language Theory: 22nd International Conference, DLT 2018 …, 2018 | 12 | 2018 |
Two-way Parikh automata E Filiot, S Guha, N Mazzocchi arXiv preprint arXiv:1907.09362, 2019 | 10 | 2019 |
Regular methods for operator precedence languages TA Henzinger, P Kebis, N Mazzocchi, N Saraç arXiv preprint arXiv:2305.03447, 2023 | 8 | 2023 |
FORQ-based language inclusion formal testing K Doveri, P Ganty, N Mazzocchi International Conference on Computer Aided Verification, 109-129, 2022 | 8 | 2022 |
Unary prime languages IR Jecker, O Kupferman, N Mazzocchi 45th International Symposium on Mathematical Foundations of Computer Science 170, 2020 | 8 | 2020 |
Decomposing permutation automata I Jecker, N Mazzocchi, P Wolf arXiv preprint arXiv:2107.04683, 2021 | 5 | 2021 |
Weighted transducers for robustness verification E Filiot, N Mazzocchi, JF Raskin, S Sankaranarayanan, A Trivedi Leibniz international proceedings in informatics 171, 2020 | 5 | 2020 |
Quantitative Safety and Liveness. TA Henzinger, N Mazzocchi, NE Saraç FoSSaCS, 349-370, 2023 | 4 | 2023 |
A pattern logic for automata with outputs E Filiot, N Mazzocchi, JF Raskin International Journal of Foundations of Computer Science 31 (06), 711-748, 2020 | 4 | 2020 |
Safety and liveness of quantitative automata U Boker, TA Henzinger, N Mazzocchi, N Saraç arXiv preprint arXiv:2307.06016, 2023 | 3 | 2023 |
Abstract monitors for quantitative specifications TA Henzinger, N Mazzocchi, NE Saraç International Conference on Runtime Verification, 200-220, 2022 | 2 | 2022 |
Decidable weighted expressions with Presburger combinators E Filiot, N Mazzocchi, JF Raskin Journal of Computer and System Sciences 106, 1-22, 2019 | 1 | 2019 |
Decidable weighted expressions with Presburger combinators E Filiot, N Mazzocchi, JF Raskin International Symposium on Fundamentals of Computation Theory, 243-256, 2017 | 1 | 2017 |
Strategic Dominance: A New Preorder for Nondeterministic Processes TA Henzinger, N Mazzocchi, N Saraç arXiv preprint arXiv:2407.10473, 2024 | | 2024 |
Contributions to formalisms for the specification and verification of quantitative properties N Mazzocchi Université libre de Bruxelles, 2020 | | 2020 |