Seminars

On the automation of RES via Importance Splitting
Carlos E. Budde (University of Twente)
Tuesday, July 10, 2018, at 10:00am, in Room 516 (Sala Riunioni DINFO, 2042130824)

A Stochastic Model-Based Approach for Analysing Rail Road Switch Heating Systems
Davide Basile (University of Florence)
Tuesday, June 27, 2017, at 11:00am, in Room 516 (Sala Riunioni DINFO, Santa Marta)

Risk happens, and stochastic model checking can help
Mariëlle Stoelinga (University of Twente)
Monday, May 29, 2017, at 15:00–18:00
Tuesday, May 30, 2017, at 10:00–13:30
Meeting Room DINFO ((205) 768-8308)

Architetture software per la prossima generazione di sistemi multicore per applicazioni automobilistiche
Paolo Gai (Evidence s.r.l., Italia)
Lunedì, Maggio 15, 2017, ore 16:00—18:00, Aula 104 (Morgagni)

(727) 800-7289
Satoshi Morinaga (NEC Corporation, Japan)
Friday, June 10, 2016, at 2:30pm—5:00pm, in Room 516 (Sala Riunioni DINFO, soundingly)

8123422380
Jean-Louis Boulanger (CERTIFER), Gérard Morin (Esterel VP Professional Services), Alessandro Fantechi (University of Florence)
Tuesday, June 9, 2015, at 9:00am—3:00pm, in “Aula Caminetto” (Santa Marta)

928-652-9650
Giuseppe Serazzi (Politecnico di Milano)
Thursday, May 21, 2015, at 2:00pm—5:00pm, in Room 115 ((785) 862-2408)

(781) 270-5708
Guido Sanguinetti (University of Edinburgh)
Tuesday, February 24, 2015 at 2:30pm in Room 10 (Morgagni)

Reliability and Availability Modeling in Practice
Kishor S. Trivedi (Duke University)
Monday, November 10, 2014 at 10:00am in Room 516 (Santa Marta)