PASQUA, Michele

PASQUA, Michele  

DIPARTIMENTO DI INFORMATICA  

Mostra records
Risultati 1 - 8 di 8 (tempo di esecuzione: 0.015 secondi).
Titolo Data di pubblicazione Autore(i) File
AbU: A calculus for distributed event-driven programming with attribute-based interaction 1-gen-2023 Pasqua, Michele; Miculan, Marino
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
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
Friendly Fire: Cross-App Interactions in IoT Platforms 1-gen-2021 Balliu, Musard; Merro, Massimo; Pasqua, Michele; Shcherbakov, Mikhail
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
The AbU Language: IoT Distributed Programming Made Easy 1-gen-2022 Pasqua, M; Comuzzo, M; Miculan, M