| Time | Saturday, 4 June 2016 | |
|---|---|---|
| Keynote | 09:00-10:00 | Sanjoy Baruah (University of North Carolina at Chapel Hill, USA) Analysis-based approaches to achieving timing predictability |
| 10:00-10:30 | Coffee Break | |
| Invited talks | 10:30-11:15 | Alessandro Abate (University of Oxford, UK) Data-driven and model-based quantitative verification and correct-by-design synthesis of CPS |
| 11:15-12:00 | Sriram Sankaranarayanan (University of Colorado, Boulder, USA) Automatic synthesis of controllers from specifications using control certificates | |
| 12:00-13:30 | Lunch | |
| Invited talks | 13:30-14:15 | Georgios Fainekos (Arizona State University, USA) Formal requirement elicitation and debugging for testing and verification of cyber-physical systems |
| 14:15-15:00 | Jyotirmoy Deshmukh (Toyota Technical Center, Gardena, CA, USA) Formal methods for powertrain control software | |
| 15:00-15:30 | Coffee Break | |
| Contributions | 15:30-15:50 |
Masashi Mizoguchi and Toshimitsu Ushio. Output Feedback Controller Design with Symbolic Observers for Cyber-physical Systems |
| 15:50-16:10 |
Tobias Kappé, Farhad Arbab, Carolyn Talcott. A Compositional Framework for Preference-Aware Agents | |
| 16:10-16:30 |
Devendra Bhave, Shankara Narayanan Krishna, Ashutosh Trivedi. On Nonlinear Prices in Timed Automata | |
| 16:30-16:50 |
Morteza Mohaqeqi and Mohammadreza Mousavi. Towards an Approximate Conformance Relation for Hybrid I/O Automata | |
| 16:50-17:10 |
Adina Aniculaesei, Daniel Arnsberger, Falk Howar, Andreas Rausch. Towards the Verification of Safety-critical Autonomous Systems in Unknown Environments | |
| 17:10-17:30 |
Hyejin Joo, Kyoung-Soo We, Seunggon Kim, Chang-Gun Lee. An End-to-End Tool for Developing CPSs from Design to Implementation | |
| 17:30-17:40 |
Closing the workshop |
© V2CPS 2016