PASQUA, MICHELE

PASQUA, MICHELE  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 20 di 29 (tempo di esecuzione: 0.027 secondi).
Titolo Data di pubblicazione Autore(i) File
A Calculus for Attribute-Based Memory Updates 1-gen-2021 Miculan, M.; Pasqua, M.
A semantics-based approach to software watermarking by abstract interpretation 1-gen-2016 DALLA PREDA, Mila; Pasqua, Michele
AbU: A calculus for distributed event-driven programming with attribute-based interaction 1-gen-2023 Pasqua, Michele; Miculan, Marino
An abstract domain for objects in dynamic programming languages 1-gen-2020 Arceri, Vincenzo; Pasqua, Michele; Mastroeni, Isabella
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs 1-gen-2023 Corradini, Davide; Pasqua, Michele; Ceccato, Mariano
Automated black-box testing of nominal and error scenarios in RESTful APIs 1-gen-2022 Corradini, D.; Zampieri, A.; Pasqua, M.; Viglianisi, E.; Dallago, M.; Ceccato, M.
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems 1-gen-2024 Pasqua, Michele; Miculan, Marino
Distributed Programming of Smart Systems with Event-Condition-Action Rules (Short Paper) 1-gen-2022 Miculan, Marino; Pasqua, Michele
Domain Precision in Galois Connection-Less Abstract Interpretation 1-gen-2023 Mastroeni, Isabella; Pasqua, Michele
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs 1-gen-2021 Corradini, Davide; Zampieri, Amedeo; Pasqua, Michele; Ceccato, Mariano
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode 1-gen-2023 Pasqua, Michele; Benini, Andrea; Contro, Filippo; Crosara, Marco; DALLA PREDA, Mila; Ceccato, Mariano
Enhancing REST API Testing with NLP Techniques 1-gen-2023 Kim, Myeongsoo; Corradini, Davide; Sinha, Saurabh; Orso, Alessandro; Pasqua, Michele; Tzoref-Brill, Rachel; Ceccato, Mariano
Friendly Fire: Cross-App Interactions in IoT Platforms 1-gen-2020 Balliu, Musard; Merro, Massimo; Pasqua, Michele
Friendly Fire: Cross-App Interactions in IoT Platforms 1-gen-2021 Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
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
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality 1-gen-2022 Gaiardelli, Sebastiano; Spellini, Stefano; Pasqua, Michele; Ceccato, Mariano; Fummi, Franco
On the Security and Safety of AbU Systems 1-gen-2021 Pasqua, M; Miculan, M
On topologies for (hyper)properties 1-gen-2017 Pasqua, M.; Mastroeni, I.