Michele Pasqua

From MaRDI portal
Person:1650960

Available identifiers

zbMath Open pasqua.micheleMaRDI QIDQ1650960

List of research outcomes





PublicationDate of PublicationType
Behavioral equivalences for AbU: verifying security and safety in distributed IoT systems2024-04-17Paper
Verifying bounded subset-closed hyperproperties2023-05-26Paper
On the security and safety of AbU systems2023-05-26Paper
AbU: a calculus for distributed event-driven programming with attribute-based interaction2023-05-02Paper
A calculus for attribute-based memory updates2022-03-31Paper
Hyperhierarchy of semantics -- a formal framework for hyperproperties verification2019-09-16Paper
Semantics-based software watermarking by abstract interpretation2019-01-17Paper
Software watermarking: a semantics-based approach2018-07-16Paper

Research outcomes over time

This page was built for person: Michele Pasqua

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:1650960&oldid=6455666"
Powered by MediaWiki