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 ScaledDown 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 |
