1 citations · 2 across the 6 of their papers we have counts for
16 papers
Learning Alternating Real-Time Automata
Kazuki Kinoshita, Masaki Waga
We present the AL*RTA algorithm for learning alternating real-time automata (ARTAs) using membership and equivalence queries. AL*RTA combines ideas from AL*for learning alternating…
A Case Study on Runtime Verification of a Continuous Deployment Process
Shoma Ansai, Masaki Waga
We report our experience in applying runtime monitoring to a FluxCD-based continuous deployment (CD) process. Our target system consists of GitHub Actions, GitHub Container Registr…
A Variety of Request-Response Specifications
Daichi Aiba, Masaki Waga, Hiroya Fujinami +6
We find, motivated by real-world applications, that the well-known request-response specification comes with multiple variations, and that these variations should be distinguished.…
Active Learning of Symbolic Mealy Automata
Kengo Irie, Masaki Waga, Kohei Suenaga
We propose -an active learning algorithm that learns symbolic Mealy automata, which support infinite input alphabets and multiple output characters. Each of these two featur…
Componentwise Automata Learning for System Integration (Extended Version)
Hiroya Fujinami, Masaki Waga, Jie An +4
Compositional automata learning is attracting attention as an analysis technique for complex black-box systems. It exploits a target system's internal compositional structure to re…
Hyper pattern matching
Masaki Waga, Étienne André
In runtime verification, pattern matching, which searches for occurrences of a specific pattern within a word, provides more information than a simple violation detection of the mo…