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 1 a 20 di 39
Fulltext Data Tipo Titolo Autore (i)
2017-02-07 Tesi di Dottorato A syntactic-semantic approach for incremental program verification of matching logic properties RIZZI, ALESSANDRO MARIA
2012-04-23 Tesi di laurea Magistrale Algoritmi efficienti per model checking parametrico di modelli markoviani discreti BUSSI, MARCO
2015-09-30 Tesi di laurea Magistrale Un approccio per l'aggiornamento dinamico sicuro di controllori a stati finiti CLUN, DONATO
2010-12-20 Tesi di laurea Magistrale Architetture e linguaggi per runtime software adaptation : computational REST ed Erlang SIVIERI, ALESSANDRO
2012-07-25 Tesi di laurea Magistrale Automatic detection and correction of client side and server side input validation inconsistencies FAZZINI, MATTIA
2010-12-20 Tesi di laurea Magistrale Automatic metaresearch on scientific communities SANGIORGIO, MARIO
2011-07-20 Tesi di laurea Magistrale Automatic quality driven exploration of design alternatives with model transformations VILLA, MATTEO
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
Mostrati risultati da 1 a 20 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