default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX 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.
last updated on 2024-08-28 22:29 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
