Tuesday, September 15th, 2015
Presenters: 20 minute talk, 5 minutes for Q&A plus transition to the next speaker
(suggested ~20-25 slides)
14:00–15:40 | IWCPS (room E6) |
14:00-14:25 | Modeling Resiliency and Its Essential Components for Cyberphysical Systems - Janusz Zalewski, Steven Drager, William McKeever, Andrew J. Kornecki, Bogdan Czejdo |
14:25-14:50 | Simulation and Formal Modelling of Yaw Control in a Drive-by-Wire Application - Richard Banach, Pieter Van Schaik, Eric Verhulst |
14:50-15:15 | Behavior-Preserving Abstraction of Esterel Programs - Nir Koblenc, Shmuel Tyszberowicz |
15:15-15:40 | Modelling and Verification of Starvation-Free Mutual Exclusion Algorithms based on Weak Semaphores - Libero Nigro and Franco Cicirelli (Universitŕ della Calabria) |
16:00–18:00 | IWCPS (room E6) |
16:10-16:35 | Real-Time Cyber-Physical Systems: Transatlantic Engineering Curricula Framework - Andrew J. Kornecki, Wojciech Grega |
16:35-17:00 | Using Domain Specific Languages to Improve the Development of a Power Control Unit - Mathijs Schuts, Jozef Hooman |
17:00-17:25 | Qualitative and Quantitative Evaluation of Stochastic Time Petri Net - Libero Nigro, Franco Cicirelli, Christian Nigro |
17:25-17:50 | A Quality Attributes Approach to Defining Reactive Systems Solution Applied to Cloud of Sensors - Jan Werewka, Artur Skowronski |