VECoS

Thursday, September 10th

8:15 Registration

9:15 Opening session

9:30 Invited talk (session chair: Nicolae Ţăpus)

Mohamed Kaâniche, LAAS, Toulouse, France Resilience assessment: accidental and malicious threats

10:30 Break

11:00 Control and Diagnosis(session chair: Florin Popentiu Vladicescu)   

Patrice Bonhomme
Fault Diagnosis of P-Time Labeled Petri Net Systems

Abderraouf Boussif, Mohamed Ghazel and Kais Klai
Combining Enumerative and Symbolic - Techniques for Diagnosis of Discrete-Event Systems

12:00 Lunch

14:30 Invited talk (session chair: Belgacem Ben Hedia)

Liliana Cucu-Grosjean, INRIA Paris-Rocquencourt, France
Probabilistic approaches for time critical embedded systems

15:30 Break

16:00 Program verification (session chair: Bruno Monsuez)   

Cosmin Dragomir, Lucian Mogosanu, Mihai Carabas, Razvan Deaconescu and Nicolae Tapus
Towards the Property-Based Testing of an L4 Microkernel API

Razika Lounas, Mohamed Mezghiche and Jean-Louis Lanet
An Approach for Formal Verification of Updated Java Bytecode Programs

Amira Methni, Matthieu Lemerre, Belgacem Ben Hedia, Serge Haddad and Kamel Barkaoui
State Space Reduction Strategie for Model Checking Concurrent C Programs

FRIDAY, September 11th

09:30 Invited talk (session chair: Kamel Barkaoui)

Gabriel Ciobanu, Romanian Academy, ICS, Iasi, Romania
Timeout Interaction and Migration in Distributed Systems

10:30 Break

11:00 Performance evaluation(session chair: Viorel-Puiu Paun)   

Admar Ajith Kumar Somappa, Andreas Prinz and Lars Kristensen
Model-Based Verification of the DMAMAC Protocol for Real-time Process Control

Zohra Sbaï and Kamel Barkaoui
On quantitative Analysis of Time Open Workflow Nets and Parametric Extension

Bogdan Aman and Gabriel Ciobanu
Verification of Bounded Real-Time Distributed Systems With Mobility

12:30 Closing session

13:00 Lunch