Sfoglia per Relatore
Gestione del processo di collaudo : un'esperienza industriale
2009/2010 SOSSELLA, CLAUDIO
HarVey. On runtime veri cation of cyber-physical spaces
2016/2017 SCOLARI, GIACOMO
Incremental reachability checking of KernelC programs using matching logic
2012/2013 RIZZI, ALESSANDRO MARIA
KAMI : un framework distribuito per modelli non funzionali a tempo di esecuzione
2009/2010 BONFANTI, GIANNI
Mining unit test cases to synthesize API usage examples automatically
GHAFARI, MOHAMMAD
Model based verification and adaptation of software systems @runtime
FILIERI, ANTONIO
Modeling, analyzing, and monitoring interacting software components
SANGIORGIO, MARIO
Modelling and verification of evolving cyber-physical spaces
TSIGKANOS, CHRISTOS
On model-driven design of city spaces. A bidirectional transformations approach to city spaces design and operations
2018/2019 VISCONTI, ENNIO
Requirements Verification of Variability-Intensive Systems
MOLZAM SHARIFLOO, AMIR
Safe and Efficient Dynamic Updates of Distributed Software Systems
PANZICA LA MANNA, VALERIO
SAMA : un framework per applicazioni mobili adattive
2012/2013 HUANG, TENGDA
SAME : un framework per la gestione dell'incertezza nei sistemi software self adaptive
2011/2012 BROGNOLI, NICOLÒ
Security requirements, modelling and analysis in a courthouse case study
2015/2016 RUBINO, WALTER
Shellzer : a tool for the dynamic analysis of malicious shellcode
2009/2010 FRATANTONIO, YANICK
Single process emulation with Qemu to support dynamic analysis
2009/2010 GIOVANAZZI, ANTONIO
Software implementations for the automatic thickness control in the blown film extrusion process
2013/2014 CHEN, BEN
Software tool to generate NFC applications for learning enviroments
2011/2012 BRUZZI, RYAN
Stakeholder relationship management for software projects
2012/2013 MARCONI, FRANCESCO
Synkrisis : specification and analysis of bigraphical reactive systems
2018/2019 CASTELLANI, ALESSANDRO
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