Mattia Paccamiccio

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 5

Top Topics

Stable Model Semantics

Database Languages

Declarative Semantics

Top Venues

Publications

Mattia Paccamiccio, Franco Raimondi, Michele Loreti
Building call graph of WebAssembly programs via abstract semantics. ITASEC (2024)
Mattia Paccamiccio, Franco Raimondi, Michele Loreti
Building Call Graph of WebAssembly Programs via Abstract Semantics. CoRR (2024)
Mattia Paccamiccio, Leonardo Mostarda
Reasoning about inter-procedural security requirements in IoT applications. CoRR (2022)
Fadi M. Al-Turjman, Diletta Cacciagrano, Leonardo Mostarda, Mattia Paccamiccio, Zaib Ullah
Light Communication for Controlling Industrial Robots. CoRR (2022)
Mattia Paccamiccio, Leonardo Mostarda
Reasoning About Inter-procedural Security Requirements in IoT Applications. AINA (3) (2022)