Zobrazeno 1 - 10
of 26
pro vyhledávání: '"Masaki Waga"'
Publikováno v:
ACM Transactions on Software Engineering and Methodology. 32:1-35
Given a log and a specification, timed pattern matching aims at exhibiting for which start and end dates a specification holds on that log. For example, “a given action is always followed by another action before a given deadline”. This problem h
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::4916db0e03c4c50ad3a5728a4eb9ad7b
https://doi.org/10.1145/3517194
https://doi.org/10.1145/3517194
Publikováno v:
ACM Transactions on Embedded Computing Systems; 2023 Suppl5s, Vol. 22, p1-26, 26p
Publikováno v:
Computer Vision – ACCV 2022 ISBN: 9783031262920
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::430570de3e772869b07e1d915b43c28e
https://doi.org/10.1007/978-3-031-26293-7_17
https://doi.org/10.1007/978-3-031-26293-7_17
Autor:
Gidon Ernst, Paolo Arcaini, Georgios Fainekos, Federico Formica, Jun Inoue, Tanmay Khandait, Mohammad Mahdi Mahboob, Claudio Menghi, Giulia Pedrielli, Masaki Waga, Yoriyuki Yamagata, Zhenya Zhang
Publikováno v:
EPiC Series in Computing.
This report presents the results from the 2022 friendly competition in the ARCH work- shop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited and
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::445a2659d9f31c85390997d7958aef80
https://doi.org/10.29007/fhnk
https://doi.org/10.29007/fhnk
Publikováno v:
ADHS
The synthesis problem of a cyber-physical system (CPS) is to find an input signal under which the system’s behavior satisfies a given specification. Our setting is that the specification is a formula of signal temporal logic, and furthermore, that
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::e6eafa7b0adb661b87002ca8af99f178
https://doi.org/10.1016/j.ifacol.2021.08.501
https://doi.org/10.1016/j.ifacol.2021.08.501
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783031067723
Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
Proceedings of the 14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022)
14th NASA Formal Methods Symposium (NFM 2022), May 2022, Pasadena, United States. pp.470-488, ⟨10.1007/978-3-031-06773-0_25⟩
Specifying properties can be challenging work. In this paper, we propose an automated approach to exemplify properties given in the form of automata extended with timing constraints and timing parameters, and that can also encode constraints over rea
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::b5f07c0614a0b694c6740157ef68d2be
http://arxiv.org/abs/2203.13247
http://arxiv.org/abs/2203.13247
Publikováno v:
Computer Aided Verification ISBN: 9783031131844
In many Internet of Things (IoT) applications, data sensed by an IoT device are continuously sent to the server and monitored against a specification. Since the data often contain sensitive information, and the monitored specification is usually prop
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::857bf3e0b3235d769c70047dc94c9dd8
https://doi.org/10.1007/978-3-031-13185-1_22
https://doi.org/10.1007/978-3-031-13185-1_22
Autor:
Gidon Ernst, Paolo Arcaini, Ismail Bennani, Aniruddh Chandratre, Alexandre Donzé, Georgios Fainekos, Goran Frehse, Khouloud Gaaloul, Jun Inoue, Tanmay Khandait, Logan Mathesen, Claudio Menghi, Giulia Pedrielli, Marc Pouzet, Masaki Waga, Shakiba Yaghoubi, Yoriyuki Yamagata, Zhenya Zhang
Publikováno v:
EPiC Series in Computing.
This report presents the results from the 2021 friendly competition in the ARCH work- shop for the falsification of temporal logic specifications over Cyber-Physical Systems. We briefly describe the competition settings, which have been inherited fro
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0e4797ae7f0cdfe8bf4d6a5441f62bcc
https://doi.org/10.29007/xwl1
https://doi.org/10.29007/xwl1
Publikováno v:
This is the author (and slightly extended) version of the manuscript of the same name published in the proceedings of the 12th ACM/IEEE International Conference on Cyber-Physical Systems
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021)
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021), Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021)
12th ACM/IEEE International Conference on Cyber-Physical Systems (ICCPS 2021), Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems
ICCPS 2021-12th ACM/IEEE International Conference on Cyber-Physical Systems, Martina Maggio; James Weimer, May 2021, Nashville, United States
ICCPS
Monitoring of hybrid systems attracts both scientific and practical attention. However, monitoring algorithms suffer from the methodological difficulty of only observing sampled discrete-time signals, while real behaviors are continuous-time signals.
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::0dd007efd6ada2c9409e6e94a4c7cba7
https://hal.archives-ouvertes.fr/hal-03142412
https://hal.archives-ouvertes.fr/hal-03142412
This book constitutes the proceedings of the First International Joint Conference on Quantitative Evaluation of Systems and Formal Modeling and Analysis of Timed Systems, QEST+Formats 2024, which took place in Calgary, AB, Canada, during September 2