Biblioteche e Archivi
POLITesi - Archivio digitale delle tesi di laurea e di dottorato

Sfoglia per Relatore  

Opzioni
Vai a: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z
Mostrati risultati da 8 a 27 di 39
Fulltext Data Tipo Titolo Autore (i)
2012-04-23 Tesi di laurea Magistrale Blacksheep: a tool for kernel rootkit detection, based on physical memory crowdsourced analysis BIANCHI, ANTONIO
2015-07-28 Tesi di laurea Magistrale Building deductive proofs of LTL properties for iteratively refined systems BERNASCONI, ANNA
2012-10-04 Tesi di laurea Magistrale Contextual, requirements driven, adaptive access control MENGHI, CLAUDIO
2015-12-21 Tesi di Dottorato Dealing with incompleteness in automata based model checking MENGHI, CLAUDIO
2015-12-18 Tesi di laurea Magistrale Design and development of a probabilistic framework for automatic software fault localization PAGANO, DAVIDE
2012-12-20 Tesi di laurea Magistrale Engineering adaptive security for the Cloud. An experience with Google Apps ZANINI, MARCO
2011-03-31 Tesi di laurea Magistrale Gestione del processo di collaudo : un'esperienza industriale SOSSELLA, CLAUDIO
2017-10-03 Tesi di laurea Magistrale HarVey. On runtime veri cation of cyber-physical spaces SCOLARI, GIACOMO
2013-10-03 Tesi di laurea Magistrale Incremental reachability checking of KernelC programs using matching logic RIZZI, ALESSANDRO MARIA
2010-12-20 Tesi di laurea Magistrale KAMI : un framework distribuito per modelli non funzionali a tempo di esecuzione BONFANTI, GIANNI
2015-12-21 Tesi di Dottorato Mining unit test cases to synthesize API usage examples automatically GHAFARI, MOHAMMAD
2013-03-15 Tesi di Dottorato Model based verification and adaptation of software systems @runtime FILIERI, ANTONIO
2014-02-10 Tesi di Dottorato Modeling, analyzing, and monitoring interacting software components SANGIORGIO, MARIO
2017-02-07 Tesi di Dottorato Modelling and verification of evolving cyber-physical spaces TSIGKANOS, CHRISTOS
2019-12-18 Tesi di laurea Magistrale On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations VISCONTI, ENNIO
2014-02-10 Tesi di Dottorato Requirements Verification of Variability-Intensive Systems MOLZAM SHARIFLOO, AMIR
2014-02-10 Tesi di Dottorato Safe and Efficient Dynamic Updates of Distributed Software Systems PANZICA LA MANNA, VALERIO
2013-10-03 Tesi di laurea Magistrale SAMA : un framework per applicazioni mobili adattive HUANG, TENGDA
2012-12-20 Tesi di laurea Magistrale SAME : un framework per la gestione dell'incertezza nei sistemi software self adaptive BROGNOLI, NICOLÒ; COLOMBO, ANDREA
2017-04-28 Tesi di laurea Magistrale Security requirements, modelling and analysis in a courthouse case study RUBINO, WALTER
Mostrati risultati da 8 a 27 di 39
Legenda icone accesso al fulltext

  • File accessibili da tutti
  • File accessibili dagli utenti autorizzati
  • File accessibili da tutti o solo dagli utenti autorizzati, a partire dalla la data indicata nella scheda
  • File non accessibili