Claudio Menghi

Cited by

	All	Since 2019
Citations	1195	1005
h-index	20	16
i10-index	34	32

260

130

195

2014201520162017201820192020202120222023202411 23 26 39 61 76 115 184 173 249 206

Public access

View all

41 articles

3 articles

available

not available

Based on funding mandates

Co-authors

Patrizio PelliccioneDirector of the CS area and Prof. in Software Engineering at Gran Sasso Science Institute (GSSI)Verified email at gssi.it
Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Lionel BriandProfessor, EECS, University of Ottawa, Canada and Lero Centre, University of Limerick, IrelandVerified email at uottawa.ca
Paola SpoletiniKennesaw State UniversityVerified email at kennesaw.edu
Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
Christos TsigkanosUniversity of Athens, GreeceVerified email at aerospace.uoa.gr
Shiva NejatiEECS / University of OttawaVerified email at uottawa.ca
Sergio García GonzaloUniversity of GothenburgVerified email at chalmers.se
Marsha ChechikProfessor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Bashar NuseibehThe Open UniversityVerified email at open.ac.uk
Liliana PasqualeUniversity College DublinVerified email at ucd.ie
Marcello M. BersaniPost-doc researcher, Politecnico di MilanoVerified email at elet.polimi.it
Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Giulia PedrielliAssociate Professor, School of Computing & Augmented Intelligence, Arizona State UniversityVerified email at asu.edu
Paolo ArcainiNational Institute of InformaticsVerified email at nii.ac.jp
Mehrnoosh AskarpourGeneral Motors, McMaster UniversityVerified email at gm.com
Yago Isasi ParacheLuxSpace SàrlVerified email at luxspace.lu
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
Zhenya ZhangKyushu UniversityVerified email at ait.kyushu-u.ac.jp

Claudio Menghi

University of Bergamo and McMaster University

Verified email at unibg.it - Homepage

formal methods software engineering automated verification


Title Sort by citations Sort by year Sort by title	Cited by Cited by	Year
Specification patterns for robotic missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering (TSE), 2019	106	2019
Approximation-Refinement Testing of Compute-Intensive Cyber-Physical Models: An Approach Based on System Identification C Menghi, S Nejati, LC Briand, YI Parache Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020	88	2020
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors C Menghi, S Nejati, K Gaaloul, LC Briand Foundations of Software Engineering, 27--38, 2019	67	2019
An Architecture for Decentralized, Collaborative, and Autonomous Robots S Garcia, C Menghi, P Pelliccione, T Berger, R Wohlrab International Conference on Software Architecture (ICSA), 2018	54	2018
Arch-comp 2020 category report: Falsification G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ... EPiC Series in Computing, 2020	47	2020
Topology aware adaptive security L Pasquale, C Ghezzi, C Menghi, C Tsigkanos, B Nuseibeh Proceedings of the 9th international symposium on software engineering for …, 2014	47	2014
Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models S Nejati, K Gaaloul, C Menghi, LC Briand, S Foster, D Wolfe Foundations of Software Engineering, 2019	46	2019
High-level mission specification for multiple robots S García, P Pelliccione, C Menghi, T Berger, T Bures Proceedings of the 12th ACM SIGPLAN international conference on software …, 2019	45	2019
Multi-Robot LTL Planning Under Uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova 22nd International Symposium on Formal Methods (FM), 2018	45*	2018
Engineering topology aware adaptive security: Preventing requirements violations at runtime C Tsigkanos, L Pasquale, C Menghi, C Ghezzi, B Nuseibeh 2014 IEEE 22nd International Requirements Engineering Conference (RE), 203-212, 2014	39	2014
SecuriTAS: a tool for engineering adaptive security L Pasquale, C Menghi, M Salehie, L Cavallaro, I Omoronyia, B Nuseibeh Proceedings of the ACM SIGSOFT 20th International Symposium on the …, 2012	34	2012
ARCH-COMP 2021 Category Report: Falsification with Validation of Results. G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ... ARCH@ ADHS, 133-152, 2021	31	2021
RoboMAX: Robotic Mission Adaptation eXemplars M Askarpour, C Tsigkanos, C Menghi, R Calinescu, P Pelliccione, ... Symposium on Software Engineering for Adaptive and Self-Managing Systems …, 2021	31	2021
PsALM: Specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019	29	2019
From model checking to a temporal proof for partial models A Bernasconi, C Menghi, P Spoletini, LD Zuck, C Ghezzi Software Engineering and Formal Methods: 15th International Conference, SEFM …, 2017	28	2017
PROMISE: High-level mission specification for multiple robots S Garcia, P Pelliccione, C Menghi, T Berger, T Bures Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020	23	2020
Dealing with Incompleteness in Automata-Based Model Checking C Menghi, P Spoletini, C Ghezzi FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016	23	2016
On requirements verification for model refinements C Ghezzi, C Menghi, AM Sharifloo, P Spoletini 2013 21st IEEE International Requirements Engineering Conference (RE), 62-71, 2013	22	2013
Mining Assumptions for Software Components using Machine Learning K Gaaloul, C Menghi, S Nejati, L Briand, D Wolfe Foundations of Software Engineering (ESEC/FSE), 2020	21	2020
Property specification patterns for robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione, C Ghezzi Proceedings of the 40th International Conference on Software Engineering …, 2018	21	2018

The system can't perform the operation now. Try again later.

Articles 1–20

Citations per year

Duplicate citations

Merged citations

Add co-authorsCo-authors

Follow

Cited by

Co-authors