Scorri Autori Unibg  

Opzioni
Risultati da 1 a 20 di 57
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 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-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-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 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-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-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 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-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-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 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 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-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 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 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-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
1-gen-2019 High-level mission specification for multiple robots Garcia, Sergio; Pelliccione, Patrizio; Menghi, Claudio; Berger, Thorsten; Bures, Tomas 1.4 Contributi in atti di convegno - Contributions in conference proceedings::1.4.01 Contributi in atti di convegno - Conference presentations
Risultati da 1 a 20 di 57
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