Efficient Online Timed Pattern Matching by Automata-Based Skipping von Waga, Masaki, Hasuo, Ichiro, Suenaga, Kohei

Volltext

Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References von Suenaga, Kohei

Volltext

Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types von Nishida, Yuki, Saito, Hiromasa, Chen, Ran, Kawata, Akira, Furuse, Jun, Suenaga, Kohei, Igarashi, Atsushi

Volltext

Goal-Aware RSS for Complex Scenarios via Program Logic von Hasuo, Ichiro, Eberhart, Clovis, Haydon, James, Dubut, Jeremy, Bohrer, Rose, Kobayashi, Tsutomu, Pruekprasert, Sasinee, Zhang, Xiao-Yi, Pallas, Erik Andre, Yamada, Akihisa, Suenaga, Kohei, Ishikawa, Fuyuki, Kamijo, Kenji, Shinya, Yoshiyuki, Suetomi, Takamasa

Volltext

From my old idea note von SUENAGA, Kohei

Volltext

Recipients' Introduction to Research Awarded at the 40th JSSST Annual Conference von SUENAGA, Kohei

Volltext

Probabilistic Black-Box Checking via Active MDP Learning von Shijubo, Junya, Waga, Masaki, Suenaga, Kohei

Volltext

Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis von Kojima, Kensuke, Kinoshita, Minoru, Suenaga, Kohei

Volltext

Formalizing Statistical Causality via Modal Logic von Kawamoto, Yusuke, Sato, Tetsuya, Suenaga, Kohei

Volltext

PLDI 2016 Report von SUENAGA, Kohei

Volltext

Efficient Black-Box Checking via Model Checking with Strengthened Specifications von Shijubo, Junya, Waga, Masaki, Suenaga, Kohei

Volltext

Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks von Sekiyama, Taro, Suenaga, Kohei

Volltext

BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models von Kikuchi, Atsushi, Uchida, Kotaro, Waga, Masaki, Suenaga, Kohei

Volltext

Exercises in Nonstandard Static Analysis of Hybrid Systems von Hasuo, Ichiro, Suenaga, Kohei

Volltext

Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs von Kawamoto, Yusuke, Sato, Tetsuya, Suenaga, Kohei

Volltext

Probabilistic Black-Box Checking via Active MDP Learning von Shijubo, Junya, Waga, Masaki, Suenaga, Kohei

Volltext bestellen

日本ソフトウェア科学会第40回大会報告 von 末永, 幸平, 関山, 太朗, 五十嵐, 悠紀

Volltext

Generalized Property-Directed Reachability for Hybrid Systems von Suenaga, Kohei, Ishizawa, Takuya

Volltext bestellen

A Nonstandard Functional Programming Language von Nakamura, Hirofumi, Kojima, Kensuke, Suenaga, Kohei, Igarashi, Atsushi

Volltext

Resource usage analysis for the π-calculus von KOBAYASHI, Naoki, SUENAGA, Kohei, WISCHIK, Lucian

Volltext