Hiromu Toyama

Publication Activity (10 Years)

Years Active: 2019-2019
Publications (10 Years): 1

Top Topics

Probabilistic Modeling

Access Patterns

Consistency Maintenance

Top Venues

J. Syst. Softw.

Publications

Hiroyuki Nakagawa, Hiromu Toyama, Tatsuhiro Tsuchiya
Expression caching for runtime verification based on parameterized probabilistic models. J. Syst. Softw. 156 (2019)