Claudio Menghi

Cited by

	All	Since 2018
Citations	799	700
h-index	17	15
i10-index	26	24

200

100

150

20142015201620172018201920202021202220239 23 20 35 67 76 128 188 186 55

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, Switzerland - University of Athens, GreeceVerified 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 PedrielliAssistant Professor of Industrial Engineering, 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	58	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	52	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	47	2014
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	40	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
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	38	2020
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
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
PsALM: Specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019	23	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	23	2017
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	19	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	19	2013
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
PuRSUE - From Specification of Robotic Environments to Synthesis of Controllers MM Bersani, M Soldo, C Menghi, P Pelliccione, M Rossi Formal Aspects of Computing, 2020	15	2020
Supporting Verification-Driven Incremental Distributed Design of Components. C Menghi, P Spoletini, M Chechik, C Ghezzi Fundamental Approaches to Software Engineering: 21st International …, 2018	15	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