default search action
BibTeX records: Kazuhiro Ogata 0001
@article{DBLP:journals/access/TranOEAO24, author = {Duong Dinh Tran and Kazuhiro Ogata and Santiago Escobar and Sedat Akleylek and Ayoub Otmani}, title = {Formal Analysis of Post-Quantum Hybrid Key Exchange {SSH} Transport Layer Protocol}, journal = {{IEEE} Access}, volume = {12}, pages = {1672--1687}, year = {2024}, url = {https://doi.org/10.1109/ACCESS.2023.3347914}, doi = {10.1109/ACCESS.2023.3347914}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/access/TranOEAO24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mta/BuiTOR24, author = {Dang Duy Bui and Duong Dinh Tran and Kazuhiro Ogata and Adri{\'{a}}n Riesco}, title = {Integration of state machine graphical animation and Maude to facilitate characteristic conjecture: an approach to lemma discovery in theorem proving}, journal = {Multim. Tools Appl.}, volume = {83}, number = {12}, pages = {36865--36898}, year = {2024}, url = {https://doi.org/10.1007/s11042-023-15780-5}, doi = {10.1007/S11042-023-15780-5}, timestamp = {Sat, 08 Jun 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mta/BuiTOR24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerj-cs/DoO24, author = {Canh Minh Do and Kazuhiro Ogata}, title = {Symbolic model checking quantum circuits in Maude}, journal = {PeerJ Comput. Sci.}, volume = {10}, pages = {e2098}, year = {2024}, url = {https://doi.org/10.7717/peerj-cs.2098}, doi = {10.7717/PEERJ-CS.2098}, timestamp = {Sun, 14 Jul 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/peerj-cs/DoO24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/TranO24, author = {Duong Dinh Tran and Kazuhiro Ogata}, editor = {Kazuhiro Ogata and Narciso Mart{\'{\i}}{-}Oliet}, title = {Verifying Safe Memory Reclamation in Concurrent Programs with CafeOBJ}, booktitle = {Rewriting Logic and Its Applications - 15th International Workshop, {WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14953}, pages = {45--61}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-65941-6\_3}, doi = {10.1007/978-3-031-65941-6\_3}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/TranO24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/DoO24, author = {Canh Minh Do and Kazuhiro Ogata}, editor = {Kazuhiro Ogata and Narciso Mart{\'{\i}}{-}Oliet}, title = {Equivalence Checking of Quantum Circuits Based on Dirac Notation in Maude}, booktitle = {Rewriting Logic and Its Applications - 15th International Workshop, {WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14953}, pages = {84--103}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-65941-6\_5}, doi = {10.1007/978-3-031-65941-6\_5}, timestamp = {Thu, 22 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/DoO24.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/wrla/2024, editor = {Kazuhiro Ogata and Narciso Mart{\'{\i}}{-}Oliet}, title = {Rewriting Logic and Its Applications - 15th International Workshop, {WRLA} 2024, Luxembourg City, Luxembourg, April 6-7, 2024, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14953}, publisher = {Springer}, year = {2024}, url = {https://doi.org/10.1007/978-3-031-65941-6}, doi = {10.1007/978-3-031-65941-6}, isbn = {978-3-031-65940-9}, timestamp = {Thu, 08 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/2024.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/information/PhyoAD023, author = {Yati Phyo and Moe Nandi Aung and Canh Minh Do and Kazuhiro Ogata}, title = {A Layered and Parallelized Method of Eventual Model Checking}, journal = {Inf.}, volume = {14}, number = {7}, pages = {384}, year = {2023}, url = {https://doi.org/10.3390/info14070384}, doi = {10.3390/INFO14070384}, timestamp = {Fri, 18 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/information/PhyoAD023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jvlc/BuiLT023, author = {Dang Duy Bui and Minxuan Liu and Duong Ding Tran and Kazuhiro Ogata}, title = {Graphical Animations of an Autonomous Vehicle Merging Protocol}, journal = {J. Vis. Lang. Comput.}, volume = {2023}, number = {1}, pages = {9--24}, year = {2023}, url = {https://doi.org/10.18293/jvlc23-027}, doi = {10.18293/JVLC23-027}, timestamp = {Tue, 20 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jvlc/BuiLT023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerj-cs/TranMO23, author = {Duong Dinh Tran and Thet Wai Mon and Kazuhiro Ogata}, title = {Transport Layer Security 1.0 handshake protocol formal verification case study: How to use a proof script generator for existing large proof scores}, journal = {PeerJ Comput. Sci.}, volume = {9}, pages = {e1284}, year = {2023}, url = {https://doi.org/10.7717/peerj-cs.1284}, doi = {10.7717/PEERJ-CS.1284}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/peerj-cs/TranMO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerj-cs/GarciaEOAO23, author = {V{\'{\i}}ctor Garc{\'{\i}}a and Santiago Escobar and Kazuhiro Ogata and Sedat Akleylek and Ayoub Otmani}, title = {Modelling and verification of post-quantum key encapsulation mechanisms using Maude}, journal = {PeerJ Comput. Sci.}, volume = {9}, pages = {e1547}, year = {2023}, url = {https://doi.org/10.7717/peerj-cs.1547}, doi = {10.7717/PEERJ-CS.1547}, timestamp = {Wed, 04 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/peerj-cs/GarciaEOAO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/peerj-cs/TranDEO23, author = {Duong Dinh Tran and Canh Minh Do and Santiago Escobar and Kazuhiro Ogata}, title = {Hybrid post-quantum Transport Layer Security formal analysis in Maude-NPA and its parallel version}, journal = {PeerJ Comput. Sci.}, volume = {9}, pages = {e1556}, year = {2023}, url = {https://doi.org/10.7717/peerj-cs.1556}, doi = {10.7717/PEERJ-CS.1556}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/peerj-cs/TranDEO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/ZhangO23, author = {Min Zhang and Kazuhiro Ogata}, title = {Selected papers from the 15th international symposium on Theoretical Aspects of Software Engineering {(TASE} 2021)}, journal = {Sci. Comput. Program.}, volume = {225}, pages = {102912}, year = {2023}, url = {https://doi.org/10.1016/j.scico.2022.102912}, doi = {10.1016/J.SCICO.2022.102912}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/ZhangO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/DoPRO23, author = {Canh Minh Do and Yati Phyo and Adri{\'{a}}n Riesco and Kazuhiro Ogata}, title = {Optimization Techniques for Model Checking Leads-to Properties in a Stratified Way}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {32}, number = {6}, pages = {151:1--151:38}, year = {2023}, url = {https://doi.org/10.1145/3604610}, doi = {10.1145/3604610}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tosem/DoPRO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dali/TakagiDO23, author = {Tsubasa Takagi and Canh Minh Do and Kazuhiro Ogata}, editor = {Nina Gierasimczuk and Fernando R. Vel{\'{a}}zquez{-}Quesada}, title = {Automated Quantum Program Verification in Dynamic Quantum Logic}, booktitle = {Dynamic Logic. New Trends and Applications - 5th International Workshop, DaL{\'{\i}} 2023, Tbilisi, Georgia, September 15-16, 2023, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {14401}, pages = {68--84}, publisher = {Springer}, year = {2023}, url = {https://doi.org/10.1007/978-3-031-51777-8\_5}, doi = {10.1007/978-3-031-51777-8\_5}, timestamp = {Fri, 26 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dali/TakagiDO23.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/Ishibashi023, author = {Takanori Ishibashi and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Formal Specification and Model Checking of Raft Log Replication in Maude}, booktitle = {The 29th International {DMS} Conference on Visualization and Visual Languages, {DMSVIVA} 2023, {KSIR} Virtual Conference Center, USA, June 29 - July 3, 2023}, pages = {1--6}, publisher = {{KSI} Research Inc.}, year = {2023}, url = {https://doi.org/10.18293/DMSVIVA2023-010}, doi = {10.18293/DMSVIVA2023-010}, timestamp = {Wed, 06 Sep 2023 16:47:24 +0200}, biburl = {https://dblp.org/rec/conf/dms/Ishibashi023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsca/Ishibashi023, author = {Takanori Ishibashi and Kazuhiro Ogata}, title = {Formal Specification and Model Checking of Raft Leader Election in Maude}, booktitle = {Proceedings of the 12th International Conference on Software and Computer Applications, {ICSCA} 2023, Kuantan, Malaysia, February 23-25, 2023}, pages = {41--45}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3587828.3587835}, doi = {10.1145/3587828.3587835}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsca/Ishibashi023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsca/Okumura023, author = {Naomi Okumura and Kazuhiro Ogata}, title = {A way to find counterexamples located at deep positions with domain knowledge of authentication protocols}, booktitle = {Proceedings of the 12th International Conference on Software and Computer Applications, {ICSCA} 2023, Kuantan, Malaysia, February 23-25, 2023}, pages = {206--211}, publisher = {{ACM}}, year = {2023}, url = {https://doi.org/10.1145/3587828.3587859}, doi = {10.1145/3587828.3587859}, timestamp = {Fri, 27 Oct 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icsca/Okumura023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Do023, author = {Canh Minh Do and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Symbolic Model Checking Quantum Circuits in Maude}, booktitle = {The 35th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2023, {KSIR} Virtual Conference Center, USA, July 1-10, 2023}, pages = {103--108}, publisher = {{KSI} Research Inc.}, year = {2023}, url = {https://doi.org/10.18293/SEKE2023-014}, doi = {10.18293/SEKE2023-014}, timestamp = {Wed, 06 Sep 2023 16:44:18 +0200}, biburl = {https://dblp.org/rec/conf/seke/Do023.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/DoO22, author = {Canh Minh Do and Kazuhiro Ogata}, title = {Parallel Specification-Based Testing for Concurrent Programs}, journal = {{IEEE} Access}, volume = {10}, pages = {24955--24975}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3155629}, doi = {10.1109/ACCESS.2022.3155629}, timestamp = {Fri, 01 Apr 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/DoO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/DoPO22, author = {Canh Minh Do and Yati Phyo and Kazuhiro Ogata}, title = {Sequential and Parallel Tools for Model Checking Conditional Stable Properties in a Layered Way}, journal = {{IEEE} Access}, volume = {10}, pages = {133749--133765}, year = {2022}, url = {https://doi.org/10.1109/ACCESS.2022.3230844}, doi = {10.1109/ACCESS.2022.3230844}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/DoPO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/PhyoDO22, author = {Yati Phyo and Canh Minh Do and Kazuhiro Ogata}, title = {A Divide {\&} Conquer Approach to Leads-to Model Checking}, journal = {Comput. J.}, volume = {65}, number = {6}, pages = {1353--1364}, year = {2022}, url = {https://doi.org/10.1093/comjnl/bxaa183}, doi = {10.1093/COMJNL/BXAA183}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cj/PhyoDO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cj/DoanO22, author = {Ha Thi Thu Doan and Kazuhiro Ogata}, title = {Specifying and Model Checking Distributed Control Algorithms at Meta-level}, journal = {Comput. J.}, volume = {65}, number = {12}, pages = {2998--3019}, year = {2022}, url = {https://doi.org/10.1093/comjnl/bxab122}, doi = {10.1093/COMJNL/BXAB122}, timestamp = {Sat, 14 Jan 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cj/DoanO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/compsec/TranO22, author = {Duong Dinh Tran and Kazuhiro Ogata}, title = {Formal verification of {TLS} 1.2 by automatically generating proof scores}, journal = {Comput. Secur.}, volume = {123}, pages = {102909}, year = {2022}, url = {https://doi.org/10.1016/j.cose.2022.102909}, doi = {10.1016/J.COSE.2022.102909}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/compsec/TranO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieiceta/NakamuraHSO22, author = {Masaki Nakamura and Shuki Higashi and Kazutoshi Sakakibara and Kazuhiro Ogata}, title = {Specification and Verification of Multitask Real-Time Systems Using the OTS/CafeOBJ Method}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {105-A}, number = {5}, pages = {823--832}, year = {2022}, url = {https://doi.org/10.1587/transfun.2021map0007}, doi = {10.1587/TRANSFUN.2021MAP0007}, timestamp = {Fri, 13 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieiceta/NakamuraHSO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jss/RiescoO22, author = {Adri{\'{a}}n Riesco and Kazuhiro Ogata}, title = {An integrated tool set for verifying CafeOBJ specifications}, journal = {J. Syst. Softw.}, volume = {189}, pages = {111302}, year = {2022}, url = {https://doi.org/10.1016/j.jss.2022.111302}, doi = {10.1016/J.JSS.2022.111302}, timestamp = {Thu, 02 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jss/RiescoO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jvlc/BuiMT022, author = {Dang Duy Bui and Win Hlaing Hlaing Myint and Duong Dinh Tran and Kazuhiro Ogata}, title = {Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol}, journal = {J. Vis. Lang. Comput.}, volume = {2022}, number = {1}, pages = {1--15}, year = {2022}, url = {https://ksiresearch.org/jvlc/journal/JVLC2022N1/paper004.pdf}, timestamp = {Wed, 31 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jvlc/BuiMT022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/mta/BuiO22, author = {Dang Duy Bui and Kazuhiro Ogata}, title = {Better state pictures facilitating state machine characteristic conjecture}, journal = {Multim. Tools Appl.}, volume = {81}, number = {1}, pages = {237--272}, year = {2022}, url = {https://doi.org/10.1007/s11042-021-10992-z}, doi = {10.1007/S11042-021-10992-Z}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/mta/BuiO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/TranO22, author = {Duong Dinh Tran and Kazuhiro Ogata}, editor = {Hong Va Leong and Sahra Sedigh Sarvestani and Yuuichi Teranishi and Alfredo Cuzzocrea and Hiroki Kashiwazaki and Dave Towey and Ji{-}Jiang Yang and Hossain Shahriar}, title = {{IPSG:} Invariant Proof Score Generator}, booktitle = {46th {IEEE} Annual Computers, Software, and Applications Conferenc, {COMPSAC} 2022, Los Alamitos, CA, USA, June 27 - July 1, 2022}, pages = {1050--1055}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/COMPSAC54236.2022.00164}, doi = {10.1109/COMPSAC54236.2022.00164}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/TranO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/LiuOB22, author = {Minxuan Liu and Kazuhiro Ogata and Dang Duy Bui}, editor = {Shi{-}Kuo Chang}, title = {Graphical Animations of an Autonomous Vehicle Merging Protocol}, booktitle = {The 28th International {DMS} Conference on Visualization and Visual Languages, {DMSVIVA} 2022, {KSIR} Virtual Conference Center, USA, June 29-30, 2022}, pages = {16--22}, publisher = {{KSI} Research Inc.}, year = {2022}, url = {https://doi.org/10.18293/DMSVIVA22-009}, doi = {10.18293/DMSVIVA22-009}, timestamp = {Wed, 06 Sep 2023 16:47:58 +0200}, biburl = {https://dblp.org/rec/conf/dms/LiuOB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/Tran0RB22, author = {Dang Duy Bui and Duong Dinh Tran and Kazuhiro Ogata and Adri{\'{a}}n Riesco}, editor = {Shi{-}Kuo Chang}, title = {Integration of {SMGA} and Maude to Facilitate Characteristic Conjecture}, booktitle = {The 28th International {DMS} Conference on Visualization and Visual Languages, {DMSVIVA} 2022, {KSIR} Virtual Conference Center, USA, June 29-30, 2022}, pages = {45--54}, publisher = {{KSI} Research Inc.}, year = {2022}, url = {https://doi.org/10.18293/DMSVIVA22-006}, doi = {10.18293/DMSVIVA22-006}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dms/Tran0RB22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsa/AungPDO22, author = {Moe Nandi Aung and Yati Phyo and Canh Minh Do and Kazuhiro Ogata}, title = {A Tool for Model Checking Eventual Model Checking in a Stratified Way}, booktitle = {9th International Conference on Dependable Systems and Their Applications, {DSA} 2022, Wulumuqi, China, August 4-5, 2022}, pages = {270--279}, publisher = {{IEEE}}, year = {2022}, url = {https://doi.org/10.1109/DSA56465.2022.00045}, doi = {10.1109/DSA56465.2022.00045}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsa/AungPDO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/Tran00AO22, author = {Duong Dinh Tran and Kazuhiro Ogata and Santiago Escobar and Sedat Akleylek and Ayoub Otmani}, editor = {Sedat Akleylek and Santiago Escobar and Kazuhiro Ogata and Ayoub Otmani}, title = {Formal specification and model checking of lattice-based key encapsulation mechanisms in Maude}, booktitle = {Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods {(ICFEM} 2022), Madrid, Spain, October 24, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3280}, pages = {16--31}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3280/paper2.pdf}, timestamp = {Fri, 10 Mar 2023 16:22:16 +0100}, biburl = {https://dblp.org/rec/conf/icfem/Tran00AO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/Garcia0022, author = {V{\'{\i}}ctor Garc{\'{\i}}a and Santiago Escobar and Kazuhiro Ogata}, editor = {Sedat Akleylek and Santiago Escobar and Kazuhiro Ogata and Ayoub Otmani}, title = {Modeling and verification of the post-quantum key encapsulation mechanism {KYBER} using Maude}, booktitle = {Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods {(ICFEM} 2022), Madrid, Spain, October 24, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3280}, pages = {32--49}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3280/paper3.pdf}, timestamp = {Sat, 30 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/Garcia0022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/TranD0022, author = {Duong Dinh Tran and Canh Minh Do and Santiago Escobar and Kazuhiro Ogata}, editor = {Sedat Akleylek and Santiago Escobar and Kazuhiro Ogata and Ayoub Otmani}, title = {Hybrid Post-Quantum {TLS} formal specification in Maude-NPA - toward its security analysis}, booktitle = {Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods {(ICFEM} 2022), Madrid, Spain, October 24, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3280}, pages = {50--64}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3280/paper4.pdf}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/TranD0022.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/TranOEAO22, author = {Duong Dinh Tran and Kazuhiro Ogata and Santiago Escobar and Sedat Akleylek and Ayoub Otmani}, editor = {Rong Peng and Carlos Eduardo Pantoja and Pankaj Kamthan}, title = {Formal specification and model checking of Saber lattice-based key encapsulation mechanism in Maude}, booktitle = {The 34th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2022}, pages = {382--387}, publisher = {{KSI} Research Inc.}, year = {2022}, url = {https://doi.org/10.18293/SEKE2022-097}, doi = {10.18293/SEKE2022-097}, timestamp = {Wed, 21 Sep 2022 17:47:56 +0200}, biburl = {https://dblp.org/rec/conf/seke/TranOEAO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DoPO22, author = {Canh Minh Do and Yati Phyo and Kazuhiro Ogata}, editor = {Rong Peng and Carlos Eduardo Pantoja and Pankaj Kamthan}, title = {A divide and conquer approach to until and until stable model checking}, booktitle = {The 34th International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2022, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2022}, pages = {388--393}, publisher = {{KSI} Research Inc.}, year = {2022}, url = {https://doi.org/10.18293/SEKE2022-058}, doi = {10.18293/SEKE2022-058}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/DoPO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/DoREO22, author = {Canh Minh Do and Adri{\'{a}}n Riesco and Santiago Escobar and Kazuhiro Ogata}, editor = {Kyungmin Bae}, title = {Parallel Maude-NPA for Cryptographic Protocol Analysis}, booktitle = {Rewriting Logic and Its Applications - 14th International Workshop, WRLA@ETAPS 2022, Munich, Germany, April 2-3, 2022, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {13252}, pages = {253--273}, publisher = {Springer}, year = {2022}, url = {https://doi.org/10.1007/978-3-031-12441-9\_13}, doi = {10.1007/978-3-031-12441-9\_13}, timestamp = {Thu, 25 Aug 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/wrla/DoREO22.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfem/2022favqpc, editor = {Sedat Akleylek and Santiago Escobar and Kazuhiro Ogata and Ayoub Otmani}, title = {Proceedings of the International Workshop on Formal Analysis and Verification of Post-Quantum Cryptographic Protocols co-located with the 23rd International Conference on Formal Engineering Methods {(ICFEM} 2022), Madrid, Spain, October 24, 2022}, series = {{CEUR} Workshop Proceedings}, volume = {3280}, publisher = {CEUR-WS.org}, year = {2022}, url = {https://ceur-ws.org/Vol-3280}, urn = {urn:nbn:de:0074-3280-0}, timestamp = {Fri, 10 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/2022favqpc.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/access/TranBO21, author = {Duong Dinh Tran and Dang Duy Bui and Kazuhiro Ogata}, title = {Simulation-Based Invariant Verification Technique for the OTS/CafeOBJ Method}, journal = {{IEEE} Access}, volume = {9}, pages = {93847--93870}, year = {2021}, url = {https://doi.org/10.1109/ACCESS.2021.3093211}, doi = {10.1109/ACCESS.2021.3093211}, timestamp = {Thu, 16 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/access/TranBO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/NakamuraSOO21, author = {Masaki Nakamura and Kazutoshi Sakakibara and Yuki Okura and Kazuhiro Ogata}, title = {Formal Verification of Multitask Hybrid Systems by the OTS/CafeOBJ Method}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {31}, number = {11{\&}12}, pages = {1541--1559}, year = {2021}, url = {https://doi.org/10.1142/S0218194021400118}, doi = {10.1142/S0218194021400118}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/NakamuraSOO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jvlc/MonBTD021, author = {Thet Wai Mon and Dang Duy Bui and Duong Dinh Tran and Canh Minh Do and Kazuhiro Ogata}, title = {Graphical Animations of the {NS(L)PK} Authentication Protocols}, journal = {J. Vis. Lang. Comput.}, volume = {2021}, number = {2}, pages = {39--51}, year = {2021}, url = {https://ksiresearch.org/jvlc/journal/JVLC2021N2/paper005.pdf}, timestamp = {Wed, 31 Jan 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jvlc/MonBTD021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/PhyoD021, author = {Yati Phyo and Canh Minh Do and Kazuhiro Ogata}, title = {A support tool for the {L} + 1-layer divide {\&} conquer approach to leads-to model checking}, booktitle = {{IEEE} 45th Annual Computers, Software, and Applications Conference, {COMPSAC} 2021, Madrid, Spain, July 12-16, 2021}, pages = {854--863}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/COMPSAC51774.2021.00118}, doi = {10.1109/COMPSAC51774.2021.00118}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/compsac/PhyoD021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/MyintBT021, author = {Win Hlaing Hlaing Myint and Dang Duy Bui and Duong Dinh Tran and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Graphical Animations of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol {(S)}}, booktitle = {The 27th International {DMS} Conference on Visualization and Visual Languages, {DMSVIVA} 2021, {KSIR} Virtual Conference Center, USA, June 29-30, 2021}, pages = {22--28}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/DMSVIVA21-004}, doi = {10.18293/DMSVIVA21-004}, timestamp = {Fri, 03 Sep 2021 11:31:56 +0200}, biburl = {https://dblp.org/rec/conf/dms/MyintBT021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/MonBT021, author = {Thet Wai Mon and Dang Duy Bui and Duong Dinh Tran and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Graphical Animations of the {NSLPK} Authentication Protocol {(S)}}, booktitle = {The 27th International {DMS} Conference on Visualization and Visual Languages, {DMSVIVA} 2021, {KSIR} Virtual Conference Center, USA, June 29-30, 2021}, pages = {29--35}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/DMSVIVA21-005}, doi = {10.18293/DMSVIVA21-005}, timestamp = {Fri, 03 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dms/MonBT021.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/PhyoDO21, author = {Yati Phyo and Canh Minh Do and Kazuhiro Ogata}, editor = {Antonio Cerone and Peter Csaba {\"{O}}lveczky}, title = {A Divide {\&} Conquer Approach to Conditional Stable Model Checking}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2021 - 18th International Colloquium, Virtual Event, Nur-Sultan, Kazakhstan, September 8-10, 2021, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12819}, pages = {105--111}, publisher = {Springer}, year = {2021}, url = {https://doi.org/10.1007/978-3-030-85315-0\_7}, doi = {10.1007/978-3-030-85315-0\_7}, timestamp = {Wed, 01 Sep 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictac/PhyoDO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/LiuBTO21, author = {Minxuan Liu and Dang Duy Bui and Duong Dinh Tran and Kazuhiro Ogata}, title = {Formal Specification and Model Checking of an Autonomous Vehicle Merging Protocol}, booktitle = {21st {IEEE} International Conference on Software Quality, Reliability and Security, {QRS} 2021 - Companion, Hainan, China, December 6-10, 2021}, pages = {333--342}, publisher = {{IEEE}}, year = {2021}, url = {https://doi.org/10.1109/QRS-C55045.2021.00057}, doi = {10.1109/QRS-C55045.2021.00057}, timestamp = {Tue, 12 Apr 2022 17:57:49 +0200}, biburl = {https://dblp.org/rec/conf/qrs/LiuBTO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/NakamuraSOO21, author = {Masaki Nakamura and Kazutoshi Sakakibara and Yuki Okura and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Formal verification of multitask hybrid systems by the OTS/CafeOBJ method}, booktitle = {The 33rd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2021}, pages = {114--119}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/SEKE2021-029}, doi = {10.18293/SEKE2021-029}, timestamp = {Wed, 21 Sep 2022 17:47:55 +0200}, biburl = {https://dblp.org/rec/conf/seke/NakamuraSOO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/MonFTO21, author = {Thet Wai Mon and Shuho Fujii and Duong Dinh Tran and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Formal verification of {IFF} and {NSLPK} authentication protocols with CiMPG {(S)}}, booktitle = {The 33rd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2021}, pages = {120--125}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/SEKE2021-037}, doi = {10.18293/SEKE2021-037}, timestamp = {Wed, 21 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/MonFTO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/AsaeTO21, author = {Naoki Asae and Duong Dinh Tran and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Formal verification of Anderson mutual exclusion protocol by introducing an auxiliary variable {(S)}}, booktitle = {The 33rd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2021}, pages = {126--131}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/SEKE2021-038}, doi = {10.18293/SEKE2021-038}, timestamp = {Wed, 21 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/AsaeTO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/TranWO21, author = {Duong Dinh Tran and Kentaro Waki and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Formal specification and model checking of a recoverable wait-free version of {MCS}}, booktitle = {The 33rd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2021, {KSIR} Virtual Conference Center, USA, July 1 - July 10, 2021}, pages = {138--143}, publisher = {{KSI} Research Inc.}, year = {2021}, url = {https://doi.org/10.18293/SEKE2021-065}, doi = {10.18293/SEKE2021-065}, timestamp = {Wed, 21 Sep 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/TranWO21.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/Ogata20, author = {Kazuhiro Ogata}, title = {A Generic Approach on How to Formally Specify and Model Check Path Finding Algorithms: Dijkstra, A* and {LPA}}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {30}, number = {10}, pages = {1481--1523}, year = {2020}, url = {https://doi.org/10.1142/S0218194020400215}, doi = {10.1142/S0218194020400215}, timestamp = {Mon, 14 Dec 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ijseke/Ogata20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/OkumuraOS20, author = {Naomi Okumura and Kazuhiro Ogata and Yoichi Shinoda}, title = {Formal analysis of {RFC} 8120 authentication protocol for {HTTP} under different assumptions}, journal = {J. Inf. Secur. Appl.}, volume = {53}, pages = {102529}, year = {2020}, url = {https://doi.org/10.1016/j.jisa.2020.102529}, doi = {10.1016/J.JISA.2020.102529}, timestamp = {Mon, 28 Aug 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/istr/OkumuraOS20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/GainaNOF20, author = {Daniel Gaina and Masaki Nakamura and Kazuhiro Ogata and Kokichi Futatsugi}, title = {Stability of termination and sufficient-completeness under pushouts via amalgamation}, journal = {Theor. Comput. Sci.}, volume = {848}, pages = {82--105}, year = {2020}, url = {https://doi.org/10.1016/j.tcs.2020.09.024}, doi = {10.1016/J.TCS.2020.09.024}, timestamp = {Thu, 23 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tcs/GainaNOF20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/TranBG020, author = {Duong Dinh Tran and Dang Duy Bui and Parth Gupta and Kazuhiro Ogata}, title = {Lemma Weakening for State Machine Invariant Proofs}, booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore, December 1-4, 2020}, pages = {21--30}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/APSEC51365.2020.00010}, doi = {10.1109/APSEC51365.2020.00010}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/TranBG020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/Do020, author = {Canh Minh Do and Kazuhiro Ogata}, title = {A divide {\&} conquer approach to testing concurrent programs with JPF\({}^{\mbox{*}}\)}, booktitle = {27th Asia-Pacific Software Engineering Conference, {APSEC} 2020, Singapore, December 1-4, 2020}, pages = {356--364}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/APSEC51365.2020.00044}, doi = {10.1109/APSEC51365.2020.00044}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apsec/Do020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/Bui020, author = {Dang Duy Bui and Kazuhiro Ogata}, editor = {Shi{-}Kuo Chang}, title = {Better State Pictures Facilitating State Machine Characteristic Conjecture}, booktitle = {The 26th International {DMS} Conference on Visualization and Visual Languages, {DMSVIVA} 2020, {KSIR} Virtual Conference Center, USA, July 7-8, 2020}, pages = {7--12}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/DMSVIVA20-007}, doi = {10.18293/DMSVIVA20-007}, timestamp = {Wed, 10 Feb 2021 22:00:38 +0100}, biburl = {https://dblp.org/rec/conf/dms/Bui020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/0001020, author = {Adri{\'{a}}n Riesco and Kazuhiro Ogata}, editor = {Violet Ka I Pun and Volker Stolz and Adenilso Sim{\~{a}}o}, title = {CiMPG+F: {A} Proof Generator and Fixer-Upper for CafeOBJ Specifications}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2020 - 17th International Colloquium, Macau, China, November 30 - December 4, 2020, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {12545}, pages = {64--82}, publisher = {Springer}, year = {2020}, url = {https://doi.org/10.1007/978-3-030-64276-1\_4}, doi = {10.1007/978-3-030-64276-1\_4}, timestamp = {Mon, 05 Feb 2024 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ictac/0001020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qrs/Do020, author = {Canh Minh Do and Kazuhiro Ogata}, title = {Parallel stratified random testing for concurrent programs}, booktitle = {20th {IEEE} International Conference on Software Quality, Reliability and Security Companion, {QRS} Companion 2020, Macau, China, December 11-14, 2020}, pages = {79--86}, publisher = {{IEEE}}, year = {2020}, url = {https://doi.org/10.1109/QRS-C51114.2020.00024}, doi = {10.1109/QRS-C51114.2020.00024}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/qrs/Do020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Tran020, author = {Duong Dinh Tran and Kazuhiro Ogata}, editor = {Ra{\'{u}}l Garc{\'{\i}}a{-}Castro}, title = {Formal verification of an abstract version of Anderson protocol with CafeOBJ, CiMPA and CiMPG}, booktitle = {The 32nd International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2020, {KSIR} Virtual Conference Center, USA, July 9-19, 2020}, pages = {287--292}, publisher = {{KSI} Research Inc.}, year = {2020}, url = {https://doi.org/10.18293/SEKE2020-064}, doi = {10.18293/SEKE2020-064}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Tran020.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sice/0001HSO20, author = {Masaki Nakamura and Shuki Higashi and Kazutoshi Sakakibara and Kazuhiro Ogata}, title = {Formal verification of Fischer's real-time mutual exclusion protocol by the OTS/CafeOBJ method}, booktitle = {59th Annual Conference of the Society of Instrument and Control Engineers of Japan, {SICE} 2020, Chiang Mai, Thailand, September 23-26, 2020}, pages = {1210--1215}, publisher = {{IEEE}}, year = {2020}, url = {https://ieeexplore.ieee.org/document/9240272}, timestamp = {Thu, 26 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sice/0001HSO20.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/corr/abs-2010-15280, author = {Masaki Nakamura and Kazutoshi Sakakibara and Kazuhiro Ogata}, title = {Specification description and verification of multitask hybrid systems in the OTS/CafeOBJ method}, journal = {CoRR}, volume = {abs/2010.15280}, year = {2020}, url = {https://arxiv.org/abs/2010.15280}, eprinttype = {arXiv}, eprint = {2010.15280}, timestamp = {Tue, 03 Nov 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/corr/abs-2010-15280.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cai/DoanO19, author = {Ha Thi Thu Doan and Kazuhiro Ogata}, title = {A More Faithful Formal Definition of the Desired Property for Distributed Snapshot Algorithms to Model Check the Property}, journal = {Comput. Informatics}, volume = {38}, number = {5}, pages = {1009--1038}, year = {2019}, url = {https://doi.org/10.31577/cai\_2019\_5\_1009}, doi = {10.31577/CAI\_2019\_5\_1009}, timestamp = {Fri, 10 Jun 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/cai/DoanO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fcsc/Ogata19, author = {Kazuhiro Ogata}, title = {A divide {\&} conquer approach to liveness model checking under fairness {\&} anti-fairness assumptions}, journal = {Frontiers Comput. Sci.}, volume = {13}, number = {1}, pages = {51--72}, year = {2019}, url = {https://doi.org/10.1007/s11704-017-7036-2}, doi = {10.1007/S11704-017-7036-2}, timestamp = {Tue, 05 Feb 2019 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/fcsc/Ogata19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jvlc/BuiO19, author = {Dang Duy Bui and Kazuhiro Ogata}, title = {Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol}, journal = {J. Vis. Lang. Comput.}, volume = {2019}, number = {2}, pages = {105--116}, year = {2019}, url = {http://ksiresearch.org/jvlc/journal/JVLC2019N2/paper12.pdf}, timestamp = {Wed, 04 Aug 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/jvlc/BuiO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dms/BuiO19, author = {Dang Duy Bui and Kazuhiro Ogata}, editor = {Joseph J. Pfeiffer Jr.}, title = {Graphical Animations of the Suzuki-Kasami Distributed Mutual Exclusion Protocol}, booktitle = {The 25th International {DMS} Conference on Visualization and Visual Languages, {DMSVIVA} 2019, Hotel Tivoli, Lisbon, Portugal, July 8-9, 2019}, pages = {125--137}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/DMSVIVA2019-012}, doi = {10.18293/DMSVIVA2019-012}, timestamp = {Wed, 10 Feb 2021 22:00:39 +0100}, biburl = {https://dblp.org/rec/conf/dms/BuiO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/QianZWO19, author = {Jiaqi Qian and Min Zhang and Yi Wang and Kazuhiro Ogata}, editor = {Reiner H{\"{a}}hnle and Wil M. P. van der Aalst}, title = {KupC: {A} Formal Tool for Modeling and Verifying Dynamic Updating of {C} Programs}, booktitle = {Fundamental Approaches to Software Engineering - 22nd International Conference, {FASE} 2019, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11424}, pages = {299--305}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-16722-6\_17}, doi = {10.1007/978-3-030-16722-6\_17}, timestamp = {Thu, 15 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/fase/QianZWO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/DoO19, author = {Canh Minh Do and Kazuhiro Ogata}, editor = {Angelo Perkusich}, title = {Specification-based Testing with Simulation Relations {(S)}}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {107--146}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-027}, doi = {10.18293/SEKE2019-027}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/DoO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/AungP019, author = {Moe Nandi Aung and Yati Phyo and Kazuhiro Ogata}, editor = {Angelo Perkusich}, title = {Formal Specification and Model Checking of the Lim-Jeong-Park-Lee Autonomous Vehicle Intersection Control Protocol {(S)}}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {159--208}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-021}, doi = {10.18293/SEKE2019-021}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/seke/AungP019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/Ogata19, author = {Kazuhiro Ogata}, editor = {Angelo Perkusich}, title = {Formal Specification and Model Checking of A* Algorithm}, booktitle = {The 31st International Conference on Software Engineering and Knowledge Engineering, {SEKE} 2019, Hotel Tivoli, Lisbon, Portugal, July 10-12, 2019}, pages = {181--244}, publisher = {{KSI} Research Inc. and Knowledge Systems Institute Graduate School}, year = {2019}, url = {https://doi.org/10.18293/SEKE2019-022}, doi = {10.18293/SEKE2019-022}, timestamp = {Wed, 03 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/Ogata19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofl/DoO19, author = {Canh Minh Do and Kazuhiro Ogata}, editor = {Huaikou Miao and Cong Tian and Shaoying Liu and Zhenhua Duan}, title = {A Divide {\&} Conquer Approach to Testing Concurrent Java Programs with {JPF} and Maude}, booktitle = {Structured Object-Oriented Formal Language and Method - 9th International Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12028}, pages = {42--58}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41418-4\_4}, doi = {10.1007/978-3-030-41418-4\_4}, timestamp = {Thu, 14 Oct 2021 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofl/DoO19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofl/MuramotoOS19, author = {Eiichi Muramoto and Kazuhiro Ogata and Yoichi Shinoda}, editor = {Huaikou Miao and Cong Tian and Shaoying Liu and Zhenhua Duan}, title = {Formal Specification and Model Checking of a Ride-sharing System in Maude}, booktitle = {Structured Object-Oriented Formal Language and Method - 9th International Workshop, {SOFL+MSVL} 2019, Shenzhen, China, November 5, 2019, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {12028}, pages = {187--204}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-41418-4\_14}, doi = {10.1007/978-3-030-41418-4\_14}, timestamp = {Fri, 21 Feb 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/sofl/MuramotoOS19.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sss/Doan0019, author = {Ha Thi Thu Doan and Adri{\'{a}}n Riesco and Kazuhiro Ogata}, editor = {Mohsen Ghaffari and Mikhail Nesterenko and S{\'{e}}bastien Tixeuil and Sara Tucci and Yukiko Yamauchi}, title = {An Environment for Specifying and Model Checking Mobile Ring Robot Algorithms}, booktitle = {Stabilization, Safety, and Security of Distributed Systems - 21st International Symposium, {SSS} 2019, Pisa, Italy, October 22-25, 2019, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {11914}, pages = {111--126}, publisher = {Springer}, year = {2019}, url = {https://doi.org/10.1007/978-3-030-34992-9\_10}, doi = {10.1007/978-3-030-34992-9\_10}, timestamp = {Mon, 23 May 2022 11:50:06 +0200}, biburl = {https://dblp.org/rec/conf/sss/Doan0019.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/MandadiMO18, author = {Manjukeshwar Reddy Mandadi and Varuneshwar Reddy Mandadi and Kazuhiro Ogata}, title = {Formal analysis of a security protocol for e-passports based on rewrite theory specifications}, journal = {J. Inf. Secur. Appl.}, volume = {42}, pages = {71--86}, year = {2018}, url = {https://doi.org/10.1016/j.jisa.2018.08.005}, doi = {10.1016/J.JISA.2018.08.005}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/istr/MandadiMO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/ZhangO18, author = {Min Zhang and Kazuhiro Ogata}, title = {From hidden to visible: {A} unified framework for transforming behavioral theories into rewrite theories}, journal = {Theor. Comput. Sci.}, volume = {722}, pages = {52--75}, year = {2018}, url = {https://doi.org/10.1016/j.tcs.2018.01.006}, doi = {10.1016/J.TCS.2018.01.006}, timestamp = {Tue, 20 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/ZhangO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tosem/RiescoO18, author = {Adri{\'{a}}n Riesco and Kazuhiro Ogata}, title = {Prove it! Inferring Formal Proof Scripts from CafeOBJ Proof Scores}, journal = {{ACM} Trans. Softw. Eng. Methodol.}, volume = {27}, number = {2}, pages = {6:1--6:32}, year = {2018}, url = {https://doi.org/10.1145/3208951}, doi = {10.1145/3208951}, timestamp = {Wed, 25 Sep 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/tosem/RiescoO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/PhyoO18, author = {Yati Phyo and Kazuhiro Ogata}, title = {Formal Specification and Model Checking of the Walter-Welch-Vaidya Mutual Exclusion Protocol for Ad Hoc Mobile Networks}, booktitle = {25th Asia-Pacific Software Engineering Conference, {APSEC} 2018, Nara, Japan, December 4-7, 2018}, pages = {89--98}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/APSEC.2018.00023}, doi = {10.1109/APSEC.2018.00023}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/apsec/PhyoO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsa/Phyo018, author = {Yati Phyo and Kazuhiro Ogata}, title = {Analysis of Some Variants of the Anderson Array-Based Queuing Mutual Exclusion Protocol with Model Checking and Graphical Animations}, booktitle = {5th International Conference on Dependable Systems and Their Applications, {DSA} 2018, Dalian, China, September 22-23, 2018}, pages = {126--135}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/DSA.2018.00030}, doi = {10.1109/DSA.2018.00030}, timestamp = {Mon, 26 Jun 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsa/Phyo018.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dsa/SakamotoO18, author = {Shouki Sakamoto and Kazuhiro Ogata}, title = {Model Checking of the Suzuki-Kasami Distributed Mutual Exclusion Algorithm with {SPIN}}, booktitle = {5th International Conference on Dependable Systems and Their Applications, {DSA} 2018, Dalian, China, September 22-23, 2018}, pages = {136--141}, publisher = {{IEEE}}, year = {2018}, url = {https://doi.org/10.1109/DSA.2018.00031}, doi = {10.1109/DSA.2018.00031}, timestamp = {Mon, 11 May 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/dsa/SakamotoO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsca/AungNO18, author = {May Thu Aung and Tam Thi Thanh Nguyen and Kazuhiro Ogata}, editor = {Kamal Zuhairi Zamli and Vitaliy Mezhuyev and Luigi Benedicenti}, title = {Guessing Properties of the Qlock Mutual Exclusion Protocol based on its Graphical Animations and confirming the Properties by Model Checking}, booktitle = {Proceedings of the 7th International Conference on Software and Computer Applications, {ICSCA} 2018, Kuantan, Malaysia, February 08-10, 2018}, pages = {153--157}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3185089.3185104}, doi = {10.1145/3185089.3185104}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsca/AungNO18.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icsca/AungNO18a, author = {May Thu Aung and Tam Thi Thanh Nguyen and Kazuhiro Ogata}, editor = {Kamal Zuhairi Zamli and Vitaliy Mezhuyev and Luigi Benedicenti}, title = {Analysis of Two Flawed Versions of {A} Mutual Exclusion Protocol with Maude and {SMGA}}, booktitle = {Proceedings of the 7th International Conference on Software and Computer Applications, {ICSCA} 2018, Kuantan, Malaysia, February 08-10, 2018}, pages = {194--198}, publisher = {{ACM}}, year = {2018}, url = {https://doi.org/10.1145/3185089.3185110}, doi = {10.1145/3185089.3185110}, timestamp = {Wed, 21 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icsca/AungNO18a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/fac/RiescoOF17, author = {Adri{\'{a}}n Riesco and Kazuhiro Ogata and Kokichi Futatsugi}, title = {A Maude environment for CafeOBJ}, journal = {Formal Aspects Comput.}, volume = {29}, number = {2}, pages = {309--334}, year = {2017}, url = {https://doi.org/10.1007/s00165-016-0398-7}, doi = {10.1007/S00165-016-0398-7}, timestamp = {Mon, 09 May 2022 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/fac/RiescoOF17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/Ogata17, author = {Kazuhiro Ogata}, title = {Model checking the iKP electronic payment protocols}, journal = {J. Inf. Secur. Appl.}, volume = {36}, pages = {101--111}, year = {2017}, url = {https://doi.org/10.1016/j.jisa.2017.08.006}, doi = {10.1016/J.JISA.2017.08.006}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/istr/Ogata17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/HaO17, author = {Xuan{-}Linh Ha and Kazuhiro Ogata}, editor = {Jian Lv and He Jason Zhang and Mike Hinchey and Xiao Liu}, title = {Writing Concurrent Java Programs Based on CafeOBJ Specifications}, booktitle = {24th Asia-Pacific Software Engineering Conference, {APSEC} 2017, Nanjing, China, December 4-8, 2017}, pages = {618--623}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/APSEC.2017.75}, doi = {10.1109/APSEC.2017.75}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/HaO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/dasc/Nguyen017, author = {Tam Thi Thanh Nguyen and Kazuhiro Ogata}, title = {Graphical Animations of State Machines}, booktitle = {15th {IEEE} Intl Conf on Dependable, Autonomic and Secure Computing, 15th Intl Conf on Pervasive Intelligence and Computing, 3rd Intl Conf on Big Data Intelligence and Computing and Cyber Science and Technology Congress, DASC/PiCom/DataCom/CyberSciTech 2017, Orlando, FL, USA, November 6-10, 2017}, pages = {604--611}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/DASC-PICom-DataCom-CyberSciTec.2017.107}, doi = {10.1109/DASC-PICOM-DATACOM-CYBERSCITEC.2017.107}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/dasc/Nguyen017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/DoanOB17, author = {Ha Thi Thu Doan and Kazuhiro Ogata and Fran{\c{c}}ois Bonnet}, editor = {Kisung Lee and Ling Liu}, title = {Specifying a Distributed Snapshot Algorithm as a Meta-Program and Model Checking it at Meta-Level}, booktitle = {37th {IEEE} International Conference on Distributed Computing Systems, {ICDCS} 2017, Atlanta, GA, USA, June 5-8, 2017}, pages = {1586--1596}, publisher = {{IEEE} Computer Society}, year = {2017}, url = {https://doi.org/10.1109/ICDCS.2017.176}, doi = {10.1109/ICDCS.2017.176}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/DoanOB17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ictac/RiescoO17, author = {Adri{\'{a}}n Riesco and Kazuhiro Ogata}, editor = {Dang Van Hung and Deepak Kapur}, title = {A Formal Proof Generator from Semi-formal Proof Documents}, booktitle = {Theoretical Aspects of Computing - {ICTAC} 2017 - 14th International Colloquium, Hanoi, Vietnam, October 23-27, 2017, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10580}, pages = {3--12}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-67729-3\_1}, doi = {10.1007/978-3-319-67729-3\_1}, timestamp = {Thu, 29 Aug 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/ictac/RiescoO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/opodis/Doan0017, author = {Ha Thi Thu Doan and Fran{\c{c}}ois Bonnet and Kazuhiro Ogata}, editor = {James Aspnes and Alysson Bessani and Pascal Felber and Jo{\~{a}}o Leit{\~{a}}o}, title = {Model Checking of Robot Gathering}, booktitle = {21st International Conference on Principles of Distributed Systems, {OPODIS} 2017, Lisbon, Portugal, December 18-20, 2017}, series = {LIPIcs}, volume = {95}, pages = {12:1--12:16}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum f{\"{u}}r Informatik}, year = {2017}, url = {https://doi.org/10.4230/LIPIcs.OPODIS.2017.12}, doi = {10.4230/LIPICS.OPODIS.2017.12}, timestamp = {Tue, 11 Feb 2020 15:52:14 +0100}, biburl = {https://dblp.org/rec/conf/opodis/Doan0017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sate/NguyenO17, author = {Tam Thi Thanh Nguyen and Kazuhiro Ogata}, editor = {Wei Dong and Xiaoyuan Xie}, title = {A Way to Comprehend Counterexamples Generated by the Maude {LTL} Model Checker}, booktitle = {2017 International Conference on Software Analysis, Testing and Evolution, {SATE} 2017, Harbin, China, November 3-4, 2017}, pages = {53--62}, publisher = {{IEEE}}, year = {2017}, url = {https://doi.org/10.1109/SATE.2017.15}, doi = {10.1109/SATE.2017.15}, timestamp = {Wed, 16 Oct 2019 14:14:56 +0200}, biburl = {https://dblp.org/rec/conf/sate/NguyenO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofl/Nguyen017, author = {Tam Thi Thanh Nguyen and Kazuhiro Ogata}, editor = {Cong Tian and Fumiko Nagoya and Shaoying Liu and Zhenhua Duan}, title = {Graphically Perceiving Characteristics of the {MCS} Lock and Model Checking Them}, booktitle = {Structured Object-Oriented Formal Language and Method - 7th International Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10795}, pages = {3--23}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-90104-6\_1}, doi = {10.1007/978-3-319-90104-6\_1}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/sofl/Nguyen017.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofl/DaudierBO17, author = {Dorian Daudier and Trinh Ngoc Quoc Bao and Kazuhiro Ogata}, editor = {Cong Tian and Fumiko Nagoya and Shaoying Liu and Zhenhua Duan}, title = {A Proof Score Approach to Formal Verification of an Imperative Programming Language Compiler}, booktitle = {Structured Object-Oriented Formal Language and Method - 7th International Workshop, {SOFL+MSVL} 2017, Xi'an, China, November 16, 2017, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10795}, pages = {200--217}, publisher = {Springer}, year = {2017}, url = {https://doi.org/10.1007/978-3-319-90104-6\_13}, doi = {10.1007/978-3-319-90104-6\_13}, timestamp = {Sat, 05 May 2018 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/sofl/DaudierBO17.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/istr/OgataCZ16, author = {Kazuhiro Ogata and Thapana Chaimanont and Min Zhang}, title = {Formal modeling and analysis of time- and resource-sensitive simple business processes}, journal = {J. Inf. Secur. Appl.}, volume = {31}, pages = {23--40}, year = {2016}, url = {https://doi.org/10.1016/j.jisa.2016.05.001}, doi = {10.1016/J.JISA.2016.05.001}, timestamp = {Wed, 04 Mar 2020 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/istr/OgataCZ16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fase/RiescoOF16, author = {Adri{\'{a}}n Riesco and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Perdita Stevens and Andrzej Wasowski}, title = {CafeInMaude: {A} CafeOBJ Interpreter in Maude}, booktitle = {Fundamental Approaches to Software Engineering - 19th International Conference, {FASE} 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, {ETAPS} 2016, Eindhoven, The Netherlands, April 2-8, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9633}, pages = {377--380}, publisher = {Springer}, year = {2016}, url = {https://doi.org/10.1007/978-3-662-49665-7\_22}, doi = {10.1007/978-3-662-49665-7\_22}, timestamp = {Wed, 16 Mar 2022 23:55:35 +0100}, biburl = {https://dblp.org/rec/conf/fase/RiescoOF16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sofl/DoanBO16, author = {Ha Thi Thu Doan and Fran{\c{c}}ois Bonnet and Kazuhiro Ogata}, editor = {Shaoying Liu and Zhenhua Duan and Cong Tian and Fumiko Nagoya}, title = {Model Checking of a Mobile Robots Perpetual Exploration Algorithm}, booktitle = {Structured Object-Oriented Formal Language and Method - 6th International Workshop, {SOFL+MSVL} 2016, Tokyo, Japan, November 15, 2016, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {10189}, pages = {201--219}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-57708-1\_12}, doi = {10.1007/978-3-319-57708-1\_12}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/sofl/DoanBO16.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/icfem/2016, editor = {Kazuhiro Ogata and Mark Lawford and Shaoying Liu}, title = {Formal Methods and Software Engineering - 18th International Conference on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November 14-18, 2016, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {10009}, year = {2016}, url = {https://doi.org/10.1007/978-3-319-47846-3}, doi = {10.1007/978-3-319-47846-3}, isbn = {978-3-319-47845-6}, timestamp = {Tue, 14 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/icfem/2016.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/0002OF15, author = {Min Zhang and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Jing Sun and Y. Raghu Reddy and Arun Bahulkar and Anjaneyulu Pasala}, title = {Towards a Formal Approach to Modeling and Verifying the Design of Dynamic Software Updates}, booktitle = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New Delhi, India, December 1-4, 2015}, pages = {159--166}, publisher = {{IEEE} Computer Society}, year = {2015}, url = {https://doi.org/10.1109/APSEC.2015.28}, doi = {10.1109/APSEC.2015.28}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/0002OF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/csa2/0001G0F15, author = {Masaki Nakamura and Daniel G{\^{a}}in{\^{a}} and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Doo{-}Soon Park and Han{-}Chieh Chao and Young{-}Sik Jeong and James Jong Hyuk Park}, title = {Proving Sufficient Completeness of Constructor-Based Algebraic Specifications}, booktitle = {Advances in Computer Science and Ubiquitous Computing - {CSA} {\&} {CUTE} 2015, Cebu, Philippines, December 15-17, 2015}, series = {Lecture Notes in Electrical Engineering}, volume = {373}, pages = {15--21}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-981-10-0281-6\_3}, doi = {10.1007/978-981-10-0281-6\_3}, timestamp = {Wed, 29 May 2019 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/csa2/0001G0F15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/YoshidaOF15, author = {Hiroyuki Yoshida and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Michael J. Butler and Sylvain Conchon and Fatiha Za{\"{\i}}di}, title = {Formalization and Verification of Declarative Cloud Orchestration}, booktitle = {Formal Methods and Software Engineering - 17th International Conference on Formal Engineering Methods, {ICFEM} 2015, Paris, France, November 3-5, 2015, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {9407}, pages = {33--49}, publisher = {Springer}, year = {2015}, url = {https://doi.org/10.1007/978-3-319-25423-4\_3}, doi = {10.1007/978-3-319-25423-4\_3}, timestamp = {Sun, 02 Jun 2019 21:19:43 +0200}, biburl = {https://dblp.org/rec/conf/icfem/YoshidaOF15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ilp/Ho0O15, author = {Dung Tuan Ho and Min Zhang and Kazuhiro Ogata}, editor = {Katsumi Inoue and Hayato Ohwada and Akihiro Yamamoto}, title = {Case Studies on Extracting the Characteristics of the Reachable States of State Machines Formalizing Communication Protocols with Inductive Logic Programing}, booktitle = {Late Breaking Papers of the 25th International Conference on Inductive Logic Programming, Kyoto University, Kyoto, Japan, August 20th to 22nd, 2015}, series = {{CEUR} Workshop Proceedings}, volume = {1636}, pages = {33--47}, publisher = {CEUR-WS.org}, year = {2015}, url = {https://ceur-ws.org/Vol-1636/paper-03.pdf}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ilp/Ho0O15.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/OuranosOS14, author = {Iakovos Ouranos and Kazuhiro Ogata and Petros S. Stefaneas}, title = {{TESLA} Source Authentication Protocol Verification Experiment in the Timed OTS/CafeOBJ Method: Experiences and Lessons Learned}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {97-D}, number = {5}, pages = {1160--1170}, year = {2014}, url = {https://doi.org/10.1587/transinf.E97.D.1160}, doi = {10.1587/TRANSINF.E97.D.1160}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/OuranosOS14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/Choi0O14, author = {Yunja Choi and Min Zhang and Kazuhiro Ogata}, editor = {Sungdeok (Steve) Cha and Yann{-}Ga{\"{e}}l Gu{\'{e}}h{\'{e}}neuc and Gihwon Kwon}, title = {Evaluation of Maude as a Test Generation Engine for Automotive Operating Systems}, booktitle = {21st Asia-Pacific Software Engineering Conference, {APSEC} 2014, Jeju, South Korea, December 1-4, 2014. Volume 1: Research Papers}, pages = {295--302}, publisher = {{IEEE} Computer Society}, year = {2014}, url = {https://doi.org/10.1109/APSEC.2014.52}, doi = {10.1109/APSEC.2014.52}, timestamp = {Wed, 16 Oct 2019 14:14:50 +0200}, biburl = {https://dblp.org/rec/conf/apsec/Choi0O14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/NakamuraOF14, author = {Masaki Nakamura and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata}, title = {Incremental Proofs of Termination, Confluence and Sufficient Completeness of {OBJ} Specifications}, booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi}, series = {Lecture Notes in Computer Science}, volume = {8373}, pages = {92--109}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54624-2\_5}, doi = {10.1007/978-3-642-54624-2\_5}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/NakamuraOF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/0002OF14, author = {Min Zhang and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata}, title = {Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ Method}, booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi}, series = {Lecture Notes in Computer Science}, volume = {8373}, pages = {560--577}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54624-2\_28}, doi = {10.1007/978-3-642-54624-2\_28}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/0002OF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/GAinALOF14, author = {Daniel G{\^{a}}in{\^{a}} and Dorel Lucanu and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata}, title = {On Automation of OTS/CafeOBJ Method}, booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi}, series = {Lecture Notes in Computer Science}, volume = {8373}, pages = {578--602}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54624-2\_29}, doi = {10.1007/978-3-642-54624-2\_29}, timestamp = {Fri, 02 Nov 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/GAinALOF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/OgataF14, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata}, title = {Theorem Proving Based on Proof Scores for Rewrite Theory Specifications of OTSs}, booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi}, series = {Lecture Notes in Computer Science}, volume = {8373}, pages = {630--656}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54624-2\_31}, doi = {10.1007/978-3-642-54624-2\_31}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/birthday/OgataF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/lopstr/PreiningOF14, author = {Norbert Preining and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Maurizio Proietti and Hirohisa Seki}, title = {Liveness Properties in CafeOBJ - {A} Case Study for Meta-Level Specifications}, booktitle = {Logic-Based Program Synthesis and Transformation - 24th International Symposium, {LOPSTR} 2014, Canterbury, UK, September 9-11, 2014. Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8981}, pages = {182--198}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-17822-6\_11}, doi = {10.1007/978-3-319-17822-6\_11}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/lopstr/PreiningOF14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/wrla/0002CO14, author = {Min Zhang and Yunja Choi and Kazuhiro Ogata}, editor = {Santiago Escobar}, title = {A Formal Semantics of the {OSEK/VDX} Standard in {\textdollar}{\textdollar}\{{\textbackslash}mathbb \{K\}\}{\textdollar}{\textdollar} Framework and Its Applications}, booktitle = {Rewriting Logic and Its Applications - 10th International Workshop, {WRLA} 2014, Held as a Satellite Event of ETAPS, Grenoble, France, April 5-6, 2014, Revised Selected Papers}, series = {Lecture Notes in Computer Science}, volume = {8663}, pages = {280--296}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-319-12904-4\_16}, doi = {10.1007/978-3-319-12904-4\_16}, timestamp = {Tue, 10 Nov 2020 12:25:00 +0100}, biburl = {https://dblp.org/rec/conf/wrla/0002CO14.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@proceedings{DBLP:conf/birthday/2014futatsugi, editor = {Shusaku Iida and Jos{\'{e}} Meseguer and Kazuhiro Ogata}, title = {Specification, Algebra, and Software - Essays Dedicated to Kokichi Futatsugi}, series = {Lecture Notes in Computer Science}, volume = {8373}, publisher = {Springer}, year = {2014}, url = {https://doi.org/10.1007/978-3-642-54624-2}, doi = {10.1007/978-3-642-54624-2}, isbn = {978-3-642-54623-5}, timestamp = {Thu, 21 Sep 2023 01:00:00 +0200}, biburl = {https://dblp.org/rec/conf/birthday/2014futatsugi.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/Ogata13, author = {Kazuhiro Ogata}, title = {Foreword}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {96-D}, number = {6}, pages = {1257}, year = {2013}, url = {https://doi.org/10.1587/transinf.E96.D.1257}, doi = {10.1587/TRANSINF.E96.D.1257}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/Ogata13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/OgataF13, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Compositionally Writing Proof Scores of Invariants in the OTS/CafeOBJ Method}, journal = {J. Univers. Comput. Sci.}, volume = {19}, number = {6}, pages = {771--804}, year = {2013}, url = {https://doi.org/10.3217/jucs-019-06-0771}, doi = {10.3217/JUCS-019-06-0771}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jucs/OgataF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/Ogata13, author = {Kazuhiro Ogata}, editor = {Pornsiri Muenchaisri and Gregg Rothermel}, title = {Model Checking Liveness Properties under Fairness {\&} Anti-fairness Assumptions}, booktitle = {20th Asia-Pacific Software Engineering Conference, {APSEC} 2013, Ratchathewi, Bangkok, Thailand, December 2-5, 2013 - Volume 1}, pages = {565--570}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/APSEC.2013.82}, doi = {10.1109/APSEC.2013.82}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/Ogata13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/compsac/Ogata013, author = {Kazuhiro Ogata and Min Zhang}, title = {A Divide and Conquer Approach to Model Checking of Liveness Properties}, booktitle = {37th Annual {IEEE} Computer Software and Applications Conference, {COMPSAC} 2013, Kyoto, Japan, July 22-26, 2013}, pages = {648--657}, publisher = {{IEEE} Computer Society}, year = {2013}, url = {https://doi.org/10.1109/COMPSAC.2013.104}, doi = {10.1109/COMPSAC.2013.104}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/compsac/Ogata013.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/0002OF13, author = {Min Zhang and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Hana Chockler}, title = {Formalization and Verification of Behavioral Correctness of Dynamic Software Updates}, booktitle = {Proceedings of the 2013 Validation Strategies for Software Evolution Workshop, {VSSE} 2013, Rome, Italy, March 16, 2013}, series = {Electronic Notes in Theoretical Computer Science}, volume = {294}, pages = {12--23}, publisher = {Elsevier}, year = {2013}, url = {https://doi.org/10.1016/j.entcs.2013.02.013}, doi = {10.1016/J.ENTCS.2013.02.013}, timestamp = {Tue, 22 Nov 2022 13:49:49 +0100}, biburl = {https://dblp.org/rec/journals/entcs/0002OF13.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jucs/GainaFO12, author = {Daniel G{\^{a}}in{\^{a}} and Kokichi Futatsugi and Kazuhiro Ogata}, title = {Constructor-based Logics}, journal = {J. Univers. Comput. Sci.}, volume = {18}, number = {16}, pages = {2204--2233}, year = {2012}, url = {https://doi.org/10.3217/jucs-018-16-2204}, doi = {10.3217/JUCS-018-16-2204}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jucs/GainaFO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/tcs/FutatsugiGO12, author = {Kokichi Futatsugi and Daniel G{\^{a}}in{\^{a}} and Kazuhiro Ogata}, title = {Principles of proof scores in CafeOBJ}, journal = {Theor. Comput. Sci.}, volume = {464}, pages = {90--112}, year = {2012}, url = {https://doi.org/10.1016/j.tcs.2012.07.041}, doi = {10.1016/J.TCS.2012.07.041}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/tcs/FutatsugiGO12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/0002O12, author = {Min Zhang and Kazuhiro Ogata}, editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri}, title = {Invariant-preserved Transformation of State Machines from Equations into Rewrite Rules}, booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong Kong, China, December 4-7, 2012}, pages = {511--516}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/APSEC.2012.99}, doi = {10.1109/APSEC.2012.99}, timestamp = {Sun, 08 Aug 2021 01:40:48 +0200}, biburl = {https://dblp.org/rec/conf/apsec/0002O12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/0002OF12, author = {Min Zhang and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Karl R. P. H. Leung and Pornsiri Muenchaisri}, title = {An Algebraic Approach to Formal Analysis of Dynamic Software Updating Mechanisms}, booktitle = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong Kong, China, December 4-7, 2012}, pages = {664--673}, publisher = {{IEEE}}, year = {2012}, url = {https://doi.org/10.1109/APSEC.2012.100}, doi = {10.1109/APSEC.2012.100}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/0002OF12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/OgataH12, author = {Kazuhiro Ogata and Thi Thanh Huyen Phan}, editor = {Toshiaki Aoki and Kenji Taguchi}, title = {Specification and Model Checking of the Chandy and Lamport Distributed Snapshot Algorithm in Rewriting Logic}, booktitle = {Formal Methods and Software Engineering - 14th International Conference on Formal Engineering Methods, {ICFEM} 2012, Kyoto, Japan, November 12-16, 2012. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {7635}, pages = {87--102}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34281-3\_9}, doi = {10.1007/978-3-642-34281-3\_9}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/OgataH12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/OuranosOS12, author = {Iakovos Ouranos and Kazuhiro Ogata and Petros S. Stefaneas}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Formal Analysis of {TESLA} Protocol in the Timed OTS/CafeOBJ Method}, booktitle = {Leveraging Applications of Formal Methods, Verification and Validation. Applications and Case Studies - 5th International Symposium, ISoLA 2012, Heraklion, Crete, Greece, October 15-18, 2012, Proceedings, Part {II}}, series = {Lecture Notes in Computer Science}, volume = {7610}, pages = {126--142}, publisher = {Springer}, year = {2012}, url = {https://doi.org/10.1007/978-3-642-34032-1\_15}, doi = {10.1007/978-3-642-34032-1\_15}, timestamp = {Tue, 14 May 2019 10:00:41 +0200}, biburl = {https://dblp.org/rec/conf/isola/OuranosOS12.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/ZhangON11, author = {Min Zhang and Kazuhiro Ogata and Masaki Nakamura}, title = {Translation of State Machines from Equational Theories into Rewrite Theories with Tool Support}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {94-D}, number = {5}, pages = {976--988}, year = {2011}, url = {https://doi.org/10.1587/transinf.E94.D.976}, doi = {10.1587/TRANSINF.E94.D.976}, timestamp = {Sun, 12 Nov 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ieicet/ZhangON11.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/KongOF10, author = {Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi}, title = {Towards Reliable E-Government Systems with the OTS/CafeOBJ Method}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {93-D}, number = {5}, pages = {974--984}, year = {2010}, url = {https://doi.org/10.1587/transinf.E93.D.974}, doi = {10.1587/TRANSINF.E93.D.974}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/KongOF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/OgataF10, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Proof Score Approach to Analysis of Electronic Commerce Protocols}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {20}, number = {2}, pages = {253--287}, year = {2010}, url = {https://doi.org/10.1142/S0218194010004712}, doi = {10.1142/S0218194010004712}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/OgataF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/jsc/NakamuraOF10, author = {Masaki Nakamura and Kazuhiro Ogata and Kokichi Futatsugi}, title = {Reducibility of operation symbols in term rewriting systems and its application to behavioral specifications}, journal = {J. Symb. Comput.}, volume = {45}, number = {5}, pages = {551--573}, year = {2010}, url = {https://doi.org/10.1016/j.jsc.2010.01.008}, doi = {10.1016/J.JSC.2010.01.008}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/jsc/NakamuraOF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/OgataF10, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Jin Song Dong and Huibiao Zhu}, title = {A Combination of Forward and Backward Reachability Analysis Methods}, booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6447}, pages = {501--517}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16901-4\_33}, doi = {10.1007/978-3-642-16901-4\_33}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/OgataF10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/ZhangON10, author = {Min Zhang and Kazuhiro Ogata and Masaki Nakamura}, editor = {Jin Song Dong and Huibiao Zhu}, title = {Specification Translation of State Machines from Equational Theories into Rewrite Theories}, booktitle = {Formal Methods and Software Engineering - 12th International Conference on Formal Engineering Methods, {ICFEM} 2010, Shanghai, China, November 17-19, 2010. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {6447}, pages = {678--693}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16901-4\_44}, doi = {10.1007/978-3-642-16901-4\_44}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icfem/ZhangON10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isola/OuranosSO10, author = {Iakovos Ouranos and Petros S. Stefaneas and Kazuhiro Ogata}, editor = {Tiziana Margaria and Bernhard Steffen}, title = {Formal Modeling and Verification of Sensor Network Encryption Protocol in the OTS/CafeOBJ Method}, booktitle = {Leveraging Applications of Formal Methods, Verification, and Validation - 4th International Symposium on Leveraging Applications, ISoLA 2010, Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {I}}, series = {Lecture Notes in Computer Science}, volume = {6415}, pages = {75--89}, publisher = {Springer}, year = {2010}, url = {https://doi.org/10.1007/978-3-642-16558-0\_9}, doi = {10.1007/978-3-642-16558-0\_9}, timestamp = {Sun, 02 Jun 2019 21:11:28 +0200}, biburl = {https://dblp.org/rec/conf/isola/OuranosSO10.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/NakamuraOF09, author = {Masaki Nakamura and Kazuhiro Ogata and Kokichi Futatsugi}, title = {User-Defined On-Demand Matching}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {92-D}, number = {7}, pages = {1401--1411}, year = {2009}, url = {https://doi.org/10.1587/transinf.E92.D.1401}, doi = {10.1587/TRANSINF.E92.D.1401}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/NakamuraOF09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/calco/GainaFO09, author = {Daniel G{\^{a}}in{\^{a}} and Kokichi Futatsugi and Kazuhiro Ogata}, editor = {Alexander Kurz and Marina Lenisa and Andrzej Tarlecki}, title = {Constructor-Based Institutions}, booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference, {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5728}, pages = {398--412}, publisher = {Springer}, year = {2009}, url = {https://doi.org/10.1007/978-3-642-03741-2\_27}, doi = {10.1007/978-3-642-03741-2\_27}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/calco/GainaFO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/ZhangO09, author = {Min Zhang and Kazuhiro Ogata}, editor = {Byoungju Choi}, title = {Modular Implementation of a Translator from Behavioral Specifications to Rewrite Theory Specifications}, booktitle = {Proceedings of the Ninth International Conference on Quality Software, {QSIC} 2009, Jeju, Korea, August 24-25, 2009}, pages = {406--411}, publisher = {{IEEE} Computer Society}, year = {2009}, url = {https://doi.org/10.1109/QSIC.2009.60}, doi = {10.1109/QSIC.2009.60}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/ZhangO09.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/NakamuraKOF08, author = {Masaki Nakamura and Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi}, title = {A Specification Translation from Behavioral Specifications to Rewrite Specifications}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {91-D}, number = {5}, pages = {1492--1503}, year = {2008}, url = {https://doi.org/10.1093/ietisy/e91-d.5.1492}, doi = {10.1093/IETISY/E91-D.5.1492}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/NakamuraKOF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/OgataF08, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Proof Score Approach to Verification of Liveness Properties}, journal = {{IEICE} Trans. Inf. Syst.}, volume = {91-D}, number = {12}, pages = {2804--2817}, year = {2008}, url = {https://doi.org/10.1093/ietisy/e91-d.12.2804}, doi = {10.1093/IETISY/E91-D.12.2804}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/OgataF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcit/KongOCF08, author = {Weiqiang Kong and Kazuhiro Ogata and Jian Cheng and Kokichi Futatsugi}, editor = {Qiang Wu and Xiangjian He and Quang Vinh Nguyen and Wenjing Jia and Mao Lin Huang}, title = {Trace anonymity in the OTS/CafeOBJ method}, booktitle = {Proceedings of 8th {IEEE} International Conference on Computer and Information Technology, {CIT} 2008, Sydney, Australia, July 8-11, 2008}, pages = {754--759}, publisher = {{IEEE} Computer Society}, year = {2008}, url = {https://doi.org/10.1109/CIT.2008.4594769}, doi = {10.1109/CIT.2008.4594769}, timestamp = {Wed, 16 Oct 2019 14:14:55 +0200}, biburl = {https://dblp.org/rec/conf/IEEEcit/KongOCF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/OgataF08, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Shaoying Liu and T. S. E. Maibaum and Keijiro Araki}, title = {Formal Analysis of the Bakery Protocol with Consideration of Nonatomic Reads and Writes}, booktitle = {Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, {ICFEM} 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings}, series = {Lecture Notes in Computer Science}, volume = {5256}, pages = {187--206}, publisher = {Springer}, year = {2008}, url = {https://doi.org/10.1007/978-3-540-88194-0\_13}, doi = {10.1007/978-3-540-88194-0\_13}, timestamp = {Tue, 14 May 2019 10:00:50 +0200}, biburl = {https://dblp.org/rec/conf/icfem/OgataF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/OgataF07, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Comparison of Maude and {SAL} by Conducting Case Studies Model Checking a Distributed Algorithm}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {90-A}, number = {8}, pages = {1690--1703}, year = {2007}, url = {https://doi.org/10.1093/ietfec/e90-a.8.1690}, doi = {10.1093/IETFEC/E90-A.8.1690}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/OgataF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ieicet/OgataF07a, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {State Machines as Inductive Types}, journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.}, volume = {90-A}, number = {12}, pages = {2985--2988}, year = {2007}, url = {https://doi.org/10.1093/ietfec/e90-a.12.2985}, doi = {10.1093/IETFEC/E90-A.12.2985}, timestamp = {Sat, 11 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ieicet/OgataF07a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/KongOF07, author = {Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi}, title = {Specification and Verification of Workflows with Rbac Mechanism and Sod Constraints}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {17}, number = {1}, pages = {3--32}, year = {2007}, url = {https://doi.org/10.1142/S0218194007003124}, doi = {10.1142/S0218194007003124}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/KongOF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijseke/NakanoONF07, author = {Masahiro Nakano and Kazuhiro Ogata and Masaki Nakamura and Kokichi Futatsugi}, title = {Cr{\`{E}}me: an Automatic Invariant Prover of Behavioral Specifications}, journal = {Int. J. Softw. Eng. Knowl. Eng.}, volume = {17}, number = {6}, pages = {783--804}, year = {2007}, url = {https://doi.org/10.1142/S0218194007003458}, doi = {10.1142/S0218194007003458}, timestamp = {Wed, 22 Jul 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijseke/NakanoONF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/imt/Xiang0KF07, author = {Jianwen Xiang and Kazuhiro Ogata and Weiqiang Kong and Kokichi Futatsugi}, title = {From Fault Tree Analysis to Formal System Specification and Verification with OTS/CafeOBJ}, journal = {Inf. Media Technol.}, volume = {2}, number = {2}, pages = {448--460}, year = {2007}, url = {https://doi.org/10.11185/imt.2.448}, doi = {10.11185/IMT.2.448}, timestamp = {Tue, 27 Aug 2024 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/imt/Xiang0KF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/scp/OgataF07, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Modeling and verification of real-time systems based on equations}, journal = {Sci. Comput. Program.}, volume = {66}, number = {2}, pages = {162--180}, year = {2007}, url = {https://doi.org/10.1016/j.scico.2006.10.011}, doi = {10.1016/J.SCICO.2006.10.011}, timestamp = {Wed, 17 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/scp/OgataF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifm/KongOF07, author = {Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Jim Davies and Jeremy Gibbons}, title = {Algebraic Approaches to Formal Analysis of the Mondex Electronic Purse System}, booktitle = {Integrated Formal Methods, 6th International Conference, {IFM} 2007, Oxford, UK, July 2-5, 2007, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4591}, pages = {393--412}, publisher = {Springer}, year = {2007}, url = {https://doi.org/10.1007/978-3-540-73210-5\_21}, doi = {10.1007/978-3-540-73210-5\_21}, timestamp = {Tue, 14 May 2019 10:00:51 +0200}, biburl = {https://dblp.org/rec/conf/ifm/KongOF07.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OgataF08, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Eerke A. Boiten and John Derrick and Graeme Smith}, title = {Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ Method}, booktitle = {Proceedings of the {BCS-FACS} Refinement Workshop, REFINE@IFM 2007, Oxford, UK, July 2007}, series = {Electronic Notes in Theoretical Computer Science}, volume = {201}, pages = {127--154}, publisher = {Elsevier}, year = {2007}, url = {https://doi.org/10.1016/j.entcs.2008.02.018}, doi = {10.1016/J.ENTCS.2008.02.018}, timestamp = {Thu, 09 Feb 2023 12:15:31 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OgataF08.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/birthday/OgataF06, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Kokichi Futatsugi and Jean{-}Pierre Jouannaud and Jos{\'{e}} Meseguer}, title = {Some Tips on Writing Proof Scores in the OTS/CafeOBJ Method}, booktitle = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday}, series = {Lecture Notes in Computer Science}, volume = {4060}, pages = {596--615}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11780274\_31}, doi = {10.1007/11780274\_31}, timestamp = {Thu, 21 Sep 2023 09:08:34 +0200}, biburl = {https://dblp.org/rec/conf/birthday/OgataF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icfem/OgataNKF06, author = {Kazuhiro Ogata and Masahiro Nakano and Weiqiang Kong and Kokichi Futatsugi}, editor = {Zhiming Liu and Jifeng He}, title = {Induction-Guided Falsification}, booktitle = {Formal Methods and Software Engineering, 8th International Conference on Formal Engineering Methods, {ICFEM} 2006, Macao, China, November 1-3, 2006, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {4260}, pages = {114--131}, publisher = {Springer}, year = {2006}, url = {https://doi.org/10.1007/11901433\_7}, doi = {10.1007/11901433\_7}, timestamp = {Mon, 21 Mar 2022 22:43:10 +0100}, biburl = {https://dblp.org/rec/conf/icfem/OgataNKF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/NakanoONF06, author = {Masahiro Nakano and Kazuhiro Ogata and Masaki Nakamura and Kokichi Futatsugi}, title = {Automating Invariant Verification of Behavioral Specifications}, booktitle = {Sixth International Conference on Quality Software {(QSIC} 2006), 26-28 October 2006, Beijing, China}, pages = {49--56}, publisher = {{IEEE} Computer Society}, year = {2006}, url = {https://doi.org/10.1109/QSIC.2006.17}, doi = {10.1109/QSIC.2006.17}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/NakanoONF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/OgataKF06, author = {Kazuhiro Ogata and Weiqiang Kong and Kokichi Futatsugi}, editor = {Kang Zhang and George Spanoudakis and Giuseppe Visaggio}, title = {Falsification of OTSs by Searches of Bounded Reachable State Spaces}, booktitle = {Proceedings of the Eighteenth International Conference on Software Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco, CA, USA, July 5-7, 2006}, pages = {440--445}, year = {2006}, timestamp = {Thu, 15 Aug 2024 07:54:35 +0200}, biburl = {https://dblp.org/rec/conf/seke/OgataKF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/webist/XiangKFO06, author = {Jianwen Xiang and Weiqiang Kong and Kokichi Futatsugi and Kazuhiro Ogata}, editor = {Jos{\'{e}} A. Moinhos Cordeiro and Vitor Pedrosa and Bruno Encarna{\c{c}}{\~{a}}o and Joaquim Filipe}, title = {Analysis of Positive Incentives for Protecting Secrets in Digital Rights Management}, booktitle = {{WEBIST} 2006, Proceedings of the Second International Conference on Web Information Systems and Technologies: Society, e-Business and e-Government / e-Learning, Set{\'{u}}bal, Portugal, April 11-13, 2006}, pages = {5--12}, publisher = {{INSTICC} Press}, year = {2006}, timestamp = {Wed, 31 Jul 2019 10:00:37 +0200}, biburl = {https://dblp.org/rec/conf/webist/XiangKFO06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ijpcc/SeinoOF05, author = {Takahiro Seino and Kazuhiro Ogata and Kokichi Futatsugi}, title = {Mechanically supporting case analysis for verification of distributed systems}, journal = {Int. J. Pervasive Comput. Commun.}, volume = {1}, number = {2}, pages = {135--146}, year = {2005}, url = {https://doi.org/10.1108/17427370580000119}, doi = {10.1108/17427370580000119}, timestamp = {Thu, 16 Apr 2020 01:00:00 +0200}, biburl = {https://dblp.org/rec/journals/ijpcc/SeinoOF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcit/OgataF05, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Analysis of the Suzuki-Kasami Algorithm with {SAL} Model Checkers}, booktitle = {Fifth International Conference on Computer and Information Technology {(CIT} 2005), 21-23 September 2005, Shanghai, China}, pages = {937--943}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/CIT.2005.76}, doi = {10.1109/CIT.2005.76}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcit/OgataF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/KongSFO05, author = {Weiqiang Kong and Takahiro Seino and Kokichi Futatsugi and Kazuhiro Ogata}, title = {A Lightweight Integration of Theorem Proving and Model Checking for System Verification}, booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005), 15-17 December 2005, Taipei, Taiwan}, pages = {59--66}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/APSEC.2005.9}, doi = {10.1109/APSEC.2005.9}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/KongSFO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apsec/OgataF05, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Analysis of the Suzuki-Kasami Algorithm with the Maude Model Checker}, booktitle = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005), 15-17 December 2005, Taipei, Taiwan}, pages = {159--166}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/APSEC.2005.40}, doi = {10.1109/APSEC.2005.40}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apsec/OgataF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/icdcs/OgataF05, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Equational Approach to Formal Analysis of {TLS}}, booktitle = {25th International Conference on Distributed Computing Systems {(ICDCS} 2005), 6-10 June 2005, Columbus, OH, {USA}}, pages = {795--804}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/ICDCS.2005.32}, doi = {10.1109/ICDCS.2005.32}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/icdcs/OgataF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pdcat/OgataNNF05, author = {Kazuhiro Ogata and Masahiro Nakano and Masaki Nakamura and Kokichi Futatsugi}, title = {Chocolat/SMV: {A} Translator from CafeOBJ into {SMV}}, booktitle = {Sixth International Conference on Parallel and Distributed Computing, Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian, China}, pages = {416--420}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/PDCAT.2005.98}, doi = {10.1109/PDCAT.2005.98}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/pdcat/OgataNNF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/XiangO05, author = {Jianwen Xiang and Kazuhiro Ogata}, title = {Formal Fault Tree Analysis of State Transition Systems}, booktitle = {Fifth International Conference on Quality Software {(QSIC} 2005), 19-20 September 2005, Melbourne, Australia}, pages = {124--134}, publisher = {{IEEE} Computer Society}, year = {2005}, url = {https://doi.org/10.1109/QSIC.2005.32}, doi = {10.1109/QSIC.2005.32}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/XiangO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/KongOF05, author = {Weiqiang Kong and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {Formal Analysis of Workflow Systems with Security Considerations}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, pages = {531--536}, year = {2005}, timestamp = {Thu, 12 Mar 2020 11:30:49 +0100}, biburl = {https://dblp.org/rec/conf/seke/KongOF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/OgataF05, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {Proof Score Approach to Verification of Liveness Properties}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, pages = {608--613}, year = {2005}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/OgataF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/seke/SenachakSOF05, author = {Jittisak Senachak and Takahiro Seino and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {William C. Chu and Natalia Juristo Juzgado and W. Eric Wong}, title = {Provably Correct Translation from CafeOBJ into Java}, booktitle = {Proceedings of the 17th International Conference on Software Engineering and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of China, July 14-16, 2005}, pages = {614--619}, year = {2005}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/seke/SenachakSOF05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vstte/FutatsugiGO05, author = {Kokichi Futatsugi and Joseph A. Goguen and Kazuhiro Ogata}, editor = {Bertrand Meyer and Jim Woodcock}, title = {Verifying Design with Proof Scores}, booktitle = {Verified Software: Theories, Tools, Experiments, First {IFIP} {TC} 2/WG 2.3 Conference, {VSTTE} 2005, Zurich, Switzerland, October 10-13, 2005, Revised Selected Papers and Discussions}, series = {Lecture Notes in Computer Science}, volume = {4171}, pages = {277--290}, publisher = {Springer}, year = {2005}, url = {https://doi.org/10.1007/978-3-540-69149-5\_30}, doi = {10.1007/978-3-540-69149-5\_30}, timestamp = {Fri, 17 Feb 2023 09:02:02 +0100}, biburl = {https://dblp.org/rec/conf/vstte/FutatsugiGO05.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/SeinoOF06, author = {Takahiro Seino and Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Horatiu Cirstea and Narciso Mart{\'{\i}}{-}Oliet}, title = {A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ Method}, booktitle = {Proceedings of the 6th International Workshop on Rule-Based Programming, RULE@RDP 2005, Nara, Japan, April 23, 2005}, series = {Electronic Notes in Theoretical Computer Science}, volume = {147}, number = {1}, pages = {57--72}, publisher = {Elsevier}, year = {2005}, url = {https://doi.org/10.1016/j.entcs.2005.06.037}, doi = {10.1016/J.ENTCS.2005.06.037}, timestamp = {Thu, 15 Dec 2022 15:09:06 +0100}, biburl = {https://dblp.org/rec/journals/entcs/SeinoOF06.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcit/SeinoOF04, author = {Takahiro Seino and Kazuhiro Ogata and Kokichi Futatsugi}, title = {Supporting Case Analysis with Algebraic Specification Languages}, booktitle = {2004 International Conference on Computer and Information Technology {(CIT} 2004), 14-16 September 2004, Wuhan, China}, pages = {1073--1080}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/CIT.2004.1357338}, doi = {10.1109/CIT.2004.1357338}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcit/SeinoOF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/IEEEcit/KongOXF04, author = {Weiqiang Kong and Kazuhiro Ogata and Jianwen Xiang and Kokichi Futatsugi}, title = {Formal Analysis of an Anonymous Fair Exchange E-Commerce Protocol}, booktitle = {2004 International Conference on Computer and Information Technology {(CIT} 2004), 14-16 September 2004, Wuhan, China}, pages = {1100--1107}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/CIT.2004.1357342}, doi = {10.1109/CIT.2004.1357342}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/IEEEcit/KongOXF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ifip10-3/OgataYSF04, author = {Kazuhiro Ogata and Daigo Yamagishi and Takahiro Seino and Kokichi Futatsugi}, editor = {Bernd Kleinjohann and Guang R. Gao and Hermann Kopetz and Lisa Kleinjohann and Achim Rettberg}, title = {Modeling and Verification of Hybrid Systems Based on Equations}, booktitle = {Design Methods and Applications for Distributed Embedded Systems, {IFIP} 18th World Computer Congress, {TC10} Working Conference on Distributed and Parallel Embedded Systems {(DIPES} 2004), 22-27 August 2004, Toulouse, France}, series = {{IFIP}}, volume = {150}, pages = {43--52}, publisher = {Kluwer/Springer}, year = {2004}, url = {https://doi.org/10.1007/1-4020-8149-9\_5}, doi = {10.1007/1-4020-8149-9\_5}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ifip10-3/OgataYSF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/qsic/OgataF04, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Equational Approach to Formal Verification of {SET}}, booktitle = {4th International Conference on Quality Software {(QSIC} 2004), 8-10 September 2004, Braunschweig, Germany}, pages = {50--59}, publisher = {{IEEE} Computer Society}, year = {2004}, url = {https://doi.org/10.1109/QSIC.2004.1357944}, doi = {10.1109/QSIC.2004.1357944}, timestamp = {Thu, 23 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/qsic/OgataF04.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/cai/DiaconescuFO03, author = {Razvan Diaconescu and Kokichi Futatsugi and Kazuhiro Ogata}, title = {CafeOBJ: Logical Foundations and Methodologies}, journal = {Comput. Artif. Intell.}, volume = {22}, number = {3-4}, pages = {257--283}, year = {2003}, url = {http://www.cai.sk/ojs/index.php/cai/article/view/457}, timestamp = {Mon, 14 Feb 2022 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/cai/DiaconescuFO03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@article{DBLP:journals/ipl/OgataF03, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Flaw and modification of the iKP electronic payment protocols}, journal = {Inf. Process. Lett.}, volume = {86}, number = {2}, pages = {57--62}, year = {2003}, url = {https://doi.org/10.1016/S0020-0190(02)00480-5}, doi = {10.1016/S0020-0190(02)00480-5}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/ipl/OgataF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/OgataF03, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Elie Najm and Uwe Nestmann and Perdita Stevens}, title = {Proof Scores in the OTS/CafeOBJ Method}, booktitle = {Formal Methods for Open Object-Based Distributed Systems, 6th {IFIP} {WG} 6.1 International Conference, {FMOODS} 2003, Paris, France, November 19.21, 2003, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2884}, pages = {170--184}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-39958-2\_12}, doi = {10.1007/978-3-540-39958-2\_12}, timestamp = {Tue, 14 May 2019 10:00:40 +0200}, biburl = {https://dblp.org/rec/conf/fmoods/OgataF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isss2/OgataF03, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Kokichi Futatsugi and Fumio Mizoguchi and Naoki Yonezaki}, title = {Formal Analysis of the NetBill Electronic Commerce Protocol}, 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 = {45--64}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/978-3-540-37621-7\_3}, doi = {10.1007/978-3-540-37621-7\_3}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/isss2/OgataF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/vmcai/OgataF03, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Lenore D. Zuck and Paul C. Attie and Agostino Cortesi and Supratik Mukhopadhyay}, title = {Formal Verification of the Horn-Preneel Micropayment Protocol}, booktitle = {Verification, Model Checking, and Abstract Interpretation, 4th International Conference, {VMCAI} 2003, New York, NY, USA, January 9-11, 2002, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {2575}, pages = {238--252}, publisher = {Springer}, year = {2003}, url = {https://doi.org/10.1007/3-540-36384-X\_20}, doi = {10.1007/3-540-36384-X\_20}, timestamp = {Tue, 14 May 2019 10:00:43 +0200}, biburl = {https://dblp.org/rec/conf/vmcai/OgataF03.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/fmoods/OgataF02, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Bart Jacobs and Arend Rensink}, title = {Formal Analysis of Suzuki {\&} Kasami Distributed Mutual Exclusion Algorithm}, booktitle = {Formal Methods for Open Object-Based Distributed Systems V, {IFIP} {TC6/WG6.1} Fifth International Conference on Formal Methods for Open Object-Based Distributed Systems {(FMOODS} 2002), March 20-22, 2002, Enschede, The Netherlands}, series = {{IFIP} Conference Proceedings}, volume = {209}, pages = {181--195}, publisher = {Kluwer}, year = {2002}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/fmoods/OgataF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/isss2/HasebeO02a, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Mitsuhiro Okada and Benjamin C. Pierce and Andre Scedrov and Hideyuki Tokuda and Akinori Yonezawa}, title = {Formal Analysis of the \emph{i}KP Electronic Payment Protocols}, booktitle = {Software Security -- Theories and Systems, Mext-NSF-JSPS International Symposium, {ISSS} 2002, Tokyo, Japan, November 8-10, 2002, Revised Papers}, series = {Lecture Notes in Computer Science}, volume = {2609}, pages = {441--460}, publisher = {Springer}, year = {2002}, url = {https://doi.org/10.1007/3-540-36532-X\_25}, doi = {10.1007/3-540-36532-X\_25}, timestamp = {Tue, 14 May 2019 10:00:47 +0200}, biburl = {https://dblp.org/rec/conf/isss2/HasebeO02a.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/OgataF02, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Fabio Gadducci and Ugo Montanari}, title = {Rewriting-Based Verification of Authentication Protocols}, booktitle = {Fourth International Workshop on Rewriting logic and Its Applications, WRLA2002, Pisa, Italy, 19-21, 2002}, series = {Electronic Notes in Theoretical Computer Science}, volume = {71}, pages = {208--222}, publisher = {Elsevier}, year = {2002}, url = {https://doi.org/10.1016/S1571-0661(05)82536-8}, doi = {10.1016/S1571-0661(05)82536-8}, timestamp = {Wed, 07 Dec 2022 08:35:58 +0100}, biburl = {https://dblp.org/rec/journals/entcs/OgataF02.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/apaqs/OgataF01, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Formally Modeling and Verifying Ricart{\&}Agrawala Distributed Mutual Exclusion Algorithm}, booktitle = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11 December 2001, Hong Kong, China, Proceedings}, pages = {357--366}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/APAQS.2001.990041}, doi = {10.1109/APAQS.2001.990041}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/apaqs/OgataF01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/ipps/OgataF01, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Specifying and verifying a railroad crossing with CafeOBJ}, booktitle = {Proceedings of the 15th International Parallel {\&} Distributed Processing Symposium (IPDPS-01), San Francisco, CA, USA, April 23-27, 2001}, pages = {150}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/IPDPS.2001.925137}, doi = {10.1109/IPDPS.2001.925137}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/ipps/OgataF01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/kbse/OgataF01, author = {Kazuhiro Ogata and Kokichi Futatsugi}, title = {Modeling and Verification of Distributed Real-Time Systems Based on CafeOBJ}, booktitle = {16th {IEEE} International Conference on Automated Software Engineering {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA, {USA}}, pages = {185--192}, publisher = {{IEEE} Computer Society}, year = {2001}, url = {https://doi.org/10.1109/ASE.2001.989804}, doi = {10.1109/ASE.2001.989804}, timestamp = {Fri, 24 Mar 2023 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/kbse/OgataF01.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/OgataF00, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Barrett R. Bryant and Janice H. Carroll and Ernesto Damiani and Hisham Haddad and Dave Oppenheim}, title = {Operational Semantics of Rewriting with the On-demand Evaluation Strategy}, booktitle = {Applied Computing 2000, Proceedings of the 2000 {ACM} Symposium on Applied Computing, Villa Olmo, Via Cantoni 1, 22100 Como, Italy, March 19-21, 2000. Volume 2}, pages = {756--764}, publisher = {{ACM}}, year = {2000}, url = {https://doi.org/10.1145/338407.338558}, doi = {10.1145/338407.338558}, timestamp = {Tue, 06 Nov 2018 11:06:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/OgataF00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:journals/entcs/NakamuraO00, author = {Masaki Nakamura and Kazuhiro Ogata}, editor = {Kokichi Futatsugi}, title = {The evaluation strategy for head normal form with and without on-demand flags}, booktitle = {The 3rd International Workshop on Rewriting Logic and its Applications, {WRLA} 2000, Kanzawa, Japan, September 18-20, 2000}, series = {Electronic Notes in Theoretical Computer Science}, volume = {36}, pages = {212--228}, publisher = {Elsevier}, year = {2000}, url = {https://doi.org/10.1016/S1571-0661(05)80143-4}, doi = {10.1016/S1571-0661(05)80143-4}, timestamp = {Fri, 12 Feb 2021 00:00:00 +0100}, biburl = {https://dblp.org/rec/journals/entcs/NakamuraO00.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/asian/OgataF99, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {P. S. Thiagarajan and Roland H. C. Yap}, title = {Formal Verification of the {MCS} List-Based Queuing Lock}, booktitle = {Advances in Computing Science - ASIAN'99, 5th Asian Computing Science Conference, Phuket, Thailand, December 10-12, 1999, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1742}, pages = {281--293}, publisher = {Springer}, year = {1999}, url = {https://doi.org/10.1007/3-540-46674-6\_24}, doi = {10.1007/3-540-46674-6\_24}, timestamp = {Tue, 14 May 2019 10:00:53 +0200}, biburl = {https://dblp.org/rec/conf/asian/OgataF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/OgataIF99, author = {Kazuhiro Ogata and Shigenori Ioroi and Kokichi Futatsugi}, editor = {Barrett R. Bryant and Gary B. Lamont and Hisham Haddad and Janice H. Carroll}, title = {Optimizing Term Rewriting Using Discrimination Nets With Specialization}, booktitle = {Proceedings of the 1999 {ACM} Symposium on Applied Computing, SAC'99, San Antonio, Texas, USA, February 28 - March 2, 1999}, pages = {511--518}, publisher = {{ACM}}, year = {1999}, url = {https://doi.org/10.1145/298151.298431}, doi = {10.1145/298151.298431}, timestamp = {Sun, 02 Jun 2019 21:18:37 +0200}, biburl = {https://dblp.org/rec/conf/sac/OgataIF99.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/OgataHIF98, author = {Kazuhiro Ogata and Hiromichi Hirata and Shigenori Ioroi and Kokichi Futatsugi}, editor = {David J. Pritchard and Jeff Reeve}, title = {Experimental Implementation of Parallel {TRAM} on Massively Parallel Computer}, booktitle = {Euro-Par '98 Parallel Processing, 4th International Euro-Par Conference, Southampton, UK, September 1-4, 1998, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1470}, pages = {846--851}, publisher = {Springer}, year = {1998}, url = {https://doi.org/10.1007/BFb0057939}, doi = {10.1007/BFB0057939}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/OgataHIF98.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/europar/OgataKIF97, author = {Kazuhiro Ogata and Masaru Kondo and Shigenori Ioroi and Kokichi Futatsugi}, editor = {Christian Lengauer and Martin Griebl and Sergei Gorlatch}, title = {Design and Implementation of Parallel {TRAM}}, booktitle = {Euro-Par '97 Parallel Processing, Third International Euro-Par Conference, Passau, Germany, August 26-29, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1300}, pages = {1209--1216}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0002874}, doi = {10.1007/BFB0002874}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/europar/OgataKIF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/plilp/OgataF97, author = {Kazuhiro Ogata and Kokichi Futatsugi}, editor = {Hugh Glaser and Pieter H. Hartel and Herbert Kuchen}, title = {Implementation of Term Rewritings with the Evaluation Strategy}, booktitle = {Programming Languages: Implementations, Logics, and Programs, 9th International Symposium, PLILP'97, Including a Special Trach on Declarative Programming Languages in Education, Southampton, UK, September 3-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1292}, pages = {225--239}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/BFb0033847}, doi = {10.1007/BFB0033847}, timestamp = {Tue, 14 May 2019 10:00:36 +0200}, biburl = {https://dblp.org/rec/conf/plilp/OgataF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/rta/OgataOF97, author = {Kazuhiro Ogata and Koichi Ohhara and Kokichi Futatsugi}, editor = {Hubert Comon}, title = {{TRAM:} An Abstract Machine for Order-Sorted Conditioned Term Rewriting Systems}, booktitle = {Rewriting Techniques and Applications, 8th International Conference, RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings}, series = {Lecture Notes in Computer Science}, volume = {1232}, pages = {335--338}, publisher = {Springer}, year = {1997}, url = {https://doi.org/10.1007/3-540-62950-5\_84}, doi = {10.1007/3-540-62950-5\_84}, timestamp = {Tue, 14 May 2019 10:00:46 +0200}, biburl = {https://dblp.org/rec/conf/rta/OgataOF97.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/sac/OgataD94, author = {Kazuhiro Ogata and Norihisa Doi}, editor = {Hal Berghel and Terry Hlengl and Joseph E. Urban}, title = {Object allocation and dynamic compilation in MultithreadSmalltalk}, booktitle = {Proceedings of the 1994 {ACM} Symposium on Applied Computing, SAC'94, Phoenix, AZ, USA, March 6-8, 1994}, pages = {452--456}, publisher = {{ACM}}, year = {1994}, url = {https://doi.org/10.1145/326619.326808}, doi = {10.1145/326619.326808}, timestamp = {Tue, 06 Nov 2018 11:06:48 +0100}, biburl = {https://dblp.org/rec/conf/sac/OgataD94.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/pldi/OgataKID92, author = {Kazuhiro Ogata and Satoshi Kurihara and Mikio Inari and Norihisa Doi}, editor = {Stuart I. Feldman and Richard L. Wexelblat}, title = {The Design and Implementation of HoME}, booktitle = {Proceedings of the {ACM} SIGPLAN'92 Conference on Programming Language Design and Implementation (PLDI), San Francisco, California, USA, June 17-19, 1992}, pages = {44--54}, publisher = {{ACM}}, year = {1992}, url = {https://doi.org/10.1145/143095.143117}, doi = {10.1145/143095.143117}, timestamp = {Fri, 09 Jul 2021 14:03:46 +0200}, biburl = {https://dblp.org/rec/conf/pldi/OgataKID92.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
@inproceedings{DBLP:conf/tools/OgataKID92, author = {Kazuhiro Ogata and Satoshi Kurihara and Mikio Inari and Norihisa Doi}, editor = {John Potter and Mario Tokoro and Bertrand Meyer}, title = {HoME: Smalltalk on the Match Environment}, booktitle = {{TOOLS} 1992: 6th International Conference on Technology of Object-Oriented Languages and Systems, Sydney, Australia}, pages = {153--161}, publisher = {Prentice Hall}, year = {1992}, timestamp = {Sat, 03 Mar 2018 00:00:00 +0100}, biburl = {https://dblp.org/rec/conf/tools/OgataKID92.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.