October 4-5, 2018, Torino Incontra Congress Center, Torino, Italy. Held in conjunction with ESWEEK 2018.

Sunday, September 23, 2018

Program

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

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

Saturday, August 25, 2018

[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.

Tuesday, June 26, 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.

Tuesday, May 22, 2018

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