Michele Pasqua
Michele Pasqua
Verified email at univr.it
Title
Cited by
Cited by
Year
Software watermarking: a semantics-based approach
M Dalla Preda, M Pasqua
Electronic Notes in Theoretical Computer Science 331, 71-85, 2017
152017
Verifying bounded subset-closed hyperproperties
I Mastroeni, M Pasqua
International Static Analysis Symposium, 263-283, 2018
112018
Hyperhierarchy of semantics-a formal framework for hyperproperties verification
I Mastroeni, M Pasqua
International Static Analysis Symposium, 232-252, 2017
112017
Securing cross-app interactions in IoT platforms
M Balliu, M Merro, M Pasqua
2019 IEEE 32nd computer security foundations symposium (CSF), 319-31915, 2019
102019
Friendly fire: cross-app interactions in IoT platforms
M Balliu, M Merro, M Pasqua, M Shcherbakov
ACM Transactions on Privacy and Security (TOPS) 24 (3), 1-40, 2021
62021
On Topologies for (Hyper) Properties.
M Pasqua, I Mastroeni
ICTCS/CILC, 150-161, 2017
52017
Statically analyzing information flows: An abstract interpretation-based hyperanalysis for non-interference
I Mastroeni, M Pasqua
Proceedings of the 34th ACM/SIGAPP Symposium on Applied Computing, 2215-2223, 2019
32019
Restats: A Test Coverage Tool for RESTful APIs
D Corradini, A Zampieri, M Pasqua, M Ceccato
arXiv preprint arXiv:2108.08209, 2021
12021
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs
D Corradini, A Zampieri, M Pasqua, M Ceccato
arXiv preprint arXiv:2108.08196, 2021
12021
An abstract domain for objects in dynamic programming languages
V Arceri, M Pasqua, I Mastroeni
International Symposium on Formal Methods, 136-151, 2019
12019
Semantics-based software watermarking by abstract interpretation
M Dalla Preda, M Pasqua
Mathematical Structures in Computer Science 29 (2), 339-388, 2019
12019
Hyperhierarchy of Semantics
I Mastroeni, M Pasqua
SAS, 2017
12017
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking
A Munteanu, M Pasqua, M Merro
Proceedings of the 8th International Conference on Formal Methods in …, 2020
2020
A semantics-based approach to Software Watermarking by Abstract Interpretation
M Dalla Preda, M Pasqua
The system can't perform the operation now. Try again later.
Articles 1–14