by Waga, Masaki, Hasuo, Ichiro
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2018)

by Waga, Masaki, Hasuo, Ichiro, Suenaga, Kohei
Published in Formal Modeling and Analysis of Timed Systems (2017)

by Waga, Masaki, Castellano, Ezequiel, Pruekprasert, Sasinee, Klikovits, Stefan, Takisaka, Toru, Hasuo, Ichiro
Published in Automated Technology for Verification and Analysis (2022)

by Waga, Masaki
Published in Formal Modeling and Analysis of Timed Systems (2019)

by Waga, Masaki, Andre, Etienne
Published in IEEE transactions on computer-aided design of integrated circuits and systems (01.11.2024)

by WAGA MASAKI
Year of Publication 28.10.2021

by WAGA MASAKI, HASUO ICHIRO
Year of Publication 09.04.2020

by KIKUCHI ATSUSHI, WAGA MASAKI, SUENAGA KOHEI
Year of Publication 18.05.2023

by WAGA Masaki, SUENAGA Kohei, KIKUCHI Atsushi
Year of Publication 11.05.2023

by Waga, Masaki, André, Étienne
Published in NASA Formal Methods (2019)

by HASUO, Ichiro, WAGA, Masaki, ETIENNE, Andre
Year of Publication 30.06.2022

by André, Étienne, Waga, Masaki, Urabe, Natuski, Hasuo, Ichiro
Published in NASA Formal Methods (2022)

by Waga, Masaki
Year of Publication 28.05.2023

by Shijubo, Junya, Waga, Masaki, Suenaga, Kohei
Published in Runtime Verification (2021)

by Waga, Masaki
Published in arXiv.org (09.11.2021)

by Waga, Masaki, André, Étienne
Year of Publication 31.07.2024

by Waga, Masaki, Akazaki, Takumi, Hasuo, Ichiro
Published in Formal Modeling and Analysis of Timed Systems (2016)

by Waga, Masaki
Year of Publication 28.06.2019

by Waga, Masaki
Published in arXiv.org (28.05.2023)

by Sato, Sota, Saimen, Atsuyoshi, Waga, Masaki, Takao, Kenji, Hasuo, Ichiro
Published in Formal Methods (2021)