Claudio Menghi - Publications, H-index & Citations

Claudio Menghi

University of Bergamo

17H指数

110论文数

779被引数

收录论文 13

发表时间

Evaluating AI-supported eliminative argumentation for developing reliable assurance cases 评估支持AI的消除性论证方法在开发可靠保证案例中的应用

Empirical Software Engineering

IF3.6

2026-03-27

PREAI

Torin Viger; Logan Murphy; Simon Diemert; Claudio Menghi; Aren A. Babikian; Jeff Joyce; Alessio Di Sandro; Naweed Anwari; Erin Cyffka; Marsha Chechik

Safety Analysis of Over-the-Air Updates for CPS: A Contract-Driven Approach 针对CPS的空中下载更新安全性分析：一种契约驱动方法

IEEE Transactions on Software Engineering

IF5.6

2026-03-01

PREAI

Bisceglia, Nunzio Marco; Zanenga, Aurora Francesca; Askarpour, Mehrnoosh; Kokaly, Sahar; Ramesh, S.; Chechik, Marsha; Menghi, Claudio

Assessing the Usefulness of Assurance Cases: Experience With the Large Hadron Collider 评估保证案例的有用性：大型强子对撞机的经验

SYSTEMS ENGINEERING

IF0

2025-09-01

PREAI

Viger, Torin; Joyce, Jeff; Diemert, Simon; Menghi, Claudio; Chechik, Marsha; Uythoven, Jan; Zerlauth, Markus; Felsberger, Lukas

Completeness and Consistency of Tabular Requirements: An SMT-Based Verification Approach 表格要求的完整性和一致性: 基于SMT的验证方法

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2025-02-01

PREAI

Menghi, Claudio; Balai, Eugene; Valovcin, Darren; Sticksel, Christoph; Rajhans, Akshay

Simulation-Based Testing of Simulink Models With Test Sequence and Test Assessment Blocks 使用测试序列和测试评估模块对Simulink模型进行基于仿真的测试

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2024-02-01

OAAI

Formica, Federico; Fan, Tony; Rajhans, Akshay; Pantelic, Vera; Lawford, Mark; Menghi, Claudio

Search-Based Software Testing Driven by Automatically Generated and Manually Defined Fitness Functions 由自动生成和手动定义的适应度函数驱动的基于搜索的软件测试

ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY

IF6.2

2023-12-23

OAAI

Formica, Federico; Fan, Tony; Menghi, Claudio

Reflections on Surrogate-Assisted Search-Based Testing: A Taxonomy and Two Replication Studies based on Industrial ADAS and Simulink Models 关于代理辅助搜索测试的思考: 基于工业ADAS和Simulink模型的分类学和两个复制研究

INFORMATION AND SOFTWARE TECHNOLOGY

IF4.3

2023-11-01

OAAI

Nejati, Shiva; Sorokin, Lev; Safin, Damir; Formica, Federico; Mahboob, Mohammad Mahdi; Menghi, Claudio

Trace Diagnostics for Signal-Based Temporal Properties

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-05-01

OAAI

Boufaied, Chaima; Menghi, Claudio; Bianculli, Domenico; Briand, Lionel C.

Mission Specification Patterns for Mobile Robots: Providing Support for Quantitative Properties

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2023-04-01

OAAI

Menghi, Claudio; Tsigkanos, Christos; Askarpour, Mehrnoosh; Pelliccione, Patrizio; Vazquez, Gricel; Calinescu, Radu; Garcia, Sergio

Combining Genetic Programming and Model Checking to Generate Environment Assumptions 结合遗传编程和模型检查生成环境假设

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2022-09-01

OAAI

Gaaloul, Khouloud; Menghi, Claudio; Nejati, Shiva; Briand, Lionel C.; Parache, Yago Isasi

Specification Patterns for Robotic Missions

IEEE TRANSACTIONS ON SOFTWARE ENGINEERING

IF5.6

2021-10-01

OAAI

Menghi, Claudio; Tsigkanos, Christos; Pelliccione, Patrizio; Ghezzi, Carlo; Berger, Thorsten

Special Issue: Agents and Robots for Reliable Engineered Autonomy

JOURNAL OF SENSOR AND ACTUATOR NETWORKS

IF4.2

2021-07-13

OAAI

Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias

Agents and Robots for Reliable Engineered Autonomy:A Perspective from the Organisers of AREA 2020

JOURNAL OF SENSOR AND ACTUATOR NETWORKS

IF4.2

2021-05-14

OAAI

Cardoso, Rafael C.; Ferrando, Angelo; Briola, Daniela; Menghi, Claudio; Ahlbrecht, Tobias

研究方向