ACM SIGSOFT Distinguished Paper Award

Carlo Ghezzi, Antonio Filieri e Giordano Tamburrelli, hanno ricevuto il prestigioso premio ACM SIGSOFT Distinguished Paper Award per l’articolo: A. Filieri, C. Ghezzi, G. Tamburrelli, "Run-Time Efficient Probabilistic Model Checking". L’articolo, presentato durante la Conferenza Internazionale sul Software Engineering (ICSE 2011), descrive aspetti della ricerca sviluppata all'interno del grant ERC SMScom.
ICSE 2011 è la più importante conferenza del settore a livello mondiale, punto d’incontro per ricercatori, professionisti ed educatori per presentare e discutere le più recenti innovazioni, tendenze, esperienze e preoccupazioni nel campo dell'ingegneria del software.
Per maggiori informazioni consultare il sito: http://2011.icse-conferences.org/