Urmăriți
Claudio Menghi
Claudio Menghi
University of Bergamo and McMaster University
Adresă de e-mail confirmată pe unibg.it - Pagina de pornire
Titlu
Citat de
Citat de
Anul
Specification patterns for robotic missions
C Menghi, C Tsigkanos, P Pelliccione, C Ghezzi, T Berger
IEEE Transactions on Software Engineering (TSE), 2019
822019
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
762020
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
632019
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
522018
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
472020
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
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
422019
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
412012
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
392014
Multi-Robot LTL Planning Under Uncertainty
C Menghi, S Garcia, P Pelliccione, J Tumova
22nd International Symposium on Formal Methods (FM), 2018
37*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
352019
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
282021
PsALM: Specification of dependable robotic missions
C Menghi, C Tsigkanos, T Berger, P Pelliccione
2019 IEEE/ACM 41st International Conference on Software Engineering …, 2019
272019
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
262017
Dealing with Incompleteness in Automata-Based Model Checking
C Menghi, P Spoletini, C Ghezzi
FM 2016: Formal Methods - 21st International Symposium, Limassol, Cyprus …, 2016
222016
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
212013
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
202018
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
192020
Mining Assumptions for Software Components using Machine Learning
K Gaaloul, C Menghi, S Nejati, L Briand, D Wolfe
Foundations of Software Engineering (ESEC/FSE), 2020
182020
Integrating goal model analysis with iterative design
C Menghi, P Spoletini, C Ghezzi
Requirements Engineering: Foundation for Software Quality: 23rd …, 2017
182017
Sistemul nu poate realiza operația în acest moment. Încercați din nou mai târziu.
Articole 1–20