Mauro Pezzè
http://usi.to/f6u
Progetti
In corso (1)
Conclusi (15)
- Pezzè M. (2018) ASTERIx - Automatic System TEsting of inteRactive software applIcations
- Pezzè M. (2017) BLOODO - Virtual Ph+H1472:H1505ysiological Blood: an HPC framework for blood flow simulations in vasculature and in medical devices
- Pezzè M. (2015) ASysT - Automatic System Testing
- Pezzè M. (2014) SAM - Self Adaptive energy Market
- Pivkin I., Pezzè M. (2014) Angiogenesis in Health and Disease: In-vivo and in-silico
- Pezzè M. (2013) CloSE - Cloud Solving Engine
- Pezzè M. (2013) DyStaCCo - Dynamic and STatic Analysis Combined for code COverage
- Jazayeri M., Crestani F., Lanza M., Pautasso C., Pezzè M. (2013) BLISS - Bacau and Lugano – Teaching Informatics for a Sustainable Society
- Carzaniga A., Pezzè M. (2013) ReSpec - Characterizing and Using the Intrinsic Redundancy of Software
- Pezzè M. (2013) RUNMORE - Run-time Model Projections for Software Failure Prediction
- Pezzè M., Carzaniga A. (2011) SHADE - A Self HeAling DEsign methodology
- Pezzè M. (2010) AVATAR - Automated coVerAge-based Testing via static-dynamic Abstraction Refinement and coarsening
- Pezzè M., Carzaniga A. (2009) WASH - WorkArounds for Self-Healing
- Pezzè M. (2008) RESERVOIR - Resources and Services Virtualization without Barriers
- Pezzè M., Carzaniga A. (2007) Perseos - Pervasive self-adaptive software systems
