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 |