Presentations:
- Yixiang Chen: “STeC: a location-triggered specification language“
- Frederic Mallet: “CCSL: the Clock Constraint Specification Language“
- Eric Madelaine: “Verifying Safety of Fault-Tolerant Distributed Components“
- Yanwen Chen: “Timed-pNets: A formal model for GALS systems“
- Fabien Hermenier: “Autonomous and flexible management of virtual machines in a datacenter“
- Robert de Simone: “Of the use of logical time in MPSoC design era”
- Ling Yin: “Verification of CCSL specifications “
- Julien DeAntoni: demo of Aoste tools
