Nicolas A Mazzocchi

8 Publications

Mark all

[8]
2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 303–12, doi:10.1007/978-3-031-90643-5_16.
[Published Version] View | Files available | DOI | arXiv
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, Thomas A., et al. “Strategic Dominance: A New Preorder for Nondeterministic Processes.” 35th International Conference on Concurrency Theory, vol. 311, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.29.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version] View | Files available | DOI | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:10.4230/LIPIcs.ICALP.2023.129.
[Published Version] View | Files available | DOI | arXiv
 
[3]
2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Boker, Udi, et al. “Safety and Liveness of Quantitative Automata.” 34th International Conference on Concurrency Theory, vol. 279, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.17.
[Published Version] View | Files available | DOI | arXiv
 
[2]
2022 | Published | Conference Paper | IST-REx-ID: 12302 | OA
Doveri, Kyveli, et al. “FORQ-Based Language Inclusion Formal Testing.” Computer Aided Verification, vol. 13372, Springer Nature, 2022, pp. 109–29, doi:10.1007/978-3-031-13188-2_6.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger, Thomas A., et al. “Abstract Monitors for Quantitative Specifications.” 22nd International Conference on Runtime Verification, vol. 13498, Springer Nature, 2022, pp. 200–20, doi:10.1007/978-3-031-17196-3_11.
[Published Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed

Grants


8 Publications

Mark all

[8]
2025 | Published | Conference Paper | IST-REx-ID: 19741 | OA
Chalupa, Marek, et al. “Automating the Analysis of Quantitative Automata with QuAK.” 31st International Conference on Tools and Algorithms for the Construction and Analysis of Systems, vol. 15696, Springer Nature, 2025, pp. 303–12, doi:10.1007/978-3-031-90643-5_16.
[Published Version] View | Files available | DOI | arXiv
 
[7]
2024 | Published | Conference Paper | IST-REx-ID: 18068 | OA
Henzinger, Thomas A., et al. “Strategic Dominance: A New Preorder for Nondeterministic Processes.” 35th International Conference on Concurrency Theory, vol. 311, 29, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2024, doi:10.4230/LIPIcs.CONCUR.2024.29.
[Published Version] View | Files available | DOI | arXiv
 
[6]
2024 | Published | Conference Paper | IST-REx-ID: 17634 | OA
Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.
[Published Version] View | Files available | DOI | arXiv
 
[5]
2023 | Published | Conference Paper | IST-REx-ID: 12467 | OA
Henzinger, Thomas A., et al. “Quantitative Safety and Liveness.” 26th International Conference Foundations of Software Science and Computation Structures, vol. 13992, Springer Nature, 2023, pp. 349–70, doi:10.1007/978-3-031-30829-1_17.
[Published Version] View | Files available | DOI | arXiv
 
[4]
2023 | Published | Conference Paper | IST-REx-ID: 13292 | OA
Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:10.4230/LIPIcs.ICALP.2023.129.
[Published Version] View | Files available | DOI | arXiv
 
[3]
2023 | Published | Conference Paper | IST-REx-ID: 13221 | OA
Boker, Udi, et al. “Safety and Liveness of Quantitative Automata.” 34th International Conference on Concurrency Theory, vol. 279, 17, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.CONCUR.2023.17.
[Published Version] View | Files available | DOI | arXiv
 
[2]
2022 | Published | Conference Paper | IST-REx-ID: 12302 | OA
Doveri, Kyveli, et al. “FORQ-Based Language Inclusion Formal Testing.” Computer Aided Verification, vol. 13372, Springer Nature, 2022, pp. 109–29, doi:10.1007/978-3-031-13188-2_6.
[Published Version] View | Files available | DOI | WoS | arXiv
 
[1]
2022 | Published | Conference Paper | IST-REx-ID: 11775 | OA
Henzinger, Thomas A., et al. “Abstract Monitors for Quantitative Specifications.” 22nd International Conference on Runtime Verification, vol. 13498, Springer Nature, 2022, pp. 200–20, doi:10.1007/978-3-031-17196-3_11.
[Published Version] View | Files available | DOI | WoS
 
Marked Publication(s)

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed