MENGHI, CLAUDIO
MENGHI, CLAUDIO
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.017 secondi).
Engineering topology aware adaptive security: Preventing requirements violations at runtime
2014-01-01 Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo; Nuseibeh, Bashar
On requirements verification for model refinements
2013-01-01 Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola
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.
Topology Aware Adaptive Security
2014-01-01 Liliana, Pasquale; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Bashar, Nuseibeh
Verifying incomplete and evolving specifications
2014-01-01 Menghi, Claudio