![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Michele Pasqua
Person information
- affiliation: University of Verona, Italy
Refine list
![note](https://dblp.uni-trier.de/img/note-mark.dark.12x12.png)
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
Journal Articles
- 2024
- [j7]Michele Pasqua
, Marino Miculan
:
Behavioral equivalences for AbU: Verifying security and safety in distributed IoT systems. Theor. Comput. Sci. 998: 114537 (2024) - 2023
- [j6]Michele Pasqua
, Andrea Benini
, Filippo Contro
, Marco Crosara
, Mila Dalla Preda
, Mariano Ceccato
:
Enhancing Ethereum smart-contracts static analysis by computing a precise Control-Flow Graph of Ethereum bytecode. J. Syst. Softw. 200: 111653 (2023) - [j5]Michele Pasqua
, Marino Miculan
:
AbU: A calculus for distributed event-driven programming with attribute-based interaction. Theor. Comput. Sci. 958: 113841 (2023) - 2022
- [j4]Michele Pasqua
, Massimo Comuzzo, Marino Miculan
:
The AbU Language: IoT Distributed Programming Made Easy. IEEE Access 10: 132763-132776 (2022) - [j3]Davide Corradini, Amedeo Zampieri, Michele Pasqua, Emanuele Viglianisi, Michael Dallago, Mariano Ceccato
:
Automated black-box testing of nominal and error scenarios in RESTful APIs. Softw. Test. Verification Reliab. 32(5) (2022) - 2021
- [j2]Musard Balliu, Massimo Merro
, Michele Pasqua
, Mikhail Shcherbakov
:
Friendly Fire: Cross-app Interactions in IoT Platforms. ACM Trans. Priv. Secur. 24(3): 16:1-16:40 (2021) - 2019
- [j1]Mila Dalla Preda, Michele Pasqua
:
Semantics-based software watermarking by abstract interpretation. Math. Struct. Comput. Sci. 29(2): 339-388 (2019)
Conference and Workshop Papers
- 2024
- [c20]Michele Pasqua
, Mariano Ceccato
, Paolo Tonella
:
Hypertesting of Programs: Theoretical Foundation and Automated Test Generation. ICSE 2024: 115:1-115:12 - 2023
- [c19]Davide Corradini, Michele Pasqua, Mariano Ceccato
:
Automated Black-Box Testing of Mass Assignment Vulnerabilities in RESTful APIs. ICSE 2023: 2553-2564 - [c18]Myeongsoo Kim, Davide Corradini, Saurabh Sinha, Alessandro Orso, Michele Pasqua, Rachel Tzoref-Brill, Mariano Ceccato:
Enhancing REST API Testing with NLP Techniques. ISSTA 2023: 1232-1243 - [c17]Isabella Mastroeni
, Michele Pasqua
:
Domain Precision in Galois Connection-Less Abstract Interpretation. SAS 2023: 434-459 - 2022
- [c16]Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
:
RestTestGen: An Extensible Framework for Automated Black-box Testing of RESTful APIs. ICSME 2022: 504-508 - [c15]Michele Pasqua, Marino Miculan:
Distributed Programming of Smart Systems with Event-Condition-Action Rules. ICTCS 2022: 201-206 - [c14]Sebastiano Gaiardelli
, Stefano Spellini
, Michele Pasqua, Mariano Ceccato
, Franco Fummi:
Integrating Smart Contracts in Manufacturing for Automated Assessment of Production Quality. IECON 2022: 1-6 - [c13]Isabella Mastroeni
, Michele Pasqua:
Verifying opacity by abstract interpretation. SAC 2022: 1817-1826 - 2021
- [c12]Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
:
Restats: A Test Coverage Tool for RESTful APIs. ICSME 2021: 594-598 - [c11]Marino Miculan
, Michele Pasqua
:
A Calculus for Attribute-Based Memory Updates. ICTAC 2021: 366-385 - [c10]Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato
:
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs. SCAM 2021: 226-236 - [c9]Michele Pasqua, Marino Miculan
:
On the Security and Safety of AbU Systems. SEFM 2021: 178-198 - 2020
- [c8]Andrei Munteanu, Michele Pasqua
, Massimo Merro:
Impact Analysis of Cyber-Physical Attacks on a Water Tank System via Statistical Model Checking. FormaliSE@ICSE 2020: 34-43 - 2019
- [c7]Musard Balliu, Massimo Merro, Michele Pasqua
:
Securing Cross-App Interactions in IoT Platforms. CSF 2019: 319-334 - [c6]Vincenzo Arceri
, Michele Pasqua
, Isabella Mastroeni:
An Abstract Domain for Objects in Dynamic Programming Languages. FM Workshops (2) 2019: 136-151 - [c5]Isabella Mastroeni
, Michele Pasqua
:
Statically analyzing information flows: an abstract interpretation-based hyperanalysis for non-interference. SAC 2019: 2215-2223 - 2018
- [c4]Isabella Mastroeni
, Michele Pasqua
:
Verifying Bounded Subset-Closed Hyperproperties. SAS 2018: 263-283 - 2017
- [c3]Michele Pasqua, Isabella Mastroeni:
On Topologies for (Hyper)Properties. ICTCS/CILC 2017: 150-161 - [c2]Isabella Mastroeni
, Michele Pasqua
:
Hyperhierarchy of Semantics - A Formal Framework for Hyperproperties Verification. SAS 2017: 232-252 - 2016
- [c1]Mila Dalla Preda, Michele Pasqua
:
Software Watermarking: A Semantics-based Approach. NSAD@SAS 2016: 71-85
Informal and Other Publications
- 2023
- [i3]Davide Corradini, Michele Pasqua, Mariano Ceccato:
Automated Black-box Testing of Mass Assignment Vulnerabilities in RESTful APIs. CoRR abs/2301.01261 (2023) - 2021
- [i2]Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato:
Empirical Comparison of Black-box Test Case Generation Tools for RESTful APIs. CoRR abs/2108.08196 (2021) - [i1]Davide Corradini, Amedeo Zampieri, Michele Pasqua, Mariano Ceccato:
Restats: A Test Coverage Tool for RESTful APIs. CoRR abs/2108.08209 (2021)
Coauthor Index
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-08-05 21:12 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint