Workshops

Shanghai Nov. 5, 2011

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“

Sophia-Antipolis, march 26, 2012

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 …

Shanghai, Sunday 28, April 2013

This day was a combination of: The third DAESD associated team workshop The first Shanghai LIAMA Open Day The Opening Ceremony of LIAMA Shanghai Center Presentations: Jifeng He: “A Clock-based Framework for Modelling Hybrid Systems” Yuxi Fu: “Checking Equality and Regularity for Normed BPA with Silent moves” Huibiao Zhu: “Linking Operationnal Semantics and Algebraic Semantics …