VECoS

MONDAY, August 27th

8:45: Opening session

9:00-10:30: Invited talk by Francesco Flammini

Model-Based Approaches for Railway Safety, Reliability and Security

10:30: Coffee break

11:00-12:30: Real time   

Annie Choquet-Geniet and Gaëlle Largeteau-Skapin
Resource minimization for multiprocessor real-time applications

Nouha Abid, Silvano Dal Zilio and Didier Le Botlan
A Verified Approach for Checking Real-Time Specification Patterns

Frédéric Boniol, Claire Pagetti and Jérome Brome Ermont
End-to-end latency analysis in networked realtime systems

12:30 Lunch

14:00-15:30 Invited talk by Catuscia Palamidessi

Quantitative aspects of Secrecy and Privacy

15:30 Coffee break

16:00-17:30: Networking   

Tung Vu, Laurent Decreusefond and Philippe Martins
An analytical model for evaluating outage and handover probability of cellular wireless networks

Rémi Diana and Emmanuel Lochin
Analytical Model of TCP Relentless Congestion Control

Malika Bourenane and Larbi Sekhri
Service Differentiation Using Reinforcement Learning In Wireless Networks

TUESDAY, August 28th

09:00-10:30: Invited talk by Giuliana Franceschinis

Formalisms and tools for performability optimization

10:30: Coffee break

11:00-12:30: Dependability   

Géraldine Vache, Vincent Nicomettte and Kaâniche Mohamed
A Model-based security assessment approach: Vulnerability life-cycle, attacker behavior and administrator profile

Escheikh Mohamed and Kamel Barkaoui
Survivability Analysis of VMIMO link in Multi-hop Wireless Network

Martin Riedl and Markus Siegle
A Language for Reconfigurable dependable Systems: Semantics & Dependability Model Transformation

12:30: Lunch

14:00-15:30: Verification and Control   

Romain Richard, Karen Godary-Dejean, Gregory Angles and David Andreu
LPT - A Tool for Parametric TPN Validation

Hélène Leroux and Jean-Marc Roussel
Algebraic synthesis of logical controllers with optimization criteria

15:30: Coffee break

16:00-16:30: Closing session