| 2026 | FOSSACS | Abstract Lipschitz Continuity - Combining Semantic and Quantitative Approximations. | Marco Campion, Isabella Mastroeni, Michele Pasqua, Caterina Urban |
| 2025 | ICST | RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools. | Davide Corradini, Michele Pasqua, Mariano Ceccato |
| 2024 | ICSE | Hypertesting of Programs: Theoretical Foundation and Automated Test Generation. | Michele Pasqua, Mariano Ceccato, Paolo Tonella |
| 2024 | ISoLA | Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. | Michele Pasqua, Marino Miculan |
| 2023 | ICSE | Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs. | Davide Corradini, Michele Pasqua, Mariano Ceccato |
| 2023 | ISSTA | Enhancing REST API Testing with NLP Techniques. | Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato |
| 2023 | SAS | Domain Precision in Galois Connection-Less Abstract Interpretation. | Isabella Mastroeni, Michele Pasqua |
| 2022 | IECON | Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. | Sebastiano Gaiardelli, Stefano Spellini, Michele Pasqua, Mariano Ceccato, Franco Fummi |
| 2022 | SAC | Verifying opacity by abstract interpretation. | Isabella Mastroeni, Michele Pasqua |
| 2021 | ICTAC | A Calculus for Attribute-Based Memory Updates. | Marino Miculan, Michele Pasqua |
| 2021 | SCAM | Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs. | Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato |
| 2021 | SEFM | On the Security and Safety of AbU Systems. | Michele Pasqua, Marino Miculan |
| 2020 | ICSE | Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. | Andrei Munteanu, Michele Pasqua, Massimo Merro |
| 2019 | FM | An Abstract Domain for Objects in Dynamic Programming Languages. | Vincenzo Arceri, Michele Pasqua, Isabella Mastroeni |
| 2019 | SAC | Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. | Isabella Mastroeni, Michele Pasqua |
| 2018 | SAS | Verifying Bounded Subset-Closed Hyperproperties. | Isabella Mastroeni, Michele Pasqua |
| 2017 | SAS | Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. | Isabella Mastroeni, Michele Pasqua |