2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS)
Latest Publications

TOTAL DOCUMENTS

19

(FIVE YEARS 0)

H-INDEX

2

(FIVE YEARS 0)

Published By IEEE

9781538667484

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

MT-CPS 2018 Workshop Overview

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00005 ◽

2018 ◽

Download Full-text

Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00007 ◽

2018 ◽

Author(s):

Houssam Abbas ◽

Rajeev Alur ◽

Konstantinos Mamouras ◽

Rahul Mangharam ◽

Alena Rodionova

Keyword(s):

Cardiac Arrhythmias ◽

Regular Expressions

Download Full-text

Towards Context-Aware Cyber-Physical Systems

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00012 ◽

2018 ◽

Author(s):

Radoslav Ivanov ◽

James Weimer ◽

Insup Lee

Keyword(s):

Cyber Physical Systems ◽

Context Aware ◽

Physical Systems

Download Full-text

MT-CPS Workshop Organization

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00006 ◽

2018 ◽

Download Full-text

DejaVu: A Monitoring Tool for First-Order Temporal Logic

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00013 ◽

2018 ◽

Author(s):

Klaus Havelund ◽

Doron Peled ◽

Dogan Ulus

Keyword(s):

Temporal Logic ◽

Monitoring Tool ◽

Download Full-text

Copyright Page

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00003 ◽

2018 ◽

Download Full-text

Falsification of Cyber-Physical Systems with Reinforcement Learning

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00009 ◽

2018 ◽

Author(s):

Koki Kato ◽

Fuyuki Ishikawa ◽

Shinichi Honiden

Keyword(s):

Reinforcement Learning ◽

Cyber Physical Systems ◽

Physical Systems

Download Full-text

Applying Valued Booleans in Testing of Cyber-Physical Systems

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00011 ◽

2018 ◽

Author(s):

Koen Claessen ◽

Nicholas Smallbone ◽

Johan Liden Eddeland ◽

Zahra Ramezani ◽

Knut Akesson ◽

...

Keyword(s):

Cyber Physical Systems ◽

Physical Systems

Download Full-text

MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00014 ◽

2018 ◽

Author(s):

Masaki Waga ◽

Ichiro Hasuo ◽

Kohei Suenaga

Keyword(s):

Pattern Matching

Download Full-text

Author Index

2018 IEEE Workshop on Monitoring and Testing of Cyber-Physical Systems (MT-CPS) ◽

10.1109/mt-cps.2018.00018 ◽

2018 ◽

Download Full-text