[ecoop-info] CyPhy 2015: Call for Participation

[M.R. Mousavi]

===========================================

The Fifth International Workshop on
Design, Modeling and Evaluation of Cyber Physical Systems (CyPhy'15)

Amsterdam, The Netherlands

October 8, 2015

http://www.cyphy.org/

(Held in conjunction with ESWEEK 2015)

===========================================


Program
=======

(Keynote)
Resource-aware control and dynamic scheduling in CPS
Maurice Heemels

(Research paper)
Recharging probably keeps batteries alive
by Holger Hermanns, Jan Krcal and Gilles Nies

(Research paper)
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by
Homogeneous Linear Differential Equations
by Usman Sanwal and Osman Hasan

(Invited paper)
Constructive Modelling of Parallelized Environmental Models for Structured
Testing of Automated Driving Systems
by Sebastian Siegl and Martin Russer

(Research paper)
A Parametric Dataflow Model for the Speed and Distance Monitoring in Novel
Train Control Systems
by Benjamin Beichler, Thorsten Schulz, Christian Haubelt and Frank
Golatowski

(Research paper)
Hybrid Secure Data Aggregation in Wireless Sensor Networks.
by Keyur Parmar and Devesh Jinwala

(Invited paper)
Current Challenges in the Verification of Hybrid Systems
by Stefan Schupp, Erika Abraham, Xin Chen, Ibtissem Ben Makhlouf, Goran
Frehse, Sriram Sankaranarayanan and Stefan Kowalewski

(Research paper)
A Modelling Framework for Cyber-Physical System Resilience
by Manuela Bujorianu and Nir Piterman

(Research paper)
Fault Localization of Energy Consumption Behavior using Maximum
Satisfiability
by Shin Nakajima and Si-Mohamed Lamraoui

(Invited paper)
Core Research and Innovation Areas in Cyber-Physical Systems of Systems:
Initial Findings of the CPSoS Project
by Michel Reniers, Sebastian Engell, Haydn Thompson, Radoslav Paulen and
Christian Sonntag