BibTeX records: Kokichi Futatsugi

download as .bib file

@article{DBLP:journals/fac/RiescoOF17,
  author    = {Adri{\'{a}}n Riesco and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {A Maude environment for CafeOBJ},
  journal   = {Formal Asp. 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 = {Wed, 26 Jul 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/RiescoOF17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/bmsd/KomotoFY16,
  author    = {Takafumi Komoto and
               Kokichi Futatsugi and
               Nobukazu Yoshioka},
  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},
  pages     = {70--82},
  year      = {2016},
  crossref  = {DBLP:conf/bmsd/2016},
  url       = {https://doi.org/10.1007/978-3-319-57222-2_4},
  doi       = {10.1007/978-3-319-57222-2_4},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/bmsd/KomotoFY16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fase/RiescoOF16,
  author    = {Adri{\'{a}}n Riesco and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {377--380},
  year      = {2016},
  crossref  = {DBLP:conf/fase/2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7_22},
  doi       = {10.1007/978-3-662-49665-7_22},
  timestamp = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fase/RiescoOF16},
  bibsource = {dblp computer science bibliography, http://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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/GainaF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apsec/0002OF15,
  author    = {Min Zhang and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  year      = {2015},
  crossref  = {DBLP:conf/apsec/2015},
  url       = {https://doi.org/10.1109/APSEC.2015.28},
  doi       = {10.1109/APSEC.2015.28},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/0002OF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Futatsugi15,
  author    = {Kokichi Futatsugi},
  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},
  pages     = {171--192},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015wirsing},
  url       = {https://doi.org/10.1007/978-3-319-15545-6_13},
  doi       = {10.1007/978-3-319-15545-6_13},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/Futatsugi15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Futatsugi15a,
  author    = {Kokichi Futatsugi},
  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},
  pages     = {287--310},
  year      = {2015},
  crossref  = {DBLP:conf/birthday/2015meseguer},
  url       = {https://doi.org/10.1007/978-3-319-23165-5_14},
  doi       = {10.1007/978-3-319-23165-5_14},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/Futatsugi15a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/YoshidaOF15,
  author    = {Hiroyuki Yoshida and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {33--49},
  year      = {2015},
  crossref  = {DBLP:conf/icfem/2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4_3},
  doi       = {10.1007/978-3-319-25423-4_3},
  timestamp = {Sat, 16 Sep 2017 12:10:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/YoshidaOF15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/NakamuraOF14,
  author    = {Masaki Nakamura and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Incremental Proofs of Termination, Confluence and Sufficient Completeness
               of {OBJ} Specifications},
  booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
               Futatsugi},
  pages     = {92--109},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014futatsugi},
  url       = {https://doi.org/10.1007/978-3-642-54624-2_5},
  doi       = {10.1007/978-3-642-54624-2_5},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/NakamuraOF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/0002OF14,
  author    = {Min Zhang and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Verifying the Design of Dynamic Software Updating in the OTS/CafeOBJ
               Method},
  booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
               Futatsugi},
  pages     = {560--577},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014futatsugi},
  url       = {https://doi.org/10.1007/978-3-642-54624-2_28},
  doi       = {10.1007/978-3-642-54624-2_28},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/0002OF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/GAinALOF14,
  author    = {Daniel G{\^{a}}in{\^{a}} and
               Dorel Lucanu and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {On Automation of OTS/CafeOBJ Method},
  booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
               Futatsugi},
  pages     = {578--602},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014futatsugi},
  url       = {https://doi.org/10.1007/978-3-642-54624-2_29},
  doi       = {10.1007/978-3-642-54624-2_29},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/GAinALOF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OgataF14,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Theorem Proving Based on Proof Scores for Rewrite Theory Specifications
               of OTSs},
  booktitle = {Specification, Algebra, and Software - Essays Dedicated to Kokichi
               Futatsugi},
  pages     = {630--656},
  year      = {2014},
  crossref  = {DBLP:conf/birthday/2014futatsugi},
  url       = {https://doi.org/10.1007/978-3-642-54624-2_31},
  doi       = {10.1007/978-3-642-54624-2_31},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/OgataF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/lopstr/PreiningOF14,
  author    = {Norbert Preining and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {182--198},
  year      = {2014},
  crossref  = {DBLP:conf/lopstr/2014},
  url       = {https://doi.org/10.1007/978-3-319-17822-6_11},
  doi       = {10.1007/978-3-319-17822-6_11},
  timestamp = {Sun, 04 Jun 2017 10:10:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lopstr/PreiningOF14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/0002OF13,
  author    = {Min Zhang and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Formalization and Verification of Behavioral Correctness of Dynamic
               Software Updates},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {294},
  pages     = {12--23},
  year      = {2013},
  url       = {https://doi.org/10.1016/j.entcs.2013.02.013},
  doi       = {10.1016/j.entcs.2013.02.013},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/0002OF13},
  bibsource = {dblp computer science bibliography, http://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. {UCS}},
  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 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/OgataF13},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2013},
  crossref  = {DBLP:conf/icst/2013w},
  url       = {https://doi.org/10.1109/ICSTW.2013.8},
  doi       = {10.1109/ICSTW.2013.8},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icst/YatsuAKHFAF13},
  bibsource = {dblp computer science bibliography, http://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} Transactions},
  volume    = {95-D},
  number    = {5},
  pages     = {1342--1354},
  year      = {2012},
  url       = {http://search.ieice.org/bin/summary.php?id=e95-d_5_1342},
  timestamp = {Thu, 03 May 2012 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/ArimotoIF12},
  bibsource = {dblp computer science bibliography, http://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. {UCS}},
  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 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/GainaFO12},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/FutatsugiGO12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/apsec/0002OF12,
  author    = {Min Zhang and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  year      = {2012},
  crossref  = {DBLP:conf/apsec/2012},
  url       = {https://doi.org/10.1109/APSEC.2012.100},
  doi       = {10.1109/APSEC.2012.100},
  timestamp = {Sat, 16 Sep 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/0002OF12},
  bibsource = {dblp computer science bibliography, http://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} Transactions},
  volume    = {94-A},
  number    = {9},
  pages     = {1877--1880},
  year      = {2011},
  url       = {http://search.ieice.org/bin/summary.php?id=e94-a_9_1877},
  timestamp = {Tue, 18 Oct 2011 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/LiKF11},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2011},
  crossref  = {DBLP:conf/ssiri/2011c},
  url       = {https://doi.org/10.1109/SSIRI-C.2011.33},
  doi       = {10.1109/SSIRI-C.2011.33},
  timestamp = {Thu, 15 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ssiri/KomotoTMYF11},
  bibsource = {dblp computer science bibliography, http://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} Transactions},
  volume    = {93-D},
  number    = {5},
  pages     = {974--984},
  year      = {2010},
  url       = {http://search.ieice.org/bin/summary.php?id=e93-d_5_974},
  timestamp = {Sat, 04 Dec 2010 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/KongOF10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ijseke/OgataF10,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Proof Score Approach to Analysis of Electronic Commerce Protocols},
  journal   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {20},
  number    = {2},
  pages     = {253--287},
  year      = {2010},
  url       = {https://doi.org/10.1142/S0218194010004712},
  doi       = {10.1142/S0218194010004712},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijseke/OgataF10},
  bibsource = {dblp computer science bibliography, http://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 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jsc/NakamuraOF10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Futatsugi10,
  author    = {Kokichi Futatsugi},
  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},
  pages     = {1--20},
  year      = {2010},
  crossref  = {DBLP:conf/icfem/2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4_1},
  doi       = {10.1007/978-3-642-16901-4_1},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/Futatsugi10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OgataF10,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {501--517},
  year      = {2010},
  crossref  = {DBLP:conf/icfem/2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4_33},
  doi       = {10.1007/978-3-642-16901-4_33},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/OgataF10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwsec/IzumidaFM10,
  author    = {Tomonori Izumida and
               Kokichi Futatsugi and
               Akira Mori},
  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},
  pages     = {199--216},
  year      = {2010},
  crossref  = {DBLP:conf/iwsec/2010},
  url       = {https://doi.org/10.1007/978-3-642-16825-3_14},
  doi       = {10.1007/978-3-642-16825-3_14},
  timestamp = {Wed, 24 May 2017 08:27:23 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwsec/IzumidaFM10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ieicet/NakamuraOF09,
  author    = {Masaki Nakamura and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {User-Defined On-Demand Matching},
  journal   = {{IEICE} Transactions},
  volume    = {92-D},
  number    = {7},
  pages     = {1401--1411},
  year      = {2009},
  url       = {http://search.ieice.org/bin/summary.php?id=e92-d_7_1401&category=D&year=2009&lang=E&abst=},
  timestamp = {Thu, 30 Jul 2009 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/NakamuraOF09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/calco/GainaFO09,
  author    = {Daniel G{\^{a}}in{\^{a}} and
               Kokichi Futatsugi and
               Kazuhiro Ogata},
  title     = {Constructor-Based Institutions},
  booktitle = {Algebra and Coalgebra in Computer Science, Third International Conference,
               {CALCO} 2009, Udine, Italy, September 7-10, 2009. Proceedings},
  pages     = {398--412},
  year      = {2009},
  crossref  = {DBLP:conf/calco/2009},
  url       = {https://doi.org/10.1007/978-3-642-03741-2_27},
  doi       = {10.1007/978-3-642-03741-2_27},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/calco/GainaFO09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/OgataF08,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Simulation-based Verification for Invariant Properties in the OTS/CafeOBJ
               Method},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {201},
  pages     = {127--154},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.02.018},
  doi       = {10.1016/j.entcs.2008.02.018},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/OgataF08},
  bibsource = {dblp computer science bibliography, http://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} Transactions},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/NakamuraKOF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ieicet/OgataF08,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Proof Score Approach to Verification of Liveness Properties},
  journal   = {{IEICE} Transactions},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/OgataF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/IEEEcit/KongOCF08,
  author    = {Weiqiang Kong and
               Kazuhiro Ogata and
               Jian Cheng and
               Kokichi Futatsugi},
  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},
  year      = {2008},
  crossref  = {DBLP:conf/IEEEcit/2008},
  url       = {https://doi.org/10.1109/CIT.2008.4594769},
  doi       = {10.1109/CIT.2008.4594769},
  timestamp = {Wed, 05 Jul 2017 17:33:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/KongOCF08},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2008},
  crossref  = {DBLP:conf/aiccsa/2008},
  url       = {https://doi.org/10.1109/AICCSA.2008.4493599},
  doi       = {10.1109/AICCSA.2008.4493599},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiccsa/XiangBF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icegov/ArimotoKWF08,
  author    = {Yasuhito Arimoto and
               Michiharu Kudo and
               Yuji Watanabe and
               Kokichi Futatsugi},
  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},
  pages     = {98--104},
  year      = {2008},
  crossref  = {DBLP:conf/icegov/2008},
  url       = {http://doi.acm.org/10.1145/1509096.1509116},
  doi       = {10.1145/1509096.1509116},
  timestamp = {Tue, 10 Mar 2009 22:28:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icegov/ArimotoKWF08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OgataF08,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {187--206},
  year      = {2008},
  crossref  = {DBLP:conf/icfem/2008},
  url       = {https://doi.org/10.1007/978-3-540-88194-0_13},
  doi       = {10.1007/978-3-540-88194-0_13},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/OgataF08},
  bibsource = {dblp computer science bibliography, http://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} Transactions},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/OgataF07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ieicet/OgataF07a,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {State Machines as Inductive Types},
  journal   = {{IEICE} Transactions},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/OgataF07a},
  bibsource = {dblp computer science bibliography, http://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   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {17},
  number    = {1},
  pages     = {3--32},
  year      = {2007},
  url       = {https://doi.org/10.1142/S0218194007003124},
  doi       = {10.1142/S0218194007003124},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijseke/KongOF07},
  bibsource = {dblp computer science bibliography, http://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   = {International Journal of Software Engineering and Knowledge Engineering},
  volume    = {17},
  number    = {6},
  pages     = {783--804},
  year      = {2007},
  url       = {https://doi.org/10.1142/S0218194007003458},
  doi       = {10.1142/S0218194007003458},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijseke/NakanoONF07},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/OgataF07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icegov/ChenKF07,
  author    = {Xiaoyi Chen and
               Weiqiang Kong and
               Kokichi Futatsugi},
  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},
  pages     = {20--29},
  year      = {2007},
  crossref  = {DBLP:conf/icegov/2007},
  url       = {http://doi.acm.org/10.1145/1328057.1328065},
  doi       = {10.1145/1328057.1328065},
  timestamp = {Tue, 08 Jan 2008 15:04:14 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icegov/ChenKF07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictac/NakamuraF07,
  author    = {Masaki Nakamura and
               Kokichi Futatsugi},
  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},
  pages     = {381--395},
  year      = {2007},
  crossref  = {DBLP:conf/ictac/2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9_26},
  doi       = {10.1007/978-3-540-75292-9_26},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/NakamuraF07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/KongOF07,
  author    = {Weiqiang Kong and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {393--412},
  year      = {2007},
  crossref  = {DBLP:conf/ifm/2007},
  url       = {https://doi.org/10.1007/978-3-540-73210-5_21},
  doi       = {10.1007/978-3-540-73210-5_21},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/KongOF07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/eatcs/FutatsugiJM06,
  author    = {Kokichi Futatsugi and
               Jean{-}Pierre Jouannaud and
               Jos{\'{e}} Meseguer},
  title     = {Joseph Goguen {(1941-2006)}},
  journal   = {Bulletin of the {EATCS}},
  volume    = {90},
  pages     = {199--201},
  year      = {2006},
  timestamp = {Tue, 20 Mar 2012 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/eatcs/FutatsugiJM06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/SeinoOF06,
  author    = {Takahiro Seino and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {A Toolkit for Generating and Displaying Proof Scores in the OTS/CafeOBJ
               Method},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {147},
  number    = {1},
  pages     = {57--72},
  year      = {2006},
  url       = {https://doi.org/10.1016/j.entcs.2005.06.037},
  doi       = {10.1016/j.entcs.2005.06.037},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/SeinoOF06},
  bibsource = {dblp computer science bibliography, http://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} Transactions},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ieicet/NakamuraWF06},
  bibsource = {dblp computer science bibliography, http://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 = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/KondohF06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/OgataF06,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {596--615},
  year      = {2006},
  crossref  = {DBLP:conf/birthday/2006goguen},
  url       = {https://doi.org/10.1007/11780274_31},
  doi       = {10.1007/11780274_31},
  timestamp = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/OgataF06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/OgataNKF06,
  author    = {Kazuhiro Ogata and
               Masahiro Nakano and
               Weiqiang Kong and
               Kokichi Futatsugi},
  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},
  pages     = {114--131},
  year      = {2006},
  crossref  = {DBLP:conf/icfem/2006},
  url       = {https://doi.org/10.1007/11901433_7},
  doi       = {10.1007/11901433_7},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/OgataNKF06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/kbse/2006},
  url       = {https://doi.org/10.1109/ASE.2006.73},
  doi       = {10.1109/ASE.2006.73},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kbse/Futatsugi06},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2006},
  crossref  = {DBLP:conf/qsic/2006},
  url       = {https://doi.org/10.1109/QSIC.2006.17},
  doi       = {10.1109/QSIC.2006.17},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qsic/NakanoONF06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/seke/OgataKF06,
  author    = {Kazuhiro Ogata and
               Weiqiang Kong and
               Kokichi Futatsugi},
  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},
  crossref  = {DBLP:conf/seke/2006},
  timestamp = {Wed, 28 Feb 2007 15:07:08 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/OgataKF06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/webist/XiangKFO06,
  author    = {Jianwen Xiang and
               Weiqiang Kong and
               Kokichi Futatsugi and
               Kazuhiro Ogata},
  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},
  year      = {2006},
  crossref  = {DBLP:conf/webist/2006-2},
  timestamp = {Mon, 18 Sep 2006 11:05:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/webist/XiangKFO06},
  bibsource = {dblp computer science bibliography, http://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 = {Fri, 02 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2006goguen},
  bibsource = {dblp computer science bibliography, http://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 Computing and Communications},
  volume    = {1},
  number    = {2},
  pages     = {135--146},
  year      = {2005},
  url       = {https://doi.org/10.1108/17427370580000119},
  doi       = {10.1108/17427370580000119},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ijpcc/SeinoOF05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/IEEEcit/2005},
  url       = {https://doi.org/10.1109/CIT.2005.76},
  doi       = {10.1109/CIT.2005.76},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/OgataF05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/apsec/2005},
  url       = {https://doi.org/10.1109/APSEC.2005.9},
  doi       = {10.1109/APSEC.2005.9},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/KongSFO05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/apsec/2005},
  url       = {https://doi.org/10.1109/APSEC.2005.40},
  doi       = {10.1109/APSEC.2005.40},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/OgataF05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/icdcs/2005},
  url       = {https://doi.org/10.1109/ICDCS.2005.32},
  doi       = {10.1109/ICDCS.2005.32},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcs/OgataF05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2005},
  crossref  = {DBLP:conf/pdcat/2005},
  url       = {https://doi.org/10.1109/PDCAT.2005.98},
  doi       = {10.1109/PDCAT.2005.98},
  timestamp = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdcat/OgataNNF05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/seke/KongOF05,
  author    = {Weiqiang Kong and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  crossref  = {DBLP:conf/seke/2005},
  timestamp = {Fri, 02 Mar 2007 14:33:02 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/KongOF05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/seke/OgataF05,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  crossref  = {DBLP:conf/seke/2005},
  timestamp = {Fri, 02 Mar 2007 14:33:02 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/OgataF05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/seke/SenachakSOF05,
  author    = {Jittisak Senachak and
               Takahiro Seino and
               Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  crossref  = {DBLP:conf/seke/2005},
  timestamp = {Fri, 02 Mar 2007 14:33:02 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/SenachakSOF05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vstte/FutatsugiGO05,
  author    = {Kokichi Futatsugi and
               Joseph A. Goguen and
               Kazuhiro Ogata},
  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},
  pages     = {277--290},
  year      = {2005},
  crossref  = {DBLP:conf/vstte/2005},
  url       = {https://doi.org/10.1007/978-3-540-69149-5_30},
  doi       = {10.1007/978-3-540-69149-5_30},
  timestamp = {Thu, 15 Jun 2017 21:34:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/vstte/FutatsugiGO05},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/IEEEcit/2004},
  url       = {https://doi.org/10.1109/CIT.2004.1357338},
  doi       = {10.1109/CIT.2004.1357338},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/SeinoOF04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/IEEEcit/2004},
  url       = {https://doi.org/10.1109/CIT.2004.1357342},
  doi       = {10.1109/CIT.2004.1357342},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/KongOXF04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/IEEEcit/2004},
  url       = {https://doi.org/10.1109/CIT.2004.1357343},
  doi       = {10.1109/CIT.2004.1357343},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/XiangFH04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iastedSE/XiangFH04,
  author    = {Jianwen Xiang and
               Kokichi Futatsugi and
               Yanxiang He},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/iastedSE/2004},
  timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iastedSE/XiangFH04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iastedSEA/XiangFH04,
  author    = {Jianwen Xiang and
               Kokichi Futatsugi and
               Yanxiang He},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/iastedSEA/2004},
  timestamp = {Mon, 18 Jun 2007 14:30:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iastedSEA/XiangFH04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ic/SrihareeSTF04,
  author    = {Natenapa Sriharee and
               Twittie Senivongse and
               Chayan Teppaboot and
               Kokichi Futatsugi},
  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},
  year      = {2004},
  crossref  = {DBLP:conf/ic/2004-2},
  timestamp = {Fri, 19 Nov 2004 14:34:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ic/SrihareeSTF04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifip10-3/OgataYSF04,
  author    = {Kazuhiro Ogata and
               Daigo Yamagishi and
               Takahiro Seino and
               Kokichi Futatsugi},
  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},
  pages     = {43--52},
  year      = {2004},
  crossref  = {DBLP:conf/ifip10-3/2004dipes},
  url       = {https://doi.org/10.1007/1-4020-8149-9_5},
  doi       = {10.1007/1-4020-8149-9_5},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifip10-3/OgataYSF04},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2004},
  crossref  = {DBLP:conf/qsic/2004},
  url       = {https://doi.org/10.1109/QSIC.2004.1357944},
  doi       = {10.1109/QSIC.2004.1357944},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qsic/OgataF04},
  bibsource = {dblp computer science bibliography, http://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, 30 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isss2/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/cai/DiaconescuFO03,
  author    = {Razvan Diaconescu and
               Kokichi Futatsugi and
               Kazuhiro Ogata},
  title     = {CafeOBJ: Logical Foundations and Methodologies},
  journal   = {Computers and Artificial Intelligence},
  volume    = {22},
  number    = {3-4},
  pages     = {257--283},
  year      = {2003},
  url       = {http://www.sav.sk/index.php?lang=en&charset=ascii&doc=journal&part=list_articles&journal_issue_no=882#abstract_14},
  timestamp = {Wed, 15 Dec 2010 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/cai/DiaconescuFO03},
  bibsource = {dblp computer science bibliography, http://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 = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/OgataF03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/SawadaKF03,
  author    = {Toshimi Sawada and
               Kouichi Kishida and
               Kokichi Futatsugi},
  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},
  pages     = {7--17},
  year      = {2003},
  crossref  = {DBLP:conf/fm/2003},
  url       = {https://doi.org/10.1007/978-3-540-45236-2_2},
  doi       = {10.1007/978-3-540-45236-2_2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/SawadaKF03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/OgataF03,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {170--184},
  year      = {2003},
  crossref  = {DBLP:conf/fmoods/2003},
  url       = {https://doi.org/10.1007/978-3-540-39958-2_12},
  doi       = {10.1007/978-3-540-39958-2_12},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmoods/OgataF03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isss2/OgataF03,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {45--64},
  year      = {2003},
  crossref  = {DBLP:conf/isss2/2003},
  url       = {https://doi.org/10.1007/978-3-540-37621-7_3},
  doi       = {10.1007/978-3-540-37621-7_3},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isss2/OgataF03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/vmcai/OgataF03,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {238--252},
  year      = {2003},
  crossref  = {DBLP:conf/vmcai/2003},
  url       = {https://doi.org/10.1007/3-540-36384-X_20},
  doi       = {10.1007/3-540-36384-X_20},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/vmcai/OgataF03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/OgataF02,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  title     = {Rewriting-Based Verification of Authentication Protocols},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {71},
  pages     = {208--222},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(05)82536-8},
  doi       = {10.1016/S1571-0661(05)82536-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/OgataF02},
  bibsource = {dblp computer science bibliography, http://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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/DiaconescuF02},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2002},
  crossref  = {DBLP:conf/apsec/2002},
  url       = {https://doi.org/10.1109/APSEC.2002.1183012},
  doi       = {10.1109/APSEC.2002.1183012},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/TapabutSF02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/flops/Futatsugi02,
  author    = {Kokichi Futatsugi},
  title     = {Formal Methods in CafeOBJ},
  booktitle = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
               2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  pages     = {1--20},
  year      = {2002},
  crossref  = {DBLP:conf/flops/2002},
  url       = {https://doi.org/10.1007/3-540-45788-7_1},
  doi       = {10.1007/3-540-45788-7_1},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/flops/Futatsugi02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fmoods/OgataF02,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {181--195},
  year      = {2002},
  crossref  = {DBLP:conf/fmoods/2002},
  timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmoods/OgataF02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isss2/HasebeO02a,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {441--460},
  year      = {2002},
  crossref  = {DBLP:conf/isss2/2002},
  url       = {https://doi.org/10.1007/3-540-36532-X_25},
  doi       = {10.1007/3-540-36532-X_25},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isss2/HasebeO02a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isss2/MoriF02,
  author    = {Akira Mori and
               Kokichi Futatsugi},
  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},
  pages     = {461--470},
  year      = {2002},
  crossref  = {DBLP:conf/isss2/2002},
  url       = {https://doi.org/10.1007/3-540-36532-X_26},
  doi       = {10.1007/3-540-36532-X_26},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isss2/MoriF02},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2001},
  crossref  = {DBLP:conf/apaqs/2001},
  url       = {https://doi.org/10.1109/APAQS.2001.990041},
  doi       = {10.1109/APAQS.2001.990041},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apaqs/OgataF01},
  bibsource = {dblp computer science bibliography, http://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, April 23-27, 2001},
  pages     = {150},
  year      = {2001},
  crossref  = {DBLP:conf/ipps/2001},
  url       = {https://doi.org/10.1109/IPDPS.2001.925137},
  doi       = {10.1109/IPDPS.2001.925137},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ipps/OgataF01},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2001},
  crossref  = {DBLP:conf/kbse/2001},
  url       = {https://doi.org/10.1109/ASE.2001.989804},
  doi       = {10.1109/ASE.2001.989804},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kbse/OgataF01},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Futatsugi00,
  author    = {Kokichi Futatsugi},
  title     = {Preface},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {36},
  pages     = {1},
  year      = {2000},
  url       = {https://doi.org/10.1016/S1571-0661(05)80129-X},
  doi       = {10.1016/S1571-0661(05)80129-X},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/Futatsugi00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/DiaconescuF00,
  author    = {Razvan Diaconescu and
               Kokichi Futatsugi},
  title     = {Behavioural Coherence in Object-Oriented Algebraic Specification},
  journal   = {J. {UCS}},
  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 = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/DiaconescuF00},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2000},
  crossref  = {DBLP:conf/apsec/2000},
  url       = {https://doi.org/10.1109/APSEC.2000.896696},
  doi       = {10.1109/APSEC.2000.896696},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/MatsumotoF00},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {2000},
  crossref  = {DBLP:conf/icfem/2000},
  url       = {https://doi.org/10.1109/ICFEM.2000.873803},
  doi       = {10.1109/ICFEM.2000.873803},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/MatsumotoF00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/OgataF00,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  year      = {2000},
  crossref  = {DBLP:conf/sac/2000-2},
  url       = {http://doi.acm.org/10.1145/338407.338558},
  doi       = {10.1145/338407.338558},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/OgataF00},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {1999},
  crossref  = {DBLP:conf/apsec/1999},
  url       = {https://doi.org/10.1109/APSEC.1999.809637},
  doi       = {10.1109/APSEC.1999.809637},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/MatsumotoF99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asian/OgataF99,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {281--293},
  year      = {1999},
  crossref  = {DBLP:conf/asian/1999},
  url       = {https://doi.org/10.1007/3-540-46674-6_24},
  doi       = {10.1007/3-540-46674-6_24},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asian/OgataF99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/MoriF99,
  author    = {Akira Mori and
               Kokichi Futatsugi},
  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}},
  pages     = {1625--1643},
  year      = {1999},
  crossref  = {DBLP:conf/fm/1999-2},
  url       = {https://doi.org/10.1007/3-540-48118-4_36},
  doi       = {10.1007/3-540-48118-4_36},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/MoriF99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/DiaconescuFI99,
  author    = {Razvan Diaconescu and
               Kokichi Futatsugi and
               Shusaku Iida},
  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}},
  pages     = {1644--1663},
  year      = {1999},
  crossref  = {DBLP:conf/fm/1999-2},
  url       = {https://doi.org/10.1007/3-540-48118-4_37},
  doi       = {10.1007/3-540-48118-4_37},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/DiaconescuFI99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/OgataIF99,
  author    = {Kazuhiro Ogata and
               Shigenori Ioroi and
               Kokichi Futatsugi},
  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},
  year      = {1999},
  crossref  = {DBLP:conf/sac/1999},
  url       = {http://doi.acm.org/10.1145/298151.298431},
  doi       = {10.1145/298151.298431},
  timestamp = {Tue, 03 Nov 2015 12:36:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/OgataIF99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/daglib/p/IidaFD99,
  author    = {Shusaku Iida and
               Kokichi Futatsugi and
               Razvan Diaconescu},
  title     = {Component-Based Algebraic Specification},
  booktitle = {Behavioral Specifications of Businesses and Systems},
  pages     = {105--121},
  year      = {1999},
  crossref  = {DBLP:books/daglib/0035620},
  url       = {https://doi.org/10.1007/978-1-4615-5229-1_8},
  doi       = {10.1007/978-1-4615-5229-1_8},
  timestamp = {Tue, 16 May 2017 14:01:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/p/IidaFD99},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/series/amast/DiaconescuF98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/MatsumotoF98,
  author    = {Michihiro Matsumoto and
               Kokichi Futatsugi},
  title     = {Test set coinduction - Toward automated verification of behavioural
               properties},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {15},
  pages     = {242--262},
  year      = {1998},
  url       = {https://doi.org/10.1016/S1571-0661(05)80015-5},
  doi       = {10.1016/S1571-0661(05)80015-5},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/MatsumotoF98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/DiaconescuF98,
  author    = {Razvan Diaconescu and
               Kokichi Futatsugi},
  title     = {An overview of CafeOBJ},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {15},
  pages     = {285--298},
  year      = {1998},
  url       = {https://doi.org/10.1016/S1571-0661(05)80017-9},
  doi       = {10.1016/S1571-0661(05)80017-9},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/DiaconescuF98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/europar/OgataHIF98,
  author    = {Kazuhiro Ogata and
               Hiromichi Hirata and
               Shigenori Ioroi and
               Kokichi Futatsugi},
  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},
  pages     = {846--851},
  year      = {1998},
  crossref  = {DBLP:conf/europar/1998},
  url       = {https://doi.org/10.1007/BFb0057939},
  doi       = {10.1007/BFb0057939},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/europar/OgataHIF98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/flops/IshikawaWFMN98,
  author    = {Hiroshi Ishikawa and
               Takuo Watanabe and
               Kokichi Futatsugi and
               Jos{\'{e}} Meseguer and
               Hideyuki Nakashima},
  title     = {On the Semantics of {GAEA}},
  booktitle = {Fuji International Symposium on Functional and Logic Programming},
  pages     = {123--142},
  year      = {1998},
  timestamp = {Wed, 26 Apr 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/flops/IshikawaWFMN98},
  bibsource = {dblp computer science bibliography, http://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    = {http://dblp.uni-trier.de/rec/bib/conf/icse/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/europar/OgataKIF97,
  author    = {Kazuhiro Ogata and
               Masaru Kondo and
               Shigenori Ioroi and
               Kokichi Futatsugi},
  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},
  pages     = {1209--1216},
  year      = {1997},
  crossref  = {DBLP:conf/europar/1997},
  url       = {https://doi.org/10.1007/BFb0002874},
  doi       = {10.1007/BFb0002874},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/europar/OgataKIF97},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {1997},
  crossref  = {DBLP:conf/icfem/1997},
  url       = {https://doi.org/10.1109/ICFEM.1997.630424},
  doi       = {10.1109/ICFEM.1997.630424},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/FutatsugiN97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakajimaF97,
  author    = {Shin Nakajima and
               Kokichi Futatsugi},
  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},
  year      = {1997},
  crossref  = {DBLP:conf/icse/1997},
  url       = {http://doi.acm.org/10.1145/253228.253238},
  doi       = {10.1145/253228.253238},
  timestamp = {Mon, 14 May 2012 18:17:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/NakajimaF97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/plilp/OgataF97,
  author    = {Kazuhiro Ogata and
               Kokichi Futatsugi},
  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},
  pages     = {225--239},
  year      = {1997},
  crossref  = {DBLP:conf/plilp/1997},
  url       = {https://doi.org/10.1007/BFb0033847},
  doi       = {10.1007/BFb0033847},
  timestamp = {Mon, 22 May 2017 17:11:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/plilp/OgataF97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/rta/OgataOF97,
  author    = {Kazuhiro Ogata and
               Koichi Ohhara and
               Kokichi Futatsugi},
  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},
  pages     = {335--338},
  year      = {1997},
  crossref  = {DBLP:conf/rta/1997},
  url       = {https://doi.org/10.1007/3-540-62950-5_84},
  doi       = {10.1007/3-540-62950-5_84},
  timestamp = {Mon, 22 May 2017 17:11:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rta/OgataOF97},
  bibsource = {dblp computer science bibliography, http://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 = {Mon, 22 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isotas/1996},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ispw/NakagawaF94,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi},
  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},
  year      = {1994},
  crossref  = {DBLP:conf/ispw/1994},
  url       = {https://doi.org/10.1109/ISPW.1994.512764},
  doi       = {10.1109/ISPW.1994.512764},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ispw/NakagawaF94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/iee/NakagawaF91,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi},
  title     = {Propagating changes in algebraic specifications},
  journal   = {Software Engineering Journal},
  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 = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/iee/NakagawaF91},
  bibsource = {dblp computer science bibliography, http://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},
  year      = {1991},
  crossref  = {DBLP:conf/compsac/1991},
  url       = {https://doi.org/10.1109/CMPSAC.1991.170157},
  doi       = {10.1109/CMPSAC.1991.170157},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/compsac/WiersmaOF91},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/forte/OhmakiTF90,
  author    = {Kazuhito Ohmaki and
               Koichi Takahashi and
               Kokichi Futatsugi},
  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},
  year      = {1990},
  crossref  = {DBLP:conf/forte/1990},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/OhmakiTF90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaF90,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi},
  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},
  year      = {1990},
  crossref  = {DBLP:conf/icse/1990},
  url       = {http://dl.acm.org/citation.cfm?id=100298},
  timestamp = {Mon, 14 May 2012 18:17:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/NakagawaF90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ispw/Futatsugi90,
  author    = {Kokichi Futatsugi},
  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},
  year      = {1990},
  crossref  = {DBLP:conf/ispw/1990},
  url       = {https://doi.org/10.1109/ISPW.1990.659582},
  doi       = {10.1109/ISPW.1990.659582},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ispw/Futatsugi90},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaF89,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi},
  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},
  year      = {1989},
  crossref  = {DBLP:conf/icse/1989},
  url       = {http://doi.acm.org/10.1145/74587.74611},
  doi       = {10.1145/74587.74611},
  timestamp = {Mon, 14 May 2012 18:17:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/NakagawaF89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ispw/NakagawaF89,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi},
  title     = {Product-based process models},
  booktitle = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
               '89), October 1989, Kennebunkport, Maine, {USA}},
  pages     = {101--105},
  year      = {1989},
  crossref  = {DBLP:conf/ispw/1989},
  url       = {https://doi.org/10.1109/ISPW.1989.690436},
  doi       = {10.1109/ISPW.1989.690436},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ispw/NakagawaF89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/NakagawaFTS88,
  author    = {Ataru T. Nakagawa and
               Kokichi Futatsugi and
               Satoru Tomura and
               T. Shimizu},
  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},
  year      = {1988},
  crossref  = {DBLP:conf/icse/1988},
  url       = {http://dl.acm.org/citation.cfm?id=55856},
  timestamp = {Mon, 14 May 2012 18:17:23 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/NakagawaFTS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/FutatsugiGMO87,
  author    = {Kokichi Futatsugi and
               Joseph A. Goguen and
               Jos{\'{e}} Meseguer and
               Koji Okada},
  title     = {Parameterized Programming in {OBJ2}},
  booktitle = {Proceedings, 9th International Conference on Software Engineering,
               Monterey, California, USA, March 30 - April 2, 1987.},
  pages     = {51--60},
  year      = {1987},
  crossref  = {DBLP:conf/icse/1987},
  url       = {http://dl.acm.org/citation.cfm?id=41772},
  timestamp = {Tue, 15 May 2012 07:19:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/FutatsugiGMO87},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/popl/FutatsugiGJM85,
  author    = {Kokichi Futatsugi and
               Joseph A. Goguen and
               Jean{-}Pierre Jouannaud and
               Jos{\'{e}} Meseguer},
  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},
  year      = {1985},
  crossref  = {DBLP:conf/popl/1985},
  url       = {http://doi.acm.org/10.1145/318593.318610},
  doi       = {10.1145/318593.318610},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/FutatsugiGJM85},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icse/FutatsugiO82,
  author    = {Kokichi Futatsugi and
               Koji Okada},
  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},
  year      = {1982},
  crossref  = {DBLP:conf/icse/1982},
  url       = {http://dl.acm.org/citation.cfm?id=807782},
  timestamp = {Mon, 14 May 2012 18:17:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/FutatsugiO82},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifip/FutatsugiO80,
  author    = {Kokichi Futatsugi and
               Koji Okada},
  title     = {Specification Writing as Construction of Hierarchically Structured
               Clusters of Operators},
  booktitle = {{IFIP} Congress},
  pages     = {287--292},
  year      = {1980},
  timestamp = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifip/FutatsugiO80},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/bmsd/2016,
  editor    = {Boris Shishkov},
  title     = {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},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-57222-2},
  doi       = {10.1007/978-3-319-57222-2},
  isbn      = {978-3-319-57221-5},
  timestamp = {Fri, 26 May 2017 00:50:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/bmsd/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fase/2016,
  editor    = {Perdita Stevens and
               Andrzej Wasowski},
  title     = {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},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-662-49665-7},
  doi       = {10.1007/978-3-662-49665-7},
  isbn      = {978-3-662-49664-0},
  timestamp = {Thu, 25 May 2017 00:41:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fase/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2015,
  editor    = {Jing Sun and
               Y. Raghu Reddy and
               Arun Bahulkar and
               Anjaneyulu Pasala},
  title     = {2015 Asia-Pacific Software Engineering Conference, {APSEC} 2015, New
               Delhi, India, December 1-4, 2015},
  publisher = {{IEEE} Computer Society},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7467057},
  isbn      = {978-1-4673-9644-8},
  timestamp = {Fri, 13 May 2016 12:35:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015wirsing,
  editor    = {Rocco De Nicola and
               Rolf Hennicker},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-15545-6},
  doi       = {10.1007/978-3-319-15545-6},
  isbn      = {978-3-319-15544-9},
  timestamp = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2015wirsing},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2015meseguer,
  editor    = {Narciso Mart{\'{\i}}{-}Oliet and
               Peter Csaba {\"{O}}lveczky and
               Carolyn L. Talcott},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-23165-5},
  doi       = {10.1007/978-3-319-23165-5},
  isbn      = {978-3-319-23164-8},
  timestamp = {Tue, 23 May 2017 01:06:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2015meseguer},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2015,
  editor    = {Michael Butler and
               Sylvain Conchon and
               Fatiha Za{\"{\i}}di},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-25423-4},
  doi       = {10.1007/978-3-319-25423-4},
  isbn      = {978-3-319-25422-7},
  timestamp = {Sat, 16 Sep 2017 12:10:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2015},
  bibsource = {dblp computer science bibliography, http://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 = {Tue, 23 May 2017 01:06:45 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2014futatsugi},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/lopstr/2014,
  editor    = {Maurizio Proietti and
               Hirohisa Seki},
  title     = {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},
  publisher = {Springer},
  year      = {2015},
  url       = {https://doi.org/10.1007/978-3-319-17822-6},
  doi       = {10.1007/978-3-319-17822-6},
  isbn      = {978-3-319-17821-9},
  timestamp = {Sun, 04 Jun 2017 10:10:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/lopstr/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icst/2013w,
  title     = {Sixth {IEEE} International Conference on Software Testing, Verification
               and Validation, {ICST} 2013 Workshops Proceedings, Luxembourg, Luxembourg,
               March 18-22, 2013},
  publisher = {{IEEE} Computer Society},
  year      = {2013},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6570842},
  isbn      = {978-1-4799-1324-4},
  timestamp = {Mon, 11 May 2015 16:37:25 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icst/2013w},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2012,
  editor    = {Karl R. P. H. Leung and
               Pornsiri Muenchaisri},
  title     = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
               Kong, China, December 4-7, 2012},
  publisher = {{IEEE}},
  year      = {2012},
  url       = {http://ieeexplore.ieee.org/xpl/tocresult.jsp?isnumber=6462577},
  isbn      = {978-0-7695-4922-4},
  timestamp = {Tue, 12 Mar 2013 11:04:50 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ssiri/2011c,
  title     = {Fifth International Conference on Secure Software Integration and
               Reliability Improvement, {SSIRI} 2011, 27-29 June, 2011, Jeju Island,
               Korea - Companion Volume},
  publisher = {{IEEE} Computer Society},
  year      = {2011},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6003672},
  isbn      = {978-0-7695-4454-0},
  timestamp = {Wed, 03 Dec 2014 17:29:15 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ssiri/2011c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2010,
  editor    = {Jin Song Dong and
               Huibiao Zhu},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16901-4},
  doi       = {10.1007/978-3-642-16901-4},
  isbn      = {978-3-642-16900-7},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iwsec/2010,
  editor    = {Isao Echizen and
               Noboru Kunihiro and
               Ry{\^{o}}ichi Sasaki},
  title     = {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},
  publisher = {Springer},
  year      = {2010},
  url       = {https://doi.org/10.1007/978-3-642-16825-3},
  doi       = {10.1007/978-3-642-16825-3},
  isbn      = {978-3-642-16824-6},
  timestamp = {Wed, 24 May 2017 08:27:23 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwsec/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/calco/2009,
  editor    = {Alexander Kurz and
               Marina Lenisa and
               Andrzej Tarlecki},
  title     = {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},
  publisher = {Springer},
  year      = {2009},
  url       = {https://doi.org/10.1007/978-3-642-03741-2},
  doi       = {10.1007/978-3-642-03741-2},
  isbn      = {978-3-642-03740-5},
  timestamp = {Wed, 24 May 2017 08:30:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/calco/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/IEEEcit/2008,
  editor    = {Qiang Wu and
               Xiangjian He and
               Quang Vinh Nguyen and
               Wenjing Jia and
               Mao Lin Huang},
  title     = {Proceedings of 8th {IEEE} International Conference on Computer and
               Information Technology, {CIT} 2008, Sydney, Australia, July 8-11,
               2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4586225},
  isbn      = {978-1-4244-2357-6},
  timestamp = {Wed, 05 Jul 2017 17:33:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/aiccsa/2008,
  title     = {The 6th {ACS/IEEE} International Conference on Computer Systems and
               Applications, {AICCSA} 2008, Doha, Qatar, March 31 - April 4, 2008},
  publisher = {{IEEE} Computer Society},
  year      = {2008},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4488216},
  isbn      = {978-1-4244-1967-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/aiccsa/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icegov/2008,
  editor    = {Tomasz Janowski and
               Theresa A. Pardo},
  title     = {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},
  publisher = {{ACM}},
  year      = {2008},
  isbn      = {978-1-60558-386-0},
  timestamp = {Tue, 10 Mar 2009 22:28:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icegov/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2008,
  editor    = {Shaoying Liu and
               T. S. E. Maibaum and
               Keijiro Araki},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-88194-0},
  doi       = {10.1007/978-3-540-88194-0},
  isbn      = {978-3-540-88193-3},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icegov/2007,
  editor    = {Tomasz Janowski and
               Theresa A. Pardo},
  title     = {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},
  publisher = {{ACM}},
  year      = {2007},
  isbn      = {978-1-59593-822-0},
  timestamp = {Tue, 08 Jan 2008 15:04:14 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icegov/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictac/2007,
  editor    = {Cliff B. Jones and
               Zhiming Liu and
               Jim Woodcock},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
               Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4711},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-75292-9},
  doi       = {10.1007/978-3-540-75292-9},
  isbn      = {978-3-540-75290-5},
  timestamp = {Sun, 04 Jun 2017 10:10:21 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifm/2007,
  editor    = {Jim Davies and
               Jeremy Gibbons},
  title     = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
               Oxford, UK, July 2-5, 2007, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4591},
  publisher = {Springer},
  year      = {2007},
  url       = {https://doi.org/10.1007/978-3-540-73210-5},
  doi       = {10.1007/978-3-540-73210-5},
  isbn      = {978-3-540-73209-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/2007},
  bibsource = {dblp computer science bibliography, http://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 = {Fri, 02 Jun 2017 13:01:06 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2006goguen},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2006,
  editor    = {Zhiming Liu and
               Jifeng He},
  title     = {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},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11901433},
  doi       = {10.1007/11901433},
  isbn      = {3-540-47460-9},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2006,
  title     = {21st {IEEE/ACM} International Conference on Automated Software Engineering
               {(ASE} 2006), 18-22 September 2006, Tokyo, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4019543},
  isbn      = {0-7695-2579-2},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kbse/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qsic/2006,
  title     = {Sixth International Conference on Quality Software {(QSIC} 2006),
               26-28 October 2006, Beijing, China},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4032250},
  isbn      = {0-7695-2718-3},
  timestamp = {Thu, 19 Mar 2015 16:19:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qsic/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/seke/2006,
  editor    = {Kang Zhang and
               George Spanoudakis and
               Giuseppe Visaggio},
  title     = {Proceedings of the Eighteenth International Conference on Software
               Engineering {\&} Knowledge Engineering (SEKE'2006), San Francisco,
               CA, USA, July 5-7, 2006},
  year      = {2006},
  isbn      = {1-891706-18-7},
  timestamp = {Wed, 28 Feb 2007 15:07:08 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/webist/2006-2,
  editor    = {Jos{\'{e}} A. Moinhos Cordeiro and
               Vitor Pedrosa and
               Bruno Encarna{\c{c}}{\~{a}}o and
               Joaquim Filipe},
  title     = {{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},
  publisher = {{INSTICC} Press},
  year      = {2006},
  crossref  = {DBLP:conf/webist/2006-1},
  isbn      = {978-972-8865-47-4},
  timestamp = {Mon, 18 Sep 2006 11:05:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/webist/2006-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/IEEEcit/2005,
  title     = {Fifth International Conference on Computer and Information Technology
               {(CIT} 2005), 21-23 September 2005, Shanghai, China},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10445},
  isbn      = {0-7695-2432-X},
  timestamp = {Tue, 31 May 2016 16:44:16 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2005,
  title     = {12th Asia-Pacific Software Engineering Conference {(APSEC} 2005),
               15-17 December 2005, Taipei, Taiwan},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10689},
  isbn      = {0-7695-2465-6},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icdcs/2005,
  title     = {25th International Conference on Distributed Computing Systems {(ICDCS}
               2005), 6-10 June 2005, Columbus, OH, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9816},
  isbn      = {0-7695-2331-5},
  timestamp = {Thu, 11 Dec 2014 17:34:06 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icdcs/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/pdcat/2005,
  title     = {Sixth International Conference on Parallel and Distributed Computing,
               Applications and Technologies {(PDCAT} 2005), 5-8 December 2005, Dalian,
               China},
  publisher = {{IEEE} Computer Society},
  year      = {2005},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=10544},
  isbn      = {0-7695-2405-2},
  timestamp = {Thu, 26 Mar 2015 11:41:24 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/pdcat/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/seke/2005,
  editor    = {William C. Chu and
               Natalia Juristo Juzgado and
               W. Eric Wong},
  title     = {Proceedings of the 17th International Conference on Software Engineering
               and Knowledge Engineering (SEKE'2005), Taipei, Taiwan, Republic of
               China, July 14-16, 2005},
  year      = {2005},
  isbn      = {1-891706-16-0},
  timestamp = {Fri, 02 Mar 2007 14:33:02 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/seke/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vstte/2005,
  editor    = {Bertrand Meyer and
               Jim Woodcock},
  title     = {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},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-69149-5},
  doi       = {10.1007/978-3-540-69149-5},
  isbn      = {978-3-540-69147-1},
  timestamp = {Thu, 15 Jun 2017 21:34:10 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/vstte/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/IEEEcit/2004,
  title     = {2004 International Conference on Computer and Information Technology
               {(CIT} 2004), 14-16 September 2004, Wuhan, China},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9381},
  isbn      = {0-7695-2216-5},
  timestamp = {Tue, 31 May 2016 16:44:16 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/IEEEcit/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iastedSE/2004,
  editor    = {M. H. Hamza},
  title     = {{IASTED} International Conference on Software Engineering, part of
               the 22nd Multi-Conference on Applied Informatics, Innsbruck, Austria,
               February 17-19, 2004},
  publisher = {{IASTED/ACTA} Press},
  year      = {2004},
  isbn      = {0-88986-381-4},
  timestamp = {Wed, 08 Nov 2006 11:22:27 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iastedSE/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iastedSEA/2004,
  editor    = {M. H. Hamza},
  title     = {Proceedings of the {IASTED} Conference on Software Engineering and
               Applications, November 9-11, 2004, MIT, Cambridge, MA, {USA}},
  publisher = {{IASTED/ACTA} Press},
  year      = {2004},
  isbn      = {0-88986-425-X},
  timestamp = {Mon, 18 Jun 2007 14:30:27 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iastedSEA/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ic/2004-2,
  editor    = {Hamid R. Arabnia and
               Olaf Droegehorn and
               S. Chatterjee},
  title     = {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},
  publisher = {{CSREA} Press},
  year      = {2004},
  isbn      = {1-932415-45-9},
  timestamp = {Fri, 19 Nov 2004 14:34:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ic/2004-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ifip10-3/2004dipes,
  editor    = {Bernd Kleinjohann and
               Guang R. Gao and
               Hermann Kopetz and
               Lisa Kleinjohann and
               Achim Rettberg},
  title     = {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},
  publisher = {Kluwer/Springer},
  year      = {2004},
  isbn      = {1-4020-8148-0},
  timestamp = {Wed, 16 Jul 2014 08:44:36 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifip10-3/2004dipes},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/qsic/2004,
  title     = {4th International Conference on Quality Software {(QSIC} 2004), 8-10
               September 2004, Braunschweig, Germany},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9385},
  isbn      = {0-7695-2207-6},
  timestamp = {Thu, 19 Mar 2015 16:19:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/qsic/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2003,
  editor    = {Keijiro Araki and
               Stefania Gnesi and
               Dino Mandrioli},
  title     = {{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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b13229},
  doi       = {10.1007/b13229},
  isbn      = {3-540-40828-2},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2003,
  editor    = {Elie Najm and
               Uwe Nestmann and
               Perdita Stevens},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/b94120},
  doi       = {10.1007/b94120},
  isbn      = {3-540-20491-1},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmoods/2003},
  bibsource = {dblp computer science bibliography, http://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, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isss2/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/vmcai/2003,
  editor    = {Lenore D. Zuck and
               Paul C. Attie and
               Agostino Cortesi and
               Supratik Mukhopadhyay},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36384-X},
  doi       = {10.1007/3-540-36384-X},
  isbn      = {3-540-00348-7},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/vmcai/2003},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2002,
  title     = {9th Asia-Pacific Software Engineering Conference {(APSEC} 2002), 4-6
               December 2002, Gold Coast, Queensland, Australia},
  publisher = {{IEEE} Computer Society},
  year      = {2002},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=8424},
  isbn      = {0-7695-1850-8},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/flops/2002,
  editor    = {Zhenjiang Hu and
               Mario Rodr{\'{\i}}guez{-}Artalejo},
  title     = {Functional and Logic Programming, 6th International Symposium, {FLOPS}
               2002, Aizu, Japan, September 15-17, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2441},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45788-7},
  doi       = {10.1007/3-540-45788-7},
  isbn      = {3-540-44233-2},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/flops/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fmoods/2002,
  editor    = {Bart Jacobs and
               Arend Rensink},
  title     = {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},
  publisher = {Kluwer},
  year      = {2002},
  isbn      = {0-7923-7683-8},
  timestamp = {Thu, 09 Jul 2015 16:49:48 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fmoods/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isss2/2002,
  editor    = {Mitsuhiro Okada and
               Benjamin C. Pierce and
               Andre Scedrov and
               Hideyuki Tokuda and
               Akinori Yonezawa},
  title     = {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},
  publisher = {Springer},
  year      = {2003},
  url       = {https://doi.org/10.1007/3-540-36532-X},
  doi       = {10.1007/3-540-36532-X},
  isbn      = {3-540-00708-3},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isss2/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apaqs/2001,
  title     = {2nd Asia-Pacific Conference on Quality Software {(APAQS} 2001), 10-11
               December 2001, Hong Kong, China, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7761},
  isbn      = {0-7695-1287-9},
  timestamp = {Thu, 19 Mar 2015 16:19:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apaqs/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ipps/2001,
  title     = {Proceedings of the 15th International Parallel {\&} Distributed
               Processing Symposium (IPDPS-01), San Francisco, CA, April 23-27, 2001},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7373},
  isbn      = {0-7695-0990-8},
  timestamp = {Fri, 01 Aug 2014 14:26:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ipps/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/2001,
  title     = {16th {IEEE} International Conference on Automated Software Engineering
               {(ASE} 2001), 26-29 November 2001, Coronado Island, San Diego, CA,
               {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2001},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7763},
  isbn      = {0-7695-1426-X},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kbse/2001},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/2000,
  title     = {7th Asia-Pacific Software Engineering Conference {(APSEC} 2000), 5-8
               December 2000, Singapore},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7203},
  isbn      = {0-7695-0915-0},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2000,
  title     = {3rd {IEEE} International Conference on Formal Engineering Methods,
               {ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {2000},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7014},
  isbn      = {0-7695-0822-7},
  timestamp = {Fri, 27 May 2016 13:09:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2000-2,
  editor    = {Barrett R. Bryant and
               Janice H. Carroll and
               Ernesto Damiani and
               Hisham Haddad and
               Dave Oppenheim},
  title     = {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},
  publisher = {{ACM}},
  year      = {2000},
  url       = {http://doi.acm.org/10.1145/338407},
  doi       = {10.1145/338407},
  timestamp = {Tue, 03 Nov 2015 12:36:37 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/2000-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/apsec/1999,
  title     = {6th Asia-Pacific Software Engineering Conference {(APSEC} '99), 7-10
               December 1999, Takamatsu, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6571},
  isbn      = {0-7695-0509-0},
  timestamp = {Tue, 25 Nov 2014 17:05:18 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/apsec/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asian/1999,
  editor    = {P. S. Thiagarajan and
               Roland H. C. Yap},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-46674-6},
  doi       = {10.1007/3-540-46674-6},
  isbn      = {3-540-66856-X},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asian/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/1999-2,
  editor    = {Jeannette M. Wing and
               Jim Woodcock and
               Jim Davies},
  title     = {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},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/3-540-48118-4},
  doi       = {10.1007/3-540-48118-4},
  isbn      = {3-540-66588-9},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/1999-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/1999,
  editor    = {Barrett R. Bryant and
               Gary B. Lamont and
               Hisham Haddad and
               Janice H. Carroll},
  title     = {Proceedings of the 1999 {ACM} Symposium on Applied Computing, SAC'99,
               San Antonio, Texas, USA, February 28 - March 2, 1999},
  publisher = {{ACM}},
  year      = {1999},
  url       = {http://doi.acm.org/10.1145/298151},
  doi       = {10.1145/298151},
  isbn      = {1-58113-086-4},
  timestamp = {Tue, 03 Nov 2015 12:36:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/daglib/0035620,
  editor    = {Haim Kilov and
               Bernhard Rumpe and
               Ian Simmonds},
  title     = {Behavioral Specifications of Businesses and Systems},
  series    = {The Kluwer International Series in Engineering and Computer Science},
  volume    = {523},
  publisher = {Springer},
  year      = {1999},
  url       = {https://doi.org/10.1007/978-1-4615-5229-1},
  doi       = {10.1007/978-1-4615-5229-1},
  isbn      = {978-1-4613-7383-4},
  timestamp = {Tue, 16 May 2017 14:01:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/daglib/0035620},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/europar/1998,
  editor    = {David J. Pritchard and
               Jeff Reeve},
  title     = {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},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0057834},
  doi       = {10.1007/BFb0057834},
  isbn      = {3-540-64952-2},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/europar/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/europar/1997,
  editor    = {Christian Lengauer and
               Martin Griebl and
               Sergei Gorlatch},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0002712},
  doi       = {10.1007/BFb0002712},
  isbn      = {3-540-63440-1},
  timestamp = {Tue, 23 May 2017 11:53:57 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/europar/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/1997,
  title     = {First {IEEE} International Conference on Formal Engineering Methods,
               {ICFEM} 1997, Hiroshima, Japan, November 12-14, 1997, Proceedings},
  publisher = {{IEEE} Computer Society},
  year      = {1997},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4977},
  isbn      = {0-8186-8002-4},
  timestamp = {Fri, 27 May 2016 13:18:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/1997,
  editor    = {W. Richards Adrion and
               Alfonso Fuggetta and
               Richard N. Taylor and
               Anthony I. Wasserman},
  title     = {Pulling Together, Proceedings of the 19th International Conference
               on Software Engineering, Boston, Massachusetts, USA, May 17-23, 1997},
  publisher = {{ACM}},
  year      = {1997},
  url       = {http://dl.acm.org/citation.cfm?id=253228},
  isbn      = {0-89791-914-9},
  timestamp = {Mon, 14 May 2012 18:17:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/plilp/1997,
  editor    = {Hugh Glaser and
               Pieter H. Hartel and
               Herbert Kuchen},
  title     = {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},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/BFb0033832},
  doi       = {10.1007/BFb0033832},
  isbn      = {3-540-63398-7},
  timestamp = {Mon, 22 May 2017 17:11:08 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/plilp/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/rta/1997,
  editor    = {Hubert Comon},
  title     = {Rewriting Techniques and Applications, 8th International Conference,
               RTA-97, Sitges, Spain, June 2-5, 1997, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1232},
  publisher = {Springer},
  year      = {1997},
  url       = {https://doi.org/10.1007/3-540-62950-5},
  doi       = {10.1007/3-540-62950-5},
  isbn      = {3-540-62950-5},
  timestamp = {Mon, 22 May 2017 17:11:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/rta/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ispw/1994,
  editor    = {Carlo Ghezzi},
  title     = {Proceedings of the Ninth International Software Process Workshop {(ISPW}
               '94), October 1994, Airlie, Virginia, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1994},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=3880},
  isbn      = {0-8186-6770-2},
  timestamp = {Tue, 31 May 2016 14:09:49 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ispw/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/compsac/1991,
  title     = {Proceedings of the Fifteenth Annual International Computer Software
               and Applications Conference, {COMPSAC} 1991, Tokyo, Japan, 11-13 September,
               1991},
  publisher = {{IEEE}},
  year      = {1991},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=342},
  isbn      = {0-8186-2152-4},
  timestamp = {Tue, 22 Nov 2016 16:04:40 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/compsac/1991},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/forte/1990,
  editor    = {Juan Quemada and
               Jos{\'{e}} A. Ma{\~{n}}as and
               Enrique V{\'{a}}zquez},
  title     = {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},
  publisher = {North-Holland},
  year      = {1991},
  isbn      = {0-444-89024-6},
  timestamp = {Thu, 03 Jan 2002 11:58:39 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/forte/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/1990,
  editor    = {Fran{\c{c}}ois{-}R{\'{e}}gis Valette and
               Peter A. Freeman and
               Marie{-}Claude Gaudel},
  title     = {Proceedings of the 12th International Conference on Software Engineering,
               Nice, France, March 26-30, 1990},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://dl.acm.org/citation.cfm?id=100296},
  isbn      = {0-8186-2026-9},
  timestamp = {Mon, 14 May 2012 18:17:13 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ispw/1990,
  editor    = {Takuya Katayama},
  title     = {Proceedings of the Sixth International Software Process Workshop {(ISPW}
               '90), October 1990, Hakodate, Japan},
  publisher = {{IEEE} Computer Society},
  year      = {1990},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5298},
  isbn      = {0-8186-2495-7},
  timestamp = {Tue, 31 May 2016 14:11:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ispw/1990},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/1989,
  editor    = {Larry E. Druffel and
               Dick Fairley and
               Dines Bj{\o}rner},
  title     = {Proceedings of the 11th International Conference on Software Engineering,
               Pittsburg, PA, USA, May 15-18, 1989},
  publisher = {{IEEE} Computer Society / {ACM} Press},
  year      = {1989},
  url       = {http://dl.acm.org/citation.cfm?id=74587},
  isbn      = {0-8186-1941-4},
  timestamp = {Mon, 14 May 2012 18:17:26 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ispw/1989,
  editor    = {Dewayne E. Perry},
  title     = {Proceedings of the Fifth International Software Process Workshop {(ISPW}
               '89), October 1989, Kennebunkport, Maine, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {1989},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=318},
  isbn      = {0-8186-2104-4},
  timestamp = {Tue, 31 May 2016 14:12:17 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ispw/1989},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/1988,
  editor    = {Tan Chin Nam and
               Larry E. Druffel and
               Bertrand Meyer},
  title     = {Proceedings, 10th International Conference on Software Engineering,
               Singapore, Singapore, April 11-15, 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://dl.acm.org/citation.cfm?id=55823},
  isbn      = {0-8186-0849-8},
  timestamp = {Mon, 14 May 2012 18:17:23 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/1987,
  editor    = {William E. Riddle and
               Robert M. Balzer and
               Kouichi Kishida},
  title     = {Proceedings, 9th International Conference on Software Engineering,
               Monterey, California, USA, March 30 - April 2, 1987},
  publisher = {{ACM} Press},
  year      = {1987},
  url       = {http://dl.acm.org/citation.cfm?id=41765},
  isbn      = {0-89791-216-0},
  timestamp = {Tue, 15 May 2012 07:19:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/1987},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/popl/1985,
  editor    = {Mary S. Van Deusen and
               Zvi Galil and
               Brian K. Reid},
  title     = {Conference Record of the Twelfth Annual {ACM} Symposium on Principles
               of Programming Languages, New Orleans, Louisiana, USA, January 1985},
  publisher = {{ACM} Press},
  year      = {1985},
  url       = {http://dl.acm.org/citation.cfm?id=318593},
  isbn      = {0-89791-147-4},
  timestamp = {Mon, 21 May 2012 16:19:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/popl/1985},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icse/1982,
  editor    = {Yutaka Ohno and
               Victor R. Basili and
               Hajime Enomoto and
               Koji Kobayashi and
               Raymond T. Yeh},
  title     = {Proceedings, 6th International Conference on Software Engineering,
               Tokyo, Japan, September 13-16, 1982},
  publisher = {{IEEE} Computer Society},
  year      = {1982},
  url       = {http://dl.acm.org/citation.cfm?id=800254},
  timestamp = {Mon, 14 May 2012 18:17:19 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icse/1982},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/webist/2006-1,
  editor    = {Jos{\'{e}} A. Moinhos Cordeiro and
               Vitor Pedrosa and
               Bruno Encarna{\c{c}}{\~{a}}o and
               Joaquim Filipe},
  title     = {{WEBIST} 2006, Proceedings of the Second International Conference
               on Web Information Systems and Technologies: Internet Technology /
               Web Interface and Applications, Set{\'{u}}bal, Portugal, April
               11-13, 2006},
  publisher = {{INSTICC} Press},
  year      = {2006},
  isbn      = {978-972-8865-46-7},
  timestamp = {Mon, 18 Sep 2006 11:02:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/webist/2006-1},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier