Concepedia

Claudio Menghi

CM

Statistics

Publications

25

Citations

523

H-Index

15

Active since

2012

Affiliations

University of Luxembourg(Current)

Politecnico di Milano

McMaster University

University of Gothenburg

Chalmers University of Technology

Claudio Menghi is an author at University of Luxembourg specializing in computer science, engineering, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal MethodsSoftware EngineeringFormal VerificationVerificationSoftware DesignAutomationAutomated Reasoning

Publications per year

2012–2023

25

Publications

25

Approximation-refinement testing of compute-intensive cyber-physical models

Claudio Menghi, Shiva Nejati, Lionel Briand et al. · 2020 · 58 citations

Engineering, Verification, Model Verification +18

An Architecture for Decentralized, Collaborative, and Autonomous Robots

Sergio García, Claudio Menghi, Patrizio Pelliccione et al. · 2018 · 37 citations

Artificial Intelligence, Human-robot Collaborative Assembly, Robotic Systems +17

High-level mission specification for multiple robots

Sergio García, Patrizio Pelliccione, Claudio Menghi et al. · 2019 · 35 citations

Artificial Intelligence, Engineering, Robotic Agent +18

Topology aware adaptive security

Liliana Pasquale, Carlo Ghezzi, Claudio Menghi et al. · 2014 · 34 citations

ARCH-COMP 2020 Category Report: Falsification

Gidon Ernst, Paolo Arcaini, Ismail Bennani et al. · EPiC series in computing · 2020 · 27 citations · Full text

Engineering, Temporal Logic Specifications, Verification +21

Rows per page

1–5 of 25