First International workshop on Validation and Verification of Dynamic Software Systems ViDaS' 10

First International workshop on Validation and Verification of Dynamic Software Systems ViDaS' 10

Workshop program

Info: Paper files are password protected. If you are attending the workshop, ask for the password by sending an email to freddy.munoz (at) inria.fr

09:00 - 09:10

Opening (slides)

09:10 - 10:30

Keynote: On the Fly Connector Synthesis: Challenges for Verification & Validation (slides)
Valerie Issarny
Directeur de recherche INRIA, ARLES Project-Team

10:30 - 10:45

Coffee Break

10:45 - 12:30

Research Paper (20 min presentation + 10 min of questions)

Managing Testing Complexity in Dynamically Adaptive Systems (slides)
Kristopher Welsh, Pete Sawyer
QoS-Based Model Driven Assessment of Adaptive Reactive Systems (slides)
Diego Perez-Palacin, Raffaela Mirandola, Jose Merseguer, Vincenzo Grassi
A dynamic behaviour and reliability evaluation method for applications that are based on asynchronous processing nodes (slides)
Marko Palviainen

12:30 - 14:00

Lunch

14:00 - 14:30

Demo
Using Visualization to aid Run-time Verification of Dynamic Service Systems
Jarkko Kuusijärvi

14:30 - 15:30

Discussion

15:30 - 15:45

Coffee Break

15:40 - 17:00

Discussion

17:00 - 17:30

Closing (discussion report)

Organization committee
- Freddy Munoz
  INRIA Bretagne Atlantique, France
- Nelly Bencomo
  Lancaster University, UK
- Antonino Sabetta
  ISTI-CNR, Italy
Program committee
- Paul Ammann
  George Mason University, USA
- Antonia Bertolino
  ISTI-CNR, Italy
- Rogerio de Lemos
  University of Coimbra, Portugal
- Gordon Fraser
  Graz University of Technology, Austria
- Sudipto Ghosh
  Colorado State University, USA
- Holger Giese
  Postdam University, Germany
- William Heaven
  University College London, UK
- Paola Inverardi
  Università dellÀquila, Italy
- Valerie Issarny
  INRIA, France
- Raffaela Mirandola
  Politecnico di Milano, Italy
- Hausi Muller
  University of Victoria, Canada
- Dorina C. Petriu
  Carleton University, Canada
- Alfonso Pierantonio
  Università dellÀquila, Italy
- Andrea Polini
  University of Camerino, Italy
- Ralf Reussner
  Karslruhe University, Germany
- Fernando Schapachnik
  Universidad de Buenos Aires, Argentina
- François Taiani
  Lancaster University, Uk
- Heiko Koziolek
  ABB, Germany
- Arnor Solberg
  SINTEF, Norway
In cooperation with:
- DiVA (Dynamic Variability in Complex, Adaptive Systems)
- CONNECT (Emergent Connectors for Eternal Software Intensive Networked Systems)

friendster counter