Programme Committee

Workshop PC co-Chairs

Christian A TTIOGBÉ (University of Nantes, France) is Professor in Computer Science at University of Nantes. His research interests include formal approaches for software modelling and analysis, correct-by-construction using refinement, heterogeneous systems.
Patricia DERLER (National Instruments, USA) is Research Scientist at National Instruments, Berkeley. Her research surrounds modeling and simulation of Cyber-Physical Systems with a focus on timed models of computations, correct-by-construction methodologies for system-level design and analysis as well as modeling of predictable behavior in software, platform, network and environment.
Martin T ÖRNGREN (KTH, Sweden) is a Professor in Embedded Control Systems at the Department of Machine Design at KTH. He has a strong interest in multidisciplinary research spanning systems, software, control, computer science and mechatronics. Past years he has in particular focused on model based engineering, safety and architectural design in the context of software-intensive cyber-physical systems. He is the initiator of the KTH-industry competence network (ICES) and has extensive experience in leading multidisciplinary academia/industry collaborations.