MENGHI, CLAUDIO

MENGHI, CLAUDIO  

Mostra records
Risultati 1 - 11 di 11 (tempo di esecuzione: 0.017 secondi).
Titolo Data di pubblicazione Autori File
A control-theoretic approach to self-adaptive systems and an application to cloud-based software 1-gen-2015 GHEZZI, CARLOGIBILISCO, GIOVANNI PAOLOMENGHI, CLAUDIOMIGLIERINA, MARCO
Engineering topology aware adaptive security: Preventing requirements violations at runtime 1-gen-2014 TSIGKANOS, CHRISTOSMENGHI, CLAUDIOGHEZZI, CARLO +
Model Checking MITL Formulae on Timed Automata: A Logic-based Approach 1-gen-2020 Menghi C.Bersani M. M.Rossi M.San Pietro P.
On requirement verification for evolving Statecharts specifications 1-gen-2014 GHEZZI, CARLOMENGHI, CLAUDIO +
On requirements verification for model refinements 1-gen-2013 GHEZZI, CARLOMENGHI, CLAUDIO +
PuRSUE -from specification of robotic environments to synthesis of controllers 1-gen-2020 Bersani, Marcello M.Menghi, ClaudioRossi, Matteo +
RoboMAX: Robotic Mission Adaptation eXemplars 1-gen-2021 Askarpour, MehrnooshTsigkanos, ChristosMenghi, ClaudioRossi, MatteoBersani, Marcello M. +
Topology Aware Adaptive Security 1-gen-2014 GHEZZI, CARLOMENGHI, CLAUDIOTSIGKANOS, CHRISTOS +
TOrPEDO: witnessing model correctness with topological proofs 1-gen-2021 Menghi C.Rizzi A. M.Bernasconi A.Spoletini P.
Towards agile verification 1-gen-2013 GHEZZI, CARLOMENGHI, CLAUDIO +
Verifying incomplete and evolving specifications 1-gen-2014 MENGHI, CLAUDIO