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 16 a 35 di 39
Fulltext Data Tipo Titolo Autore (i)
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
2011-03-31 Tesi di laurea Magistrale Shellzer : a tool for the dynamic analysis of malicious shellcode FRATANTONIO, YANICK
2010-07-21 Tesi di laurea Magistrale Single process emulation with Qemu to support dynamic analysis GIOVANAZZI, ANTONIO
2014-07-25 Tesi di laurea Magistrale Software implementations for the automatic thickness control in the blown film extrusion process CHEN, BEN
2012-07-25 Tesi di laurea Magistrale Software tool to generate NFC applications for learning enviroments BRUZZI, RYAN
2013-04-22 Tesi di laurea Magistrale Stakeholder relationship management for software projects MARCONI, FRANCESCO
2019-10-03 Tesi di laurea Magistrale Synkrisis : specification and analysis of bigraphical reactive systems CASTELLANI, ALESSANDRO
2014-04-29 Tesi di laurea Magistrale Synthesizing product line controllers from scenario based specifications GRESSI, ERIKA
2011-07-20 Tesi di laurea Magistrale Testing rule-driven applications BONISIOL, ANDREA
Mostrati risultati da 16 a 35 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