default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kohei Suenaga
@inproceedings{DBLP:conf/aspdac/TanakaUSH25,
author = {Tomonari Tanaka and
Takumi Uezono and
Kohei Suenaga and
Masanori Hashimoto},
editor = {Yuichi Nakamura and
Yu Wang},
title = {Hardware Error Detection with In-Situ Monitoring of Control Flow-Related
Specifications},
booktitle = {Proceedings of the 30th Asia and South Pacific Design Automation Conference,
{ASPDAC} 2025, Tokyo, Japan, January 20-23, 2025},
pages = {966--973},
publisher = {{ACM}},
year = {2025},
url = {https://doi.org/10.1145/3658617.3697744},
doi = {10.1145/3658617.3697744},
timestamp = {Fri, 07 Mar 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aspdac/TanakaUSH25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KawamotoKS25,
author = {Yusuke Kawamoto and
Kentaro Kobayashi and
Kohei Suenaga},
editor = {Ruzica Piskac and
Zvonimir Rakamaric},
title = {StatWhy: Formal Verification Tool for Statistical Hypothesis Testing
Programs},
booktitle = {Computer Aided Verification - 37th International Conference, {CAV}
2025, Zagreb, Croatia, July 23-25, 2025, Proceedings, Part {II}},
series = {Lecture Notes in Computer Science},
volume = {15932},
pages = {216--230},
publisher = {Springer},
year = {2025},
url = {https://doi.org/10.1007/978-3-031-98679-6\_10},
doi = {10.1007/978-3-031-98679-6\_10},
timestamp = {Sat, 09 Aug 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KawamotoKS25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hybrid/HsiehWS25,
author = {Chiao Hsieh and
Masaki Waga and
Kohei Suenaga},
title = {Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample
Guided Synthesis},
booktitle = {Proceedings of the 28th {ACM} International Conference on Hybrid Systems:
Computation and Control, {HSCC} 2025, Irvine, CA, USA, May 6-9, 2025},
pages = {8:1--8:11},
publisher = {{ACM}},
year = {2025},
url = {https://doi.org/10.1145/3716863.3718047},
doi = {10.1145/3716863.3718047},
timestamp = {Sat, 31 May 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/hybrid/HsiehWS25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iclr/DeguchiK0TSWY25,
author = {Hiroyuki Deguchi and
Go Kamoda and
Yusuke Matsushita and
Chihiro Taguchi and
Kohei Suenaga and
Masaki Waga and
Sho Yokoi},
title = {SoftMatcha: {A} Soft and Fast Pattern Matcher for Billion-Scale Corpus
Searches},
booktitle = {The Thirteenth International Conference on Learning Representations,
{ICLR} 2025, Singapore, April 24-28, 2025},
publisher = {OpenReview.net},
year = {2025},
url = {https://openreview.net/forum?id=Q6PAnqYVpo},
timestamp = {Mon, 07 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/iclr/DeguchiK0TSWY25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sp/0001ZS0M0LWSGHJ25,
author = {Song Bian and
Zian Zhao and
Ruiyu Shen and
Zhou Zhang and
Ran Mao and
Dawei Li and
Yizhong Liu and
Masaki Waga and
Kohei Suenaga and
Zhenyu Guan and
Jiafeng Hua and
Yier Jin and
Jianwei Liu},
editor = {Marina Blanton and
William Enck and
Cristina Nita{-}Rotaru},
title = {{CHLOE:} Loop Transformation over Fully Homomorphic Encryption via
Multi-Level Vectorization and Control-Path Reduction},
booktitle = {{IEEE} Symposium on Security and Privacy, {SP} 2025, San Francisco,
CA, USA, May 12-15, 2025},
pages = {2395--2413},
publisher = {{IEEE}},
year = {2025},
url = {https://doi.org/10.1109/SP61157.2025.00035},
doi = {10.1109/SP61157.2025.00035},
timestamp = {Fri, 04 Jul 2025 15:34:07 +0200},
biburl = {https://dblp.org/rec/conf/sp/0001ZS0M0LWSGHJ25.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2503-00431,
author = {Chiao Hsieh and
Masaki Waga and
Kohei Suenaga},
title = {Certifying Lyapunov Stability of Black-Box Nonlinear Systems via Counterexample
Guided Synthesis (Extended Version)},
journal = {CoRR},
volume = {abs/2503.00431},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2503.00431},
doi = {10.48550/ARXIV.2503.00431},
eprinttype = {arXiv},
eprint = {2503.00431},
timestamp = {Tue, 08 Apr 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2503-00431.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2503-03703,
author = {Hiroyuki Deguchi and
Go Kamoda and
Yusuke Matsushita and
Chihiro Taguchi and
Kohei Suenaga and
Masaki Waga and
Sho Yokoi},
title = {SoftMatcha: {A} Soft and Fast Pattern Matcher for Billion-Scale Corpus
Searches},
journal = {CoRR},
volume = {abs/2503.03703},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2503.03703},
doi = {10.48550/ARXIV.2503.03703},
eprinttype = {arXiv},
eprint = {2503.03703},
timestamp = {Mon, 07 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2503-03703.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2505-04108,
author = {Tomonari Tanaka and
Takumi Uezono and
Kohei Suenaga and
Masanori Hashimoto},
title = {In-Situ Hardware Error Detection Using Specification-Derived Petri
Net Models and Behavior-Derived State Sequences},
journal = {CoRR},
volume = {abs/2505.04108},
year = {2025},
url = {https://doi.org/10.48550/arXiv.2505.04108},
doi = {10.48550/ARXIV.2505.04108},
eprinttype = {arXiv},
eprint = {2505.04108},
timestamp = {Fri, 20 Jun 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2505-04108.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ai/KawamotoSS24,
author = {Yusuke Kawamoto and
Tetsuya Sato and
Kohei Suenaga},
title = {Sound and relatively complete belief Hoare logic for statistical hypothesis
testing programs},
journal = {Artif. Intell.},
volume = {326},
pages = {104045},
year = {2024},
url = {https://doi.org/10.1016/j.artint.2023.104045},
doi = {10.1016/J.ARTINT.2023.104045},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ai/KawamotoSS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlap/HasuoOESCK24,
author = {Ichiro Hasuo and
Yuichiro Oyabu and
Clovis Eberhart and
Kohei Suenaga and
Kenta Cho and
Shin{-}ya Katsumata},
title = {Control-data separation and logical condition propagation for efficient
inference on probabilistic programs},
journal = {J. Log. Algebraic Methods Program.},
volume = {136},
pages = {100922},
year = {2024},
url = {https://doi.org/10.1016/j.jlamp.2023.100922},
doi = {10.1016/J.JLAMP.2023.100922},
timestamp = {Sat, 13 Jan 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jlap/HasuoOESCK24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icbc2/NishidaSI24,
author = {Yuki Nishida and
Kohei Suenaga and
Atsushi Igarashi},
title = {iCon: Automated Verification of Inter-Transaction Properties in Tezos
Smart Contracts with Unknowns},
booktitle = {{IEEE} International Conference on Blockchain and Cryptocurrency,
{ICBC} 2024, Dublin, Ireland, May 27-31, 2024},
pages = {576--584},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/ICBC59979.2024.10634430},
doi = {10.1109/ICBC59979.2024.10634430},
timestamp = {Thu, 17 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icbc2/NishidaSI24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ivs/HasuoEHDBKPZP0S24,
author = {Ichiro Hasuo and
Clovis Eberhart and
James Haydon and
J{\'{e}}r{\'{e}}my Dubut and
Rose Bohrer and
Tsutomu Kobayashi and
Sasinee Pruekprasert and
Xiao{-}Yi Zhang and
Erik Andr{\'{e}} Pallas and
Akihisa Yamada and
Kohei Suenaga and
Fuyuki Ishikawa and
Kenji Kamijo and
Yoshiyuki Shinya and
Takamasa Suetomi},
title = {Goal-Aware {RSS} for Complex Scenarios via Program Logic},
booktitle = {{IEEE} Intelligent Vehicles Symposium, {IV} 2024, Jeju Island, Republic
of Korea, June 2-5, 2024},
pages = {3154},
publisher = {{IEEE}},
year = {2024},
url = {https://doi.org/10.1109/IV55156.2024.10588754},
doi = {10.1109/IV55156.2024.10588754},
timestamp = {Thu, 01 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/ivs/HasuoEHDBKPZP0S24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ndss/0001Z0MSJG024,
author = {Song Bian and
Zian Zhao and
Zhou Zhang and
Ran Mao and
Kohei Suenaga and
Yier Jin and
Zhenyu Guan and
Jianwei Liu},
title = {{HEIR:} {A} Unified Representation for Cross-Scheme Compilation of
Fully Homomorphic Computation},
booktitle = {31st Annual Network and Distributed System Security Symposium, {NDSS}
2024, San Diego, California, USA, February 26 - March 1, 2024},
publisher = {The Internet Society},
year = {2024},
url = {https://www.ndss-symposium.org/ndss-paper/heir-a-unified-representation-for-cross-scheme-compilation-of-fully-homomorphic-computation/},
timestamp = {Tue, 24 Sep 2024 17:08:58 +0200},
biburl = {https://dblp.org/rec/conf/ndss/0001Z0MSJG024.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/WagaMSMBBS24,
author = {Masaki Waga and
Kotaro Matsuoka and
Takashi Suwa and
Naoki Matsumoto and
Ryotaro Banno and
Song Bian and
Kohei Suenaga},
editor = {Erika {\'{A}}brah{\'{a}}m and
Houssam Abbas},
title = {Oblivious Monitoring for Discrete-Time {STL} via Fully Homomorphic
Encryption},
booktitle = {Runtime Verification - 24th International Conference, {RV} 2024, Istanbul,
Turkey, October 15-17, 2024, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {15191},
pages = {59--69},
publisher = {Springer},
year = {2024},
url = {https://doi.org/10.1007/978-3-031-74234-7\_4},
doi = {10.1007/978-3-031-74234-7\_4},
timestamp = {Sat, 30 Nov 2024 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/WagaMSMBBS24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-16767,
author = {Masaki Waga and
Kotaro Matsuoka and
Takashi Suwa and
Naoki Matsumoto and
Ryotaro Banno and
Song Bian and
Kohei Suenaga},
title = {Oblivious Monitoring for Discrete-Time {STL} via Fully Homomorphic
Encryption},
journal = {CoRR},
volume = {abs/2405.16767},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.16767},
doi = {10.48550/ARXIV.2405.16767},
eprinttype = {arXiv},
eprint = {2405.16767},
timestamp = {Tue, 18 Jun 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-16767.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2405-17492,
author = {Yusuke Kawamoto and
Kentaro Kobayashi and
Kohei Suenaga},
title = {StatWhy: Formal Verification Tool for Statistical Hypothesis Testing
Programs},
journal = {CoRR},
volume = {abs/2405.17492},
year = {2024},
url = {https://doi.org/10.48550/arXiv.2405.17492},
doi = {10.48550/ARXIV.2405.17492},
eprinttype = {arXiv},
eprint = {2405.17492},
timestamp = {Fri, 04 Jul 2025 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2405-17492.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BianZSZMLLWSGHJL24,
author = {Song Bian and
Zian Zhao and
Ruiyu Shen and
Zhou Zhang and
Ran Mao and
Dawei Li and
Yizhong Liu and
Masaki Waga and
Kohei Suenaga and
Zhenyu Guan and
Jiafeng Hua and
Yier Jin and
Jianwei Liu},
title = {{CHLOE:} Loop Transformation over Fully Homomorphic Encryption via
Multi-Level Vectorization and Control-Path Reduction},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1991},
year = {2024},
url = {https://eprint.iacr.org/2024/1991},
timestamp = {Tue, 14 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iacr/BianZSZMLLWSGHJL24.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/ShijuboWS23,
author = {Junya Shijubo and
Masaki Waga and
Kohei Suenaga},
title = {Probabilistic Black-Box Checking via Active {MDP} Learning},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {22},
number = {5s},
pages = {148:1--148:26},
year = {2023},
url = {https://doi.org/10.1145/3609127},
doi = {10.1145/3609127},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/ShijuboWS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tiv/HasuoEHDBKPZPYSIKSS23,
author = {Ichiro Hasuo and
Clovis Eberhart and
James Haydon and
J{\'{e}}r{\'{e}}my Dubut and
Rose Bohrer and
Tsutomu Kobayashi and
Sasinee Pruekprasert and
Xiao{-}Yi Zhang and
Erik Andr{\'{e}} Pallas and
Akihisa Yamada and
Kohei Suenaga and
Fuyuki Ishikawa and
Kenji Kamijo and
Yoshiyuki Shinya and
Takamasa Suetomi},
title = {Goal-Aware {RSS} for Complex Scenarios via Program Logic},
journal = {{IEEE} Trans. Intell. Veh.},
volume = {8},
number = {4},
pages = {3040--3072},
year = {2023},
url = {https://doi.org/10.1109/TIV.2022.3169762},
doi = {10.1109/TIV.2022.3169762},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tiv/HasuoEHDBKPZPYSIKSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/GurungWS23,
author = {Amit Gurung and
Masaki Waga and
Kohei Suenaga},
editor = {{\'{E}}tienne Andr{\'{e}} and
Jun Sun},
title = {Learning Nonlinear Hybrid Automata from Input-Output Time-Series Data},
booktitle = {Automated Technology for Verification and Analysis - 21st International
Symposium, {ATVA} 2023, Singapore, October 24-27, 2023, Proceedings,
Part {I}},
series = {Lecture Notes in Computer Science},
volume = {14215},
pages = {33--52},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-45329-8\_2},
doi = {10.1007/978-3-031-45329-8\_2},
timestamp = {Fri, 27 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/atva/GurungWS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jelia/KawamotoSS23,
author = {Yusuke Kawamoto and
Tetsuya Sato and
Kohei Suenaga},
editor = {Sarah Alice Gaggl and
Maria Vanina Martinez and
Magdalena Ortiz},
title = {Formalizing Statistical Causality via Modal Logic},
booktitle = {Logics in Artificial Intelligence - 18th European Conference, {JELIA}
2023, Dresden, Germany, September 20-22, 2023, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {14281},
pages = {681--696},
publisher = {Springer},
year = {2023},
url = {https://doi.org/10.1007/978-3-031-43619-2\_46},
doi = {10.1007/978-3-031-43619-2\_46},
timestamp = {Sat, 14 Oct 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jelia/KawamotoSS23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2301-03915,
author = {Amit Gurung and
Masaki Waga and
Kohei Suenaga},
title = {Learning nonlinear hybrid automata from input-output time-series data},
journal = {CoRR},
volume = {abs/2301.03915},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2301.03915},
doi = {10.48550/ARXIV.2301.03915},
eprinttype = {arXiv},
eprint = {2301.03915},
timestamp = {Thu, 19 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2301-03915.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2308-07930,
author = {Junya Shijubo and
Masaki Waga and
Kohei Suenaga},
title = {Probabilistic Black-Box Checking via Active {MDP} Learning},
journal = {CoRR},
volume = {abs/2308.07930},
year = {2023},
url = {https://doi.org/10.48550/arXiv.2308.07930},
doi = {10.48550/ARXIV.2308.07930},
eprinttype = {arXiv},
eprint = {2308.07930},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2308-07930.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iacr/BianZZMSJGL23,
author = {Song Bian and
Zian Zhao and
Zhou Zhang and
Ran Mao and
Kohei Suenaga and
Yier Jin and
Zhenyu Guan and
Jianwei Liu},
title = {{HEIR:} {A} Unified Representation for Cross-Scheme Compilation of
Fully Homomorphic Computation},
journal = {{IACR} Cryptol. ePrint Arch.},
pages = {1445},
year = {2023},
url = {https://eprint.iacr.org/2023/1445},
timestamp = {Tue, 24 Sep 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/iacr/BianZZMSJGL23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ngc/NishidaSCKFSI22,
author = {Yuki Nishida and
Hiromasa Saito and
Ran Chen and
Akira Kawata and
Jun Furuse and
Kohei Suenaga and
Atsushi Igarashi},
title = {Helmholtz: {A} Verifier for Tezos Smart Contracts Based on Refinement
Types},
journal = {New Gener. Comput.},
volume = {40},
number = {2},
pages = {507--540},
year = {2022},
url = {https://doi.org/10.1007/s00354-022-00167-1},
doi = {10.1007/S00354-022-00167-1},
timestamp = {Mon, 24 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ngc/NishidaSCKFSI22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/accv/KikuchiUWS22,
author = {Atsushi Kikuchi and
Kotaro Uchida and
Masaki Waga and
Kohei Suenaga},
editor = {Lei Wang and
Juergen Gall and
Tat{-}Jun Chin and
Imari Sato and
Rama Chellappa},
title = {BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for
Image- and Video-Classification Models},
booktitle = {Computer Vision - {ACCV} 2022 - 16th Asian Conference on Computer
Vision, Macao, China, December 4-8, 2022, Proceedings, Part {VII}},
series = {Lecture Notes in Computer Science},
volume = {13847},
pages = {274--290},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-26293-7\_17},
doi = {10.1007/978-3-031-26293-7\_17},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/accv/KikuchiUWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/KoriUKSH22,
author = {Mayuko Kori and
Natsuki Urabe and
Shin{-}ya Katsumata and
Kohei Suenaga and
Ichiro Hasuo},
editor = {Sharon Shoham and
Yakir Vizel},
title = {The Lattice-Theoretic Essence of Property Directed Reachability Analysis},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {235--256},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_12},
doi = {10.1007/978-3-031-13185-1\_12},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/KoriUKSH22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/BannoMMBWS22,
author = {Ryotaro Banno and
Kotaro Matsuoka and
Naoki Matsumoto and
Song Bian and
Masaki Waga and
Kohei Suenaga},
editor = {Sharon Shoham and
Yakir Vizel},
title = {Oblivious Online Monitoring for Safety {LTL} Specification via Fully
Homomorphic Encryption},
booktitle = {Computer Aided Verification - 34th International Conference, {CAV}
2022, Haifa, Israel, August 7-10, 2022, Proceedings, Part {I}},
series = {Lecture Notes in Computer Science},
volume = {13371},
pages = {447--468},
publisher = {Springer},
year = {2022},
url = {https://doi.org/10.1007/978-3-031-13185-1\_22},
doi = {10.1007/978-3-031-13185-1\_22},
timestamp = {Thu, 25 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cav/BannoMMBWS22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2203-14261,
author = {Mayuko Kori and
Natsuki Urabe and
Shin{-}ya Katsumata and
Kohei Suenaga and
Ichiro Hasuo},
title = {The Lattice-Theoretic Essence of PropertyDirected Reachability Analysis},
journal = {CoRR},
volume = {abs/2203.14261},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2203.14261},
doi = {10.48550/ARXIV.2203.14261},
eprinttype = {arXiv},
eprint = {2203.14261},
timestamp = {Mon, 04 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2203-14261.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2206-03582,
author = {Ryotaro Banno and
Kotaro Matsuoka and
Naoki Matsumoto and
Song Bian and
Masaki Waga and
Kohei Suenaga},
title = {Oblivious Online Monitoring for Safety {LTL} Specification via Fully
Homomorphic Encryption},
journal = {CoRR},
volume = {abs/2206.03582},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2206.03582},
doi = {10.48550/ARXIV.2206.03582},
eprinttype = {arXiv},
eprint = {2206.03582},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2206-03582.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2207-02387,
author = {Ichiro Hasuo and
Clovis Eberhart and
James Haydon and
J{\'{e}}r{\'{e}}my Dubut and
Rose Bohrer and
Tsutomu Kobayashi and
Sasinee Pruekprasert and
Xiao{-}Yi Zhang and
Erik Andr{\'{e}} Pallas and
Akihisa Yamada and
Kohei Suenaga and
Fuyuki Ishikawa and
Kenji Kamijo and
Yoshiyuki Shinya and
Takamasa Suetomi},
title = {Goal-Aware {RSS} for Complex Scenarios via Program Logic},
journal = {CoRR},
volume = {abs/2207.02387},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2207.02387},
doi = {10.48550/ARXIV.2207.02387},
eprinttype = {arXiv},
eprint = {2207.02387},
timestamp = {Wed, 18 Jan 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2207-02387.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2208-07074,
author = {Yusuke Kawamoto and
Tetsuya Sato and
Kohei Suenaga},
title = {Sound and Relatively Complete Belief Hoare Logic for Statistical Hypothesis
Testing Programs},
journal = {CoRR},
volume = {abs/2208.07074},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2208.07074},
doi = {10.48550/ARXIV.2208.07074},
eprinttype = {arXiv},
eprint = {2208.07074},
timestamp = {Wed, 17 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2208-07074.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-16751,
author = {Yusuke Kawamoto and
Tetsuya Sato and
Kohei Suenaga},
title = {Formalizing Statistical Causality via Modal Logic},
journal = {CoRR},
volume = {abs/2210.16751},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.16751},
doi = {10.48550/ARXIV.2210.16751},
eprinttype = {arXiv},
eprint = {2210.16751},
timestamp = {Wed, 02 Nov 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-16751.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2210-17130,
author = {Atsushi Kikuchi and
Kotaro Uchida and
Masaki Waga and
Kohei Suenaga},
title = {BOREx: Bayesian-Optimization-Based Refinement of Saliency Map for
Image- and Video-Classification Models},
journal = {CoRR},
volume = {abs/2210.17130},
year = {2022},
url = {https://doi.org/10.48550/arXiv.2210.17130},
doi = {10.48550/ARXIV.2210.17130},
eprinttype = {arXiv},
eprint = {2210.17130},
timestamp = {Tue, 07 May 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2210-17130.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kr/0001SS21,
author = {Yusuke Kawamoto and
Tetsuya Sato and
Kohei Suenaga},
editor = {Meghyn Bienvenu and
Gerhard Lakemeyer and
Esra Erdem},
title = {Formalizing Statistical Beliefs in Hypothesis Testing Using Program
Logic},
booktitle = {Proceedings of the 18th International Conference on Principles of
Knowledge Representation and Reasoning, {KR} 2021, Online event, November
3-12, 2021},
pages = {411--421},
year = {2021},
url = {https://doi.org/10.24963/kr.2021/39},
doi = {10.24963/KR.2021/39},
timestamp = {Sun, 02 Oct 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/kr/0001SS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rv/ShijuboWS21,
author = {Junya Shijubo and
Masaki Waga and
Kohei Suenaga},
editor = {Lu Feng and
Dana Fisman},
title = {Efficient Black-Box Checking via Model Checking with Strengthened
Specifications},
booktitle = {Runtime Verification - 21st International Conference, {RV} 2021, Virtual
Event, October 11-14, 2021, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12974},
pages = {100--120},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-88494-9\_6},
doi = {10.1007/978-3-030-88494-9\_6},
timestamp = {Wed, 03 Nov 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rv/ShijuboWS21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/0001SCKFSI21,
author = {Yuki Nishida and
Hiromasa Saito and
Ran Chen and
Akira Kawata and
Jun Furuse and
Kohei Suenaga and
Atsushi Igarashi},
editor = {Jan Friso Groote and
Kim Guldstrand Larsen},
title = {Helmholtz: {A} Verifier for Tezos Smart Contracts Based on Refinement
Types},
booktitle = {Tools and Algorithms for the Construction and Analysis of Systems
- 27th International Conference, {TACAS} 2021, Held as Part of the
European Joint Conferences on Theory and Practice of Software, {ETAPS}
2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Part {II}},
series = {Lecture Notes in Computer Science},
volume = {12652},
pages = {262--280},
publisher = {Springer},
year = {2021},
url = {https://doi.org/10.1007/978-3-030-72013-1\_14},
doi = {10.1007/978-3-030-72013-1\_14},
timestamp = {Fri, 14 May 2021 08:34:19 +0200},
biburl = {https://dblp.org/rec/conf/tacas/0001SCKFSI21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2101-01502,
author = {Ichiro Hasuo and
Yuichiro Oyabu and
Clovis Eberhart and
Kohei Suenaga and
Kenta Cho and
Shin{-}ya Katsumata},
title = {Control-Data Separation and Logical Condition Propagation for Efficient
Inference on Probabilistic Programs},
journal = {CoRR},
volume = {abs/2101.01502},
year = {2021},
url = {https://arxiv.org/abs/2101.01502},
eprinttype = {arXiv},
eprint = {2101.01502},
timestamp = {Sat, 30 Jan 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2101-01502.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2106-04826,
author = {Sota Sato and
Ryotaro Banno and
Jun Furuse and
Kohei Suenaga and
Atsushi Igarashi},
title = {Verification of a Merkle Patricia Tree Library Using {F}},
journal = {CoRR},
volume = {abs/2106.04826},
year = {2021},
url = {https://arxiv.org/abs/2106.04826},
eprinttype = {arXiv},
eprint = {2106.04826},
timestamp = {Tue, 07 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2106-04826.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-09766,
author = {Takeshi Tsukada and
Hiroshi Unno and
Taro Sekiyama and
Kohei Suenaga},
title = {Enhancing Loop-Invariant Synthesis via Reinforcement Learning},
journal = {CoRR},
volume = {abs/2107.09766},
year = {2021},
url = {https://arxiv.org/abs/2107.09766},
eprinttype = {arXiv},
eprint = {2107.09766},
timestamp = {Thu, 29 Jul 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2107-09766.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2108-12971,
author = {Yuki Nishida and
Hiromasa Saito and
Ran Chen and
Akira Kawata and
Jun Furuse and
Kohei Suenaga and
Atsushi Igarashi},
title = {{HELMHOLTZ:} {A} Verifier for Tezos Smart Contracts Based on Refinement
Types},
journal = {CoRR},
volume = {abs/2108.12971},
year = {2021},
url = {https://arxiv.org/abs/2108.12971},
eprinttype = {arXiv},
eprint = {2108.12971},
timestamp = {Thu, 02 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2108-12971.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2109-04656,
author = {Junya Shijubo and
Masaki Waga and
Kohei Suenaga},
title = {Efficient Black-Box Checking via Model Checking with Strengthened
Specifications},
journal = {CoRR},
volume = {abs/2109.04656},
year = {2021},
url = {https://arxiv.org/abs/2109.04656},
eprinttype = {arXiv},
eprint = {2109.04656},
timestamp = {Tue, 21 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2109-04656.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/accv/HatakeyamaSKS20,
author = {Yuhki Hatakeyama and
Hiroki Sakuma and
Yoshinori Konishi and
Kohei Suenaga},
editor = {Hiroshi Ishikawa and
Cheng{-}Lin Liu and
Tom{\'{a}}s Pajdla and
Jianbo Shi},
title = {Visualizing Color-Wise Saliency of Black-Box Image Classification
Models},
booktitle = {Computer Vision - {ACCV} 2020 - 15th Asian Conference on Computer
Vision, Kyoto, Japan, November 30 - December 4, 2020, Revised Selected
Papers, Part {III}},
series = {Lecture Notes in Computer Science},
volume = {12624},
pages = {189--205},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-69535-4\_12},
doi = {10.1007/978-3-030-69535-4\_12},
timestamp = {Mon, 01 Mar 2021 08:01:15 +0100},
biburl = {https://dblp.org/rec/conf/accv/HatakeyamaSKS20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/TomanSSI020,
author = {John Toman and
Ren Siqi and
Kohei Suenaga and
Atsushi Igarashi and
Naoki Kobayashi},
editor = {Peter M{\"{u}}ller},
title = {ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for
Imperative Programs},
booktitle = {Programming Languages and Systems - 29th European Symposium on Programming,
{ESOP} 2020, Held as Part of the European Joint Conferences on Theory
and Practice of Software, {ETAPS} 2020, Dublin, Ireland, April 25-30,
2020, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {12075},
pages = {684--714},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-44914-8\_25},
doi = {10.1007/978-3-030-44914-8\_25},
timestamp = {Sun, 06 Oct 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/TomanSSI020.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lrec/FunakiNSM20,
author = {Ruka Funaki and
Yusuke Nagata and
Kohei Suenaga and
Shinsuke Mori},
editor = {Nicoletta Calzolari and
Fr{\'{e}}d{\'{e}}ric B{\'{e}}chet and
Philippe Blache and
Khalid Choukri and
Christopher Cieri and
Thierry Declerck and
Sara Goggi and
Hitoshi Isahara and
Bente Maegaard and
Joseph Mariani and
H{\'{e}}l{\`{e}}ne Mazo and
Asunci{\'{o}}n Moreno and
Jan Odijk and
Stelios Piperidis},
title = {A Contract Corpus for Recognizing Rights and Obligations},
booktitle = {Proceedings of The 12th Language Resources and Evaluation Conference,
{LREC} 2020, Marseille, France, May 11-16, 2020},
pages = {2045--2053},
publisher = {European Language Resources Association},
year = {2020},
url = {https://aclanthology.org/2020.lrec-1.251/},
timestamp = {Fri, 06 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lrec/FunakiNSM20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/SuenagaI20,
author = {Kohei Suenaga and
Takuya Ishizawa},
editor = {Dirk Beyer and
Damien Zufferey},
title = {Generalized Property-Directed Reachability for Hybrid Systems},
booktitle = {Verification, Model Checking, and Abstract Interpretation - 21st International
Conference, {VMCAI} 2020, New Orleans, LA, USA, January 16-21, 2020,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11990},
pages = {293--313},
publisher = {Springer},
year = {2020},
url = {https://doi.org/10.1007/978-3-030-39322-9\_14},
doi = {10.1007/978-3-030-39322-9\_14},
timestamp = {Thu, 06 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/vmcai/SuenagaI20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2002-07770,
author = {John Toman and
Ren Siqi and
Kohei Suenaga and
Atsushi Igarashi and
Naoki Kobayashi},
title = {ConSORT: Context- and Flow-Sensitive Ownership Refinement Types for
Imperative Programs},
journal = {CoRR},
volume = {abs/2002.07770},
year = {2020},
url = {https://arxiv.org/abs/2002.07770},
eprinttype = {arXiv},
eprint = {2002.07770},
timestamp = {Mon, 02 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2002-07770.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2010-02468,
author = {Yuhki Hatakeyama and
Hiroki Sakuma and
Yoshinori Konishi and
Kohei Suenaga},
title = {Visualizing Color-wise Saliency of Black-Box Image Classification
Models},
journal = {CoRR},
volume = {abs/2010.02468},
year = {2020},
url = {https://arxiv.org/abs/2010.02468},
eprinttype = {arXiv},
eprint = {2010.02468},
timestamp = {Mon, 12 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2010-02468.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1910-03784,
author = {Kohei Suenaga and
Takuya Ishizawa},
title = {Generalized Property-Directed Reachability for Hybrid Systems},
journal = {CoRR},
volume = {abs/1910.03784},
year = {2019},
url = {http://arxiv.org/abs/1910.03784},
eprinttype = {arXiv},
eprint = {1910.03784},
timestamp = {Wed, 16 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1910-03784.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/KojimaKS18,
author = {Kensuke Kojima and
Minoru Kinoshita and
Kohei Suenaga},
title = {Generalized homogeneous polynomials for efficient template-based nonlinear
invariant synthesis},
journal = {Theor. Comput. Sci.},
volume = {747},
pages = {33--47},
year = {2018},
url = {https://doi.org/10.1016/j.tcs.2018.06.005},
doi = {10.1016/J.TCS.2018.06.005},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/KojimaKS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SekiyamaS18,
author = {Taro Sekiyama and
Kohei Suenaga},
editor = {Sukyoung Ryu},
title = {Automated Proof Synthesis for the Minimal Propositional Logic with
Deep Neural Networks},
booktitle = {Programming Languages and Systems - 16th Asian Symposium, {APLAS}
2018, Wellington, New Zealand, December 2-6, 2018, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11275},
pages = {309--328},
publisher = {Springer},
year = {2018},
url = {https://doi.org/10.1007/978-3-030-02768-1\_17},
doi = {10.1007/978-3-030-02768-1\_17},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SekiyamaS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/WagaHS18,
author = {Masaki Waga and
Ichiro Hasuo and
Kohei Suenaga},
title = {{MONAA:} {A} Tool for Timed Pattern Matching with Automata-Based Acceleration},
booktitle = {3rd Workshop on Monitoring and Testing of Cyber-Physical Systems,
MT@CPSWeek 2018, Porto, Portugal, April 10, 2018},
pages = {14--15},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/MT-CPS.2018.00014},
doi = {10.1109/MT-CPS.2018.00014},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/cpsweek/WagaHS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pepm/ImanishiSI18,
author = {Akifumi Imanishi and
Kohei Suenaga and
Atsushi Igarashi},
editor = {Fritz Henglein and
Hsiang{-}Shang Ko},
title = {A guess-and-assume approach to loop fusion for program verification},
booktitle = {Proceedings of the {ACM} {SIGPLAN} Workshop on Partial Evaluation
and Program Manipulation, Los Angeles, CA, USA, January 8-9, 2018},
pages = {2--14},
publisher = {{ACM}},
year = {2018},
url = {https://doi.org/10.1145/3162070},
doi = {10.1145/3162070},
timestamp = {Wed, 21 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/pepm/ImanishiSI18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1805-11799,
author = {Taro Sekiyama and
Kohei Suenaga},
title = {Automated proof synthesis for propositional logic with deep neural
networks},
journal = {CoRR},
volume = {abs/1805.11799},
year = {2018},
url = {http://arxiv.org/abs/1805.11799},
eprinttype = {arXiv},
eprint = {1805.11799},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1805-11799.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1810-09351,
author = {Masaki Waga and
Ichiro Hasuo and
Kohei Suenaga},
title = {{MONAA:} {A} Tool for Timed Pattern Matching with Automata-Based Acceleration},
journal = {CoRR},
volume = {abs/1810.09351},
year = {2018},
url = {http://arxiv.org/abs/1810.09351},
eprinttype = {arXiv},
eprint = {1810.09351},
timestamp = {Wed, 31 Oct 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1810-09351.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/OkudonoNKSKH17,
author = {Takamasa Okudono and
Yuki Nishida and
Kensuke Kojima and
Kohei Suenaga and
Kengo Kido and
Ichiro Hasuo},
editor = {Bor{-}Yuh Evan Chang},
title = {Sharper and Simpler Nonlinear Interpolants for Program Verification},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {491--513},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_24},
doi = {10.1007/978-3-319-71237-6\_24},
timestamp = {Sat, 09 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/OkudonoNKSKH17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/NakamuraKSI17,
author = {Hirofumi Nakamura and
Kensuke Kojima and
Kohei Suenaga and
Atsushi Igarashi},
editor = {Bor{-}Yuh Evan Chang},
title = {A Nonstandard Functional Programming Language},
booktitle = {Programming Languages and Systems - 15th Asian Symposium, {APLAS}
2017, Suzhou, China, November 27-29, 2017, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10695},
pages = {514--533},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-71237-6\_25},
doi = {10.1007/978-3-319-71237-6\_25},
timestamp = {Mon, 20 Nov 2017 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aplas/NakamuraKSI17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/formats/WagaHS17,
author = {Masaki Waga and
Ichiro Hasuo and
Kohei Suenaga},
editor = {Alessandro Abate and
Gilles Geeraerts},
title = {Efficient Online Timed Pattern Matching by Automata-Based Skipping},
booktitle = {Formal Modeling and Analysis of Timed Systems - 15th International
Conference, {FORMATS} 2017, Berlin, Germany, September 5-7, 2017,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {10419},
pages = {224--243},
publisher = {Springer},
year = {2017},
url = {https://doi.org/10.1007/978-3-319-65765-3\_13},
doi = {10.1007/978-3-319-65765-3\_13},
timestamp = {Tue, 14 May 2019 10:00:38 +0200},
biburl = {https://dblp.org/rec/conf/formats/WagaHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SekiyamaIS17,
author = {Taro Sekiyama and
Akifumi Imanishi and
Kohei Suenaga},
title = {Towards Proof Synthesis Guided by Neural Machine Translation for Intuitionistic
Propositional Logic},
journal = {CoRR},
volume = {abs/1706.06462},
year = {2017},
url = {http://arxiv.org/abs/1706.06462},
eprinttype = {arXiv},
eprint = {1706.06462},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/SekiyamaIS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/WagaHS17,
author = {Masaki Waga and
Ichiro Hasuo and
Kohei Suenaga},
title = {Efficient Online Timed Pattern Matching by Automata-Based Skipping},
journal = {CoRR},
volume = {abs/1706.09174},
year = {2017},
url = {http://arxiv.org/abs/1706.09174},
eprinttype = {arXiv},
eprint = {1706.09174},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/WagaHS17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1709-00314,
author = {Takamasa Okudono and
Yuki Nishida and
Kensuke Kojima and
Kohei Suenaga and
Kengo Kido and
Ichiro Hasuo},
title = {Sharper and Simpler Nonlinear Interpolants for Program Verification},
journal = {CoRR},
volume = {abs/1709.00314},
year = {2017},
url = {http://arxiv.org/abs/1709.00314},
eprinttype = {arXiv},
eprint = {1709.00314},
timestamp = {Sat, 11 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-1709-00314.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sas/KojimaKS16,
author = {Kensuke Kojima and
Minoru Kinoshita and
Kohei Suenaga},
editor = {Xavier Rival},
title = {Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear
Invariant Synthesis},
booktitle = {Static Analysis - 23rd International Symposium, {SAS} 2016, Edinburgh,
UK, September 8-10, 2016, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {9837},
pages = {278--299},
publisher = {Springer},
year = {2016},
url = {https://doi.org/10.1007/978-3-662-53413-7\_14},
doi = {10.1007/978-3-662-53413-7\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/sas/KojimaKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/KojimaKS16,
author = {Kensuke Kojima and
Minoru Kinoshita and
Kohei Suenaga},
title = {Generalized Homogeneous Polynomials for Efficient Template-Based Nonlinear
Invariant Synthesis},
journal = {CoRR},
volume = {abs/1604.07201},
year = {2016},
url = {http://arxiv.org/abs/1604.07201},
eprinttype = {arXiv},
eprint = {1604.07201},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/KojimaKS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/shonan-reports/IshiiST215,
author = {Daisuke Ishii and
Kohei Suenaga and
Walid Taha},
title = {Validated Numerics Meets Reachability Analysis for {CPS} Design {(NII}
Shonan Meeting 2015-14)},
journal = {{NII} Shonan Meet. Rep.},
volume = {2015},
year = {2015},
url = {https://shonan.nii.ac.jp/seminars/076/},
timestamp = {Thu, 04 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/shonan-reports/IshiiST215.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SonobeSI14,
author = {Tatsuya Sonobe and
Kohei Suenaga and
Atsushi Igarashi},
editor = {Jacques Garrigue},
title = {Automatic Memory Management Based on Program Transformation Using
Ownership},
booktitle = {Programming Languages and Systems - 12th Asian Symposium, {APLAS}
2014, Singapore, November 17-19, 2014, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {8858},
pages = {58--77},
publisher = {Springer},
year = {2014},
url = {https://doi.org/10.1007/978-3-319-12736-1\_4},
doi = {10.1007/978-3-319-12736-1\_4},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SonobeSI14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/AkazakiHS15,
author = {Takumi Akazaki and
Ichiro Hasuo and
Kohei Suenaga},
editor = {Manuela{-}Luminita Bujorianu and
Rafael Wisniewski},
title = {Input Synthesis for Sampled Data Systems by Program Logic},
booktitle = {Proceedings 4th Workshop on Hybrid Autonomous Systems, {HAS} 2014,
Grenoble, France, 12-13 April 2014},
series = {{EPTCS}},
volume = {174},
pages = {22--39},
year = {2014},
url = {https://doi.org/10.4204/EPTCS.174.3},
doi = {10.4204/EPTCS.174.3},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AkazakiHS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/SuenagaSH13,
author = {Kohei Suenaga and
Hiroyoshi Sekine and
Ichiro Hasuo},
editor = {Roberto Giacobazzi and
Radhia Cousot},
title = {Hyperstream processing systems: nonstandard modeling of continuous-time
signals},
booktitle = {The 40th Annual {ACM} {SIGPLAN-SIGACT} Symposium on Principles of
Programming Languages, {POPL} '13, Rome, Italy - January 23 - 25,
2013},
pages = {417--430},
publisher = {{ACM}},
year = {2013},
url = {https://doi.org/10.1145/2429069.2429120},
doi = {10.1145/2429069.2429120},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/SuenagaSH13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cav/HasuoS12,
author = {Ichiro Hasuo and
Kohei Suenaga},
editor = {P. Madhusudan and
Sanjit A. Seshia},
title = {Exercises in Nonstandard Static Analysis of Hybrid Systems},
booktitle = {Computer Aided Verification - 24th International Conference, {CAV}
2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings},
series = {Lecture Notes in Computer Science},
volume = {7358},
pages = {462--478},
publisher = {Springer},
year = {2012},
url = {https://doi.org/10.1007/978-3-642-31424-7\_34},
doi = {10.1007/978-3-642-31424-7\_34},
timestamp = {Tue, 14 May 2019 10:00:43 +0200},
biburl = {https://dblp.org/rec/conf/cav/HasuoS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/oopsla/SuenagaFI12,
author = {Kohei Suenaga and
Ryota Fukuda and
Atsushi Igarashi},
editor = {Gary T. Leavens and
Matthew B. Dwyer},
title = {Type-based safe resource deallocation for shared-memory concurrency},
booktitle = {Proceedings of the 27th Annual {ACM} {SIGPLAN} Conference on Object-Oriented
Programming, Systems, Languages, and Applications, {OOPSLA} 2012,
part of {SPLASH} 2012, Tucson, AZ, USA, October 21-25, 2012},
pages = {1--20},
publisher = {{ACM}},
year = {2012},
url = {https://doi.org/10.1145/2384616.2384618},
doi = {10.1145/2384616.2384618},
timestamp = {Thu, 24 Jun 2021 16:19:30 +0200},
biburl = {https://dblp.org/rec/conf/oopsla/SuenagaFI12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/imt/SatoSK11,
author = {Ryosuke Sato and
Kohei Suenaga and
Naoki Kobayashi},
title = {Ordered Types for Stream Processing of Tree-Structured Data},
journal = {Inf. Media Technol.},
volume = {6},
number = {2},
pages = {385--398},
year = {2011},
url = {https://doi.org/10.11185/imt.6.385},
doi = {10.11185/IMT.6.385},
timestamp = {Sat, 31 Aug 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/imt/SatoSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jip/SatoSK11,
author = {Ryosuke Sato and
Kohei Suenaga and
Naoki Kobayashi},
title = {Ordered Types for Stream Processing of Tree-Structured Data},
journal = {J. Inf. Process.},
volume = {19},
pages = {74--87},
year = {2011},
url = {https://doi.org/10.2197/ipsjjip.19.74},
doi = {10.2197/IPSJJIP.19.74},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jip/SatoSK11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/SuenagaH11,
author = {Kohei Suenaga and
Ichiro Hasuo},
editor = {Luca Aceto and
Monika Henzinger and
Jir{\'{\i}} Sgall},
title = {Programming with Infinitesimals: {A} While-Language for Hybrid System
Modeling},
booktitle = {Automata, Languages and Programming - 38th International Colloquium,
{ICALP} 2011, Zurich, Switzerland, July 4-8, 2011, Proceedings, Part
{II}},
series = {Lecture Notes in Computer Science},
volume = {6756},
pages = {392--403},
publisher = {Springer},
year = {2011},
url = {https://doi.org/10.1007/978-3-642-22012-8\_31},
doi = {10.1007/978-3-642-22012-8\_31},
timestamp = {Tue, 14 May 2019 10:00:44 +0200},
biburl = {https://dblp.org/rec/conf/icalp/SuenagaH11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/SuenagaK09,
author = {Kohei Suenaga and
Naoki Kobayashi},
editor = {Zhenjiang Hu},
title = {Fractional Ownerships for Safe Memory Deallocation},
booktitle = {Programming Languages and Systems, 7th Asian Symposium, {APLAS} 2009,
Seoul, Korea, December 14-16, 2009. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5904},
pages = {128--143},
publisher = {Springer},
year = {2009},
url = {https://doi.org/10.1007/978-3-642-10672-9\_11},
doi = {10.1007/978-3-642-10672-9\_11},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/SuenagaK09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jfp/KodamaSK08,
author = {Koichi Kodama and
Kohei Suenaga and
Naoki Kobayashi},
title = {Translation of tree-processing programs into stream-processing programs
based on ordered linear type},
journal = {J. Funct. Program.},
volume = {18},
number = {3},
pages = {333--371},
year = {2008},
url = {https://doi.org/10.1017/S0956796807006570},
doi = {10.1017/S0956796807006570},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jfp/KodamaSK08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/Suenaga08,
author = {Kohei Suenaga},
editor = {G. Ramalingam},
title = {Type-Based Deadlock-Freedom Verification for Non-Block-Structured
Lock Primitives and Mutable References},
booktitle = {Programming Languages and Systems, 6th Asian Symposium, {APLAS} 2008,
Bangalore, India, December 9-11, 2008. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {5356},
pages = {155--170},
publisher = {Springer},
year = {2008},
url = {https://doi.org/10.1007/978-3-540-89330-1\_12},
doi = {10.1007/978-3-540-89330-1\_12},
timestamp = {Tue, 14 May 2019 10:00:41 +0200},
biburl = {https://dblp.org/rec/conf/aplas/Suenaga08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esop/SuenagaK07,
author = {Kohei Suenaga and
Naoki Kobayashi},
editor = {Rocco De Nicola},
title = {Type-Based Analysis of Deadlock for a Concurrent Calculus with Interrupts},
booktitle = {Programming Languages and Systems, 16th European Symposium on Programming,
{ESOP} 2007, Held as Part of the Joint European Conferences on Theory
and Practics of Software, {ETAPS} 2007, Braga, Portugal, March 24
- April 1, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4421},
pages = {490--504},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-71316-6\_33},
doi = {10.1007/978-3-540-71316-6\_33},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/esop/SuenagaK07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/lmcs/KobayashiSW06,
author = {Naoki Kobayashi and
Kohei Suenaga and
Lucian Wischik},
title = {Resource Usage Analysis for the p-Calculus},
journal = {Log. Methods Comput. Sci.},
volume = {2},
number = {3},
year = {2006},
url = {https://doi.org/10.2168/LMCS-2(3:4)2006},
doi = {10.2168/LMCS-2(3:4)2006},
timestamp = {Thu, 25 Jun 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/lmcs/KobayashiSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/KobayashiSW06,
author = {Naoki Kobayashi and
Kohei Suenaga and
Lucian Wischik},
editor = {E. Allen Emerson and
Kedar S. Namjoshi},
title = {Resource Usage Analysis for the \emph{pi}-Calculus},
booktitle = {Verification, Model Checking, and Abstract Interpretation, 7th International
Conference, {VMCAI} 2006, Charleston, SC, USA, January 8-10, 2006,
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3855},
pages = {298--312},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11609773\_20},
doi = {10.1007/11609773\_20},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/vmcai/KobayashiSW06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-cs-0608035,
author = {Naoki Kobayashi and
Kohei Suenaga and
Lucian Wischik},
title = {Resource Usage Analysis for the Pi-Calculus},
journal = {CoRR},
volume = {abs/cs/0608035},
year = {2006},
url = {http://arxiv.org/abs/cs/0608035},
eprinttype = {arXiv},
eprint = {cs/0608035},
timestamp = {Tue, 17 Sep 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-cs-0608035.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/SuenagaKY05,
author = {Kohei Suenaga and
Naoki Kobayashi and
Akinori Yonezawa},
editor = {Patricia M. Hill},
title = {Extension of Type-Based Approach to Generation of Stream-Processing
Programs by Automatic Insertion of Buffering Primitives},
booktitle = {Logic Based Program Synthesis and Transformation, 15th International
Symposium, {LOPSTR} 2005, London, UK, September 7-9, 2005, Revised
Selected Papers},
series = {Lecture Notes in Computer Science},
volume = {3901},
pages = {98--114},
publisher = {Springer},
year = {2005},
url = {https://doi.org/10.1007/11680093\_7},
doi = {10.1007/11680093\_7},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/lopstr/SuenagaKY05.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aplas/KodamaSK04,
author = {Koichi Kodama and
Kohei Suenaga and
Naoki Kobayashi},
editor = {Wei{-}Ngan Chin},
title = {Translation of Tree-Processing Programs into Stream-Processing Programs
Based on Ordered Linear Type},
booktitle = {Programming Languages and Systems: Second Asian Symposium, {APLAS}
2004, Taipei, Taiwan, November 4-6, 2004. Proceedings},
series = {Lecture Notes in Computer Science},
volume = {3302},
pages = {41--56},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/978-3-540-30477-7\_4},
doi = {10.1007/978-3-540-30477-7\_4},
timestamp = {Sat, 19 Oct 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/aplas/KodamaSK04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isss2/SuenagaYSY03,
author = {Kohei Suenaga and
Yutaka Oiwa and
Eijiro Sumii and
Akinori Yonezawa},
editor = {Kokichi Futatsugi and
Fumio Mizoguchi and
Naoki Yonezaki},
title = {The Interface Definition Language for Fail-Safe {C}},
booktitle = {Software Security - Theories and Systems, Second Mext-NSF-JSPS International
Symposium, {ISSS} 2003, Tokyo, Japan, November 4-6, 2003, Revised
Papers},
series = {Lecture Notes in Computer Science},
volume = {3233},
pages = {192--208},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-37621-7\_10},
doi = {10.1007/978-3-540-37621-7\_10},
timestamp = {Tue, 14 May 2019 10:00:47 +0200},
biburl = {https://dblp.org/rec/conf/isss2/SuenagaYSY03.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
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.
last updated on 2025-08-10 21:15 CEST 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:
