Software Watermarking: A Semantics-based Approach. - Mila Dalla Preda; Michele Pasqua (NSAD@SAS, 2016)

On Topologies for (Hyper)Properties. - Michele Pasqua; Isabella Mastroeni (ICTCS/CILC, 2017)

Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. - Isabella Mastroeni; Michele Pasqua (SAS, 2017)

Verifying Bounded Subset-Closed Hyperproperties. - Isabella Mastroeni; Michele Pasqua (SAS, 2018)

Securing Cross-App Interactions in IoT Platforms. - Musard Balliu; Massimo Merro; Michele Pasqua (CSF, 2019)

An Abstract Domain for Objects in Dynamic Programming Languages. - Vincenzo Arceri; Michele Pasqua; Isabella Mastroeni (FM Workshops (2), 2019)

Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. - Isabella Mastroeni; Michele Pasqua (SAC, 2019)

Semantics-based software watermarking by abstract interpretation. - Mila Dalla Preda; Michele Pasqua (Math. Struct. Comput. Sci., 2019)

Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. - Andrei Munteanu; Michele Pasqua; Massimo Merro (FormaliSE@ICSE, 2020)

Restats: A Test Coverage Tool for RESTful APIs. - Davide Corradini; Amedeo Zampieri; Michele Pasqua; Mariano Ceccato (ICSME, 2021)

A Calculus for Attribute-Based Memory Updates. - Marino Miculan; Michele Pasqua (ICTAC, 2021)

Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs. - Davide Corradini; Amedeo Zampieri; Michele Pasqua; Mariano Ceccato (SCAM, 2021)

On the Security and Safety of AbU Systems. - Michele Pasqua; Marino Miculan (SEFM, 2021)

Friendly Fire: Cross-app Interactions in IoT Platforms. - Musard Balliu; Massimo Merro; Michele Pasqua; Mikhail Shcherbakov (ACM Trans. Priv. Secur., 2021)

RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs. - Davide Corradini; Amedeo Zampieri; Michele Pasqua; Mariano Ceccato (ICSME, 2022)

Distributed Programming of Smart Systems with Event-Condition-Action Rules. - Michele Pasqua; Marino Miculan (ICTCS, 2022)

Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. - Sebastiano Gaiardelli; Stefano Spellini; Michele Pasqua; Mariano Ceccato; Franco Fummi (IECON, 2022)

Verifying opacity by abstract interpretation. - Isabella Mastroeni; Michele Pasqua (SAC, 2022)

The AbU Language: IoT Distributed Programming Made Easy. - Michele Pasqua; Massimo Comuzzo; Marino Miculan (IEEE Access, 2022)

Automated black-box testing of nominal and error scenarios in RESTful APIs. - Davide Corradini; Amedeo Zampieri; Michele Pasqua; Emanuele Viglianisi; Michael Dallago; Mariano Ceccato (Softw. Test. Verification Reliab., 2022)

Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs. - Davide Corradini; Michele Pasqua; Mariano Ceccato (ICSE, 2023)

Enhancing REST API Testing with NLP Techniques. - Myeongsoo Kim; Davide Corradini; Saurabh Sinha; Alessandro Orso; Michele Pasqua; Rachel Tzoref-Brill; Mariano Ceccato (ISSTA, 2023)

Domain Precision in Galois Connection-Less Abstract Interpretation. - Isabella Mastroeni; Michele Pasqua (SAS, 2023)

AbU: A calculus for distributed event-driven programming with attribute-based interaction. - Michele Pasqua; Marino Miculan (Theor. Comput. Sci., 2023)

Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. - Michele Pasqua; Andrea Benini; Filippo Contro; Marco Crosara; Mila Dalla Preda; Mariano Ceccato (J. Syst. Softw., 2023)

Hypertesting of Programs: Theoretical Foundation and Automated Test Generation. - Michele Pasqua; Mariano Ceccato; Paolo Tonella (ICSE, 2024)

Local Reasoning and Attribute-Based Memory Updates for Enforcing Global Invariants in Collective Adaptive Systems. - Michele Pasqua; Marino Miculan (ISoLA (2), 2024)

DeepREST: Automated Test Case Generation for REST APIs Exploiting Deep Reinforcement Learning. - Davide Corradini; Zeno Montolli; Michele Pasqua; Mariano Ceccato (ASE, 2024)

Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. - Michele Pasqua; Marino Miculan (Theor. Comput. Sci., 2024)

RESTgym: A Flexible Infrastructure for Empirical Assessment of Automated REST API Testing Tools. - Davide Corradini; Michele Pasqua; Mariano Ceccato (ICST, 2025)

How Do Solidity Versions Affect Vulnerability Detection Tools? An Empirical Study. - Gerardo Iuliano; Davide Corradini; Michele Pasqua; Mariano Ceccato; Dario Di Nucci (CoRR, 2025)