This combined program is provided 'as is'. More up-to-date information may be avalialbe at each event's official websites.
CPS Week 2018 Program Overview
MT-CPS Workshop
3rd Workshop on Monitoring and Testing of Cyber-Physical Systems
official website
CPS Week 2018 Workshops:
EITEC ‧ SCAV ‧ SCOPE ‧ DARS ‧ CPSBench ‧ CPS-SR ‧ CPS-INTL ‧ MSCPES ‧ MT-CPS ‧ MCPS ‧ CySWater ‧ SmartFarming
Other CPS Week 2018 Events:
Conferences ‧ Tutorials ‧ Competitions...
April 10
see all CPS Week events for this day
08:00 - 08:45 | Registration Palácio da Bolsa |
08:45 - 09:00 | Workshop Welcome R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
09:00 - 10:30 | Workshop Session - Regular Expressions and Temporal Logics Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam and Alena Rodionova On the Quantitative Semantics of Regular Expressions over Real-Valued Signals. Alexey Bakhirkin, Thomas Ferrère, Oded Maler and Dogan Ulus From MITL to timed automata. Thomas Ferrère, Oded Maler and Dejan Nickovic R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
10:30 - 11:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
11:00 - 13:00 | Workshop Session - Falsification Time-Staging Enhancement of Hybrid System Falsification. Gidon Ernst, Ichiro Hasuo, Sean Sedwards and Zhenya Zhang Falsification of Cyber-Physical Systems with Reinforcement Learning. Koki Kato, Fuyuki Ishikawa and Shinichi Honiden Temporal Logic Falsification of Cyber-Physical Systems: An Input-Signal-Space Optimization Approach. Arend Aerts, Bryan Tong Minh, Mohammadreza Mousavi and Michel Reniers Using Valued Booleans to Find Simpler Counterexamples in Random Testing of Cyber-Physical Systems. Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Sajed Miremadi, Zahra Ramezani and Knut Åkesson R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
13:00 - 14:00 | Lunch R01 - Palácio da Bolsa - Level 0 - Pátio das Nações |
14:00 - 15:30 | Workshop Session - Tools Towards Context-Aware Cyber-Physical Systems. Radoslav Ivanov, James Weimer and Insup Lee DejaVu: A Monitoring Tool for First-Order Temporal Logic. Klaus Havelund, Doron Peled and Dogan Ulus MONAA: a Tool for Timed Pattern Matching with Automata-Based Acceleration. Masaki Waga, Ichiro Hasuo and Kohei Suenaga R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
15:30 - 16:00 | Coffee Break R10 - Palácio da Bolsa - Level 1 |
16:00 - 17:30 | Workshop Session - Control and Stimulus Generation Resilient Control and Safety for Cyber-Physical Systems. Ashish Tiwari, Scott Smolka, Lukas Esterle, Anna Lukina, Junxing Yang and Radu Grosu Cyber-Physical Doping Tests. Sebastian Biewer, Pedro R. D'Argenio and Holger Hermanns Stimulus Generator for Circuit Model Generation. Xavier Avon and Thao Dang R11 - Palácio da Bolsa - Level 1 - Sala do Tribunal |
18:45 - 20:30 | CPS Week Workshop/Tutorial Cocktail Dînatoire Palácio da Bolsa |