PASQUA, MICHELE

PASQUA, MICHELE  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 18 di 18 (tempo di esecuzione: 0.031 secondi).
Titolo Data di pubblicazione Autore(i) File
An abstract domain for objects in dynamic programming languages 1-gen-2020 Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella
Automated black‐box testing of nominal and error scenarios in RESTful APIs 1-gen-2022 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Viglianisi, Emanuele; Dallago, Michael; Ceccato, Mariano
A Calculus for Attribute-Based Memory Updates 1-gen-2021 Miculan, M.; Pasqua, M.
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 1-gen-2021 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
Friendly Fire: Cross-App Interactions in IoT Platforms 1-gen-2021 Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
Friendly Fire: Cross-App Interactions in IoT Platforms 1-gen-2020 Balliu, Musard; Merro, Massimo; Pasqua, Michele
Hyper Static Analysis of Programs - An Abstract Interpretation-Based Framework for Hyperproperties Verification 1-gen-2019 Pasqua, Michele
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification 1-gen-2017 Mastroeni, Isabella; Pasqua, Michele
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking 1-gen-2020 Munteanu, Andrei; Pasqua, Michele; Merro, Massimo
On topologies for (hyper)properties 1-gen-2017 Pasqua, M.; Mastroeni, I.
Restats: A Test Coverage Tool for RESTful APIs 1-gen-2021 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
Securing Cross-App Interactions in IoT Platforms 1-gen-2019 Balliu, Musard; Merro, Massimo; Pasqua, Michele
A semantics-based approach to software watermarking by abstract interpretation 1-gen-2016 DALLA PREDA, Mila; Pasqua, Michele
Semantics-based software watermarking by abstract interpretation 1-gen-2019 DALLA PREDA, Mila; Pasqua, Michele
Software Watermarking: A Semantics-based Approach 1-gen-2017 DALLA PREDA, Mila; Pasqua, Michele
Statically Analyzing Information Flows - An Abstract Interpretation-based Hyperanalysis for Non-Interference. 1-gen-2019 Mastroeni, Isabella; Pasqua, Michele
Verifying Bounded Subset-Closed Hyperproperties 1-gen-2018 Mastroeni, Isabella; Pasqua, Michele
Verifying Opacity by Abstract Interpretation 1-gen-2022 Mastroeni, Isabella; Pasqua, Michele