עקוב אחר
Claudio Menghi
Claudio Menghi
University of Bergamo and McMaster University
כתובת אימייל מאומתת בדומיין unibg.it - דף הבית
כותרת
צוטט על ידי
צוטט על ידי
שנה
Specification patterns for robotic missions‏
C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger‏
IEEE Transactions on Software Engineering (TSE), 2019‏
1192019
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‏
1052020
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‏
712019
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‏
572018
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‏
532019
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‏
522020
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‏
502019
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‏
482012
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‏
472014
Multi-Robot LTL Planning Under Uncertainty‏
C Menghi, S Garcia, P Pelliccione, J Tumova‏
22nd International Symposium on Formal Methods (FM), 2018‏
46*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‏
382014
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‏
362021
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‏
302021
PsALM: Specification of dependable robotic missions‏
C Menghi, C Tsigkanos, T Berger, P Pelliccione‏
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019‏
302019
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‏
292017
Arch-comp 2022 category report: Falsification with ubounded resources‏
G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ...‏
Proceedings of 9th International Workshop on Applied Verification of …, 2022‏
252022
PROMISE: High-level mission specification for multiple robots‏
S García, P Pelliccione, C Menghi, T Berger, T Bures‏
Proceedings of the ACM/IEEE 42nd International Conference on Software …, 2020‏
252020
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‏
232016
Dealing with Incompleteness in Automata-Based Model Checking‏
C Menghi, P Spoletini, C Ghezzi‏
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016‏
232016
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‏
222020
המערכת אינה יכולה לבצע את הפעולה כעת. נסה שוב מאוחר יותר.
מאמרים 1–20