Claudio Menghi

Cited by

	All	Since 2018
Citations	833	734
h-index	17	15
i10-index	26	24

200

100

150

20142015201620172018201920202021202220239 23 20 35 68 75 128 185 185 93

Public access

View all

32 articles

2 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
Paola SpoletiniKennesaw State UniversityVerified email at kennesaw.edu
Lionel BriandProfessor, EECS, University of Ottawa, Canada and SnT Centre, University of LuxembourgVerified email at uottawa.ca
Christos TsigkanosUniversity of Bern, SwitzerlandVerified email at inf.unibe.ch
Thorsten BergerProfessor of Computer Science, Ruhr University BochumVerified email at rub.de
Shiva NejatiEECS / University of OttawaVerified email at uottawa.ca
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk
Liliana PasqualeUniversity College DublinVerified email at ucd.ie
Sergio García GonzaloUniversity of GothenburgVerified email at chalmers.se
Marcello M. BersaniPost-doc researcher, Politecnico di MilanoVerified email at elet.polimi.it
Yago Isasi ParacheLuxSpace SàrlVerified email at luxspace.lu
Georgios FainekosToyota Research Institute of North AmericaVerified email at toyota.com
Gidon ErnstSoftware and Computational Systems Lab, LMU MunichVerified email at lmu.de
Yoriyuki YamagataSenior Researcher, National Institute of Advanced Industrial Science and Technology (AIST)Verified email at aist.go.jp
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
Zhenya ZhangKyushu UniversityVerified email at ait.kyushu-u.ac.jp
Anna BernasconiAssistant Professor, Politecnico di MilanoVerified email at polimi.it
Tomas BuresFull Professor of Computer Science, Charles UniversityVerified email at d3s.mff.cuni.cz

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	64	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	62	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	54	2019
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	46	2014
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	43	2020
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	43	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	40	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	38	2019
Multi-Robot LTL Planning Under Uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova 22nd International Symposium on Formal Methods (FM), 2018	34*	2018
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	29	2019
PsALM: Specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019	24	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	24	2017
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	24	2012
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	20	2018
Dealing with Incompleteness in Automata-Based Model Checking C Menghi, P Spoletini, C Ghezzi FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016	20	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	20	2013
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	17	2021
Integrating goal model analysis with iterative design C Menghi, P Spoletini, C Ghezzi Requirements Engineering: Foundation for Software Quality: 23rd …, 2017	17	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	16	2020
Systems and methods for runtime adaptive security to protect variable assets M Salehie, L Pasquale, C Menghi, I Omoronyia, B Nuseibeh US Patent 9,330,262, 2016	16	2016

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