Accepted Papers

Design Space Exploration for Heterogeneous Multi Multi-Core Processor Dedicated Systems
by Stefano Marchesani, Luigi Pomante, and Paolo Serri

Modeling Mobility for Networked Mobile Cyber-Physical Systems
by Mohannad A. Alharthi and Abd-Elhamid M. Taha.

Towards a Theory for Cyber-Physical Systems Modeling
by Gabor Simko, Tihamer Levendovszky, Miklos Maroti and Janos Sztipanovits.

Assessing the use of MATLAB Simulink on the Development Process of an Unmanned Aerial Vehicle
by Fernando Gonçalves, Rodrigo Donadel, Leando Becker and Guilherme Raffo.

Heart-on-a-Chip: A Closed-loop Testing Platform for Implantable Pacemakers 
by Zhihao Jiang, Sriram Radhakrishnan, Varun Sampath, Shilpa Sarode and Rahul Mangharam.

HLA-DDS Data Object Mapping for CPS Simulation
by Yunjung Park, Dugki Min and Yuan Xue.

Game-Theoretic Approach to Cyber-Physical Infrastructures: UltraScience Net Case Study
by Nageswara Rao, Stephen Poole, Yu Tak Ma, Fei He, Jun Zhuang, and David Yau.

A new delay specification for cyber-physical systems development
by Tobias Bund and Frank Slomka.

OpenSimulator: An Open Platform for the Design, Modeling and Evaluation of Cyber Physical Systems
by Cristina Lopes.