default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDKohei Suenaga
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j10]Yusuke Kawamoto
, Tetsuya Sato, Kohei Suenaga:
Sound and relatively complete belief Hoare logic for statistical hypothesis testing programs. Artif. Intell. 326: 104045 (2024)- [j9]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: 100922 (2024) - [c36]Yuki Nishida, Kohei Suenaga, Atsushi Igarashi:
iCon: Automated Verification of Inter-Transaction Properties in Tezos Smart Contracts with Unknowns. ICBC 2024: 576-584 - [c35]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: 3154 - [c34]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. NDSS 2024 - [c33]Masaki Waga, Kotaro Matsuoka, Takashi Suwa, Naoki Matsumoto, Ryotaro Banno, Song Bian, Kohei Suenaga:
Oblivious Monitoring for Discrete-Time STL via Fully Homomorphic Encryption. RV 2024: 59-69 - [i27]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 abs/2405.16767 (2024) - [i26]Yusuke Kawamoto, Kentaro Kobayashi, Kohei Suenaga:
StatWhy: Formal Verification Tool for Statistical Hypothesis Testing Programs. CoRR abs/2405.17492 (2024) - 2023
- [j8]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Probabilistic Black-Box Checking via Active MDP Learning. ACM Trans. Embed. Comput. Syst. 22(5s): 148:1-148:26 (2023) - [j7]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): 3040-3072 (2023) - [c32]Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data. ATVA (1) 2023: 33-52 - [c31]Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Causality via Modal Logic. JELIA 2023: 681-696 - [i25]Amit Gurung, Masaki Waga, Kohei Suenaga:
Learning nonlinear hybrid automata from input-output time-series data. CoRR abs/2301.03915 (2023) - [i24]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Probabilistic Black-Box Checking via Active MDP Learning. CoRR abs/2308.07930 (2023) - [i23]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: 1445 (2023) - 2022
- [j6]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): 507-540 (2022) - [c30]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: 274-290 - [c29]Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo:
The Lattice-Theoretic Essence of Property Directed Reachability Analysis. CAV (1) 2022: 235-256 - [c28]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: 447-468 - [i22]Mayuko Kori, Natsuki Urabe, Shin-ya Katsumata, Kohei Suenaga, Ichiro Hasuo:
The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis. CoRR abs/2203.14261 (2022) - [i21]Ryotaro Banno, Kotaro Matsuoka, Naoki Matsumoto, Song Bian, Masaki Waga, Kohei Suenaga:
Oblivious Online Monitoring for Safety LTL Specification via Fully Homomorphic Encryption. CoRR abs/2206.03582 (2022) - [i20]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 abs/2207.02387 (2022) - [i19]Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis Testing Programs. CoRR abs/2208.07074 (2022) - [i18]Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Causality via Modal Logic. CoRR abs/2210.16751 (2022) - [i17]Atsushi Kikuchi, Kotaro Uchida, Masaki Waga, Kohei Suenaga:
BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for Image- and Video-Classification Models. CoRR abs/2210.17130 (2022) - 2021
- [c27]Yusuke Kawamoto, Tetsuya Sato, Kohei Suenaga:
Formalizing Statistical Beliefs in Hypothesis Testing Using Program Logic. KR 2021: 411-421 - [c26]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. RV 2021: 100-120 - [c25]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: 262-280 - [i16]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 abs/2101.01502 (2021) - [i15]Sota Sato, Ryotaro Banno, Jun Furuse, Kohei Suenaga, Atsushi Igarashi:
Verification of a Merkle Patricia Tree Library Using F. CoRR abs/2106.04826 (2021) - [i14]Takeshi Tsukada, Hiroshi Unno, Taro Sekiyama, Kohei Suenaga:
Enhancing Loop-Invariant Synthesis via Reinforcement Learning. CoRR abs/2107.09766 (2021) - [i13]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 abs/2108.12971 (2021) - [i12]Junya Shijubo, Masaki Waga, Kohei Suenaga:
Efficient Black-Box Checking via Model Checking with Strengthened Specifications. CoRR abs/2109.04656 (2021) - 2020
- [c24]Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga:
Visualizing Color-Wise Saliency of Black-Box Image Classification Models. ACCV (3) 2020: 189-205 - [c23]John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi:
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. ESOP 2020: 684-714 - [c22]Ruka Funaki, Yusuke Nagata, Kohei Suenaga, Shinsuke Mori:
A Contract Corpus for Recognizing Rights and Obligations. LREC 2020: 2045-2053 - [c21]Kohei Suenaga, Takuya Ishizawa:
Generalized Property-Directed Reachability for Hybrid Systems. VMCAI 2020: 293-313 - [i11]John Toman, Ren Siqi, Kohei Suenaga, Atsushi Igarashi, Naoki Kobayashi:
ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for Imperative Programs. CoRR abs/2002.07770 (2020) - [i10]Yuhki Hatakeyama, Hiroki Sakuma, Yoshinori Konishi, Kohei Suenaga:
Visualizing Color-wise Saliency of Black-Box Image Classification Models. CoRR abs/2010.02468 (2020)
2010 – 2019
- 2019
- [i9]Kohei Suenaga, Takuya Ishizawa:
Generalized Property-Directed Reachability for Hybrid Systems. CoRR abs/1910.03784 (2019) - 2018
- [j5]Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga:
Generalized homogeneous polynomials for efficient template-based nonlinear invariant synthesis. Theor. Comput. Sci. 747: 33-47 (2018) - [c20]Taro Sekiyama, Kohei Suenaga:
Automated Proof Synthesis for the Minimal Propositional Logic with Deep Neural Networks. APLAS 2018: 309-328 - [c19]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. MT@CPSWeek 2018: 14-15 - [c18]Akifumi Imanishi, Kohei Suenaga, Atsushi Igarashi:
A guess-and-assume approach to loop fusion for program verification. PEPM 2018: 2-14 - [i8]Taro Sekiyama, Kohei Suenaga:
Automated proof synthesis for propositional logic with deep neural networks. CoRR abs/1805.11799 (2018) - [i7]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
MONAA: A Tool for Timed Pattern Matching with Automata-Based Acceleration. CoRR abs/1810.09351 (2018) - 2017
- [c17]Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo:
Sharper and Simpler Nonlinear Interpolants for Program Verification. APLAS 2017: 491-513 - [c16]Hirofumi Nakamura, Kensuke Kojima, Kohei Suenaga, Atsushi Igarashi:
A Nonstandard Functional Programming Language. APLAS 2017: 514-533 - [c15]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
Efficient Online Timed Pattern Matching by Automata-Based Skipping. FORMATS 2017: 224-243 - [i6]Taro Sekiyama, Akifumi Imanishi, Kohei Suenaga:
Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic Propositional Logic. CoRR abs/1706.06462 (2017) - [i5]Masaki Waga, Ichiro Hasuo, Kohei Suenaga:
Efficient Online Timed Pattern Matching by Automata-Based Skipping. CoRR abs/1706.09174 (2017) - [i4]Takamasa Okudono, Yuki Nishida, Kensuke Kojima, Kohei Suenaga, Kengo Kido, Ichiro Hasuo:
Sharper and Simpler Nonlinear Interpolants for Program Verification. CoRR abs/1709.00314 (2017) - 2016
- [c14]Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga:
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. SAS 2016: 278-299 - [i3]Kensuke Kojima, Minoru Kinoshita, Kohei Suenaga:
Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear Invariant Synthesis. CoRR abs/1604.07201 (2016) - 2015
- [i2]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) - 2014
- [c13]Tatsuya Sonobe, Kohei Suenaga, Atsushi Igarashi:
Automatic Memory Management Based on Program Transformation Using Ownership. APLAS 2014: 58-77 - [c12]Takumi Akazaki, Ichiro Hasuo, Kohei Suenaga:
Input Synthesis for Sampled Data Systems by Program Logic. HAS 2014: 22-39 - 2013
- [c11]Kohei Suenaga, Hiroyoshi Sekine, Ichiro Hasuo:
Hyperstream processing systems: nonstandard modeling of continuous-time signals. POPL 2013: 417-430 - 2012
- [c10]Ichiro Hasuo, Kohei Suenaga:
Exercises in Nonstandard Static Analysis of Hybrid Systems. CAV 2012: 462-478 - [c9]Kohei Suenaga, Ryota Fukuda, Atsushi Igarashi:
Type-based safe resource deallocation for shared-memory concurrency. OOPSLA 2012: 1-20 - 2011
- [j4]Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi:
Ordered Types for Stream Processing of Tree-Structured Data. Inf. Media Technol. 6(2): 385-398 (2011) - [j3]Ryosuke Sato, Kohei Suenaga, Naoki Kobayashi:
Ordered Types for Stream Processing of Tree-Structured Data. J. Inf. Process. 19: 74-87 (2011) - [c8]Kohei Suenaga, Ichiro Hasuo:
Programming with Infinitesimals: A While-Language for Hybrid System Modeling. ICALP (2) 2011: 392-403
2000 – 2009
- 2009
- [c7]Kohei Suenaga, Naoki Kobayashi:
Fractional Ownerships for Safe Memory Deallocation. APLAS 2009: 128-143 - 2008
- [j2]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): 333-371 (2008) - [c6]Kohei Suenaga:
Type-Based Deadlock-Freedom Verification for Non-Block-Structured Lock Primitives and Mutable References. APLAS 2008: 155-170 - 2007
- [c5]Kohei Suenaga, Naoki Kobayashi:
Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts. ESOP 2007: 490-504 - 2006
- [j1]Naoki Kobayashi, Kohei Suenaga, Lucian Wischik:
Resource Usage Analysis for the p-Calculus. Log. Methods Comput. Sci. 2(3) (2006) - [c4]Naoki Kobayashi, Kohei Suenaga, Lucian Wischik:
Resource Usage Analysis for the pi-Calculus. VMCAI 2006: 298-312 - [i1]Naoki Kobayashi, Kohei Suenaga, Lucian Wischik:
Resource Usage Analysis for the Pi-Calculus. CoRR abs/cs/0608035 (2006) - 2005
- [c3]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: 98-114 - 2004
- [c2]Koichi Kodama, Kohei Suenaga, Naoki Kobayashi:
Translation of Tree-Processing Programs into Stream-Processing Programs Based on Ordered Linear Type. APLAS 2004: 41-56 - 2003
- [c1]Kohei Suenaga, Yutaka Oiwa, Eijiro Sumii, Akinori Yonezawa:
The Interface Definition Language for Fail-Safe C. ISSS 2003: 192-208
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-11-04 20:40 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
