Articles with public access mandates - Yoriyuki YamagataLearn more
Available somewhere: 7
Arch-comp 2020 category report: Falsification
G Ernst, P Arcaini, I Bennani, A Donze, G Fainekos, G Frehse, L Mathesen, ...
EPiC Series in Computing, 2020
Mandates: US National Science Foundation, European Commission
ARCH-COMP 2019 Category Report: Falsification.
G Ernst, P Arcaini, A Donze, G Fainekos, L Mathesen, G Pedrielli, ...
ARCH@ CPSIoTWeek, 129-140, 2019
Mandates: US National Science Foundation
ARCH-COMP 2021 Category Report: Falsification with Validation of Results.
G Ernst, P Arcaini, I Bennani, A Chandratre, A Donzé, G Fainekos, ...
ARCH@ ADHS, 133-152, 2021
Mandates: US National Science Foundation, US Department of Defense, European Commission
Arch-comp 2022 category report: Falsification with ubounded resources
G Ernst, P Arcaini, G Fainekos, F Formica, J Inoue, T Khandait, ...
Proceedings of 9th International Workshop on Applied Verification of …, 2022
Mandates: US National Science Foundation, US Department of Defense, Natural Sciences …
Domain-specific languages with Scala
C Artho, K Havelund, R Kumar, Y Yamagata
Formal Methods and Software Engineering: 17th International Conference on …, 2015
Mandates: US National Aeronautics and Space Administration
Model-based testing of stateful apis with modbat
C Artho, M Seidl, Q Gros, EH Choi, T Kitamura, A Mori, R Ramler, ...
2015 30th IEEE/ACM International Conference on Automated Software …, 2015
Mandates: Austrian Science Fund
Java Pathfinder on Android Devices
A Kohan, M Yamamoto, C Artho, Y Yamagata, L Ma, M Hagiya, Y Tanabe
ACM SIGSOFT Software Engineering Notes 41 (6), 1-5, 2017
Mandates: US National Aeronautics and Space Administration
Publication and funding information is determined automatically by a computer program