Program

The combined program for CyPhy 2018 and WESE 2018 is as follows:

Thursday October 4th, 2018
9:00 - 9:30	A Component-based Hybrid Systems Verification and Implementation Tool in KeYmaera X (Tool Demonstration) Andreas Müller, Stefan Mitsch, Wieland Schwinger and André Platzer
9:30 - 10:00	Guaranteed control synthesis for continuous systems in Uppaal Tiga Kim Guldstrand Larsen, Adrien Le Coënt, Marius Mikučionisand Jakob Haahr Taankvist
10:00 - 10:30	CPS Dependability Framework Based on Inhomogeneous Stochastic Hybrid Systems Manuela Luminita Bujorianu
10:30 - 11:00	Break
11:00 - 11:30	Provable Controlled Invariance for hybrid systems using symbolic reachability: Application to mechanical systems with impacts Adrien Le Coent and Laurent Fribourg
11:30 - 12:00	Hybrid Rebeca: Modeling and Analyzing of Cyber-Physical Systems Iman Jahandideh, Fatemeh Ghassemi and Marjan Sirjani
12:00 - 1:30	Lunch
1:30 - 2:00	Introducing IoT subjects to an existing curriculum. An ongoing experience Michael Winokur and Sofia Amador Nelke
2:00 - 2:30	Computers Interacting with the Physical World: A First-Year Course Roger Chamberlain, Ron Cytron, Doug Shook and Bill Siever
2:30 - 3:30	Break
3:30 - 4:00	CPS/IoT Ecosystem: A platform for research and education Haris Isakovic, Denise Ratasich, Bernhard Wally, Christian Hirsch, Michael Platzer, Thomas Rausch, Dejan Nickovic, Willibald Krenn, Gerti Kappel, Schahram Dustar and Radu Grosu
4:00 - 4:30	MicroITS: A Scaled­Down ITS Platform Judicaël Marchand, Gaël Puissochet, Thomas Lithén and Walid Taha
4:30 - 5:00	Further Experiences Teaching an FPGA-based Embedded Systems Class Stephen A. Edwards
Friday October	5th, 2018
9:00 - 9:30	A Quantitative Metric Temporal Logic for Execution-Time Constrained Verification Sascha Lehmann, Sven-Thomas Antoni, Alexander Schlaefer and Sibylle Schupp
9:30 - 10:00	Challenges in Digital Twin Development for Cyber-Physical Production Systems Heejong Park, Arvind Easwaran and Sidharta Andalam
10:00 - 10:30	Subjecting Legacy Simulink Models to Timing Specifications Andreas Naderlinger
10:30 - 11:00	Break
11:00 - 11:30	Model-Implemented Hybrid Fault Injection for Simulink (Tool demonstrations) Mehrdad Moradi, Bert Van Acker, Ken Vanherpen and Joachim Denil
11:30 - 12:00	Closing discussion
12:00 - 1:30	Lunch

[Corrected] WESE 2018 Deadline Extension

[Apologies for the errors in the original announcement. What follows is the corrected text. Please note the correct date, September 10th - Walid.]

The Workshop on Embedded and Cyber-Physical Systems (WESE 2018) is co-organized with this year's CyPhy. WESE is extending its submission deadline until September 10th (two weeks from today). The workshop is an excellent place to share your ideas about best practices for teaching ES and CPS. Solicited submissions are short, and can be either four or eight LNCS style pages, depending on the type of paper. Details can be found on the workshop webpage at WESE 2018.

Deadline Extension

To better align the submission deadlines for CyPhy'18 with the timeline of ESWeek 2018, the abstract and submission deadlines have been extended as follows:

Abstract submission:   July 21st, 2018
Submission deadline:   July 31st, 2018

Notification and other deadlines remain unchanged.

Colocation with EMSOFT and Call for Papers

We are pleased to announce that EMSOFT has approved this year's CyPhy workshop proposal. CyPhy'18 will take place on October 4 and 5 in Torino. The deadline for abstract submission is June 24th, and the full Call for Paper can now be found online at www.cyphy.org