Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Kokichi Futatsugi
@article{DBLP:journals/scp/Futatsugi22,
author = {Kokichi Futatsugi},
title = {Advances of proof scores in CafeOBJ},
journal = {Sci. Comput. Program.},
volume = {224},
pages = {102893},
year = {2022},
url = {https://doi.org/10.1016/j.scico.2022.102893},
doi = {10.1016/J.SCICO.2022.102893},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/scp/Futatsugi22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/Futatsugi21,
author = {Kokichi Futatsugi},
title = {Advances of Proof Scores in CafeOBJ : Invited Paper},
booktitle = {International Symposium on Theoretical Aspects of Software Engineering,
{TASE} 2021, Shanghai, China, August 25-27, 2021},
pages = {3--12},
publisher = {{IEEE}},
year = {2021},
url = {https://doi.org/10.1109/TASE52547.2021.00012},
doi = {10.1109/TASE52547.2021.00012},
timestamp = {Mon, 11 Oct 2021 17:13:04 +0200},
biburl = {https://dblp.org/rec/conf/tase/Futatsugi21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2112-10373,
author = {Kokichi Futatsugi},
title = {Advances of Proof Scores in CafeOBJ},
journal = {CoRR},
volume = {abs/2112.10373},
year = {2021},
url = {https://arxiv.org/abs/2112.10373},
eprinttype = {arXiv},
eprint = {2112.10373},
timestamp = {Tue, 04 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/corr/abs-2112-10373.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/compsac/KomotoFY20,
author = {Takafumi Komoto and
Kokichi Futatsugi and
Nobukazu Yoshioka},
title = {A Method for Assessing the Reliability of Business Processes that
Reflects Transaction Documents Checking for each Department},
booktitle = {44th {IEEE} Annual Computers, Software, and Applications Conference,
{COMPSAC} 2020, Madrid, Spain, July 13-17, 2020},
pages = {1783--1788},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/COMPSAC48688.2020.00047},
doi = {10.1109/COMPSAC48688.2020.00047},
timestamp = {Tue, 29 Sep 2020 12:30:55 +0200},
biburl = {https://dblp.org/rec/conf/compsac/KomotoFY20.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}
}
@inproceedings{DBLP:conf/bmsd/KomotoFY16,
author = {Takafumi Komoto and
Kokichi Futatsugi and
Nobukazu Yoshioka},
editor = {Boris Shishkov},
title = {Assessing Business Processes by Checking Transaction Documents for
Inconsistency Risks and a Tool for Risk Assessment},
booktitle = {Business Modeling and Software Design - 6th International Symposium,
{BMSD} 2016, Rhodes, Greece, June 20-22, 2016, Revised Selected Papers},
series = {Lecture Notes in Business Information Processing},
volume = {275},
pages = {70--82},
year = {2016},
url = {https://doi.org/10.1007/978-3-319-57222-2\_4},
doi = {10.1007/978-3-319-57222-2\_4},
timestamp = {Fri, 02 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/bmsd/KomotoFY16.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}
}
@article{DBLP:journals/logcom/GainaF15,
author = {Daniel G{\^{a}}in{\^{a}} and
Kokichi Futatsugi},
title = {Initial semantics in logics with constructors},
journal = {J. Log. Comput.},
volume = {25},
number = {1},
pages = {95--116},
year = {2015},
url = {https://doi.org/10.1093/logcom/exs044},
doi = {10.1093/LOGCOM/EXS044},
timestamp = {Fri, 30 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/logcom/GainaF15.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/birthday/Futatsugi15,
author = {Kokichi Futatsugi},
editor = {Rocco De Nicola and
Rolf Hennicker},
title = {Generate {\&} Check Method for Verifying Transition Systems in
CafeOBJ},
booktitle = {Software, Services, and Systems - Essays Dedicated to Martin Wirsing
on the Occasion of His Retirement from the Chair of Programming and
Software Engineering},
series = {Lecture Notes in Computer Science},
volume = {8950},
pages = {171--192},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-15545-6\_13},
doi = {10.1007/978-3-319-15545-6\_13},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Futatsugi15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Futatsugi15a,
author = {Kokichi Futatsugi},
editor = {Narciso Mart{\'{\i}}{-}Oliet and
Peter Csaba {\"{O}}lveczky and
Carolyn L. Talcott},
title = {Generic Proof Scores for Generate {\&} Check Method in CafeOBJ},
booktitle = {Logic, Rewriting, and Concurrency - Essays dedicated to Jos{\'{e}}
Meseguer on the Occasion of His 65th Birthday},
series = {Lecture Notes in Computer Science},
volume = {9200},
pages = {287--310},
publisher = {Springer},
year = {2015},
url = {https://doi.org/10.1007/978-3-319-23165-5\_14},
doi = {10.1007/978-3-319-23165-5\_14},
timestamp = {Tue, 14 May 2019 10:00:52 +0200},
biburl = {https://dblp.org/rec/conf/birthday/Futatsugi15a.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/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}
}
@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/icst/YatsuAKHFAF13,
author = {Hirokazu Yatsu and
Takahiro Ando and
Weiqiang Kong and
Kenji Hisazumi and
Akira Fukuda and
Toshiaki Aoki and
Kokichi Futatsugi},
title = {Towards Formal Description of Standards for Automotive Operating Systems},
booktitle = {Sixth {IEEE} International Conference on Software Testing, Verification
and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
March 18-22, 2013},
pages = {13--14},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/ICSTW.2013.8},
doi = {10.1109/ICSTW.2013.8},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icst/YatsuAKHFAF13.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/ieicet/ArimotoIF12,
author = {Yasuhito Arimoto and
Shusaku Iida and
Kokichi Futatsugi},
title = {Formal Verification of Effectiveness of Control Activities in Business
Processes},
journal = {{IEICE} Trans. Inf. Syst.},
volume = {95-D},
number = {5},
pages = {1342--1354},
year = {2012},
url = {https://doi.org/10.1587/transinf.E95.D.1342},
doi = {10.1587/TRANSINF.E95.D.1342},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/ArimotoIF12.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/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 = {Sun, 08 Aug 2021 01:40:48 +0200},
biburl = {https://dblp.org/rec/conf/apsec/0002OF12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/LiKF11,
author = {Yuan Li and
Haibin Kan and
Kokichi Futatsugi},
title = {A Note on "On the Construction of Boolean Functions with Optimal
Algebraic Immunity"},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {94-A},
number = {9},
pages = {1877--1880},
year = {2011},
url = {https://doi.org/10.1587/transfun.E94.A.1877},
doi = {10.1587/TRANSFUN.E94.A.1877},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/LiKF11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ssiri/KomotoTMYF11,
author = {Takafumi Komoto and
Kenji Taguchi and
Haralambos Mouratidis and
Nobukazu Yoshioka and
Kokichi Futatsugi},
title = {A Modelling Framework to Support Internal Control},
booktitle = {Fifth International Conference on Secure Software Integration and
Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
Korea - Companion Volume},
pages = {187--193},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/SSIRI-C.2011.33},
doi = {10.1109/SSIRI-C.2011.33},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ssiri/KomotoTMYF11.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/Futatsugi10,
author = {Kokichi Futatsugi},
editor = {Jin Song Dong and
Huibiao Zhu},
title = {Fostering Proof Scores in CafeOBJ},
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 = {1--20},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16901-4\_1},
doi = {10.1007/978-3-642-16901-4\_1},
timestamp = {Tue, 14 May 2019 10:00:50 +0200},
biburl = {https://dblp.org/rec/conf/icfem/Futatsugi10.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 = {Sat, 03 Mar 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/OgataF10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwsec/IzumidaFM10,
author = {Tomonori Izumida and
Kokichi Futatsugi and
Akira Mori},
editor = {Isao Echizen and
Noboru Kunihiro and
Ry{\^{o}}ichi Sasaki},
title = {A Generic Binary Analysis Method for Malware},
booktitle = {Advances in Information and Computer Security - 5th International
Workshop on Security, {IWSEC} 2010, Kobe, Japan, November 22-24, 2010.
Proceedings},
series = {Lecture Notes in Computer Science},
volume = {6434},
pages = {199--216},
publisher = {Springer},
year = {2010},
url = {https://doi.org/10.1007/978-3-642-16825-3\_14},
doi = {10.1007/978-3-642-16825-3\_14},
timestamp = {Mon, 15 Jun 2020 17:00:57 +0200},
biburl = {https://dblp.org/rec/conf/iwsec/IzumidaFM10.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}
}
@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/aiccsa/XiangBF08,
author = {Jianwen Xiang and
Dines Bj{\o}rner and
Kokichi Futatsugi},
title = {Formal digital license language with OTS/CafeOBJ method},
booktitle = {The 6th {ACS/IEEE} International Conference on Computer Systems and
Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
pages = {652--660},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/AICCSA.2008.4493599},
doi = {10.1109/AICCSA.2008.4493599},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aiccsa/XiangBF08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icegov/ArimotoKWF08,
author = {Yasuhito Arimoto and
Michiharu Kudo and
Yuji Watanabe and
Kokichi Futatsugi},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Checking assignments of controls to risks for internal control},
booktitle = {Proceedings of the 2nd International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2008, Cairo, Egypt, December 1-4,
2008},
series = {{ACM} International Conference Proceeding Series},
volume = {351},
pages = {98--104},
publisher = {{ACM}},
year = {2008},
url = {https://doi.org/10.1145/1509096.1509116},
doi = {10.1145/1509096.1509116},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/ArimotoKWF08.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/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/icegov/ChenKF07,
author = {Xiaoyi Chen and
Weiqiang Kong and
Kokichi Futatsugi},
editor = {Tomasz Janowski and
Theresa A. Pardo},
title = {Formal support for e-government system design with transparency consideration},
booktitle = {Proceedings of the 1st International Conference on Theory and Practice
of Electronic Governance, {ICEGOV} 2007, Macao, China, December 10-13,
2007},
series = {{ACM} International Conference Proceeding Series},
volume = {232},
pages = {20--29},
publisher = {{ACM}},
year = {2007},
url = {https://doi.org/10.1145/1328057.1328065},
doi = {10.1145/1328057.1328065},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icegov/ChenKF07.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/NakamuraF07,
author = {Masaki Nakamura and
Kokichi Futatsugi},
editor = {Cliff B. Jones and
Zhiming Liu and
Jim Woodcock},
title = {On Equality Predicates in Algebraic Specification Languages},
booktitle = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
Colloquium, Macau, China, September 26-28, 2007, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {4711},
pages = {381--395},
publisher = {Springer},
year = {2007},
url = {https://doi.org/10.1007/978-3-540-75292-9\_26},
doi = {10.1007/978-3-540-75292-9\_26},
timestamp = {Fri, 17 Feb 2023 09:02:01 +0100},
biburl = {https://dblp.org/rec/conf/ictac/NakamuraF07.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}
}
@article{DBLP:journals/eatcs/FutatsugiJM06,
author = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {Joseph Goguen {(1941-2006)}},
journal = {Bull. {EATCS}},
volume = {90},
pages = {199--201},
year = {2006},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/eatcs/FutatsugiJM06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ieicet/NakamuraWF06,
author = {Masaki Nakamura and
Masahiro Watanabe and
Kokichi Futatsugi},
title = {A Behavioral Specification of Imperative Programming Languages},
journal = {{IEICE} Trans. Fundam. Electron. Commun. Comput. Sci.},
volume = {89-A},
number = {6},
pages = {1558--1565},
year = {2006},
url = {https://doi.org/10.1093/ietfec/e89-a.6.1558},
doi = {10.1093/IETFEC/E89-A.6.1558},
timestamp = {Sat, 11 Apr 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/ieicet/NakamuraWF06.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/KondohF06,
author = {Hidetaka Kondoh and
Kokichi Futatsugi},
title = {To use or not to use the goto statement: Programming styles viewed
from Hoare Logic},
journal = {Sci. Comput. Program.},
volume = {60},
number = {1},
pages = {82--116},
year = {2006},
url = {https://doi.org/10.1016/j.scico.2005.05.003},
doi = {10.1016/J.SCICO.2005.05.003},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/scp/KondohF06.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/kbse/Futatsugi06,
author = {Kokichi Futatsugi},
title = {Verifying Specifications with Proof Scores in CafeOBJ},
booktitle = {21st {IEEE/ACM} International Conference on Automated Software Engineering
{(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
pages = {3--10},
publisher = {{IEEE} Computer Society},
year = {2006},
url = {https://doi.org/10.1109/ASE.2006.73},
doi = {10.1109/ASE.2006.73},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/kbse/Futatsugi06.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, 12 Mar 2020 11:30:50 +0100},
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}
}
@proceedings{DBLP:conf/birthday/2006goguen,
editor = {Kokichi Futatsugi and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
title = {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},
publisher = {Springer},
year = {2006},
url = {https://doi.org/10.1007/11780274},
doi = {10.1007/11780274},
isbn = {3-540-35462-X},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/birthday/2006goguen.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/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/IEEEcit/XiangFH04,
author = {Jianwen Xiang and
Kokichi Futatsugi and
Yanxiang He},
title = {Fault Tree and Formal Methods in System Safety Analysis},
booktitle = {2004 International Conference on Computer and Information Technology
{(CIT} 2004), 14-16 September 2004, Wuhan, China},
pages = {1108--1115},
publisher = {{IEEE} Computer Society},
year = {2004},
url = {https://doi.org/10.1109/CIT.2004.1357343},
doi = {10.1109/CIT.2004.1357343},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/IEEEcit/XiangFH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/XiangFH04,
author = {Jianwen Xiang and
Kokichi Futatsugi and
Yanxiang He},
editor = {M. H. Hamza},
title = {Formal fault tree construction and system safety analysis},
booktitle = {{IASTED} International Conference on Software Engineering, part of
the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
February 17-19, 2004},
pages = {378--384},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
biburl = {https://dblp.org/rec/conf/iastedSE/XiangFH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/XiangFH04,
author = {Jianwen Xiang and
Kokichi Futatsugi and
Yanxiang He},
editor = {M. H. Hamza},
title = {Formal construction model and specification of fault tree},
booktitle = {Proceedings of the {IASTED} Conference on Software Engineering and
Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
pages = {374--381},
publisher = {{IASTED/ACTA} Press},
year = {2004},
timestamp = {Mon, 18 Jun 2007 14:30:27 +0200},
biburl = {https://dblp.org/rec/conf/iastedSEA/XiangFH04.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ic/SrihareeSTF04,
author = {Natenapa Sriharee and
Twittie Senivongse and
Chayan Teppaboot and
Kokichi Futatsugi},
editor = {Hamid R. Arabnia and
Olaf Droegehorn and
S. Chatterjee},
title = {Adding Semantics to Attribute-Based Discovery of Web Services},
booktitle = {Proceedings of the International Conference on Internet Computing,
{IC} '04, Volume 2 {\&} Proceedings of the International Symposium
on Web Services {\&} Applications, {ISWS} '04, Las Vegas, Nevada,
USA, June 21-24, 2004},
pages = {790--794},
publisher = {{CSREA} Press},
year = {2004},
timestamp = {Fri, 19 Nov 2004 14:34:52 +0100},
biburl = {https://dblp.org/rec/conf/ic/SrihareeSTF04.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}
}
@proceedings{DBLP:conf/isss2/2003,
editor = {Kokichi Futatsugi and
Fumio Mizoguchi and
Naoki Yonezaki},
title = {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},
publisher = {Springer},
year = {2004},
url = {https://doi.org/10.1007/b102118},
doi = {10.1007/B102118},
isbn = {3-540-23635-X},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isss2/2003.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/fm/SawadaKF03,
author = {Toshimi Sawada and
Kouichi Kishida and
Kokichi Futatsugi},
editor = {Keijiro Araki and
Stefania Gnesi and
Dino Mandrioli},
title = {Past, Present, and Future of {SRA} Implementation of CafeOBJ: Annex},
booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2805},
pages = {7--17},
publisher = {Springer},
year = {2003},
url = {https://doi.org/10.1007/978-3-540-45236-2\_2},
doi = {10.1007/978-3-540-45236-2\_2},
timestamp = {Tue, 14 May 2019 10:00:46 +0200},
biburl = {https://dblp.org/rec/conf/fm/SawadaKF03.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}
}
@article{DBLP:journals/tcs/DiaconescuF02,
author = {Razvan Diaconescu and
Kokichi Futatsugi},
title = {Logical foundations of CafeOBJ},
journal = {Theor. Comput. Sci.},
volume = {285},
number = {2},
pages = {289--318},
year = {2002},
url = {https://doi.org/10.1016/S0304-3975(01)00361-9},
doi = {10.1016/S0304-3975(01)00361-9},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tcs/DiaconescuF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/TapabutSF02,
author = {Chayan Tapabut and
Twittie Senivongse and
Kokichi Futatsugi},
title = {Defining Attribute Templates for Descriptions of Distributed Services},
booktitle = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
December 2002, Gold Coast, Queensland, Australia},
pages = {425--434},
publisher = {{IEEE} Computer Society},
year = {2002},
url = {https://doi.org/10.1109/APSEC.2002.1183012},
doi = {10.1109/APSEC.2002.1183012},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/TapabutSF02.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/flops/Futatsugi02,
author = {Kokichi Futatsugi},
editor = {Zhenjiang Hu and
Mario Rodr{\'{\i}}guez{-}Artalejo},
title = {Formal Methods in CafeOBJ},
booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
2002, Aizu, Japan, September 15-17, 2002, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {2441},
pages = {1--20},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-45788-7\_1},
doi = {10.1007/3-540-45788-7\_1},
timestamp = {Sun, 02 Jun 2019 21:12:36 +0200},
biburl = {https://dblp.org/rec/conf/flops/Futatsugi02.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:conf/isss2/MoriF02,
author = {Akira Mori and
Kokichi Futatsugi},
editor = {Mitsuhiro Okada and
Benjamin C. Pierce and
Andre Scedrov and
Hideyuki Tokuda and
Akinori Yonezawa},
title = {CafeOBJ as a Tool for Behavioral System Verification},
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 = {461--470},
publisher = {Springer},
year = {2002},
url = {https://doi.org/10.1007/3-540-36532-X\_26},
doi = {10.1007/3-540-36532-X\_26},
timestamp = {Tue, 23 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isss2/MoriF02.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}
}
@article{DBLP:journals/jucs/DiaconescuF00,
author = {Razvan Diaconescu and
Kokichi Futatsugi},
title = {Behavioural Coherence in Object-Oriented Algebraic Specification},
journal = {J. Univers. Comput. Sci.},
volume = {6},
number = {1},
pages = {74--96},
year = {2000},
url = {https://doi.org/10.3217/jucs-006-01-0074},
doi = {10.3217/JUCS-006-01-0074},
timestamp = {Thu, 07 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jucs/DiaconescuF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MatsumotoF00,
author = {Michihiro Matsumoto and
Kokichi Futatsugi},
title = {The support tool for highly reliable component-based software development},
booktitle = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
December 2000, Singapore},
pages = {172--179},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/APSEC.2000.896696},
doi = {10.1109/APSEC.2000.896696},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MatsumotoF00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/MatsumotoF00,
author = {Michihiro Matsumoto and
Kokichi Futatsugi},
title = {Highly Reliable Component-Based Software Development by Using Algebraic
Behavioral Specification},
booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
pages = {35--44},
publisher = {{IEEE} Computer Society},
year = {2000},
url = {https://doi.org/10.1109/ICFEM.2000.873803},
doi = {10.1109/ICFEM.2000.873803},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/MatsumotoF00.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/Futatsugi00,
author = {Kokichi Futatsugi},
editor = {Kokichi Futatsugi},
title = {Preface},
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 = {1},
publisher = {Elsevier},
year = {2000},
url = {https://doi.org/10.1016/S1571-0661(05)80129-X},
doi = {10.1016/S1571-0661(05)80129-X},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/Futatsugi00.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/wrla/2000,
editor = {Kokichi Futatsugi},
title = {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},
publisher = {Elsevier},
year = {2000},
url = {https://www.sciencedirect.com/journal/electronic-notes-in-theoretical-computer-science/vol/36/suppl/C},
timestamp = {Mon, 13 Jan 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/wrla/2000.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/MatsumotoF99,
author = {Michihiro Matsumoto and
Kokichi Futatsugi},
title = {Simply Observable Behavioral Specification},
booktitle = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10
December 1999, Takamatsu, Japan},
pages = {460--467},
publisher = {{IEEE} Computer Society},
year = {1999},
url = {https://doi.org/10.1109/APSEC.1999.809637},
doi = {10.1109/APSEC.1999.809637},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/apsec/MatsumotoF99.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/fm/MoriF99,
author = {Akira Mori and
Kokichi Futatsugi},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Verifying Behavioural Specifications in CafeOBJ Environment},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1625--1643},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_36},
doi = {10.1007/3-540-48118-4\_36},
timestamp = {Fri, 17 Feb 2023 09:02:00 +0100},
biburl = {https://dblp.org/rec/conf/fm/MoriF99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/DiaconescuFI99,
author = {Razvan Diaconescu and
Kokichi Futatsugi and
Shusaku Iida},
editor = {Jeannette M. Wing and
Jim Woodcock and
Jim Davies},
title = {Component-Based Algebraic Specification and Verification in CafeOBJ},
booktitle = {FM'99 - Formal Methods, World Congress on Formal Methods in the Development
of Computing Systems, Toulouse, France, September 20-24, 1999, Proceedings,
Volume {II}},
series = {Lecture Notes in Computer Science},
volume = {1709},
pages = {1644--1663},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/3-540-48118-4\_37},
doi = {10.1007/3-540-48118-4\_37},
timestamp = {Mon, 22 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/fm/DiaconescuFI99.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}
}
@incollection{DBLP:books/daglib/p/IidaFD99,
author = {Shusaku Iida and
Kokichi Futatsugi and
Razvan Diaconescu},
editor = {Haim Kilov and
Bernhard Rumpe and
Ian Simmonds},
title = {Component-Based Algebraic Specification},
booktitle = {Behavioral Specifications of Businesses and Systems},
series = {The Kluwer International Series in Engineering and Computer Science},
volume = {523},
pages = {105--121},
publisher = {Springer},
year = {1999},
url = {https://doi.org/10.1007/978-1-4615-5229-1\_8},
doi = {10.1007/978-1-4615-5229-1\_8},
timestamp = {Tue, 26 Jun 2018 16:12:55 +0200},
biburl = {https://dblp.org/rec/books/daglib/p/IidaFD99.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/amast/DiaconescuF98,
author = {Razvan Diaconescu and
Kokichi Futatsugi},
title = {Cafeobj Report - The Language, Proof Techniques, and Methodologies
for Object-Oriented Algebraic Specification},
series = {{AMAST} Series in Computing},
volume = {6},
publisher = {World Scientific},
year = {1998},
url = {https://doi.org/10.1142/3831},
doi = {10.1142/3831},
isbn = {978-981-02-3513-0},
timestamp = {Tue, 16 May 2017 01:00:00 +0200},
biburl = {https://dblp.org/rec/series/amast/DiaconescuF98.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/flops/IshikawaWFMN98,
author = {Hiroshi Ishikawa and
Takuo Watanabe and
Kokichi Futatsugi and
Jos{\'{e}} Meseguer and
Hideyuki Nakashima},
editor = {Masahiko Sato and
Yoshihito Toyama},
title = {On the Semantics of {GAEA}},
booktitle = {Third Fuji International Symposium on Functional and Logic Programming,
{FLOPS} 1998, Kyoto, Japan, Apil 2-4, 1998},
pages = {123--142},
publisher = {World Scientific, Singapore},
year = {1998},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/flops/IshikawaWFMN98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/MatsumotoF98,
author = {Michihiro Matsumoto and
Kokichi Futatsugi},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {Test set coinduction - Toward automated verification of behavioural
properties},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {242--262},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80015-5},
doi = {10.1016/S1571-0661(05)80015-5},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/MatsumotoF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DiaconescuF98,
author = {Razvan Diaconescu and
Kokichi Futatsugi},
editor = {Claude Kirchner and
H{\'{e}}l{\`{e}}ne Kirchner},
title = {An overview of CafeOBJ},
booktitle = {1998 International Workshop on Rewriting Logic and its Applications,
{WRLA} 1998, Abbaye des Pr{\'{e}}montr{\'{e}}s at Pont-{\`{a}}-Mousson,
France, September 1998},
series = {Electronic Notes in Theoretical Computer Science},
volume = {15},
pages = {285--298},
publisher = {Elsevier},
year = {1998},
url = {https://doi.org/10.1016/S1571-0661(05)80017-9},
doi = {10.1016/S1571-0661(05)80017-9},
timestamp = {Fri, 12 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/entcs/DiaconescuF98.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1998,
editor = {Koji Torii and
Kokichi Futatsugi and
Richard A. Kemmerer},
title = {Forging New Links, Proceedings of the 1998 International Conference
on Software Engineering, {ICSE} 98, Kyoto, Japan, April 19-25, 1998},
publisher = {{IEEE} Computer Society},
year = {1998},
url = {http://dl.acm.org/citation.cfm?id=302163},
isbn = {0-8186-8368-6},
timestamp = {Mon, 14 May 2012 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/1998.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/icfem/FutatsugiN97,
author = {Kokichi Futatsugi and
Ataru T. Nakagawa},
title = {An Overview of {CAFE} Specification Environment - An Algebraic Approach
for Creating, Verifying, and Maintaining Formal Specifications over
Networks},
booktitle = {First {IEEE} International Conference on Formal Engineering Methods,
{ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
pages = {170--182},
publisher = {{IEEE} Computer Society},
year = {1997},
url = {https://doi.org/10.1109/ICFEM.1997.630424},
doi = {10.1109/ICFEM.1997.630424},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icfem/FutatsugiN97.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakajimaF97,
author = {Shin Nakajima and
Kokichi Futatsugi},
editor = {W. Richards Adrion and
Alfonso Fuggetta and
Richard N. Taylor and
Anthony I. Wasserman},
title = {An Object-Oriented Modeling Method for Algebraic Specifications in
CafeOBJ},
booktitle = {Pulling Together, Proceedings of the 19th International Conference
on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
pages = {34--44},
publisher = {{ACM}},
year = {1997},
url = {https://doi.org/10.1145/253228.253238},
doi = {10.1145/253228.253238},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NakajimaF97.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}
}
@proceedings{DBLP:conf/isotas/1996,
editor = {Kokichi Futatsugi and
Satoshi Matsuoka},
title = {Object Technologies for Advanced Software, Second {JSSST} International
Symposium, {ISOTAS} '96, Kanazawa, Japan, March 11-15, 1996, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {1049},
publisher = {Springer},
year = {1996},
url = {https://doi.org/10.1007/3-540-60954-7},
doi = {10.1007/3-540-60954-7},
isbn = {3-540-60954-7},
timestamp = {Tue, 14 May 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/isotas/1996.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/NakagawaF94,
author = {Ataru T. Nakagawa and
Kokichi Futatsugi},
editor = {Carlo Ghezzi},
title = {Formalizing humans in software processes},
booktitle = {Proceedings of the Ninth International Software Process Workshop {(ISPW}
'94), October 1994, Airlie, Virginia, {USA}},
pages = {60--61},
publisher = {{IEEE} Computer Society},
year = {1994},
url = {https://doi.org/10.1109/ISPW.1994.512764},
doi = {10.1109/ISPW.1994.512764},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/NakagawaF94.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/iee/NakagawaF91,
author = {Ataru T. Nakagawa and
Kokichi Futatsugi},
title = {Propagating changes in algebraic specifications},
journal = {Softw. Eng. J.},
volume = {6},
number = {6},
pages = {476--486},
year = {1991},
url = {https://doi.org/10.1049/sej.1991.0046},
doi = {10.1049/SEJ.1991.0046},
timestamp = {Wed, 11 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/iee/NakagawaF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compsac/WiersmaOF91,
author = {Deddo Wiersma and
Kazuhito Ohmaki and
Kokichi Futatsugi},
title = {Specifications of a general user interface in {LOTOS} and {OBJ}},
booktitle = {Proceedings of the Fifteenth Annual International Computer Software
and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
1991},
pages = {90--97},
publisher = {{IEEE}},
year = {1991},
url = {https://doi.org/10.1109/CMPSAC.1991.170157},
doi = {10.1109/CMPSAC.1991.170157},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/compsac/WiersmaOF91.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/forte/OhmakiTF90,
author = {Kazuhito Ohmaki and
Koichi Takahashi and
Kokichi Futatsugi},
editor = {Juan Quemada and
Jos{\'{e}} A. Ma{\~{n}}as and
Enrique V{\'{a}}zquez},
title = {A {LOTOS} Simulator in {OBJ}},
booktitle = {Formal Description Techniques, III, Proceedings of the {IFIP} {TC6/WG6.1}
Third International Conference on Formal Description Techniques for
Distributed Systems and Communication Protocols, {FORTE} '90, Madrid,
Spain, 5-8 November 1990},
pages = {535--538},
publisher = {North-Holland},
year = {1990},
timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
biburl = {https://dblp.org/rec/conf/forte/OhmakiTF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaF90,
author = {Ataru T. Nakagawa and
Kokichi Futatsugi},
editor = {Fran{\c{c}}ois{-}R{\'{e}}gis Valette and
Peter A. Freeman and
Marie{-}Claude Gaudel},
title = {Software Process {\`{a}} la Algebra: {OBJ} for {OBJ}},
booktitle = {Proceedings of the 12th International Conference on Software Engineering,
Nice, France, March 26-30, 1990},
pages = {12--23},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {http://dl.acm.org/citation.cfm?id=100298},
timestamp = {Mon, 14 May 2012 18:17:13 +0200},
biburl = {https://dblp.org/rec/conf/icse/NakagawaF90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Futatsugi90,
author = {Kokichi Futatsugi},
editor = {Takuya Katayama},
title = {Product-centered process description = algebraic specification of
environment + {SCRIPT}},
booktitle = {Proceedings of the Sixth International Software Process Workshop {(ISPW}
'90), October 1990, Hakodate, Japan},
pages = {95--98},
publisher = {{IEEE} Computer Society},
year = {1990},
url = {https://doi.org/10.1109/ISPW.1990.659582},
doi = {10.1109/ISPW.1990.659582},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/ispw/Futatsugi90.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaF89,
author = {Ataru T. Nakagawa and
Kokichi Futatsugi},
editor = {Larry E. Druffel and
Dick Fairley and
Dines Bj{\o}rner},
title = {Stepwise Refinement Process with Modularity: An Algebraic Approach},
booktitle = {Proceedings of the 11th International Conference on Software Engineering,
Pittsburg, PA, USA, May 15-18, 1989},
pages = {166--177},
publisher = {{IEEE} Computer Society / {ACM} Press},
year = {1989},
url = {https://doi.org/10.1145/74587.74611},
doi = {10.1145/74587.74611},
timestamp = {Tue, 06 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icse/NakagawaF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ispw/NakagawaF89,
author = {Ataru T. Nakagawa and
Kokichi Futatsugi},
editor = {Dewayne E. Perry},
title = {Product-based process models},
booktitle = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
'89), October 1989, Kennebunkport, Maine, {USA}},
pages = {101--105},
publisher = {{IEEE} Computer Society},
year = {1989},
url = {https://doi.org/10.1109/ISPW.1989.690436},
doi = {10.1109/ISPW.1989.690436},
timestamp = {Tue, 10 May 2022 15:27:57 +0200},
biburl = {https://dblp.org/rec/conf/ispw/NakagawaF89.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaFTS88,
author = {Ataru T. Nakagawa and
Kokichi Futatsugi and
Satoru Tomura and
T. Shimizu},
editor = {Tan Chin Nam and
Larry E. Druffel and
Bertrand Meyer},
title = {Algebraic Specification of Macintosh's Quickdraw Using {OBJ2}},
booktitle = {Proceedings, 10th International Conference on Software Engineering,
Singapore, Singapore, April 11-15, 1988},
pages = {334--343},
publisher = {{IEEE} Computer Society},
year = {1988},
url = {http://dl.acm.org/citation.cfm?id=55856},
timestamp = {Mon, 30 Oct 2017 11:35:10 +0100},
biburl = {https://dblp.org/rec/conf/icse/NakagawaFTS88.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FutatsugiGMO87,
author = {Kokichi Futatsugi and
Joseph A. Goguen and
Jos{\'{e}} Meseguer and
Koji Okada},
editor = {William E. Riddle and
Robert M. Balzer and
Kouichi Kishida},
title = {Parameterized Programming in {OBJ2}},
booktitle = {Proceedings, 9th International Conference on Software Engineering,
Monterey, California, USA, March 30 - April 2, 1987},
pages = {51--60},
publisher = {{ACM} Press},
year = {1987},
url = {http://dl.acm.org/citation.cfm?id=41772},
timestamp = {Thu, 21 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/icse/FutatsugiGMO87.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/popl/FutatsugiGJM85,
author = {Kokichi Futatsugi and
Joseph A. Goguen and
Jean{-}Pierre Jouannaud and
Jos{\'{e}} Meseguer},
editor = {Mary S. Van Deusen and
Zvi Galil and
Brian K. Reid},
title = {Principles of {OBJ2}},
booktitle = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
of Programming Languages, New Orleans, Louisiana, USA, January 1985},
pages = {52--66},
publisher = {{ACM} Press},
year = {1985},
url = {https://doi.org/10.1145/318593.318610},
doi = {10.1145/318593.318610},
timestamp = {Wed, 20 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/popl/FutatsugiGJM85.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/FutatsugiO82,
author = {Kokichi Futatsugi and
Koji Okada},
editor = {Yutaka Ohno and
Victor R. Basili and
Hajime Enomoto and
Koji Kobayashi and
Raymond T. Yeh},
title = {A Hierarchical Structuring Method for Functional Software Systems},
booktitle = {Proceedings, 6th International Conference on Software Engineering,
Tokyo, Japan, September 13-16, 1982},
pages = {393--402},
publisher = {{IEEE} Computer Society},
year = {1982},
url = {http://dl.acm.org/citation.cfm?id=807782},
timestamp = {Mon, 14 May 2012 18:17:19 +0200},
biburl = {https://dblp.org/rec/conf/icse/FutatsugiO82.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FutatsugiO80,
author = {Kokichi Futatsugi and
Koji Okada},
editor = {Simon H. Lavington},
title = {Specification Writing as Construction of Hierarchically Structured
Clusters of Operators},
booktitle = {Information Processing, Proceedings of the 8th {IFIP} Congress 1980,
Tokyo, Japan - October 6-9, 1980 and Melbourne, Australia - October
14-17, 1980},
pages = {287--292},
publisher = {North-Holland/IFIP},
year = {1980},
timestamp = {Fri, 26 Jul 2019 22:58:40 +0200},
biburl = {https://dblp.org/rec/conf/ifip/FutatsugiO80.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
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-04-25 01:25 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:
