|
|
23 - 24 September 2010
First day
- 09:15 - 09:30 opening
- 09:30 - 10:30 keynote speaker (session chair: M. Bernardo)
- Marco Roccetti
(University of Bologna, IT):
"Modeling and Simulation of Vehicular Traffic Congestion in Realistic Urban Scenarios"
- 10:30 - 11:00 coffee break
- 11:00 - 12:30 session 1: network and software performance (chair: V. Cortellessa)
- Leila Kloul and Samir Bellahsene (University of Versailles, FR):
"A New Markov-Based Mobility Prediction Algorithm for Mobile Networks"
- Moreno Marzolla (University of Bologna, IT) and Raffaela Mirandola (Politecnico of Milano, IT):
"Performance Aware Reconfiguration of Software Systems"
- Shikharesh Majumdar (Carleton University, CA):
"On the Energy-Performance Tradeoff for Parallel Applications"
- 12:30 - 14:30 lunch
- 14:30 - 16:00 session 2: timed models and model checking (chair: S. Andova)
- Lasse Jacobsen, Morten Jacobsen, Mikael Moller and Jiri Srba (University of Aalborg, DK):
"A Framework for Relating Timed Transition Systems and Preserving TCTL Model Checking"
- Josee Desharnais and Joseph Assouramou (University of Laval, CA):
"Continuous Time and/or Continuous Distributions"
- Falko Dulat, Joost-Pieter Katoen and Viet Yen Nguyen (University of Aachen, DE):
"Model Checking Markov Chains Using Krylov Subspace Methods: An Experience Report"
- 16:00 - 16:30 coffee break
- 16:30 - 18:00 session 3: case studies (chair: A. Aldini)
- Davide Cerotti (University of Piemonte Orientale, IT), Marco Gribaudo (Politecnico of Milano, IT), Andrea Bobbio
(University of Piemonte Orientale, IT), Carlos Calafate and Pietro Manzoni (University Politecnica of Valencia, ES):
"A Markovian Agents Model for Fire Propagation in Outdoor Environments"
- Patrick Bellasi, Adnan Faisal, William Fornaciari and Giuseppe Serazzi (Politecnico of Milano, IT):
"Queueing Network Models for Performance Evaluation of ZigBee-Based WSNs"
- Elena Gómez-Martínez (Technosite, ES) and José Merseguer (University of Zaragoza, ES):
"Performance Modeling and Analysis of the Universal Control Hub"
- 20:00 - 23:00 social dinner at Ristorante Belvedere
|
