MENGHI, CLAUDIO
MENGHI, CLAUDIO
A control-theoretic approach to self-adaptive systems and an application to cloud-based software
2015-01-01 Ghezzi, Carlo; Gibilisco, GIOVANNI PAOLO; Menghi, Claudio; Miglierina, Marco
Engineering topology aware adaptive security: Preventing requirements violations at runtime
2014-01-01 Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo; Nuseibeh, Bashar
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach
2020-01-01 Menghi, C.; Bersani, M. M.; Rossi, M.; San Pietro, P.
On requirement verification for evolving Statecharts specifications
2014-01-01 Ghezzi, Carlo; Menghi, Claudio; Molzam Sharifloo, Amir; Spoletini, Paola
On requirements verification for model refinements
2013-01-01 Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola
PuRSUE -from specification of robotic environments to synthesis of controllers
2020-01-01 Bersani, Marcello M.; Soldo, Matteo; Menghi, Claudio; Pelliccione, Patrizio; Rossi, Matteo
RoboMAX: Robotic Mission Adaptation eXemplars
2021-01-01 Askarpour, Mehrnoosh; Tsigkanos, Christos; Menghi, Claudio; Calinescu, Radu; Pelliccione, Patrizio; Garcia, Sergio; Caldas, Ricardo; von Oertzen, Tim J; Wimmer, Manuel; Berardinelli, Luca; Rossi, Matteo; Bersani, Marcello M.; Rodrigues, Gabriel S.
Specification Patterns for Robotic Missions
2021-01-01 Menghi, Claudio; Tsigkanos, Christos; Pelliccione, Patrizio; Ghezzi, Carlo; Berger, Thorsten
Topology Aware Adaptive Security
2014-01-01 Liliana, Pasquale; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Bashar, Nuseibeh
TOrPEDO: witnessing model correctness with topological proofs
2021-01-01 Menghi, C.; Rizzi, A. M.; Bernasconi, A.; Spoletini, P.
Towards agile verification
2013-01-01 Ghezzi, Carlo; Sharifloo, Amir Molzam; Menghi, Claudio
Verifying incomplete and evolving specifications
2014-01-01 Menghi, Claudio