Held in conjunction with ESWEEK 2016 on October 6 2016, Pittsburgh, PA, USA.

Saturday, August 27, 2016

CyPhy 2016 Program



Jyotirmoy Deshmukh, Toyota Technical Center

Formal methods for cyberphysical systems in the automotive domain


Coffee / tea break

Ken Vanherpen, Joachim Denil, Paul De Meulenaere and Hans Vangheluwe. Ontological Reasoning as an Enabler of Contract-Based Co-Design.

Waheed Ahmad, Bugra Mehmet Yildiz, Arend Rensink and Marielle Stoelinga. A Model-Driven Framework for Hardware-Software Co-design of Dataflow Applications.

Sebastian Schlesinger, Paula Herber, Thomas Göthel and Sabine Glesner. Proving Correctness of Refactorings for Hybrid Simulink Models with Control Flow.

Kenichi Betsuno, Shota Matsumoto and Kazunori Ueda. Symbolic Analysis of Hybrid Systems Involving Numerous Discrete Changes Using Loop Detection.


Georgiana Caltais, Florian Leitner-Fischer, Stefan Leue and Jannis Weiser. SysML to NuSMV model transformation via object-orientation.

Stefan Schwab, Bern Holzmueller and Soeren Hohmann. Automated Verification of Switched Systems using Hybrid Identification.

Jonas Westman, Mattias Nyberg and Oscar Thyden. CPS Specifier -- A Specification Tool for Safety-Critical Cyber-Physical Systems.


Coffee / tea break
Shafiul Azam Chowdhury, Taylor Johnson and Christoph Csallner. CyFuzz: : A Differential Testing Framework for Cyber-Physical Systems Development Environments.

Fergus Leahy and Naranker Dulay. Ardan: Using 3D Game Engines in Cyber-Physical Simulations.

Tuesday, July 19, 2016

Invited Speaker: Jyotirmoy V. Deshmukh

We are excited to have Dr. Jyotirmoy V. Deshmukh of the Toyota Technical Center, California, as the invited speaker for CyPhy 2016.

Tuesday, July 12, 2016

CyPhy’16 Deadline Extended to July 17

The deadline for CyPhy’16 is now July 17, 2016 (anywhere on earth).

 For your considerations, the CFP can be found here.

Wednesday, July 6, 2016

Deadline for CyPhy'16 Approaching

A reminder that the CyPhy’16 submissions deadline is July 10.

The PC is looking forward to receiving submissions from a wide range of backgrounds. If you have a question about appropriateness of your submission, please don't hesitate to email chairs@cyphy.org.

For your considerations, the CFP can be found here.

Friday, May 27, 2016

CyPhy'16 -- Call for Papers

CyPhy'16 will be held in conjunction with ESWEEK'16 on October 6 2016, Pittsburgh, PA, USA. The workshop brings together researchers and practitioners working on modeling, simulation, and evaluation of Cyber Physical Systems (CPSs), based on a broad interpretation of these areas, to collect and exchange expertise from a diverse set of disciplines. The workshop places particular focus on techniques and components to enable and support virtual prototyping and testing.

Topics of interest include CPS aspects pertaining to foundations; methods; case studies and tools. Additional information on the workshop's scope can be found here.

Submissions Types 
Span 1) research papers (max. 15 pages); 2) positions papers (max. 4 pages, not published); and 3) tool demonstrations (max. 10 pages). Research papers will be judged for technical novelty and scientific merit. Any previous publication in any form must be explicitly identified and cited on the first page of the submission. Papers in all other categories will be judged on novelty, clarity, accessibility, and suitability for a high quality presentation and discussion at the workshop. 

Submissions of type 1 and 3 will be published after the workshop in a volume of Lecture Notes in Computer Science, by Springer. If the quality of the submissions warrants, a special issue of an archival journal will be negotiated for the best submissions (subject to confirmation, and an additional round of review).

Important Dates 
Submission deadline: July 10, 2016
Notifications: August 24, 2016
Camera Ready: September 5, 2016
Workshop: October 6, 2016

Submission Guidelines
Papers should be submitted electronically via EasyChair. Papers should be formatted according to the Springer LNCS Style, not exceed the respective page limits (including figures and references), and be submitted in PDF. Except for regular research papers, the paper category must be indicated at the end of the title in parenthesis at the time of the initial submission and in the final camera ready version. Papers not adhering to the format or page limit may be rejected without a review.

Simultaneous submission to other venues with a formal publication (workshops, conferences, symposia, and journals) is not allowed. Duplicated submissions or other types of plagiarism will result in rejection and a report will be sent to the corresponding institution's dean or manager.

Wednesday, April 13, 2016

CyPhy part of ESWeek 2016 in Pittsburgh!

The proposal to hold CyPhy as part of ESWeek 2016 in Pittsburgh was approved. A preliminary call for papers will be announced shortly.