Claudio Menghi
Claudio Menghi
University of Luxembourg, Interdisciplinary Centre for Security, Reliability and Trust
Verified email at uni.lu - Homepage
TitleCited byYear
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
272014
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
242014
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
162013
SecuriTAS: a tool for engineering adaptive security
L Pasquale, C Menghi, M Salehie, L Cavallaro, I Omoronyia, B Nuseibeh
Association for Computing Machinery, 2012
152012
Dealing with Incompleteness in Automata-Based Model Checking
C Menghi, P Spoletini, C Ghezzi
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016
142016
On requirement verification for evolving statecharts specifications
C Ghezzi, C Menghi, AM Sharifloo, P Spoletini
Requirements Engineering 19 (3), 231-255, 2014
112014
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
102017
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
92016
Integrating goal model analysis with iterative design
C Menghi, P Spoletini, C Ghezzi
International Working Conference on Requirements Engineering: Foundation for …, 2017
82017
Poster: Property specification patterns for robotic missions
C Menghi, C Tsigkanos, T Berger, P Pelliccione, C Ghezzi
2018 IEEE/ACM 40th International Conference on Software Engineering …, 2018
72018
Supporting Verification-Driven Incremental Distributed Design of Components.
C Menghi, P Spoletini, M Chechik, C Ghezzi
Fundamental Approaches to Software Engineering: 21st International …, 2018
62018
Verifying incomplete and evolving specifications
C Menghi
Companion Proceedings of the 36th International Conference on Software …, 2014
62014
COVER: Change-based Goal Verifier and Reasoner.
C Menghi, P Spoletini, C Ghezzi
REFSQ Workshops, 2017
52017
Towards Agile Verification
C Ghezzi, AM Sharifloo, C Menghi
Perspectives on the Future of Software Engineering: Essays in Honor of …, 2013
5*2013
Multi-Robot LTL Planning Under Uncertainty
C Menghi, S Garcia, P Pelliccione, J Tumova
22nd International Symposium on Formal Methods (FM), 2018
4*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
32018
From model checking to a temporal proof for partial models: preliminary example
A Bernasconi, C Menghi, P Spoletini, LD Zuck, C Ghezzi
arXiv preprint arXiv:1706.02701, 2017
32017
Generating Automated and Online Test Oracles for Simulink Models with Continuous and Uncertain Behaviors
C Menghi, S Nejati, K Gaaloul, L Briand
arXiv preprint arXiv:1903.03399, 2019
12019
Specification Patterns for Robotic Missions
C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger
arXiv preprint arXiv:1901.02077, 2019
12019
Keeping intelligence under control
P Mallozzi, P Pelliccione, C Menghi
2018 IEEE/ACM 1st International Workshop on Software Engineering for …, 2018
12018
The system can't perform the operation now. Try again later.
Articles 1–20