BibTeX records: Richard Banach

download as .bib file

@article{DBLP:journals/scp/BanachBQZ17,
  author    = {Richard Banach and
               Michael J. Butler and
               Shengchao Qin and
               Huibiao Zhu},
  title     = {Core Hybrid Event-B {II:} Multiple cooperating Hybrid Event-B machines},
  journal   = {Sci. Comput. Program.},
  volume    = {139},
  pages     = {1--35},
  year      = {2017},
  url       = {https://doi.org/10.1016/j.scico.2016.12.003},
  doi       = {10.1016/j.scico.2016.12.003},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BanachBQZ17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/sttt/Banach17,
  author    = {Richard Banach},
  title     = {The landing gear system in multi-machine Hybrid Event-B},
  journal   = {{STTT}},
  volume    = {19},
  number    = {2},
  pages     = {205--228},
  year      = {2017},
  url       = {https://doi.org/10.1007/s10009-015-0409-7},
  doi       = {10.1007/s10009-015-0409-7},
  timestamp = {Thu, 18 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/sttt/Banach17},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/Banach16,
  author    = {Richard Banach},
  title     = {Hemodialysis Machine in Hybrid Event-B},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  pages     = {376--393},
  year      = {2016},
  crossref  = {DBLP:conf/asm/2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8_32},
  doi       = {10.1007/978-3-319-33600-8_32},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/Banach16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/BanachZ16,
  author    = {Richard Banach and
               Huibiao Zhu},
  title     = {Shared-Variable Concurrency, Continuous Behaviour and Healthiness
               for Critical Cyberphysical Systems},
  booktitle = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  pages     = {109--125},
  year      = {2016},
  crossref  = {DBLP:conf/ftscs/2016},
  url       = {https://doi.org/10.1007/978-3-319-53946-1_7},
  doi       = {10.1007/978-3-319-53946-1_7},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ftscs/BanachZ16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BanachB16,
  author    = {Richard Banach and
               Michael J. Butler},
  title     = {Modelling Hybrid Systems in Event-B and Hybrid Event-B: {A} Comparison
               of Water Tanks},
  booktitle = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  pages     = {90--105},
  year      = {2016},
  crossref  = {DBLP:conf/icfem/2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3_7},
  doi       = {10.1007/978-3-319-47846-3_7},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/BanachB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tase/Banach16,
  author    = {Richard Banach},
  title     = {Formal Refinement and Partitioning of a Fuel Pump System for Small
               Aircraft in Hybrid Event-B},
  booktitle = {10th International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2016, Shanghai, China, July 17-19, 2016},
  pages     = {65--72},
  year      = {2016},
  crossref  = {DBLP:conf/tase/2016},
  url       = {https://doi.org/10.1109/TASE.2016.16},
  doi       = {10.1109/TASE.2016.16},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/Banach16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@incollection{DBLP:books/crc/p/ButlerAB16,
  author    = {Michael J. Butler and
               Jean{-}Raymond Abrial and
               Richard Banach},
  title     = {Modelling and Refining Hybrid Systems in Event-B and Rodin},
  booktitle = {From Action Systems to Distributed Systems - The Refinement Approach.},
  pages     = {29--42},
  year      = {2016},
  crossref  = {DBLP:books/crc/asds2016},
  url       = {https://doi.org/10.1201/b20053-5},
  doi       = {10.1201/b20053-5},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/crc/p/ButlerAB16},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/mscs/BanachJ15,
  author    = {Richard Banach and
               Czeslaw Jeske},
  title     = {Retrenchment and refinement interworking: the tower theorems},
  journal   = {Mathematical Structures in Computer Science},
  volume    = {25},
  number    = {1},
  pages     = {135--202},
  year      = {2015},
  url       = {https://doi.org/10.1017/S0960129514000061},
  doi       = {10.1017/S0960129514000061},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/mscs/BanachJ15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BanachBQVZ15,
  author    = {Richard Banach and
               Michael J. Butler and
               Shengchao Qin and
               Nitika Verma and
               Huibiao Zhu},
  title     = {Core Hybrid Event-B {I:} Single Hybrid Event-B machines},
  journal   = {Sci. Comput. Program.},
  volume    = {105},
  pages     = {92--123},
  year      = {2015},
  url       = {https://doi.org/10.1016/j.scico.2015.02.003},
  doi       = {10.1016/j.scico.2015.02.003},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BanachBQVZ15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/enase/Banach15,
  author    = {Richard Banach},
  title     = {Stochastic Analogues of Invariants - Martingales in Stochastic Event-B},
  booktitle = {{ENASE} 2015 - Proceedings of the 10th International Conference on
               Evaluation of Novel Approaches to Software Engineering, Barcelona,
               Spain, 29-30 April, 2015.},
  pages     = {238--243},
  year      = {2015},
  crossref  = {DBLP:conf/enase/2015},
  url       = {https://doi.org/10.5220/0005431602380243},
  doi       = {10.5220/0005431602380243},
  timestamp = {Fri, 19 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/enase/Banach15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fedcsis/BanachSV15,
  author    = {Richard Banach and
               Pieter Van Schaik and
               Eric Verhulst},
  title     = {Simulation and formal modelling of yaw control in a drive-by-wire
               application},
  booktitle = {2015 Federated Conference on Computer Science and Information Systems,
               FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  pages     = {731--742},
  year      = {2015},
  crossref  = {DBLP:conf/fedcsis/2015},
  url       = {https://doi.org/10.15439/2015F132},
  doi       = {10.15439/2015F132},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fedcsis/BanachSV15},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BanachZSH14,
  author    = {Richard Banach and
               Huibiao Zhu and
               Wen Su and
               Runlei Huang},
  title     = {Continuous KAOS, ASM, and formal control system design across the
               continuous/discrete modeling interface: a simple train stopping application},
  journal   = {Formal Asp. Comput.},
  volume    = {26},
  number    = {2},
  pages     = {319--366},
  year      = {2014},
  url       = {https://doi.org/10.1007/s00165-012-0263-2},
  doi       = {10.1007/s00165-012-0263-2},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BanachZSH14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BanachZSW14,
  author    = {Richard Banach and
               Huibiao Zhu and
               Wen Su and
               Xiaofeng Wu},
  title     = {ASM, controller synthesis, and complete refinement},
  journal   = {Sci. Comput. Program.},
  volume    = {94},
  pages     = {109--129},
  year      = {2014},
  url       = {https://doi.org/10.1016/j.scico.2014.04.013},
  doi       = {10.1016/j.scico.2014.04.013},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BanachZSW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tosem/BanachZSW14,
  author    = {Richard Banach and
               Huibiao Zhu and
               Wen Su and
               Xiaofeng Wu},
  title     = {A Continuous {ASM} Modelling Approach to Pacemaker Sensing},
  journal   = {{ACM} Trans. Softw. Eng. Methodol.},
  volume    = {24},
  number    = {1},
  pages     = {2:1--2:40},
  year      = {2014},
  url       = {http://doi.acm.org/10.1145/2610375},
  doi       = {10.1145/2610375},
  timestamp = {Thu, 07 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tosem/BanachZSW14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/Banach14,
  author    = {Richard Banach},
  title     = {Invariant Guided System Decomposition},
  booktitle = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
               Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  pages     = {271--276},
  year      = {2014},
  crossref  = {DBLP:conf/asm/2014},
  url       = {https://doi.org/10.1007/978-3-662-43652-3_23},
  doi       = {10.1007/978-3-662-43652-3_23},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/Banach14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tase/Banach14,
  author    = {Richard Banach},
  title     = {Contemplating the Addition of Stochastic Behaviour to Hybrid Event-B},
  booktitle = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
               2014, Changsha, China, September 1-3, 2014},
  pages     = {42--49},
  year      = {2014},
  crossref  = {DBLP:conf/tase/2014},
  url       = {https://doi.org/10.1109/TASE.2014.7},
  doi       = {10.1109/TASE.2014.7},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/Banach14},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BanachJHS13,
  author    = {Richard Banach and
               Czeslaw Jeske and
               Anthony Hall and
               Susan Stepney},
  title     = {Atomicity failure and the retrenchment atomicity pattern},
  journal   = {Formal Asp. Comput.},
  volume    = {25},
  number    = {3},
  pages     = {439--464},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00165-011-0216-1},
  doi       = {10.1007/s00165-011-0216-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BanachJHS13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BanachB13,
  author    = {Richard Banach and
               Marco Bozzano},
  title     = {The mechanical generation of fault trees for reactive systems via
               retrenchment {I:} combinational circuits},
  journal   = {Formal Asp. Comput.},
  volume    = {25},
  number    = {4},
  pages     = {573--607},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00165-011-0202-7},
  doi       = {10.1007/s00165-011-0202-7},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BanachB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BanachB13a,
  author    = {Richard Banach and
               Marco Bozzano},
  title     = {The mechanical generation of fault trees for reactive systems via
               retrenchment {II:} clocked and feedback circuits},
  journal   = {Formal Asp. Comput.},
  volume    = {25},
  number    = {4},
  pages     = {609--657},
  year      = {2013},
  url       = {https://doi.org/10.1007/s00165-011-0203-6},
  doi       = {10.1007/s00165-011-0203-6},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BanachB13a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/birthday/Banach13,
  author    = {Richard Banach},
  title     = {Pliant Modalities in Hybrid Event-B},
  booktitle = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
               He on the Occasion of His 70th Birthday},
  pages     = {37--53},
  year      = {2013},
  crossref  = {DBLP:conf/birthday/2013he},
  url       = {https://doi.org/10.1007/978-3-642-39698-4_3},
  doi       = {10.1007/978-3-642-39698-4_3},
  timestamp = {Thu, 15 Jun 2017 21:34:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/Banach13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/csdm/BanachB13,
  author    = {Richard Banach and
               Michael J. Butler},
  title     = {A Hybrid Event-B Study of Lane Centering},
  booktitle = {Complex Systems Design {\&} Management, Proceedings of the Fourth
               International Conference on Complex Systems Design {\&} Management
               CSD{\&}M 2013, Paris, France, December 4-6, 2013},
  pages     = {97--111},
  year      = {2013},
  crossref  = {DBLP:conf/csdm/2013},
  url       = {https://doi.org/10.1007/978-3-319-02812-5_8},
  doi       = {10.1007/978-3-319-02812-5_8},
  timestamp = {Wed, 24 May 2017 08:27:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csdm/BanachB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ictac/BanachB13,
  author    = {Richard Banach and
               Michael J. Butler},
  title     = {Cruise Control in Hybrid Event-B},
  booktitle = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
               Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  pages     = {76--93},
  year      = {2013},
  crossref  = {DBLP:conf/ictac/2013},
  url       = {https://doi.org/10.1007/978-3-642-39718-9_5},
  doi       = {10.1007/978-3-642-39718-9_5},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/BanachB13},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/BanachZSW12,
  author    = {Richard Banach and
               Huibiao Zhu and
               Wen Su and
               Xiaofeng Wu},
  title     = {{ASM} and Controller Synthesis},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {51--64},
  year      = {2012},
  crossref  = {DBLP:conf/asm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7_4},
  doi       = {10.1007/978-3-642-30885-7_4},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/BanachZSW12},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/BanachZSW12a,
  author    = {Richard Banach and
               Huibiao Zhu and
               Wen Su and
               Xiaofeng Wu},
  title     = {Continuous ASM, and a Pacemaker Sensing Fragment},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {65--78},
  year      = {2012},
  crossref  = {DBLP:conf/asm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7_5},
  doi       = {10.1007/978-3-642-30885-7_5},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/BanachZSW12a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/BanachZSW12b,
  author    = {Richard Banach and
               Huibiao Zhu and
               Wen Su and
               Xiaofeng Wu},
  title     = {Continuous Behaviour in Event-B: {A} Sketch},
  booktitle = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  pages     = {349--352},
  year      = {2012},
  crossref  = {DBLP:conf/asm/2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7_29},
  doi       = {10.1007/978-3-642-30885-7_29},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/BanachZSW12b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/Banach11,
  author    = {Richard Banach},
  title     = {Retrenchment for Event-B: UseCase-wise development and Rodin integration},
  journal   = {Formal Asp. Comput.},
  volume    = {23},
  number    = {1},
  pages     = {113--131},
  year      = {2011},
  url       = {https://doi.org/10.1007/s00165-009-0139-2},
  doi       = {10.1007/s00165-009-0139-2},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/Banach11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/BanachJ11,
  author    = {Richard Banach and
               Czeslaw Jeske},
  title     = {Simple feature engineering via neat default retrenchments},
  journal   = {J. Log. Algebr. Program.},
  volume    = {80},
  number    = {8},
  pages     = {453--480},
  year      = {2011},
  url       = {https://doi.org/10.1016/j.jlap.2010.12.001},
  doi       = {10.1016/j.jlap.2010.12.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jlp/BanachJ11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Banach11,
  author    = {Richard Banach},
  title     = {Review of \emph{Modeling in Event-B: System and Sofware Engineering},
               1st edition, by Jean-Raymond Abrial},
  journal   = {J. Log. Comput.},
  volume    = {21},
  number    = {2},
  pages     = {403--404},
  year      = {2011},
  url       = {https://doi.org/10.1093/logcom/exq025},
  doi       = {10.1093/logcom/exq025},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Banach11},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1106-4097,
  author    = {Richard Banach and
               Huibiao Zhu and
               Wen Su and
               Runlei Huang},
  title     = {Formalising the Continuous/Discrete Modeling Step},
  booktitle = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
               Limerick, Ireland, 20th June 2011.},
  pages     = {121--138},
  year      = {2011},
  crossref  = {DBLP:journals/corr/abs-1106-3488},
  url       = {https://doi.org/10.4204/EPTCS.55.8},
  doi       = {10.4204/EPTCS.55.8},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1106-4097},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BanachS10,
  author    = {Richard Banach and
               Gerhard Schellhorn},
  title     = {Atomic actions, and their refinements to isolated protocols},
  journal   = {Formal Asp. Comput.},
  volume    = {22},
  number    = {1},
  pages     = {33--61},
  year      = {2010},
  url       = {https://doi.org/10.1007/s00165-009-0103-1},
  doi       = {10.1007/s00165-009-0103-1},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BanachS10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/BanachJ10,
  author    = {Richard Banach and
               Czeslaw Jeske},
  title     = {Stronger compositions for retrenchments},
  journal   = {J. Log. Algebr. Program.},
  volume    = {79},
  number    = {3-5},
  pages     = {215--232},
  year      = {2010},
  url       = {https://doi.org/10.1016/j.jlap.2009.10.002},
  doi       = {10.1016/j.jlap.2009.10.002},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jlp/BanachJ10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/Banach10,
  author    = {Richard Banach},
  title     = {A deidealisation semantics for {KAOS}},
  booktitle = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  pages     = {267--274},
  year      = {2010},
  crossref  = {DBLP:conf/sac/2010},
  url       = {http://doi.acm.org/10.1145/1774088.1774146},
  doi       = {10.1145/1774088.1774146},
  timestamp = {Tue, 03 Nov 2015 12:36:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/Banach10},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tase/Banach09,
  author    = {Richard Banach},
  title     = {Coarse Grained Retrenchment and the Mondex Denial of Service Attacks},
  booktitle = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
               of Software Engineering, 29-31 July 2009, Tianjin, China},
  pages     = {103--110},
  year      = {2009},
  crossref  = {DBLP:conf/tase/2009},
  url       = {https://doi.org/10.1109/TASE.2009.19},
  doi       = {10.1109/TASE.2009.19},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/Banach09},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/BanachS08,
  author    = {Richard Banach and
               Gerhard Schellhorn},
  title     = {On the Refinement of Atomic Actions},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {201},
  pages     = {3--30},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.entcs.2008.02.013},
  doi       = {10.1016/j.entcs.2008.02.013},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BanachS08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jlp/BanachJP08,
  author    = {Richard Banach and
               Czeslaw Jeske and
               Michael Poppleton},
  title     = {Composition mechanisms for retrenchment},
  journal   = {J. Log. Algebr. Program.},
  volume    = {75},
  number    = {2},
  pages     = {209--229},
  year      = {2008},
  url       = {https://doi.org/10.1016/j.jlap.2007.11.001},
  doi       = {10.1016/j.jlap.2007.11.001},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jlp/BanachJP08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/Banach08,
  author    = {Richard Banach},
  title     = {Model Based Refinement and the Tools of Tomorrow},
  booktitle = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  pages     = {42--56},
  year      = {2008},
  crossref  = {DBLP:conf/asm/2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8_5},
  doi       = {10.1007/978-3-540-87603-8_5},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/Banach08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/SchellhornB08,
  author    = {Gerhard Schellhorn and
               Richard Banach},
  title     = {A Concept-Driven Construction of the Mondex Protocol Using Three Refinements},
  booktitle = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  pages     = {57--70},
  year      = {2008},
  crossref  = {DBLP:conf/asm/2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8_6},
  doi       = {10.1007/978-3-540-87603-8_6},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/SchellhornB08},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/Banach08a,
  author    = {Richard Banach},
  title     = {UseCase-Wise Development: Retrenchment for Event-B},
  booktitle = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  pages     = {167--180},
  year      = {2008},
  crossref  = {DBLP:conf/asm/2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8_14},
  doi       = {10.1007/978-3-540-87603-8_14},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/Banach08a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fuin/BanachJPS07,
  author    = {Richard Banach and
               Czeslaw Jeske and
               Michael Poppleton and
               Susan Stepney},
  title     = {Retrenching the Purse: The Balance Enquiry Quandary, and Generalised
               and (1, 1) Forward Refinements},
  journal   = {Fundam. Inform.},
  volume    = {77},
  number    = {1-2},
  pages     = {29--69},
  year      = {2007},
  url       = {http://content.iospress.com/articles/fundamenta-informaticae/fi77-1-2-03},
  timestamp = {Mon, 18 May 2015 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fuin/BanachJPS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/Banach07,
  author    = {Richard Banach},
  title     = {Formal Methods Guest Editorial},
  journal   = {J. {UCS}},
  volume    = {13},
  number    = {5},
  pages     = {593--601},
  year      = {2007},
  url       = {https://doi.org/10.3217/jucs-013-05-0593},
  doi       = {10.3217/jucs-013-05-0593},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/Banach07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/WoodcockB07,
  author    = {Jim Woodcock and
               Richard Banach},
  title     = {The Verification Grand Challenge},
  journal   = {J. {UCS}},
  volume    = {13},
  number    = {5},
  pages     = {661--668},
  year      = {2007},
  url       = {https://doi.org/10.3217/jucs-013-05-0661},
  doi       = {10.3217/jucs-013-05-0661},
  timestamp = {Wed, 14 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/WoodcockB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/BanachPJS07,
  author    = {Richard Banach and
               Michael Poppleton and
               Czeslaw Jeske and
               Susan Stepney},
  title     = {Engineering and theoretical underpinnings of retrenchment},
  journal   = {Sci. Comput. Program.},
  volume    = {67},
  number    = {2-3},
  pages     = {301--329},
  year      = {2007},
  url       = {https://doi.org/10.1016/j.scico.2007.04.002},
  doi       = {10.1016/j.scico.2007.04.002},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/BanachPJS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BanachJHS07,
  author    = {Richard Banach and
               Czeslaw Jeske and
               Anthony Hall and
               Susan Stepney},
  title     = {Retrenchment and the Atomicity Pattern},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {37--46},
  year      = {2007},
  crossref  = {DBLP:conf/sefm/2007},
  url       = {https://doi.org/10.1109/SEFM.2007.34},
  doi       = {10.1109/SEFM.2007.34},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/BanachJHS07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/FraserB07,
  author    = {Simon Fraser and
               Richard Banach},
  title     = {Configurable Proof Obligations in the Frog Toolkit},
  booktitle = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  pages     = {361--370},
  year      = {2007},
  crossref  = {DBLP:conf/sefm/2007},
  url       = {https://doi.org/10.1109/SEFM.2007.12},
  doi       = {10.1109/SEFM.2007.12},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/FraserB07},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isola/BanachPJS06,
  author    = {Richard Banach and
               Michael Poppleton and
               Czeslaw Jeske and
               Susan Stepney},
  title     = {Retrenching the Purse: Hashing Injective {CLEAR} Codes, and Security
               Properties},
  booktitle = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  pages     = {82--90},
  year      = {2006},
  crossref  = {DBLP:conf/isola/2006},
  url       = {https://doi.org/10.1109/ISoLA.2006.17},
  doi       = {10.1109/ISoLA.2006.17},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/BanachPJS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BanachB06,
  author    = {Richard Banach and
               Marco Bozzano},
  title     = {Retrenchment, and the Generation of Fault Trees for Static, Dynamic
               and Cyclic Systems},
  booktitle = {Computer Safety, Reliability, and Security, 25th International Conference,
               {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  pages     = {127--141},
  year      = {2006},
  crossref  = {DBLP:conf/safecomp/2006},
  url       = {https://doi.org/10.1007/11875567_10},
  doi       = {10.1007/11875567_10},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/safecomp/BanachB06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/BanachD06,
  author    = {Richard Banach and
               John Derrick},
  title     = {Filtering Retrenchments into Refinements},
  booktitle = {Fourth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages     = {60--69},
  year      = {2006},
  crossref  = {DBLP:conf/sefm/2006},
  url       = {https://doi.org/10.1109/SEFM.2006.17},
  doi       = {10.1109/SEFM.2006.17},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/BanachD06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Banach06,
  author    = {Richard Banach},
  title     = {Retrenchment Tutorial},
  booktitle = {Fourth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  pages     = {259},
  year      = {2006},
  crossref  = {DBLP:conf/sefm/2006},
  url       = {https://doi.org/10.1109/SEFM.2006.32},
  doi       = {10.1109/SEFM.2006.32},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/Banach06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sew/BanachPS06,
  author    = {Richard Banach and
               Michael Poppleton and
               Susan Stepney},
  title     = {Retrenching the Purse: Finite Exception Logs, and Validating the Small},
  booktitle = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
               2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
               MD, {USA}},
  pages     = {234--248},
  year      = {2006},
  crossref  = {DBLP:conf/sew/2006},
  url       = {https://doi.org/10.1109/SEW.2006.28},
  doi       = {10.1109/SEW.2006.28},
  timestamp = {Wed, 24 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sew/BanachPS06},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/asm/BanachPJS05,
  author    = {Richard Banach and
               Michael Poppleton and
               Czeslaw Jeske and
               Susan Stepney},
  title     = {Retrenchment and the Mondex Electronic Purse},
  booktitle = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  pages     = {41--48},
  year      = {2005},
  crossref  = {DBLP:conf/asm/2005},
  url       = {http://www.univ-paris12.fr/lacl/dima/asm05/ret.asm.mondex.short.ps},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/BanachPJS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/BanachPJS05,
  author    = {Richard Banach and
               Michael Poppleton and
               Czeslaw Jeske and
               Susan Stepney},
  title     = {Retrenching the Purse: Finite Sequence Numbers, and the Tower Pattern},
  booktitle = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  pages     = {382--398},
  year      = {2005},
  crossref  = {DBLP:conf/fm/2005},
  url       = {https://doi.org/10.1007/11526841_26},
  doi       = {10.1007/11526841_26},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/BanachPJS05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/BanachF05,
  author    = {Richard Banach and
               Simon Fraser},
  title     = {Retrenchment and the B-Toolkit},
  booktitle = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  pages     = {203--221},
  year      = {2005},
  crossref  = {DBLP:conf/zum/2005},
  url       = {https://doi.org/10.1007/11415787_13},
  doi       = {10.1007/11415787_13},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/BanachF05},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2005,
  editor    = {Kung{-}Kiu Lau and
               Richard Banach},
  title     = {Formal Methods and Software Engineering, 7th International Conference
               on Formal Engineering Methods, {ICFEM} 2005, Manchester, UK, November
               1-4, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3785},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/11576280},
  doi       = {10.1007/11576280},
  isbn      = {3-540-29797-9},
  timestamp = {Tue, 30 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Banach04,
  author    = {Richard Banach},
  title     = {Review: Process Algebra with Timing},
  journal   = {J. Log. Comput.},
  volume    = {14},
  number    = {6},
  pages     = {881},
  year      = {2004},
  url       = {https://doi.org/10.1093/logcom/14.6.881},
  doi       = {10.1093/logcom/14.6.881},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Banach04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iceccs/PoppletonB04,
  author    = {Michael Poppleton and
               Richard Banach},
  title     = {Requirements Validation by Lifting Retrenchments in {B}},
  booktitle = {9th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
  pages     = {87--96},
  year      = {2004},
  crossref  = {DBLP:conf/iceccs/2004},
  url       = {https://doi.org/10.1109/ICECCS.2004.1310907},
  doi       = {10.1109/ICECCS.2004.1310907},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/PoppletonB04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/BanachC04,
  author    = {Richard Banach and
               R. Cross},
  title     = {Safety Requirements and Fault Trees Using Retrenchment},
  booktitle = {Computer Safety, Reliability, and Security, 23rd International Conference,
               {SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
  pages     = {210--223},
  year      = {2004},
  crossref  = {DBLP:conf/safecomp/2004},
  url       = {https://doi.org/10.1007/978-3-540-30138-7_18},
  doi       = {10.1007/978-3-540-30138-7_18},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/safecomp/BanachC04},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/BanachAPG03,
  author    = {Richard Banach and
               Farhad Arbab and
               George A. Papadopoulos and
               John R. W. Glauert},
  title     = {A Multiply Hierarchical Automaton Semantics for the {IWIM} Coordination
               Model},
  journal   = {J. {UCS}},
  volume    = {9},
  number    = {1},
  pages     = {2--33},
  year      = {2003},
  url       = {https://doi.org/10.3217/jucs-009-01-0002},
  doi       = {10.3217/jucs-009-01-0002},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/BanachAPG03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Banach03,
  author    = {Richard Banach},
  title     = {Book Review: "Refinement in {Z} and object-Z: Foundations and
               Advanced Applications" by John Derrick and Eerke Boiten},
  journal   = {J. Log. Comput.},
  volume    = {13},
  number    = {2},
  pages     = {313--314},
  year      = {2003},
  url       = {https://doi.org/10.1093/logcom/13.2.313},
  doi       = {10.1093/logcom/13.2.313},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Banach03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Banach03a,
  author    = {Richard Banach},
  title     = {Book Review: "Concurrency Verification: Introduction to Compositional
               and Non-compositional Methods" by Willem-Paul de Roever, Frank
               de Boer, Ulrich Hanneman, Jozef Hooman, Yassine Lakhnech, Mannes Poel
               and Job Zwiers (eds.)},
  journal   = {J. Log. Comput.},
  volume    = {13},
  number    = {4},
  pages     = {625--627},
  year      = {2003},
  url       = {https://doi.org/10.1093/logcom/13.4.625},
  doi       = {10.1093/logcom/13.4.625},
  timestamp = {Wed, 08 Mar 2017 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Banach03a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Banach03b,
  author    = {Richard Banach},
  title     = {Review: Mathematics of Quantum Computation},
  journal   = {J. Log. Comput.},
  volume    = {13},
  number    = {6},
  pages     = {957--959},
  year      = {2003},
  url       = {https://doi.org/10.1093/logcom/13.6.957},
  doi       = {10.1093/logcom/13.6.957},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Banach03b},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/logcom/Banach03c,
  author    = {Richard Banach},
  title     = {Review: Handbook of Process Algebra},
  journal   = {J. Log. Comput.},
  volume    = {13},
  number    = {6},
  pages     = {959--962},
  year      = {2003},
  url       = {https://doi.org/10.1093/logcom/13.6.959},
  doi       = {10.1093/logcom/13.6.959},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/logcom/Banach03c},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/re/BanachP03,
  author    = {Richard Banach and
               Michael Poppleton},
  title     = {Retrenching partial requirements into system definitions: a simple
               feature interaction case study},
  journal   = {Requir. Eng.},
  volume    = {8},
  number    = {4},
  pages     = {266--288},
  year      = {2003},
  url       = {https://doi.org/10.1007/s00766-002-0157-6},
  doi       = {10.1007/s00766-002-0157-6},
  timestamp = {Sat, 20 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/re/BanachP03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/PoppletonB03,
  author    = {Michael Poppleton and
               Richard Banach},
  title     = {Structuring Retrenchments in {B} by Decomposition},
  booktitle = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
               Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  pages     = {814--833},
  year      = {2003},
  crossref  = {DBLP:conf/fm/2003},
  url       = {https://doi.org/10.1007/978-3-540-45236-2_44},
  doi       = {10.1007/978-3-540-45236-2_44},
  timestamp = {Mon, 29 May 2017 16:53:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/PoppletonB03},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/BanachAPG02,
  author    = {Richard Banach and
               Farhad Arbab and
               George A. Papadopoulos and
               John R. W. Glauert},
  title     = {{IWIM} Semantics via Fibred Automata},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {66},
  number    = {4},
  pages     = {1--15},
  year      = {2002},
  url       = {https://doi.org/10.1016/S1571-0661(04)80446-8},
  doi       = {10.1016/S1571-0661(04)80446-8},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/BanachAPG02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/stvr/Banach02,
  author    = {Richard Banach},
  title     = {Book Reviews},
  journal   = {Softw. Test., Verif. Reliab.},
  volume    = {12},
  number    = {4},
  pages     = {278},
  year      = {2002},
  url       = {https://doi.org/10.1002/stvr.255},
  doi       = {10.1002/stvr.255},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/stvr/Banach02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/JeskeB02,
  author    = {Czeslaw Jeske and
               Richard Banach},
  title     = {Minimally and Maximally Abstract Retrenchments},
  booktitle = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
               Turku, Finland, May 15-18, 2002, Proceedings},
  pages     = {380--400},
  year      = {2002},
  crossref  = {DBLP:conf/ifm/2002},
  url       = {https://doi.org/10.1007/3-540-47884-1_21},
  doi       = {10.1007/3-540-47884-1_21},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/JeskeB02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/PoppletonB02,
  author    = {Michael Poppleton and
               Richard Banach},
  title     = {Controlling Control Systems: An Application of Evolving Retrenchment},
  booktitle = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  pages     = {42--61},
  year      = {2002},
  crossref  = {DBLP:conf/zum/2002},
  url       = {https://doi.org/10.1007/3-540-45648-1_3},
  doi       = {10.1007/3-540-45648-1_3},
  timestamp = {Thu, 15 Jun 2017 21:33:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/PoppletonB02},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Banach00,
  author    = {Richard Banach},
  title     = {Maximally Abstract Retrenchments},
  booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods,
               {ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
  pages     = {133--142},
  year      = {2000},
  crossref  = {DBLP:conf/icfem/2000},
  url       = {https://doi.org/10.1109/ICFEM.2000.873813},
  doi       = {10.1109/ICFEM.2000.873813},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/Banach00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/icfem/BanachP00,
  author    = {Richard Banach and
               Michael Poppleton},
  title     = {Fragmented Retrenchment, Concurrency and Fairness},
  booktitle = {3rd {IEEE} International Conference on Formal Engineering Methods,
               {ICFEM} 2000, York, England, UK, September 4-7, 2000, Proceedings},
  pages     = {143--152},
  year      = {2000},
  crossref  = {DBLP:conf/icfem/2000},
  url       = {https://doi.org/10.1109/ICFEM.2000.873814},
  doi       = {10.1109/ICFEM.2000.873814},
  timestamp = {Sun, 21 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/BanachP00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/iwfm/PoppletonB00,
  author    = {Michael Poppleton and
               Richard Banach},
  title     = {Retrenchment: Extending Refinement for Continuous and Control Systems},
  booktitle = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
               5th-6th July 2000},
  year      = {2000},
  crossref  = {DBLP:conf/iwfm/2000},
  url       = {http://ewic.bcs.org/content/ConWebDoc/4200},
  timestamp = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwfm/PoppletonB00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/zum/BanachP00,
  author    = {Richard Banach and
               Michael Poppleton},
  title     = {Retrenchment, Refinement, and Simulation},
  booktitle = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  pages     = {304--323},
  year      = {2000},
  crossref  = {DBLP:conf/zum/2000},
  url       = {https://doi.org/10.1007/3-540-44525-0_18},
  doi       = {10.1007/3-540-44525-0_18},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/BanachP00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/fac/BanachP99,
  author    = {Richard Banach and
               Michael Poppleton},
  title     = {Sharp Retrenchment, Modulated Refinement and Simulation},
  journal   = {Formal Asp. Comput.},
  volume    = {11},
  number    = {5},
  pages     = {498--540},
  year      = {1999},
  url       = {https://doi.org/10.1007/s001650050056},
  doi       = {10.1007/s001650050056},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/fac/BanachP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/fm/BanachP99,
  author    = {Richard Banach and
               Michael Poppleton},
  title     = {Retrenchment},
  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     = {1864--1865},
  year      = {1999},
  crossref  = {DBLP:conf/fm/1999-2},
  url       = {https://doi.org/10.1007/3-540-48118-4_56},
  doi       = {10.1007/3-540-48118-4_56},
  timestamp = {Wed, 24 May 2017 15:40:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/BanachP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ifm/BanachP99,
  author    = {Richard Banach and
               Michael Poppleton},
  title     = {Retrenchment and Punctured Simulation},
  booktitle = {Integrated Formal Methods, Proceedings of the 1st International Conference
               on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  pages     = {457--476},
  year      = {1999},
  crossref  = {DBLP:conf/ifm/1999},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/BanachP99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/kbse/PoppletonB99,
  author    = {Michael Poppleton and
               Richard Banach},
  title     = {Retrenchment: Extending the Reach of Refinement},
  booktitle = {The 14th {IEEE} International Conference on Automated Software Engineering,
               {ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
  pages     = {158--165},
  year      = {1999},
  crossref  = {DBLP:conf/kbse/1999},
  url       = {https://doi.org/10.1109/ASE.1999.802189},
  doi       = {10.1109/ASE.1999.802189},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kbse/PoppletonB99},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/b/BanachP98,
  author    = {Richard Banach and
               Michael Poppleton},
  title     = {Retrenchment: An Engineering Variation on Refinement},
  booktitle = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  pages     = {129--147},
  year      = {1998},
  crossref  = {DBLP:conf/b/1998},
  url       = {https://doi.org/10.1007/BFb0053358},
  doi       = {10.1007/BFb0053358},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/b/BanachP98},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jpl/BanachP97,
  author    = {Richard Banach and
               George A. Papadopoulos},
  title     = {A study of two graph rewriting formalisms: Interaction Nets and {MONSTR}},
  journal   = {J. Prog. Lang.},
  volume    = {5},
  number    = {1},
  pages     = {201--231},
  year      = {1997},
  url       = {http://compscinet.dcs.kcl.ac.uk/JP/jp050108.abs.html},
  timestamp = {Fri, 09 Jan 2004 00:00:00 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jpl/BanachP97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/Banach97,
  author    = {Richard Banach},
  title     = {{MONSTR} {II} - Suspending Semantics and Independence},
  journal   = {J. {UCS}},
  volume    = {3},
  number    = {7},
  pages     = {756--801},
  year      = {1997},
  url       = {https://doi.org/10.3217/jucs-003-07-0756},
  doi       = {10.3217/jucs-003-07-0756},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/Banach97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/Banach97a,
  author    = {Richard Banach},
  title     = {{MONSTR} {V} - Transitive Coercing Semantics and the Church-Rosser
               Property},
  journal   = {J. {UCS}},
  volume    = {3},
  number    = {12},
  pages     = {1283--1336},
  year      = {1997},
  url       = {https://doi.org/10.3217/jucs-003-12-1283},
  doi       = {10.3217/jucs-003-12-1283},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/Banach97a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/BanachP97,
  author    = {Richard Banach and
               George A. Papadopoulos},
  title     = {Implementing interaction nets in {MONSTR}},
  booktitle = {Proceedings of the 1997 {ACM} symposium on Applied Computing, SAC'97,
               San Jose, CA, USA, February 28 - March 1},
  pages     = {509--514},
  year      = {1997},
  crossref  = {DBLP:conf/sac/1997},
  url       = {http://doi.acm.org/10.1145/331697.332340},
  doi       = {10.1145/331697.332340},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/BanachP97},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/ipl/Banach96,
  author    = {Richard Banach},
  title     = {Transitive Term Graph Rewriting},
  journal   = {Inf. Process. Lett.},
  volume    = {60},
  number    = {3},
  pages     = {109--114},
  year      = {1996},
  url       = {https://doi.org/10.1016/S0020-0190(96)00150-0},
  doi       = {10.1016/S0020-0190(96)00150-0},
  timestamp = {Fri, 26 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/ipl/Banach96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/Banach96,
  author    = {Richard Banach},
  title     = {{MONSTR} {I} - Fundamental Issues and the Design of {MONSTR}},
  journal   = {J. {UCS}},
  volume    = {2},
  number    = {4},
  pages     = {164--216},
  year      = {1996},
  url       = {https://doi.org/10.3217/jucs-002-04-0164},
  doi       = {10.3217/jucs-002-04-0164},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/Banach96},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/apal/Banach95,
  author    = {Richard Banach},
  title     = {Sequent Reconstruction in {LLM} - {A} Sweepline Proof},
  journal   = {Ann. Pure Appl. Logic},
  volume    = {73},
  number    = {3},
  pages     = {277--295},
  year      = {1995},
  url       = {https://doi.org/10.1016/0168-0072(94)00033-Y},
  doi       = {10.1016/0168-0072(94)00033-Y},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/apal/Banach95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/entcs/Banach95,
  author    = {Richard Banach},
  title     = {{DPO} rewriting and abstract semantics via opfibrations},
  journal   = {Electr. Notes Theor. Comput. Sci.},
  volume    = {2},
  pages     = {3--10},
  year      = {1995},
  url       = {https://doi.org/10.1016/S1571-0661(05)80174-4},
  doi       = {10.1016/S1571-0661(05)80174-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/entcs/Banach95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/jucs/BanachBP95,
  author    = {Richard Banach and
               J. Balazs and
               G. Papadoupolous},
  title     = {A Translation of the Pi-Caculus Into {MONSTR}},
  journal   = {J. {UCS}},
  volume    = {1},
  number    = {6},
  pages     = {339--398},
  year      = {1995},
  url       = {https://doi.org/10.3217/jucs-001-06-0339},
  doi       = {10.3217/jucs-001-06-0339},
  timestamp = {Wed, 17 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/jucs/BanachBP95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/scp/Banach95,
  author    = {Richard Banach},
  title     = {On Regularity in Software Design},
  journal   = {Sci. Comput. Program.},
  volume    = {24},
  number    = {3},
  pages     = {221--248},
  year      = {1995},
  url       = {https://doi.org/10.1016/0167-6423(95)00004-C},
  doi       = {10.1016/0167-6423(95)00004-C},
  timestamp = {Sat, 27 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/scp/Banach95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/Banach95,
  author    = {Richard Banach},
  title     = {Locating the Contractum in the Double Pushout Approach},
  journal   = {Theor. Comput. Sci.},
  volume    = {152},
  number    = {2},
  pages     = {305--320},
  year      = {1995},
  url       = {https://doi.org/10.1016/0304-3975(94)00301-4},
  doi       = {10.1016/0304-3975(94)00301-4},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Banach95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/sac/BanachP95,
  author    = {Richard Banach and
               George A. Papadopoulos},
  title     = {Linear behaviour of term graph rewriting programs},
  booktitle = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95,
               Nashville, TN, USA, February 26-28, 1995},
  pages     = {157--163},
  year      = {1995},
  crossref  = {DBLP:conf/sac/1995},
  url       = {http://doi.acm.org/10.1145/315891.315946},
  doi       = {10.1145/315891.315946},
  timestamp = {Tue, 03 Nov 2015 12:36:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/BanachP95},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/Banach94,
  author    = {Richard Banach},
  title     = {Regular Relations and Bicartesian Squares},
  journal   = {Theor. Comput. Sci.},
  volume    = {129},
  number    = {1},
  pages     = {187--192},
  year      = {1994},
  url       = {https://doi.org/10.1016/0304-3975(94)90086-8},
  doi       = {10.1016/0304-3975(94)90086-8},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Banach94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@article{DBLP:journals/tcs/Banach94a,
  author    = {Richard Banach},
  title     = {Term Graph Rewriting and Garbage Collection Using Ppfibrations},
  journal   = {Theor. Comput. Sci.},
  volume    = {131},
  number    = {1},
  pages     = {29--94},
  year      = {1994},
  url       = {https://doi.org/10.1016/0304-3975(94)90090-6},
  doi       = {10.1016/0304-3975(94)90090-6},
  timestamp = {Sun, 28 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/tcs/Banach94a},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/tagt/Banach94,
  author    = {Richard Banach},
  title     = {The Contractum in Algebraic Graph Rewriting},
  booktitle = {Graph Gramars and Their Application to Computer Science, 5th International
               Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers},
  pages     = {16--26},
  year      = {1994},
  crossref  = {DBLP:conf/tagt/1994},
  url       = {https://doi.org/10.1007/3-540-61228-9_76},
  doi       = {10.1007/3-540-61228-9_76},
  timestamp = {Mon, 22 May 2017 16:14:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tagt/Banach94},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/ctrs/Banach92,
  author    = {Richard Banach},
  title     = {Simple Type Inference for Term Graph Rewriting Systems},
  booktitle = {Conditional Term Rewriting Systems, Third International Workshop,
               CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  pages     = {51--66},
  year      = {1992},
  crossref  = {DBLP:conf/ctrs/1992},
  url       = {https://doi.org/10.1007/3-540-56393-8_4},
  doi       = {10.1007/3-540-56393-8_4},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ctrs/Banach92},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/parle/Banach89,
  author    = {Richard Banach},
  title     = {Dataflow Analysis if Term Graph Rewriting Systems},
  booktitle = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
               Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
               Proceedings},
  pages     = {55--72},
  year      = {1989},
  crossref  = {DBLP:conf/parle/1989-2},
  url       = {https://doi.org/10.1007/3-540-51285-3_33},
  doi       = {10.1007/3-540-51285-3_33},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/parle/Banach89},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@inproceedings{DBLP:conf/isca/WatsonWWBGS88,
  author    = {Ian Watson and
               Viv Woods and
               Paul Watson and
               Richard Banach and
               Mark Irvine Greenberg and
               John Sargeant},
  title     = {Flagship: {A} Parallel Architecture for Declarative Programming},
  booktitle = {Proceedings of the 15th Annual International Symposium on Computer
               Architecture. Honolulu, Hawaii, May-June 1988},
  pages     = {124--130},
  year      = {1988},
  crossref  = {DBLP:conf/isca/1988},
  url       = {https://doi.org/10.1109/ISCA.1988.5221},
  doi       = {10.1109/ISCA.1988.5221},
  timestamp = {Tue, 23 May 2017 01:00:00 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isca/WatsonWWBGS88},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2016,
  editor    = {Michael J. Butler and
               Klaus{-}Dieter Schewe and
               Atif Mashkoor and
               Mikl{\'{o}}s Bir{\'{o}}},
  title     = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 5th International
               Conference, {ABZ} 2016, Linz, Austria, May 23-27, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {9675},
  publisher = {Springer},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-33600-8},
  doi       = {10.1007/978-3-319-33600-8},
  isbn      = {978-3-319-33599-5},
  timestamp = {Sun, 21 May 2017 00:18:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ftscs/2016,
  editor    = {Cyrille Artho and
               Peter Csaba {\"{O}}lveczky},
  title     = {Formal Techniques for Safety-Critical Systems - 5th International
               Workshop, {FTSCS} 2016, Tokyo, Japan, November 14, 2016, Revised Selected
               Papers},
  series    = {Communications in Computer and Information Science},
  volume    = {694},
  year      = {2017},
  url       = {https://doi.org/10.1007/978-3-319-53946-1},
  doi       = {10.1007/978-3-319-53946-1},
  isbn      = {978-3-319-53945-4},
  timestamp = {Wed, 24 May 2017 08:30:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ftscs/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/icfem/2016,
  editor    = {Kazuhiro Ogata and
               Mark Lawford and
               Shaoying Liu},
  title     = {Formal Methods and Software Engineering - 18th International Conference
               on Formal Engineering Methods, {ICFEM} 2016, Tokyo, Japan, November
               14-18, 2016, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {10009},
  year      = {2016},
  url       = {https://doi.org/10.1007/978-3-319-47846-3},
  doi       = {10.1007/978-3-319-47846-3},
  isbn      = {978-3-319-47845-6},
  timestamp = {Sun, 21 May 2017 00:19:12 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/icfem/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tase/2016,
  title     = {10th International Symposium on Theoretical Aspects of Software Engineering,
               {TASE} 2016, Shanghai, China, July 17-19, 2016},
  publisher = {{IEEE} Computer Society},
  year      = {2016},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7532274},
  isbn      = {978-1-5090-1764-5},
  timestamp = {Tue, 20 Sep 2016 12:04:24 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@book{DBLP:books/crc/asds2016,
  editor    = {Luigia Petre and
               Emil Sekerinski},
  title     = {From Action Systems to Distributed Systems - The Refinement Approach},
  publisher = {Chapman and Hall/CRC},
  year      = {2016},
  url       = {https://doi.org/10.1201/b20053},
  doi       = {10.1201/b20053},
  isbn      = {978-1-4987-0158-7},
  timestamp = {Tue, 16 May 2017 14:01:47 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/books/crc/asds2016},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/enase/2015,
  editor    = {Joaquim Filipe and
               Leszek A. Maciaszek},
  title     = {{ENASE} 2015 - Proceedings of the 10th International Conference on
               Evaluation of Novel Approaches to Software Engineering, Barcelona,
               Spain, 29-30 April, 2015},
  publisher = {SciTePress},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7307765},
  isbn      = {978-989-758-100-7},
  timestamp = {Tue, 10 Nov 2015 14:40:16 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/enase/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fedcsis/2015,
  editor    = {Maria Ganzha and
               Leszek A. Maciaszek and
               Marcin Paprzycki},
  title     = {2015 Federated Conference on Computer Science and Information Systems,
               FedCSIS 2015, L{\'{o}}dz, Poland, September 13-16, 2015},
  publisher = {{IEEE}},
  year      = {2015},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=7308714},
  isbn      = {978-8-3608-1065-1},
  timestamp = {Tue, 17 Nov 2015 16:31:52 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fedcsis/2015},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2014,
  editor    = {Yamine A{\"{\i}}t Ameur and
               Klaus{-}Dieter Schewe},
  title     = {Abstract State Machines, Alloy, B, TLA, VDM, and {Z} - 4th International
               Conference, {ABZ} 2014, Toulouse, France, June 2-6, 2014. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8477},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-662-43652-3},
  doi       = {10.1007/978-3-662-43652-3},
  isbn      = {978-3-662-43651-6},
  timestamp = {Sun, 21 May 2017 00:18:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tase/2014,
  title     = {2014 Theoretical Aspects of Software Engineering Conference, {TASE}
               2014, Changsha, China, September 1-3, 2014},
  publisher = {{IEEE} Computer Society},
  year      = {2014},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6968674},
  isbn      = {978-1-4799-5029-4},
  timestamp = {Thu, 05 Nov 2015 11:51:56 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/2014},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/birthday/2013he,
  editor    = {Zhiming Liu and
               Jim Woodcock and
               Huibiao Zhu},
  title     = {Theories of Programming and Formal Methods - Essays Dedicated to Jifeng
               He on the Occasion of His 70th Birthday},
  series    = {Lecture Notes in Computer Science},
  volume    = {8051},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39698-4},
  doi       = {10.1007/978-3-642-39698-4},
  isbn      = {978-3-642-39697-7},
  timestamp = {Thu, 15 Jun 2017 21:34:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/birthday/2013he},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/csdm/2013,
  editor    = {Marc Aiguier and
               Fr{\'{e}}d{\'{e}}ric Boulanger and
               Daniel Krob and
               Clotilde Marchal},
  title     = {Complex Systems Design {\&} Management, Proceedings of the Fourth
               International Conference on Complex Systems Design {\&} Management
               CSD{\&}M 2013, Paris, France, December 4-6, 2013},
  publisher = {Springer},
  year      = {2014},
  url       = {https://doi.org/10.1007/978-3-319-02812-5},
  doi       = {10.1007/978-3-319-02812-5},
  isbn      = {978-3-319-02811-8},
  timestamp = {Wed, 24 May 2017 08:27:32 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/csdm/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ictac/2013,
  editor    = {Zhiming Liu and
               Jim Woodcock and
               Huibiao Zhu},
  title     = {Theoretical Aspects of Computing - {ICTAC} 2013 - 10th International
               Colloquium, Shanghai, China, September 4-6, 2013. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {8049},
  publisher = {Springer},
  year      = {2013},
  url       = {https://doi.org/10.1007/978-3-642-39718-9},
  doi       = {10.1007/978-3-642-39718-9},
  isbn      = {978-3-642-39717-2},
  timestamp = {Thu, 15 Jun 2017 21:43:42 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ictac/2013},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2012,
  editor    = {John Derrick and
               John S. Fitzgerald and
               Stefania Gnesi and
               Sarfraz Khurshid and
               Michael Leuschel and
               Steve Reeves and
               Elvinia Riccobene},
  title     = {Abstract State Machines, Alloy, B, VDM, and {Z} - Third International
               Conference, {ABZ} 2012, Pisa, Italy, June 18-21, 2012. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {7316},
  publisher = {Springer},
  year      = {2012},
  url       = {https://doi.org/10.1007/978-3-642-30885-7},
  doi       = {10.1007/978-3-642-30885-7},
  isbn      = {978-3-642-30884-0},
  timestamp = {Thu, 01 Jun 2017 18:58:31 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2012},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:journals/corr/abs-1106-3488,
  editor    = {John Derrick and
               Eerke A. Boiten and
               Steve Reeves},
  title     = {Proceedings 15th International Refinement Workshop, Refine@FM 2011,
               Limerick, Ireland, 20th June 2011},
  series    = {{EPTCS}},
  volume    = {55},
  year      = {2011},
  url       = {https://doi.org/10.4204/EPTCS.55},
  doi       = {10.4204/EPTCS.55},
  timestamp = {Wed, 03 May 2017 14:47:54 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/journals/corr/abs-1106-3488},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/2010,
  editor    = {Sung Y. Shin and
               Sascha Ossowski and
               Michael Schumacher and
               Mathew J. Palakal and
               Chih{-}Cheng Hung},
  title     = {Proceedings of the 2010 {ACM} Symposium on Applied Computing (SAC),
               Sierre, Switzerland, March 22-26, 2010},
  publisher = {{ACM}},
  year      = {2010},
  url       = {http://doi.acm.org/10.1145/1774088},
  doi       = {10.1145/1774088},
  isbn      = {978-1-60558-639-7},
  timestamp = {Tue, 03 Nov 2015 12:36:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/2010},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tase/2009,
  editor    = {Wei{-}Ngan Chin and
               Shengchao Qin},
  title     = {{TASE} 2009, Third {IEEE} International Symposium on Theoretical Aspects
               of Software Engineering, 29-31 July 2009, Tianjin, China},
  publisher = {{IEEE} Computer Society},
  year      = {2009},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=5198469},
  isbn      = {978-0-7695-3757-3},
  timestamp = {Mon, 01 Dec 2014 19:24:57 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tase/2009},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2008,
  editor    = {Egon B{\"{o}}rger and
               Michael J. Butler and
               Jonathan P. Bowen and
               Paul Boca},
  title     = {Abstract State Machines, {B} and Z, First International Conference,
               {ABZ} 2008, London, UK, September 16-18, 2008. Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {5238},
  publisher = {Springer},
  year      = {2008},
  url       = {https://doi.org/10.1007/978-3-540-87603-8},
  doi       = {10.1007/978-3-540-87603-8},
  isbn      = {978-3-540-87602-1},
  timestamp = {Tue, 13 Jun 2017 10:37:56 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2008},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2007,
  title     = {Fifth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
               {UK}},
  publisher = {{IEEE} Computer Society},
  year      = {2007},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4343908},
  isbn      = {978-0-7695-2884-7},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/2007},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isola/2006,
  title     = {Leveraging Applications of Formal Methods, Second International Symposium,
               ISoLA 2006, Paphos, Cyprus, 15-19 November 2006},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4463675},
  isbn      = {978-0-7695-3071-0},
  timestamp = {Fri, 23 Dec 2016 12:21:36 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isola/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2006,
  editor    = {Janusz G{\'{o}}rski},
  title     = {Computer Safety, Reliability, and Security, 25th International Conference,
               {SAFECOMP} 2006, Gdansk, Poland, September 27-29, 2006, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {4166},
  publisher = {Springer},
  year      = {2006},
  url       = {https://doi.org/10.1007/11875567},
  doi       = {10.1007/11875567},
  isbn      = {3-540-45762-3},
  timestamp = {Fri, 02 Jun 2017 13:01:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/safecomp/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sefm/2006,
  title     = {Fourth {IEEE} International Conference on Software Engineering and
               Formal Methods {(SEFM} 2006), 11-15 September 2006, Pune, India},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=11157},
  isbn      = {0-7695-2678-0},
  timestamp = {Thu, 28 May 2015 17:23:22 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sefm/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sew/2006,
  title     = {30th Annual {IEEE} / {NASA} Software Engineering Workshop {(SEW-30}
               2006), 25-28 April 2006, Loyola College Graduate Center, Columbia,
               MD, {USA}},
  publisher = {{IEEE} Computer Society},
  year      = {2006},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=4090229},
  isbn      = {0-7695-2624-1},
  timestamp = {Thu, 28 Jan 2016 09:31:45 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sew/2006},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/asm/2005,
  title     = {Proceedings of the 12th International Workshop on Abstract State Machines,
               {ASM} 2005, March 8-11, 2005, Paris, France},
  year      = {2005},
  timestamp = {Thu, 26 Jul 2007 15:03:11 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/asm/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/fm/2005,
  editor    = {John S. Fitzgerald and
               Ian J. Hayes and
               Andrzej Tarlecki},
  title     = {{FM} 2005: Formal Methods, International Symposium of Formal Methods
               Europe, Newcastle, UK, July 18-22, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3582},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b27882},
  doi       = {10.1007/b27882},
  isbn      = {3-540-27882-6},
  timestamp = {Fri, 02 Jun 2017 20:50:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/fm/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/2005,
  editor    = {Helen Treharne and
               Steve King and
               Martin C. Henson and
               Steve A. Schneider},
  title     = {{ZB} 2005: Formal Specification and Development in {Z} and B, 4th
               International Conference of {B} and {Z} Users, Guildford, UK, April
               13-15, 2005, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3455},
  publisher = {Springer},
  year      = {2005},
  url       = {https://doi.org/10.1007/b135596},
  doi       = {10.1007/b135596},
  isbn      = {3-540-25559-1},
  timestamp = {Tue, 30 May 2017 16:36:52 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/2005},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/iceccs/2004,
  title     = {9th International Conference on Engineering of Complex Computer Systems
               {(ICECCS} 2004), 14-16 April 2004, Florence, Italy},
  publisher = {{IEEE} Computer Society},
  year      = {2004},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=9173},
  isbn      = {0-7695-2109-6},
  timestamp = {Thu, 23 Jun 2016 15:53:28 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iceccs/2004},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/safecomp/2004,
  editor    = {Maritta Heisel and
               Peter Liggesmeyer and
               Stefan Wittmann},
  title     = {Computer Safety, Reliability, and Security, 23rd International Conference,
               {SAFECOMP} 2004, Potsdam, Germany, September 21-24, 2004, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {3219},
  publisher = {Springer},
  year      = {2004},
  url       = {https://doi.org/10.1007/b100227},
  doi       = {10.1007/b100227},
  isbn      = {3-540-23176-5},
  timestamp = {Tue, 30 May 2017 12:57:44 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/safecomp/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/ifm/2002,
  editor    = {Michael J. Butler and
               Luigia Petre and
               Kaisa Sere},
  title     = {Integrated Formal Methods, Third International Conference, {IFM} 2002,
               Turku, Finland, May 15-18, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2335},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-47884-1},
  doi       = {10.1007/3-540-47884-1},
  isbn      = {3-540-43703-7},
  timestamp = {Fri, 26 May 2017 14:09:14 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/2002},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/2002,
  editor    = {Didier Bert and
               Jonathan P. Bowen and
               Martin C. Henson and
               Ken Robinson},
  title     = {{ZB} 2002: Formal Specification and Development in {Z} and B, 2nd
               International Conference of {B} and {Z} Users, Grenoble, France, January
               23-25, 2002, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {2272},
  publisher = {Springer},
  year      = {2002},
  url       = {https://doi.org/10.1007/3-540-45648-1},
  doi       = {10.1007/3-540-45648-1},
  isbn      = {3-540-43166-7},
  timestamp = {Thu, 15 Jun 2017 21:33:05 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/2002},
  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/iwfm/2000,
  editor    = {David Sinclair and
               J. Paul Gibson},
  title     = {4th Irish Workshop on Formal Methods, {IWFM} 2000, Maynooth, Ireland,
               5th-6th July 2000},
  series    = {Workshops in Computing},
  publisher = {{BCS}},
  year      = {2000},
  timestamp = {Thu, 25 Mar 2004 10:40:19 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/iwfm/2000},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/zum/2000,
  editor    = {Jonathan P. Bowen and
               Steve Dunne and
               Andy Galloway and
               Steve King},
  title     = {{ZB} 2000: Formal Specification and Development in {Z} and B, First
               International Conference of {B} and {Z} Users, York, UK, August 29
               - September 2, 2000, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1878},
  publisher = {Springer},
  year      = {2000},
  url       = {https://doi.org/10.1007/3-540-44525-0},
  doi       = {10.1007/3-540-44525-0},
  isbn      = {3-540-67944-8},
  timestamp = {Wed, 24 May 2017 15:40:41 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/zum/2000},
  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/ifm/1999,
  editor    = {Keijiro Araki and
               Andy Galloway and
               Kenji Taguchi},
  title     = {Integrated Formal Methods, Proceedings of the 1st International Conference
               on Integrated Formal Methods, {IFM} 99, York, UK, 28-29 June 1999},
  publisher = {Springer},
  year      = {1999},
  isbn      = {1-85233-107-0},
  timestamp = {Sat, 09 Mar 2013 16:55:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ifm/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/kbse/1999,
  title     = {The 14th {IEEE} International Conference on Automated Software Engineering,
               {ASE} 1999, Cocoa Beach, Florida, USA, 12-15 October 1999},
  publisher = {{IEEE} Computer Society},
  year      = {1999},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=6516},
  isbn      = {0-7695-0415-9},
  timestamp = {Thu, 13 Aug 2015 18:46:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/kbse/1999},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/b/1998,
  editor    = {Didier Bert},
  title     = {B'98: Recent Advances in the Development and Use of the {B} Method,
               Second International {B} Conference, Montpellier, France, April 22-24,
               1998, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {1393},
  publisher = {Springer},
  year      = {1998},
  url       = {https://doi.org/10.1007/BFb0053349},
  doi       = {10.1007/BFb0053349},
  isbn      = {3-540-64405-9},
  timestamp = {Tue, 23 May 2017 11:53:58 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/b/1998},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/1997,
  editor    = {Barrett R. Bryant and
               Janice H. Carroll and
               Dave Oppenheim and
               Jim Hightower and
               K. M. George},
  title     = {Proceedings of the 1997 {ACM} symposium on Applied Computing, SAC'97,
               San Jose, CA, USA, February 28 - March 1},
  publisher = {{ACM}},
  year      = {1997},
  url       = {http://doi.acm.org/10.1145/331697},
  doi       = {10.1145/331697},
  isbn      = {0-89791-850-9},
  timestamp = {Tue, 03 Nov 2015 12:36:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/1997},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/sac/1995,
  editor    = {Jim Hightower and
               Ed Deaton and
               K. M. George and
               Janice H. Carroll and
               Dave Oppenheim},
  title     = {Proceedings of the 1995 {ACM} symposium on applied computing, SAC'95,
               Nashville, TN, USA, February 26-28, 1995},
  publisher = {{ACM}},
  year      = {1995},
  url       = {http://doi.acm.org/10.1145/315891},
  doi       = {10.1145/315891},
  isbn      = {0-89791-658-1},
  timestamp = {Tue, 03 Nov 2015 12:36:38 +0100},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/sac/1995},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/tagt/1994,
  editor    = {Janice E. Cuny and
               Hartmut Ehrig and
               Gregor Engels and
               Grzegorz Rozenberg},
  title     = {Graph Gramars and Their Application to Computer Science, 5th International
               Workshop, Williamsburg, VA, USA, November 13-18, 1994, Selected Papers},
  series    = {Lecture Notes in Computer Science},
  volume    = {1073},
  publisher = {Springer},
  year      = {1996},
  url       = {https://doi.org/10.1007/3-540-61228-9},
  doi       = {10.1007/3-540-61228-9},
  isbn      = {3-540-61228-9},
  timestamp = {Mon, 22 May 2017 16:14:07 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/tagt/1994},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/ctrs/1992,
  editor    = {Micha{\"{e}}l Rusinowitch and
               Jean{-}Luc Remy},
  title     = {Conditional Term Rewriting Systems, Third International Workshop,
               CTRS-92, Pont-{\`{a}}-Mousson, France, July 8-10, 1992, Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {656},
  publisher = {Springer},
  year      = {1993},
  url       = {https://doi.org/10.1007/3-540-56393-8},
  doi       = {10.1007/3-540-56393-8},
  isbn      = {3-540-56393-8},
  timestamp = {Sat, 20 May 2017 15:32:50 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/ctrs/1992},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/parle/1989-2,
  editor    = {Eddy Odijk and
               Martin Rem and
               Jean{-}Claude Syre},
  title     = {{PARLE} '89: Parallel Architectures and Languages Europe, Volume {II:}
               Parallel Languages, Eindhoven, The Netherlands, June 12-16, 1989,
               Proceedings},
  series    = {Lecture Notes in Computer Science},
  volume    = {366},
  publisher = {Springer},
  year      = {1989},
  url       = {https://doi.org/10.1007/3-540-51285-3},
  doi       = {10.1007/3-540-51285-3},
  isbn      = {3-540-51285-3},
  timestamp = {Fri, 19 May 2017 13:10:46 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/parle/1989-2},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
@proceedings{DBLP:conf/isca/1988,
  editor    = {Howard Jay Siegel},
  title     = {Proceedings of the 15th Annual International Symposium on Computer
               Architecture. Honolulu, Hawaii, May-June 1988},
  publisher = {{IEEE} Computer Society},
  year      = {1988},
  url       = {http://ieeexplore.ieee.org/xpl/mostRecentIssue.jsp?punumber=205},
  isbn      = {0-8186-0861-7},
  timestamp = {Thu, 16 Oct 2014 17:35:15 +0200},
  biburl    = {http://dblp.uni-trier.de/rec/bib/conf/isca/1988},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
maintained by Schloss Dagstuhl LZI at University of Trier