Claudio Menghi - Google Scholar Citations

Cited by

	All	Since 2015
Citations	234	221
h-index	10	10
i10-index	10	10

201320142015201620172018201920201 8 23 20 33 73 68 4

Co-authors

Carlo GhezziEmeritus Professor, Politecnico di MilanoVerified email at polimi.it
Paola SpoletiniKennesaw State UniversityVerified email at kennesaw.edu
Patrizio PelliccioneAssociate Professor, Chalmers | University of Gothenburg and University of L'AquilaVerified email at chalmers.se
Christos TsigkanosTechnical University of ViennaVerified email at tuwien.ac.at
Bashar NuseibehThe Open University (UK) & Lero (Ireland)Verified email at open.ac.uk
Liliana PasqualeUniversity College DublinVerified email at ucd.ie
Thorsten BergerAssociate Professor in Software Engineering, Chalmers | University of GothenburgVerified email at chalmers.se
Dr. Amir Molzam ShariflooThe Ruhr Institute for Software Technology, University of Duisburg-Essen, GermanyVerified email at paluno.uni-due.de
Anna BernasconiPolitecnico di MilanoVerified email at polimi.it
Inah OmoronyiaLecturer in Software Engineering and Information Security, University of GlasgowVerified email at glasgow.ac.uk
Mazeiar SalehieResearch Fellow, Lero (Irish Software Engineering Research Centre)Verified email at lero.ie
Jana TumovaKTHVerified email at kth.se
Shiva NejatiSnT/University of LuxembourgVerified email at svv.lu
Lionel BriandProfessor, EECS, University of Ottawa, Canada and SnT Centre, University of LuxembourgVerified email at uottawa.ca
Marsha Chechik Professor of Computer Science, University of TorontoVerified email at cs.toronto.edu
Luca CavallaroPostdoctoral Fellow, LERO, University of Limerick, IrelandVerified email at lero.ie
Rebekka WohlrabChalmers | University of GothenburgVerified email at chalmers.se
Giovanni Paolo GibiliscoPolitecnico di MilanoVerified email at polimi.it
Marco MiglierinaPhD Student in Computer Engineering, Politecnico di MilanoVerified email at polimi.it
Piergiuseppe MallozziPhD Student, Chalmers University of TechnologyVerified email at chalmers.se

Claudio Menghi

University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust

Verified email at uni.lu - Homepage

formal methods software engineering


Title	Cited by	Year
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	33	2014
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	30	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	19	2012
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	17	2013
Dealing with Incompleteness in Automata-Based Model Checking C Menghi, P Spoletini, C Ghezzi FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016	16	2016
From model checking to a temporal proof for partial models A Bernasconi, C Menghi, P Spoletini, LD Zuck, C Ghezzi International Conference on Software Engineering and Formal Methods, 54-69, 2017	13	2017
On requirement verification for evolving statecharts specifications C Ghezzi, C Menghi, AM Sharifloo, P Spoletini Requirements Engineering 19 (3), 231-255, 2014	12	2014
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	11	2018
Multi-Robot LTL Planning Under Uncertainty C Menghi, S Garcia, P Pelliccione, J Tumova 22nd International Symposium on Formal Methods (FM), 2018	10*	2018
Integrating goal model analysis with iterative design C Menghi, P Spoletini, C Ghezzi International Working Conference on Requirements Engineering: Foundation for …, 2017	10	2017
Supporting Verification-Driven Incremental Distributed Design of Components. C Menghi, P Spoletini, M Chechik, C Ghezzi Fundamental Approaches to Software Engineering: 21st International …, 2018	8	2018
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	8	2018
PsALM: specification of dependable robotic missions C Menghi, C Tsigkanos, T Berger, P Pelliccione 2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019	6	2019
COVER: Change-based Goal Verifier and Reasoner. C Menghi, P Spoletini, C Ghezzi REFSQ Workshops, 2017	6	2017
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	6	2016
Verifying incomplete and evolving specifications C Menghi Companion Proceedings of the 36th International Conference on Software …, 2014	6	2014
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	5	2019
Towards Agile Veriﬁcation C Ghezzi, AM Shariﬂoo, C Menghi Perspectives on the Future of Software Engineering: Essays in Honor of …, 2013	5*	2013
Specification patterns for robotic missions C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger IEEE Transactions on Software Engineering (TSE), 2019	4	2019
Keeping intelligence under control P Mallozzi, P Pelliccione, C Menghi 2018 IEEE/ACM 1st International Workshop on Software Engineering for …, 2018	3	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

Upload PDF

Follow this author

Cited by

Co-authors