Kohei Suenaga

Publication Activity (10 Years)

Years Active: 2003-2024
Publications (10 Years): 51

Top Topics

Propositional Logic

Classification Models

Hypothesis Test

Top Venues

Publications

Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artif. Intell. 326 (2024)
Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. CoRR (2024)
Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. CoRR (2024)
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-data separation and logical condition propagation for efficient inference on probabilistic programs. J. Log. Algebraic Methods Program. 136 (2024)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IV (2024)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Probabilistic Black-Box Checking via Active MDP Learning. ACM Trans. Embed. Comput. Syst. 22 (5s) (2023)
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) (2023)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Probabilistic Black-Box Checking via Active MDP Learning. CoRR (2023)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. IEEE Trans. Intell. Veh. 8 (4) (2023)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Formalizing Statistical Causality via Modal Logic. JELIA (2023)
Song Bian, Zian Zhao, Zhou Zhang, Ran Mao, Kohei Suenaga, Yier Jin, Zhenyu Guan, Jianwei Liu
HEIR: A Unified Representation for Cross-Scheme Compilation of Fully Homomorphic Computation. IACR Cryptol. ePrint Arch. 2023 (2023)
Amit Gurung, Masaki Waga, Kohei Suenaga
Learning nonlinear hybrid automata from input-output time-series data. CoRR (2023)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) (2022)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Formalizing Statistical Causality via Modal Logic. CoRR (2022)
Ichiro Hasuo, Clovis Eberhart, James Haydon, Jérémy Dubut, Rose Bohrer, Tsutomu Kobayashi, Sasinee Pruekprasert, Xiao-Yi Zhang, Erik André Pallas, Akihisa Yamada, Kohei Suenaga, Fuyuki Ishikawa, Kenji Kamijo, Yoshiyuki Shinya, Takamasa Suetomi
Goal-Aware RSS for Complex Scenarios via Program Logic. CoRR (2022)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs. CoRR (2022)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CoRR (2022)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. New Gener. Comput. 40 (2) (2022)
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. CoRR (2022)
Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CAV (1) (2022)
Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. ACCV (7) (2022)
Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR (2022)
Ichiro Hasuo, Yuichiro Oyabu, Clovis Eberhart, Kohei Suenaga, Kenta Cho, Shin-ya Katsumata
Control-Data Separation and Logical Condition Propagation for Efficient Inference on Probabilistic Programs. CoRR (2021)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
HELMHOLTZ: A Verifier for Tezos Smart Contracts Based on Refinement Types. CoRR (2021)
Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Verification of a Merkle Patricia Tree Library Using F. CoRR (2021)
Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. KR (2021)
Yuki Nishida, Hiromasa Saito, Ran Chen, Akira Kawata, Jun Furuse, Kohei Suenaga, Atsushi Igarashi
Helmholtz: A Verifier for Tezos Smart Contracts Based on Refinement Types. TACAS (2) (2021)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. CoRR (2021)
Junya Shijubo, Masaki Waga, Kohei Suenaga
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV (2021)
Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga
Enhancing Loop-Invariant Synthesis via Reinforcement Learning. CoRR (2021)
Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga
Visualizing Color-wise Saliency of Black-Box Image Classification Models. CoRR (2020)
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. ESOP (2020)
Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga
Visualizing Color-Wise Saliency of Black-Box Image Classification Models. ACCV (3) (2020)
Ruka Funaki, Yusuke Nagata, Kohei Suenaga, Shinsuke Mori
A Contract Corpus for Recognizing Rights and Obligations. LREC (2020)
Kohei Suenaga, Takuya Ishizawa
Generalized Property-Directed Reachability for Hybrid Systems. VMCAI (2020)
John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. CoRR (2020)
Kohei Suenaga, Takuya Ishizawa
Generalized Property-Directed Reachability for Hybrid Systems. CoRR (2019)
Taro Sekiyama, Kohei Suenaga
Automated proof synthesis for propositional logic with deep neural networks. CoRR (2018)
Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi
A guess-and-assume approach to loop fusion for program verification. PEPM (2018)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. CoRR (2018)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. Theor. Comput. Sci. 747 (2018)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek (2018)
Taro Sekiyama, Kohei Suenaga
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. APLAS (2018)
Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi
A Nonstandard Functional Programming Language. APLAS (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR (2017)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
Efficient Online Timed Pattern Matching by Automata-Based Skipping. CoRR (2017)
Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo
Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS (2017)
Masaki Waga, Ichiro Hasuo, Kohei Suenaga
Efficient Online Timed Pattern Matching by Automata-Based Skipping. FORMATS (2017)
Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. CoRR (2017)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. CoRR (2016)
Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. SAS (2016)
Daisuke Ishii, Kohei Suenaga, Walid Taha
Validated Numerics Meets Reachability Analysis for CPS Design (NII Shonan Meeting 2015-14). NII Shonan Meet. Rep. 2015 (2015)
Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi
Automatic Memory Management Based on Program Transformation Using Ownership. APLAS (2014)
Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga
Input Synthesis for Sampled Data Systems by Program Logic. HAS (2014)
Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo
Hyperstream processing systems: nonstandard modeling of continuous-time signals. POPL (2013)
Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi
Type-based safe resource deallocation for shared-memory concurrency. OOPSLA (2012)
Ichiro Hasuo, Kohei Suenaga
Exercises in Nonstandard Static Analysis of Hybrid Systems. CAV (2012)
Kohei Suenaga, Ichiro Hasuo
Programming with Infinitesimals: A While-Language for Hybrid System Modeling. ICALP (2) (2011)
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
Ordered Types for Stream Processing of Tree-Structured Data. Inf. Media Technol. 6 (2) (2011)
Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi
Ordered Types for Stream Processing of Tree-Structured Data. J. Inf. Process. 19 (2011)
Kohei Suenaga, Naoki Kobayashi
Fractional Ownerships for Safe Memory Deallocation. APLAS (2009)
Kohei Suenaga
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. APLAS (2008)
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
Translation of tree-processing programs into stream-processing programs based on ordered linear type. J. Funct. Program. 18 (3) (2008)
Kohei Suenaga, Naoki Kobayashi
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. ESOP (2007)
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
Resource Usage Analysis for the p-Calculus. Log. Methods Comput. Sci. 2 (3) (2006)
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
-Calculus. VMCAI (2006)
Naoki Kobayashi, Kohei Suenaga, Lucian Wischik
Resource Usage Analysis for the Pi-Calculus CoRR (2006)
Kohei Suenaga, Naoki Kobayashi, Akinori Yonezawa
Extension of Type-Based Approach to Generation of Stream-Processing Programs by Automatic Insertion of Buffering Primitives. LOPSTR (2005)
Koichi Kodama, Kohei Suenaga, Naoki Kobayashi
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. APLAS (2004)
Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa
The Interface Definition Language for Fail-Safe C. ISSS (2003)