Marco Roveri - Publications, H-index & Citations

Marco Roveri

university of trento

36H指数

186论文数

7.3K被引数

收录论文 16

发表时间

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

Automated Generation of MDPs Using Logic Programming and LLMs for Robotic Applications 基于逻辑编程和LLMs的机器人应用中MDPs的自动生成

IEEE Robotics and Automation Letters

IF5.3

2025-12-11

OAAI

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

SymboleoAC: an access control model for smart legal contracts SymboleoAC：一种智能法律合同的访问控制模型

SOFTWARE AND SYSTEMS MODELING

IF3.2

2025-12-01

PREAI

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

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

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

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

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

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

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

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.

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

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

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

Strong planning under partial observability

artificial intelligence review

IF4.6

2006-04-01

PREAI

Bertoli, P; Cimatti, A; Roveri, M; Traverso, P