Giuseppe Crincoli

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 4

Top Topics

Pspace Complete

Alternating Time Temporal Logic

Automated Detection

Top Venues

Publications

Daniele Albanese, Giuseppe Crincoli, Marco De Vincenzi, Giacomo Iadarola, Fabio Martinelli, Ilaria Matteucci, Paolo Mori
Privacy-Preserving Data Sharing for Collaborative Analytics in Multi-Modal Transportation Systems. ERCIM News 2023 (133) (2023)
Giuseppe Crincoli, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
Vulnerable Smart Contract Detection by Means of Model Checking. BSCI (2022)
Giuseppe Crincoli, Fabiana Fierro, Giacomo Iadarola, Piera Elena La Rocca, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
A Method for Road Accident Prevention in Smart Cities based on Deep Reinforcement Learning. SECRYPT (2022)
Giuseppe Crincoli, Tiziano Marinaro, Fabio Martinelli, Francesco Mercaldo, Antonella Santone
Code Reordering Obfuscation Technique Detection by Means of Weak Bisimulation. AINA (2020)