Marco Roveri - Publications, H-index & Citations

Back

Marco Roveri

university of trento

36H-index

186Paper Count

7.3KCitation Count

Published Papers 16

Publication Date

Firmware Secure Updates Meet Formal Verification

ACM Transactions on Cyber-Physical Systems

IF2.9

2026-01-01

PREAI

Tacchella, Alberto; Beozzo, Emanuele; Crispo, Bruno; Roveri, Marco

Save

Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications

IEEE Robotics and Automation Letters

IF5.3

2025-12-11

OAAI

Enrico Saccon; Davide De Martini; Matteo Saveriano; Edoardo Lamon; Luigi Palopoli; Marco Roveri

Save

SymboleoAC: an access control model for smart legal contracts

SOFTWARE AND SYSTEMS MODELING

IF3.2

2025-12-01

PREAI

Alfuhaid, Sofana; Anda, Amal Ahmed; Amyot, Daniel; Roveri, Marco; Mylopoulos, John

Save

The compliance gap in data supply chains: contract specification languages and smart contracts as compliance technologies

artificial intelligence in agriculture

IF3.1

2025-07-10

PREAI

Pablo Marcello Baquero; David Restrepo Amariles; Daniel Amyot; Amal Ahmed Anda; Mustafa Bayirli; Luigi Logrippo; Alberto Lopes; John Mylopoulos; Alireza Parvizimosaed; Aidin Rasti; Marco Roveri

Save

FLAShadow: A Flash-based Shadow Stack for Low-end Embedded Systems

acm transactions on internet technology

IF3.7

2024-08-12

PREAI

Grisafi, Michele; Ammar, Mahmoud; Roveri, Marco; Crispo, Bruno

Save

CryptojackingTrap: An Evasion Resilient Nature-Inspired Algorithm to Detect Cryptojacking Malware

IEEE TRANSACTIONS ON INFORMATION FORENSICS AND SECURITY

IF8

2024-01-01

PREAI

Chahoki, Atefeh Zareh; Shahriari, Hamid Reza; Roveri, Marco

Save

A Markovian model for the spread of the SARS-CoV-2 virus?

AUTOMATICA

IF5.9

2023-05-01

OAAI

Palopoli, Luigi; Fontanelli, Daniele; Frego, Marco; Roveri, Marco

Save

Discovery and Identification of Memory Corruption Vulnerabilities on Bare-Metal Embedded Devices

IEEE TRANSACTIONS ON DEPENDABLE AND SECURE COMPUTING

IF7.5

2023-03-01

OAAI

Salehi, Majid; Degani, Luca; Roveri, Marco; Hughes, Danny; Crispo, Bruno

Save

A Comprehensive Approach to On-board Autonomy Verification and Validation

ACM TRANSACTIONS ON INTELLIGENT SYSTEMS AND TECHNOLOGY

IF6.6

2021-08-20

OAAI

Bozzano, Marco; Cimatti, Alessandro; Roveri, Marco

Save

Strong temporal planning with uncontrollable durations

artificial intelligence review

IF4.6

2018-03-01

OAAI

Cimatti, Alessandro; Minh Do; Michell, Andrea; Roveri, Marco; Smith, David E.

Save

An SMT-based approach to weak controllability for disjunctive temporal problems with uncertainty

artificial intelligence review

IF4.6

2015-07-01

PREAI

Cimatti, Alessandro; Michell, Andrea; Roveri, Marco

Save

Spacecraft early design validation using formal methods

RELIABILITY ENGINEERING & SYSTEM SAFETY

IF11

2014-12-01

OAAI

Bozzano, Marco; Cimatti, Alessandro; Katoen, Joost-Pieter; Katsaros, Panagiotis; Mokos, Konstantinos; Viet Yen Nguyen; Noll, Thomas; Postma, Bart; Roveri, Marco

Save

Validation of Requirements for Hybrid Systems: a Formal Approach

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2013-02-07

PREAI

Cimatti, Alessandro; Roveri, Marco; Susi, Angelo; Tonetta, Stefano

Save

Strong planning under partial observability

artificial intelligence review

IF4.6

2006-04-01