Presentations:
- Eric Madelaine: “Specification, Model-Generation, and Verification of Distributed Applications”
- Yixiang Chen: “A Spatio-Temporal Consistence Language“
- Vania Joloboff: “Challenges and Results in Embedded Systems Virtual Prototyping“
- Chao Peng: “Scheduling Problems for Distributed Cyber-Physical Systems”
- Robert de Simone: “Formal model engineering for embedded applications and manycore architectures“
- Dehui Du: “Modeling and Analyzing Coordination Behavior between Real-time Component “
- Min Zhang: “Bisimulation for Lattice-Valued Doubly Labeled Transition Systems“
- Haiyin Sun: “Integration of Safety Verification with ConformanceTesting in Real-time Reactive System“
