default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID3rd MT@CPSWeek 2018: Porto, Portugal
- 3rd Workshop on Monitoring and Testing of Cyber-Physical Systems, MT@CPSWeek 2018, Porto, Portugal, April 10, 2018. IEEE 2018, ISBN 978-1-5386-6748-4
- Houssam Abbas, Rajeev Alur, Konstantinos Mamouras, Rahul Mangharam, Alëna Rodionova:
Quantitative Regular Expressions for Monitoring Cardiac Arrhythmias. 1-2 - Zhenya Zhang
, Gidon Ernst, Ichiro Hasuo, Sean Sedwards:
Time-Staging Enhancement of Hybrid System Falsification. 3-4 - Koki Kato, Fuyuki Ishikawa, Shinichi Honiden:
Falsification of Cyber-Physical Systems with Reinforcement Learning. 5-6 - Arend Aerts, Bryan Tong Minh, Mohammad Reza Mousavi, Michel A. Reniers:
Dynamic Control Points and Independent Time Domains for Temporal Logic Falsification. 7 - Koen Claessen, Nicholas Smallbone, Johan Lidén Eddeland, Zahra Ramezani, Knut Åkesson, Sajed Miremadi:
Applying Valued Booleans in Testing of Cyber-Physical Systems. 8-9 - Radoslav Ivanov, James Weimer, Insup Lee:
Towards Context-Aware Cyber-Physical Systems. 10-11 - Klaus Havelund, Doron Peled, Dogan Ulus:
DejaVu: A Monitoring Tool for First-Order Temporal Logic. 12-13 - Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. 14-15 - Anna Lukina, Ashish Tiwari, Scott A. Smolka, Lukas Esterle, Junxing Yang, Radu Grosu:
Resilient Control and Safety for Cyber-Physical Systems. 16-17 - Sebastian Biewer, Pedro R. D'Argenio, Holger Hermanns:
Cyber-Physical Doping Tests. 18-19 - Xavier Avon, Thao Dang:
Stimulus Generator for Circuit Model Generation. 20-21
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-09-19 23:31 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
