Marcello M. Bersani - Publications, H-index & Citations

Marcello M. Bersani

Polytechnic University of Milan

14H指数

89论文数

600被引数

收录论文 7

发表时间

Reality Check on Formal Methods in Industry: A Study of Verum Dezyne 对工业中形式方法的现实核查：一项关于Verum Dezyne的研究

JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS

IF1.8

2025-12-01

OAAI

Chiari, Michele; Camilli, Matteo; Bersani, Marcello M.; van Beusekom, Rutger; Tamburri, Damian A.

Proactive self-adaptation and assurance of explainable Human–Machine Teaming 主动自适应性及可解释人机协同的保障

Journal of Systems and Software

IF4.1

2025-10-15

PREAI

Livia Lestingi; Marcello M. Bersani; Matteo Camilli; Raffaela Mirandola; Matteo Rossi; Patrizia Scandurra

Data-Driven Energy Modeling of Machining Centers Through Automata Learning

IEEE TRANSACTIONS ON AUTOMATION SCIENCE AND ENGINEERING

IF6.4

2024-01-01

OAAI

Lestingi, Livia; Frigerio, Nicla; Bersani, Marcello M.; Matta, Andrea; Rossi, Matteo

Model-Driven Development of Service Robot Applications Dealing With Uncertain Human Behavior

IEEE INTELLIGENT SYSTEMS

IF6.1

2022-11-01

OAAI

Lestingi, Livia; Bersani, Marcello M.; Rossi, Matteo

Edge-Based Runtime Verification for the Internet of Things

IEEE TRANSACTIONS ON SERVICES COMPUTING

IF5.8

2022-09-01

OAAI

Tsigkanos, Christos; Bersani, Marcello M.; Frangoudis, Pantelis A.; Dustdar, Schahram

A Deployment Framework for Formally Verified Human-Robot Interactions

IEEE ACCESS

IF3.6

2021-01-01

OAAI

Lestingi, Livia; Askarpour, Mehrnoosh; Bersani, Marcello M.; Rossi, Matteo

Verifying big data topologies by-design: a semi-automated approach 按设计验证大数据拓扑: 一种半自动方法

JOURNAL OF BIG DATA

IF6.4

2019-05-18

OAAI

Bersani, Marcello M.; Marconi, Francesco; Tamburri, Damian A.; Nodari, Andrea; Jamshidi, Pooyan

研究方向