Scorri Autori Unibg
SecuriTAS: A tool for engineering adaptive security
2012-01-01 Pasquale, Liliana; Menghi, Claudio; Salehie, Mazeiar; Cavallaro, Luca; Omoronyia, Inah; Nuseibeh, Bashar
Towards agile verification
2013-01-01 Ghezzi, Carlo; Sharifloo, Amir Molzam; Menghi, Claudio
On requirements verification for model refinements
2013-01-01 Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola
Verifying incomplete and evolving specifications
2014-01-01 Menghi, Claudio
On requirement verification for evolving Statecharts specifications
2014-01-01 Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola
Engineering topology aware adaptive security: Preventing requirements violations at runtime
2014-01-01 Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo.; Nuseibeh, Bashar
Topology aware adaptive security
2014-01-01 Pasquale, Liliana; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Nuseibeh, Bashar
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
Dealing with incompleteness in automata-based model checking
2016-01-01 Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
COVER: Change-based goal verifier and reasoner
2017-01-01 Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
From model checking to a temporal proof for partial models
2017-01-01 Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D; Ghezzi, Carlo
Integrating Goal Model Analysis with Iterative Design
2017-01-01 Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo
Poster: Towards multi-robot applications planning under uncertainty
2018-01-01 Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana
Poster: Property specification patterns for robotic missions
2018-01-01 Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio; Ghezzi, Carlo
An Architecture for Decentralized, Collaborative, and Autonomous Robots
2018-01-01 Garcia, Sergio; Menghi, Claudio; Pelliccione, Patrizio; Berger, Thorsten; Wohlrab, Rebekka
Keeping intelligence under control
2018-01-01 Mallozzi, Piergiuseppe; Pelliccione, Patrizio; Menghi, Claudio
Multi-robot LTL planning under uncertainty
2018-01-01 Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana
Supporting verification-driven incremental distributed design of components
2018-01-01 Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo
Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors
2019-01-01 Menghi, Claudio; Nejati, Shiva; Gaaloul, Khouloud; Briand, Lionel C.
PsALM: Specification of dependable robotic missions
2019-01-01 Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio
Data di pubblicazione | Titolo | Autore/i | Tipologia | Documento allegato |
---|---|---|---|---|
1-gen-2012 | SecuriTAS: A tool for engineering adaptive security | Pasquale, Liliana; Menghi, Claudio; Salehie, Mazeiar; Cavallaro, Luca; Omoronyia, Inah; Nuseibeh, Bashar | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
1-gen-2013 | Towards agile verification | Ghezzi, Carlo; Sharifloo, Amir Molzam; Menghi, Claudio | 1.2 Contributi in volume - Book chapters::1.2.01 Contributi in volume (Capitoli o Saggi) - Book Chapters/Essays | |
1-gen-2013 | On requirements verification for model refinements | Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | Verifying incomplete and evolving specifications | Menghi, Claudio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | On requirement verification for evolving Statecharts specifications | Ghezzi, Carlo; Menghi, Claudio; Sharifloo, Amir Molzam; Spoletini, Paola | 1.1 Contributi in rivista - Journal contributions::1.1.01 Articoli/Saggi in rivista - Journal Articles/Essays | |
1-gen-2014 | Engineering topology aware adaptive security: Preventing requirements violations at runtime | Tsigkanos, Christos; Pasquale, Liliana; Menghi, Claudio; Ghezzi, Carlo.; Nuseibeh, Bashar | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2014 | Topology aware adaptive security | Pasquale, Liliana; Ghezzi, Carlo; Menghi, Claudio; Tsigkanos, Christos; Nuseibeh, Bashar | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2015 | A control-theoretic approach to self-adaptive systems and an application to cloud-based software | Ghezzi, Carlo; Gibilisco, Giovanni Paolo; Menghi, Claudio; Miglierina, Marco | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2016 | Dealing with incompleteness in automata-based model checking | Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2017 | COVER: Change-based goal verifier and reasoner | Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
1-gen-2017 | From model checking to a temporal proof for partial models | Bernasconi, Anna; Menghi, Claudio; Spoletini, Paola; Zuck, Lenore D; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2017 | Integrating Goal Model Analysis with Iterative Design | Menghi, Claudio; Spoletini, Paola; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | Poster: Towards multi-robot applications planning under uncertainty | Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
1-gen-2018 | Poster: Property specification patterns for robotic missions | Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
1-gen-2018 | An Architecture for Decentralized, Collaborative, and Autonomous Robots | Garcia, Sergio; Menghi, Claudio; Pelliccione, Patrizio; Berger, Thorsten; Wohlrab, Rebekka | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | Keeping intelligence under control | Mallozzi, Piergiuseppe; Pelliccione, Patrizio; Menghi, Claudio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.03 Testi di poster in atti di convegno - Conference posters | |
1-gen-2018 | Multi-robot LTL planning under uncertainty | Menghi, Claudio; Garcia, Sergio; Pelliccione, Patrizio; Tumova, Jana | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2018 | Supporting verification-driven incremental distributed design of components | Menghi, Claudio; Spoletini, Paola; Chechik, Marsha; Ghezzi, Carlo | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | Generating automated and online test oracles for Simulink models with continuous and uncertain behaviors | Menghi, Claudio; Nejati, Shiva; Gaaloul, Khouloud; Briand, Lionel C. | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations | |
1-gen-2019 | PsALM: Specification of dependable robotic missions | Menghi, Claudio; Tsigkanos, Christos; Berger, Thorsten; Pelliccione, Patrizio | 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations |
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile