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

Sunday, September 23, 2018


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