BibTeX records: T. S. E. Maibaum

download as .bib file

@article{DBLP:journals/smr/SinghLMW21,
  author       = {Neeraj Kumar Singh and
                  Mark Lawford and
                  Thomas Stephen Edward Maibaum and
                  Alan Wassyng},
  title        = {A formal approach to rigorous development of critical systems},
  journal      = {J. Softw. Evol. Process.},
  volume       = {33},
  number       = {4},
  year         = {2021},
  url          = {https://doi.org/10.1002/smr.2334},
  doi          = {10.1002/SMR.2334},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/smr/SinghLMW21.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2107-08253,
  author       = {Carlos Gustavo L{\'{o}}pez Pombo and
                  Thomas Stephen Edward Maibaum},
  title        = {A proof theoretic basis for relational semantics},
  journal      = {CoRR},
  volume       = {abs/2107.08253},
  year         = {2021},
  url          = {https://arxiv.org/abs/2107.08253},
  eprinttype    = {arXiv},
  eprint       = {2107.08253},
  timestamp    = {Wed, 21 Jul 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2107-08253.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:series/sbcs/GrunerKMR20,
  author       = {Stefan Gruner and
                  Apurva Kumar and
                  Tom Maibaum and
                  Markus Roggenbach},
  title        = {On the Construction of Engineering Handbooks - with an Illustration
                  from the Railway Safety Domain},
  series       = {Springer Briefs in Computer Science},
  publisher    = {Springer},
  year         = {2020},
  url          = {https://doi.org/10.1007/978-3-030-44648-2},
  doi          = {10.1007/978-3-030-44648-2},
  isbn         = {978-3-030-44647-5},
  timestamp    = {Wed, 19 May 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/sbcs/GrunerKMR20.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2009-02720,
  author       = {Carlos Gustavo L{\'{o}}pez Pombo and
                  Marcelo F. Frias and
                  T. S. E. Maibaum},
  title        = {On the construction of explosive relation algebras},
  journal      = {CoRR},
  volume       = {abs/2009.02720},
  year         = {2020},
  url          = {https://arxiv.org/abs/2009.02720},
  eprinttype    = {arXiv},
  eprint       = {2009.02720},
  timestamp    = {Thu, 17 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-2009-02720.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fuin/PomboCAM19,
  author       = {Carlos L{\'{o}}pez Pombo and
                  Pablo F. Castro and
                  Nazareno Aguirre and
                  Thomas Stephen Edward Maibaum},
  title        = {Satisfiability Calculus: An Abstract Formulation of Semantic Proof
                  Systems},
  journal      = {Fundam. Informaticae},
  volume       = {166},
  number       = {4},
  pages        = {297--347},
  year         = {2019},
  url          = {https://doi.org/10.3233/FI-2019-1804},
  doi          = {10.3233/FI-2019-1804},
  timestamp    = {Fri, 18 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fuin/PomboCAM19.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jlp/SafilianMD18,
  author       = {Aliakbar Safilian and
                  Tom Maibaum and
                  Zinovy Diskin},
  title        = {A theoretical framework for cardinality-based feature models: The
                  semantics and computational aspects},
  journal      = {J. Log. Algebraic Methods Program.},
  volume       = {97},
  pages        = {30--54},
  year         = {2018},
  url          = {https://doi.org/10.1016/j.jlamp.2018.02.002},
  doi          = {10.1016/J.JLAMP.2018.02.002},
  timestamp    = {Sat, 22 Feb 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jlp/SafilianMD18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/DiskinMWWL18,
  author       = {Zinovy Diskin and
                  Tom Maibaum and
                  Alan Wassyng and
                  Stephen Wynn{-}Williams and
                  Mark Lawford},
  editor       = {Andrzej Wasowski and
                  Richard F. Paige and
                  {\O}ystein Haugen},
  title        = {Assurance via model transformations and their hierarchical refinement},
  booktitle    = {Proceedings of the 21th {ACM/IEEE} International Conference on Model
                  Driven Engineering Languages and Systems, {MODELS} 2018, Copenhagen,
                  Denmark, October 14-19, 2018},
  pages        = {426--436},
  publisher    = {{ACM}},
  year         = {2018},
  url          = {https://doi.org/10.1145/3239372.3239413},
  doi          = {10.1145/3239372.3239413},
  timestamp    = {Wed, 21 Nov 2018 12:44:12 +0100},
  biburl       = {https://dblp.org/rec/conf/models/DiskinMWWL18.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/DemasiCMA17,
  author       = {Ramiro Demasi and
                  Pablo F. Castro and
                  Thomas Stephen Edward Maibaum and
                  Nazareno Aguirre},
  title        = {Simulation relations for fault-tolerance},
  journal      = {Formal Aspects Comput.},
  volume       = {29},
  number       = {6},
  pages        = {1013--1050},
  year         = {2017},
  url          = {https://doi.org/10.1007/s00165-017-0426-2},
  doi          = {10.1007/S00165-017-0426-2},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/DemasiCMA17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/medi/SinghLMW17,
  author       = {Neeraj Kumar Singh and
                  Mark Lawford and
                  T. S. E. Maibaum and
                  Alan Wassyng},
  editor       = {Yassine Ouhammou and
                  Mirjana Ivanovic and
                  Alberto Abell{\'{o}} and
                  Ladjel Bellatreche},
  title        = {Use of Tabular Expressions for Refinement Automation},
  booktitle    = {Model and Data Engineering - 7th International Conference, {MEDI}
                  2017, Barcelona, Spain, October 4-6, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10563},
  pages        = {167--182},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66854-3\_13},
  doi          = {10.1007/978-3-319-66854-3\_13},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/medi/SinghLMW17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/HossainKM17,
  author       = {Md Nour Hossain and
                  Wolfram Kahl and
                  Tom Maibaum},
  editor       = {Loli Burgue{\~{n}}o and
                  Jonathan Corley and
                  Nelly Bencomo and
                  Peter J. Clarke and
                  Philippe Collet and
                  Michalis Famelis and
                  Sudipto Ghosh and
                  Martin Gogolla and
                  Joel Greenyer and
                  Esther Guerra and
                  Sahar Kokaly and
                  Alfonso Pierantonio and
                  Julia Rubin and
                  Davide Di Ruscio},
  title        = {A Graph Transformation Approach to Introducing Aspects into Software
                  Architectures},
  booktitle    = {Proceedings of {MODELS} 2017 Satellite Event: Workshops (ModComp,
                  ME, EXE, COMMitMDE, MRT, MULTI, GEMOC, MoDeVVa, MDETools, FlexMDE,
                  MDEbug), Posters, Doctoral Symposium, Educator Symposium, {ACM} Student
                  Research Competition, and Tools and Demonstrations co-located with
                  {ACM/IEEE} 20th International Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2017), Austin, TX, USA, September,
                  17, 2017},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {2019},
  pages        = {54--63},
  publisher    = {CEUR-WS.org},
  year         = {2017},
  url          = {https://ceur-ws.org/Vol-2019/me\_2.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/HossainKM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/KokalySCLM17,
  author       = {Sahar Kokaly and
                  Rick Salay and
                  Marsha Chechik and
                  Mark Lawford and
                  Tom Maibaum},
  editor       = {Stefano Tonetta and
                  Erwin Schoitsch and
                  Friedemann Bitsch},
  title        = {Safety Case Impact Assessment in Automotive Software Systems: An Improved
                  Model-Based Approach},
  booktitle    = {Computer Safety, Reliability, and Security - 36th International Conference,
                  {SAFECOMP} 2017, Trento, Italy, September 13-15, 2017, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {10488},
  pages        = {69--85},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-66266-4\_5},
  doi          = {10.1007/978-3-319-66266-4\_5},
  timestamp    = {Tue, 14 May 2019 10:00:44 +0200},
  biburl       = {https://dblp.org/rec/conf/safecomp/KokalySCLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/DiskinKLM17,
  author       = {Zinovy Diskin and
                  Harald K{\"{o}}nig and
                  Mark Lawford and
                  Tom Maibaum},
  editor       = {Martina Seidl and
                  Steffen Zschaler},
  title        = {Toward Product Lines of Mathematical Models for Software Model Management},
  booktitle    = {Software Technologies: Applications and Foundations - {STAF} 2017
                  Collocated Workshops, Marburg, Germany, July 17-21, 2017, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {10748},
  pages        = {200--216},
  publisher    = {Springer},
  year         = {2017},
  url          = {https://doi.org/10.1007/978-3-319-74730-9\_19},
  doi          = {10.1007/978-3-319-74730-9\_19},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/staf/DiskinKLM17.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cuza/DiskinSMB16,
  author       = {Zinovy Diskin and
                  Aliakbar Safilian and
                  Tom Maibaum and
                  Shoham Ben{-}David},
  title        = {Faithful Modeling of Product Lines with Kripke Structures and Modal
                  Logic},
  journal      = {Sci. Ann. Comput. Sci.},
  volume       = {26},
  number       = {1},
  pages        = {69--122},
  year         = {2016},
  url          = {https://doi.org/10.7561/SACS.2016.1.69},
  doi          = {10.7561/SACS.2016.1.69},
  timestamp    = {Tue, 01 Sep 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cuza/DiskinSMB16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/CassanoMG16,
  author       = {Valentin Cassano and
                  Thomas Stephen Edward Maibaum and
                  Silviya Grigorova},
  editor       = {Kazuhiro Ogata and
                  Mark Lawford and
                  Shaoying Liu},
  title        = {A (Proto) Logical Basis for the Notion of a Structured Argument in
                  a Safety Case},
  booktitle    = {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},
  pages        = {1--17},
  year         = {2016},
  url          = {https://doi.org/10.1007/978-3-319-47846-3\_1},
  doi          = {10.1007/978-3-319-47846-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/CassanoMG16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/KokalySSCM16,
  author       = {Sahar Kokaly and
                  Rick Salay and
                  Mehrdad Sabetzadeh and
                  Marsha Chechik and
                  Tom Maibaum},
  title        = {Model management for regulatory compliance: a position paper},
  booktitle    = {Proceedings of the 8th International Workshop on Modeling in Software
                  Engineering, MiSE@ICSE 2016, Austin, Texas, USA, May 16-17, 2016},
  pages        = {74--80},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {https://doi.org/10.1145/2896982.2896985},
  doi          = {10.1145/2896982.2896985},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/KokalySSCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/SalayKCM16,
  author       = {Rick Salay and
                  Sahar Kokaly and
                  Marsha Chechik and
                  Tom Maibaum},
  editor       = {Tanja Mayerhofer and
                  Alfonso Pierantonio and
                  Bernhard Sch{\"{a}}tz and
                  Dalila Tamzalit},
  title        = {Heterogeneous Megamodel Slicing for Model Evolution},
  booktitle    = {Proceedings of the 10th Workshop on Models and Evolution co-located
                  with {ACM/IEEE} 19th International Conference on Model Driven Engineering
                  Languages and Systems {(MODELS} 2016), Saint-Malo, France, October
                  2, 2016},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1706},
  pages        = {50--59},
  publisher    = {CEUR-WS.org},
  year         = {2016},
  url          = {https://ceur-ws.org/Vol-1706/paper7.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:21 +0100},
  biburl       = {https://dblp.org/rec/conf/models/SalayKCM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/KokalySCMC16,
  author       = {Sahar Kokaly and
                  Rick Salay and
                  Valentin Cassano and
                  Tom Maibaum and
                  Marsha Chechik},
  editor       = {Benoit Baudry and
                  Beno{\^{\i}}t Combemale},
  title        = {A model management approach for assurance case reuse due to system
                  evolution},
  booktitle    = {Proceedings of the {ACM/IEEE} 19th International Conference on Model
                  Driven Engineering Languages and Systems, Saint-Malo, France, October
                  2-7, 2016},
  pages        = {196--206},
  publisher    = {{ACM}},
  year         = {2016},
  url          = {http://dl.acm.org/citation.cfm?id=2976792},
  timestamp    = {Tue, 06 Nov 2018 16:57:17 +0100},
  biburl       = {https://dblp.org/rec/conf/models/KokalySCMC16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tase/SafilianM16,
  author       = {Aliakbar Safilian and
                  Tom Maibaum},
  title        = {Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams},
  booktitle    = {10th International Symposium on Theoretical Aspects of Software Engineering,
                  {TASE} 2016, Shanghai, China, July 17-19, 2016},
  pages        = {136--143},
  publisher    = {{IEEE} Computer Society},
  year         = {2016},
  url          = {https://doi.org/10.1109/TASE.2016.14},
  doi          = {10.1109/TASE.2016.14},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tase/SafilianM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/SafilianM16,
  author       = {Aliakbar Safilian and
                  Tom Maibaum},
  title        = {Multiset Theories of Cardinality-based Feature Diagrams},
  journal      = {CoRR},
  volume       = {abs/1601.06242},
  year         = {2016},
  url          = {http://arxiv.org/abs/1601.06242},
  eprinttype    = {arXiv},
  eprint       = {1601.06242},
  timestamp    = {Mon, 13 Aug 2018 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/SafilianM16.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/dt/WassyngSGPWLM15,
  author       = {Alan Wassyng and
                  Neeraj Kumar Singh and
                  Mischa Geven and
                  Nicholas Proscia and
                  Hao Wang and
                  Mark Lawford and
                  Tom Maibaum},
  title        = {Can Product-Specific Assurance Case Templates Be Used as Medical Device
                  Standards?},
  journal      = {{IEEE} Des. Test},
  volume       = {32},
  number       = {5},
  pages        = {45--55},
  year         = {2015},
  url          = {https://doi.org/10.1109/MDAT.2015.2462720},
  doi          = {10.1109/MDAT.2015.2462720},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/dt/WassyngSGPWLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/CastroAPM15,
  author       = {Pablo F. Castro and
                  Nazareno Aguirre and
                  Carlos L{\'{o}}pez Pombo and
                  T. S. E. Maibaum},
  title        = {Categorical foundations for structured specifications in {Z}},
  journal      = {Formal Aspects Comput.},
  volume       = {27},
  number       = {5-6},
  pages        = {831--865},
  year         = {2015},
  url          = {https://doi.org/10.1007/s00165-015-0336-0},
  doi          = {10.1007/S00165-015-0336-0},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/CastroAPM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/PatcasLM15,
  author       = {Lucian M. Patcas and
                  Mark Lawford and
                  Tom Maibaum},
  title        = {Implementability of requirements in the four-variable model},
  journal      = {Sci. Comput. Program.},
  volume       = {111},
  pages        = {339--362},
  year         = {2015},
  url          = {https://doi.org/10.1016/j.scico.2015.05.007},
  doi          = {10.1016/J.SCICO.2015.05.007},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/PatcasLM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecmdafa/DiskinMC15,
  author       = {Zinovy Diskin and
                  Tom Maibaum and
                  Krzysztof Czarnecki},
  editor       = {Gabriele Taentzer and
                  Francis Bordeleau},
  title        = {A Model Management Imperative: Being Graphical Is Not Sufficient,
                  You Have to Be Categorical},
  booktitle    = {Modelling Foundations and Applications - 11th European Conference,
                  ECMFA@STAF 2015, L'Aquila, Italy, July 20-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9153},
  pages        = {154--170},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21151-0\_11},
  doi          = {10.1007/978-3-319-21151-0\_11},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/ecmdafa/DiskinMC15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SafilianMD15,
  author       = {Aliakbar Safilian and
                  Tom Maibaum and
                  Zinovy Diskin},
  editor       = {Nikolaj S. Bj{\o}rner and
                  Frank S. de Boer},
  title        = {The Semantics of Cardinality-Based Feature Models via Formal Languages},
  booktitle    = {{FM} 2015: Formal Methods - 20th International Symposium, Oslo, Norway,
                  June 24-26, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9109},
  pages        = {453--469},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-19249-9\_28},
  doi          = {10.1007/978-3-319-19249-9\_28},
  timestamp    = {Thu, 14 Apr 2022 20:26:16 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/SafilianMD15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ftscs/GrunerKM15,
  author       = {Stefan Gruner and
                  Apurva Kumar and
                  Tom Maibaum},
  editor       = {Cyrille Artho and
                  Peter Csaba {\"{O}}lveczky},
  title        = {Towards a Body of Knowledge in Formal Methods for the Railway Domain:
                  Identification of Settled Knowledge},
  booktitle    = {Formal Techniques for Safety-Critical Systems - Fourth International
                  Workshop, {FTSCS} 2015, Paris, France, November 6-7, 2015. Revised
                  Selected Papers},
  series       = {Communications in Computer and Information Science},
  volume       = {596},
  pages        = {87--102},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-29510-7\_5},
  doi          = {10.1007/978-3-319-29510-7\_5},
  timestamp    = {Wed, 24 May 2017 08:30:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ftscs/GrunerKM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghLMW15,
  author       = {Neeraj Kumar Singh and
                  Mark Lawford and
                  T. S. E. Maibaum and
                  Alan Wassyng},
  editor       = {Vincent G. Duffy},
  title        = {Formalizing the Cardiac Pacemaker Resynchronization Therapy},
  booktitle    = {Digital Human Modeling - Applications in Health, Safety, Ergonomics
                  and Risk Management: Ergonomics and Health - 6th International Conference,
                  {DHM} 2015, Held as Part of {HCI} International 2015, Los Angeles,
                  CA, USA, August 2-7, 2015, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9185},
  pages        = {374--386},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21070-4\_38},
  doi          = {10.1007/978-3-319-21070-4\_38},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/SinghLMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghWLMW15,
  author       = {Neeraj Kumar Singh and
                  Hao Wang and
                  Mark Lawford and
                  Thomas Stephen Edward Maibaum and
                  Alan Wassyng},
  editor       = {Vincent G. Duffy},
  title        = {Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements},
  booktitle    = {Digital Human Modeling - Applications in Health, Safety, Ergonomics
                  and Risk Management: Ergonomics and Health - 6th International Conference,
                  {DHM} 2015, Held as Part of {HCI} International 2015, Los Angeles,
                  CA, USA, August 2-7, 2015, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {9185},
  pages        = {387--398},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-21070-4\_39},
  doi          = {10.1007/978-3-319-21070-4\_39},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/SinghWLMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/DiskinSMB15,
  author       = {Zinovy Diskin and
                  Aliakbar Safilian and
                  Tom Maibaum and
                  Shoham Ben{-}David},
  editor       = {Martin Leucker and
                  Camilo Rueda and
                  Frank D. Valencia},
  title        = {Modeling Product Lines with Kripke Structures and Modal Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2015 - 12th International
                  Colloquium Cali, Colombia, October 29-31, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9399},
  pages        = {184--202},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-25150-9\_12},
  doi          = {10.1007/978-3-319-25150-9\_12},
  timestamp    = {Sat, 19 Oct 2019 20:17:56 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/DiskinSMB15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GholizadehDKM15,
  author       = {Hamid Gholizadeh and
                  Zinovy Diskin and
                  Sahar Kokaly and
                  Tom Maibaum},
  editor       = {J{\"{u}}rgen Dingel and
                  Sahar Kokaly and
                  Levi Lucio and
                  Rick Salay and
                  Hans Vangheluwe},
  title        = {Analysis of Source-to-Target Model Transformations in QueST},
  booktitle    = {Proceedings of the 4th Workshop on the Analysis of Model Transformations
                  co-located with the 18th International Conference on Model Driven
                  Engineering Languages and Systems {(MODELS} 2015), Ottawa, Canada,
                  September 28, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1500},
  pages        = {46--55},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1500/paper6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GholizadehDKM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/safecomp/CassanoGSALMW15,
  author       = {Valentin Cassano and
                  Silviya Grigorova and
                  Neeraj Kumar Singh and
                  Morayo Adedjouma and
                  Mark Lawford and
                  T. S. E. Maibaum and
                  Alan Wassyng},
  editor       = {Floor Koornneef and
                  Coen van Gulijk},
  title        = {Is Current Incremental Safety Assurance Sound?},
  booktitle    = {Computer Safety, Reliability, and Security - {SAFECOMP} 2015 Workshops,
                  ASSURE, DECSoS, ISSE, ReSA4CI, and SASSUR, Delft, The Netherlands,
                  September 22, 2015, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9338},
  pages        = {397--408},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24249-1\_34},
  doi          = {10.1007/978-3-319-24249-1\_34},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/safecomp/CassanoGSALMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/soict/SinghLMW15,
  author       = {Neeraj Kumar Singh and
                  Mark Lawford and
                  Thomas Stephen Edward Maibaum and
                  Alan Wassyng},
  editor       = {Huynh Quyet Thang and
                  Le Anh Phuong and
                  Luc De Raedt and
                  Yves Deville and
                  Marc Bui and
                  Truong Thi Dieu Linh and
                  Thi{-}Oanh Nguyen and
                  Dinh Viet Sang and
                  Nguyen Ba Ngoc},
  title        = {Stateflow to Tabular Expressions},
  booktitle    = {Proceedings of the Sixth International Symposium on Information and
                  Communication Technology, Hue City, Vietnam, December 3-4, 2015},
  pages        = {312--319},
  publisher    = {{ACM}},
  year         = {2015},
  url          = {https://doi.org/10.1145/2833258.2833285},
  doi          = {10.1145/2833258.2833285},
  timestamp    = {Mon, 16 Jan 2023 17:00:33 +0100},
  biburl       = {https://dblp.org/rec/conf/soict/SinghLMW15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/staf/KokalyDMG15,
  author       = {Sahar Kokaly and
                  Zinovy Diskin and
                  Tom Maibaum and
                  Hamid Gholizadeh},
  editor       = {Richard F. Paige and
                  Eugene Syriani and
                  Steffen Zschaler and
                  H{\"{u}}seyin Ergin},
  title        = {Elementary Model Management Patterns},
  booktitle    = {Proceedings of the First Workshop on Patterns in Model Engineering,
                  {PAME} 2015, co-located with the 3rd International Conference on Software
                  Technologies: Applications and Foundations {(STAF} 2015), L'Aquila,
                  Italy, July 21, 2015},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1657},
  pages        = {11--15},
  publisher    = {CEUR-WS.org},
  year         = {2015},
  url          = {https://ceur-ws.org/Vol-1657/paper3.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:23:10 +0100},
  biburl       = {https://dblp.org/rec/conf/staf/KokalyDMG15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tableaux/CassanoPM15,
  author       = {Valentin Cassano and
                  Carlos Gustavo L{\'{o}}pez Pombo and
                  Thomas Stephen Edward Maibaum},
  editor       = {Hans de Nivelle},
  title        = {A Propositional Tableaux Based Proof Calculus for Reasoning with Default
                  Rules},
  booktitle    = {Automated Reasoning with Analytic Tableaux and Related Methods - 24th
                  International Conference, {TABLEAUX} 2015, Wroc{\l}aw, Poland, September
                  21-24, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9323},
  pages        = {6--21},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-319-24312-2\_2},
  doi          = {10.1007/978-3-319-24312-2\_2},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/tableaux/CassanoPM15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacas/DemasiCRMA15,
  author       = {Ramiro Demasi and
                  Pablo F. Castro and
                  Nicol{\'{a}}s Ricci and
                  Thomas Stephen Edward Maibaum and
                  Nazareno Aguirre},
  editor       = {Christel Baier and
                  Cesare Tinelli},
  title        = {syntMaskFT: {A} Tool for Synthesizing Masking Fault-Tolerant Programs
                  from Deontic Specifications},
  booktitle    = {Tools and Algorithms for the Construction and Analysis of Systems
                  - 21st International Conference, {TACAS} 2015, Held as Part of the
                  European Joint Conferences on Theory and Practice of Software, {ETAPS}
                  2015, London, UK, April 11-18, 2015. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {9035},
  pages        = {188--193},
  publisher    = {Springer},
  year         = {2015},
  url          = {https://doi.org/10.1007/978-3-662-46681-0\_13},
  doi          = {10.1007/978-3-662-46681-0\_13},
  timestamp    = {Sat, 30 Sep 2023 09:57:43 +0200},
  biburl       = {https://dblp.org/rec/conf/tacas/DemasiCRMA15.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/SanatiMM14,
  author       = {Morteza Yousef Sanati and
                  Wendy MacCaull and
                  T. S. E. Maibaum},
  editor       = {Cliff B. Jones and
                  Pekka Pihlajasaari and
                  Jun Sun},
  title        = {Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based
                  Temporal Logic},
  booktitle    = {{FM} 2014: Formal Methods - 19th International Symposium, Singapore,
                  May 12-16, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8442},
  pages        = {611--626},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-06410-9\_41},
  doi          = {10.1007/978-3-319-06410-9\_41},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/SanatiMM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/hci/SinghWLMW14,
  author       = {Neeraj Kumar Singh and
                  Hao Wang and
                  Mark Lawford and
                  T. S. E. Maibaum and
                  Alan Wassyng},
  editor       = {Vincent G. Duffy},
  title        = {Formalizing the Glucose Homeostasis Mechanism},
  booktitle    = {Digital Human Modeling. Applications in Health, Safety, Ergonomics
                  and Risk Management - 5th International Conference, {DHM} 2014, Held
                  as Part of {HCI} International 2014, Heraklion, Crete, Greece, June
                  22-27, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8529},
  pages        = {460--471},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-07725-3\_46},
  doi          = {10.1007/978-3-319-07725-3\_46},
  timestamp    = {Thu, 10 Nov 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/hci/SinghWLMW14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/PomboCAM14,
  author       = {Carlos Gustavo L{\'{o}}pez Pombo and
                  Pablo F. Castro and
                  Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Gabriel Ciobanu and
                  Dominique M{\'{e}}ry},
  title        = {A Heterogeneous Characterisation of Component-Based System Design
                  in a Categorical Setting},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2014 - 11th International
                  Colloquium, Bucharest, Romania, September 17-19, 2014. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8687},
  pages        = {314--332},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10882-7\_19},
  doi          = {10.1007/978-3-319-10882-7\_19},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/PomboCAM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip8-1/ChenWM14,
  author       = {Wen Chen and
                  Alan Wassyng and
                  Tom Maibaum},
  editor       = {Ulrich Frank and
                  Pericles Loucopoulos and
                  Oscar Pastor and
                  Ilias Petrounias},
  title        = {Impact Analysis via Reachability and Alias Analysis},
  booktitle    = {The Practice of Enterprise Modeling - 7th {IFIP} {WG} 8.1 Working
                  Conference, PoEM 2014, Manchester, UK, November 12-13, 2014. Proceedings},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {197},
  pages        = {261--270},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-662-45501-2\_19},
  doi          = {10.1007/978-3-662-45501-2\_19},
  timestamp    = {Mon, 18 Jan 2021 08:56:43 +0100},
  biburl       = {https://dblp.org/rec/conf/ifip8-1/ChenWM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/PatcasLM14,
  author       = {Lucian M. Patcas and
                  Mark Lawford and
                  Tom Maibaum},
  editor       = {Elvira Albert and
                  Emil Sekerinski},
  title        = {A Separation Principle for Embedded System Interfacing},
  booktitle    = {Integrated Formal Methods - 11th International Conference, {IFM} 2014,
                  Bertinoro, Italy, September 9-11, 2014, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8739},
  pages        = {373--388},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-10181-1\_23},
  doi          = {10.1007/978-3-319-10181-1\_23},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/PatcasLM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/CassanoM14,
  author       = {Valentin Cassano and
                  T. S. E. Maibaum},
  title        = {The Definition and Assessment of a Safety Argument},
  booktitle    = {25th {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
  pages        = {180--185},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISSREW.2014.55},
  doi          = {10.1109/ISSREW.2014.55},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/CassanoM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GrigorovaM14,
  author       = {Silviya Grigorova and
                  T. S. E. Maibaum},
  title        = {Argument Evaluation in the Context of Assurance Case Confidence Modeling},
  booktitle    = {25th {IEEE} International Symposium on Software Reliability Engineering
                  Workshops, {ISSRE} Workshops, Naples, Italy, November 3-6, 2014},
  pages        = {485--490},
  publisher    = {{IEEE} Computer Society},
  year         = {2014},
  url          = {https://doi.org/10.1109/ISSREW.2014.87},
  doi          = {10.1109/ISSREW.2014.87},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/GrigorovaM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/models/GholizadehDM14,
  author       = {Hamid Gholizadeh and
                  Zinovy Diskin and
                  Tom Maibaum},
  editor       = {J{\"{u}}rgen Dingel and
                  Juan de Lara and
                  Levi Lucio and
                  Hans Vangheluwe},
  title        = {A Query Structured Approach for Model Transformation},
  booktitle    = {Proceedings of the Workshop on Analysis of Model Transformations co-located
                  with {ACM/IEEE} 17th International Conference on Model Driven Engineering
                  Languages {\&} Systems (MoDELS 2014), Valencia, Spain, September
                  29, 2014},
  series       = {{CEUR} Workshop Proceedings},
  volume       = {1277},
  pages        = {54--63},
  publisher    = {CEUR-WS.org},
  year         = {2014},
  url          = {https://ceur-ws.org/Vol-1277/6.pdf},
  timestamp    = {Fri, 10 Mar 2023 16:22:20 +0100},
  biburl       = {https://dblp.org/rec/conf/models/GholizadehDM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/profes/ChenWM14,
  author       = {Wen Chen and
                  Alan Wassyng and
                  Tom Maibaum},
  editor       = {Andreas Jedlitschka and
                  Pasi Kuvaja and
                  Marco Kuhrmann and
                  Tomi M{\"{a}}nnist{\"{o}} and
                  J{\"{u}}rgen M{\"{u}}nch and
                  Mikko Raatikainen},
  title        = {Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise
                  Systems},
  booktitle    = {Product-Focused Software Process Improvement - 15th International
                  Conference, {PROFES} 2014, Helsinki, Finland, December 10-12, 2014.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8892},
  pages        = {224--238},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-13835-0\_16},
  doi          = {10.1007/978-3-319-13835-0\_16},
  timestamp    = {Mon, 03 Jan 2022 22:29:18 +0100},
  biburl       = {https://dblp.org/rec/conf/profes/ChenWM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/MossakowskiKM14,
  author       = {Till Mossakowski and
                  Ulf Krumnack and
                  Tom Maibaum},
  editor       = {Mihai Codescu and
                  Razvan Diaconescu and
                  Ionut Tutu},
  title        = {What Is a Derived Signature Morphism?},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 22nd International
                  Workshop, {WADT} 2014, Sinaia, Romania, September 4-7, 2014, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {9463},
  pages        = {90--109},
  publisher    = {Springer},
  year         = {2014},
  url          = {https://doi.org/10.1007/978-3-319-28114-8\_6},
  doi          = {10.1007/978-3-319-28114-8\_6},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/MossakowskiKM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/eceasst/PatcasLM13,
  author       = {Lucian M. Patcas and
                  Mark Lawford and
                  Tom Maibaum},
  title        = {From System Requirements to Software Requirements in the Four-Variable
                  Model},
  journal      = {Electron. Commun. Eur. Assoc. Softw. Sci. Technol.},
  volume       = {66},
  year         = {2013},
  url          = {https://doi.org/10.14279/tuj.eceasst.66.887},
  doi          = {10.14279/TUJ.ECEASST.66.887},
  timestamp    = {Tue, 25 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/eceasst/PatcasLM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/atva/DemasiCMA13,
  author       = {Ramiro Demasi and
                  Pablo F. Castro and
                  T. S. E. Maibaum and
                  Nazareno Aguirre},
  editor       = {Dang Van Hung and
                  Mizuhito Ogawa},
  title        = {Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications},
  booktitle    = {Automated Technology for Verification and Analysis - 11th International
                  Symposium, {ATVA} 2013, Hanoi, Vietnam, October 15-18, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8172},
  pages        = {163--177},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02444-8\_13},
  doi          = {10.1007/978-3-319-02444-8\_13},
  timestamp    = {Tue, 14 May 2019 10:00:49 +0200},
  biburl       = {https://dblp.org/rec/conf/atva/DemasiCMA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/LangariM13,
  author       = {Zarrin Langari and
                  Tom Maibaum},
  editor       = {Ewen Denney and
                  Ibrahim Habli and
                  Tim Kelly and
                  John C. Knight and
                  Ganesh Pai},
  title        = {Safety cases: a review of challenges},
  booktitle    = {Proceedings of the 1st International Workshop on Assurance Cases for
                  Software-Intensive Systems, {ASSURE} '13, San Francisco, California,
                  USA, May 19, 2013},
  pages        = {1--6},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ASSURE.2013.6614263},
  doi          = {10.1109/ASSURE.2013.6614263},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/LangariM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icst/AbadABCFGMMRV13,
  author       = {Pablo Abad and
                  Nazareno Aguirre and
                  Valeria S. Bengolea and
                  Daniel Alfredo Ciolek and
                  Marcelo F. Frias and
                  Juan P. Galeotti and
                  Tom Maibaum and
                  Mariano M. Moscato and
                  Nicol{\'{a}}s Rosner and
                  Ignacio Vissani},
  title        = {Improving Test Generation under Rich Contracts by Tight Bounds and
                  Incremental {SAT} Solving},
  booktitle    = {Sixth {IEEE} International Conference on Software Testing, Verification
                  and Validation, {ICST} 2013, Luxembourg, Luxembourg, March 18-22,
                  2013},
  pages        = {21--30},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ICST.2013.46},
  doi          = {10.1109/ICST.2013.46},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icst/AbadABCFGMMRV13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/DemasiCMA13,
  author       = {Ramiro Demasi and
                  Pablo F. Castro and
                  T. S. E. Maibaum and
                  Nazareno Aguirre},
  editor       = {Einar Broch Johnsen and
                  Luigia Petre},
  title        = {Characterizing Fault-Tolerant Systems by Means of Simulation Relations},
  booktitle    = {Integrated Formal Methods, 10th International Conference, {IFM} 2013,
                  Turku, Finland, June 10-14, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7940},
  pages        = {428--442},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-642-38613-8\_29},
  doi          = {10.1007/978-3-642-38613-8\_29},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/DemasiCMA13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/issre/GrigorovaM13,
  author       = {Silviya Grigorova and
                  T. S. E. Maibaum},
  title        = {Taking a page from the law books: Considering evidence weight in evaluating
                  assurance case confidence},
  booktitle    = {{IEEE} 24th International Symposium on Software Reliability Engineering,
                  {ISSRE} 2013, Pasadena, CA, USA, November 4-7, 2013 - Supplemental
                  Proceedings},
  pages        = {387--390},
  publisher    = {{IEEE} Computer Society},
  year         = {2013},
  url          = {https://doi.org/10.1109/ISSREW.2013.6688926},
  doi          = {10.1109/ISSREW.2013.6688926},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/issre/GrigorovaM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/Maibaum13,
  author       = {Tom Maibaum},
  editor       = {Steve Counsell and
                  Manuel N{\'{u}}{\~{n}}ez},
  title        = {What {IS} a BoK? Large - Extended Abstract -},
  booktitle    = {Software Engineering and Formal Methods - {SEFM} 2013 Collocated Workshops:
                  BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain,
                  September 23-24, 2013, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {8368},
  pages        = {184--188},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-05032-4\_14},
  doi          = {10.1007/978-3-319-05032-4\_14},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/sefm/Maibaum13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sle/DiskinKM13,
  author       = {Zinovy Diskin and
                  Sahar Kokaly and
                  Tom Maibaum},
  editor       = {Martin Erwig and
                  Richard F. Paige and
                  Eric Van Wyk},
  title        = {Mapping-Aware Megamodeling: Design Patterns and Laws},
  booktitle    = {Software Language Engineering - 6th International Conference, {SLE}
                  2013, Indianapolis, IN, USA, October 26-28, 2013. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {8225},
  pages        = {322--343},
  publisher    = {Springer},
  year         = {2013},
  url          = {https://doi.org/10.1007/978-3-319-02654-1\_18},
  doi          = {10.1007/978-3-319-02654-1\_18},
  timestamp    = {Tue, 14 May 2019 10:00:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sle/DiskinKM13.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CastroM14,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Nazareno Aguirre and
                  Leila Ribeiro},
  title        = {Automated Reasoning over Deontic Action Logics with Finite Vocabularies},
  booktitle    = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
                  2013, Buenos Aires, Argentina, August 26th 2013},
  series       = {{EPTCS}},
  volume       = {139},
  pages        = {16--30},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.139.2},
  doi          = {10.4204/EPTCS.139.2},
  timestamp    = {Mon, 02 Dec 2019 18:16:29 +0100},
  biburl       = {https://dblp.org/rec/journals/corr/CastroM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/CassanoM14,
  author       = {Valentin Cassano and
                  T. S. E. Maibaum},
  editor       = {Nazareno Aguirre and
                  Leila Ribeiro},
  title        = {Actions and Events in Concurrent Systems Design},
  booktitle    = {Proceedings First Latin American Workshop on Formal Methods, {LAFM}
                  2013, Buenos Aires, Argentina, August 26th 2013},
  series       = {{EPTCS}},
  volume       = {139},
  pages        = {31--45},
  year         = {2013},
  url          = {https://doi.org/10.4204/EPTCS.139.3},
  doi          = {10.4204/EPTCS.139.3},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/CassanoM14.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcs/CastroM12,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  title        = {Encapsulating deontic and branching time specifications},
  journal      = {Theor. Comput. Sci.},
  volume       = {455},
  pages        = {98--122},
  year         = {2012},
  url          = {https://doi.org/10.1016/j.tcs.2011.12.016},
  doi          = {10.1016/J.TCS.2011.12.016},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/tcs/CastroM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/apsec/LingM12,
  author       = {Xiang Ling and
                  Tom Maibaum},
  editor       = {Karl R. P. H. Leung and
                  Pornsiri Muenchaisri},
  title        = {Architecture Based Development with {DYNACOMM:} Incorporating Dynamic
                  Reconfiguration and Hierarchical Design into CommUnity},
  booktitle    = {19th Asia-Pacific Software Engineering Conference, {APSEC} 2012, Hong
                  Kong, China, December 4-7, 2012},
  pages        = {493--498},
  publisher    = {{IEEE}},
  year         = {2012},
  url          = {https://doi.org/10.1109/APSEC.2012.109},
  doi          = {10.1109/APSEC.2012.109},
  timestamp    = {Sun, 08 Aug 2021 01:40:48 +0200},
  biburl       = {https://dblp.org/rec/conf/apsec/LingM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/facs2/CastroAPM12,
  author       = {Pablo F. Castro and
                  Nazareno Aguirre and
                  Carlos Gustavo L{\'{o}}pez Pombo and
                  Tom Maibaum},
  editor       = {Corina S. Pasareanu and
                  Gwen Sala{\"{u}}n},
  title        = {A Categorical Approach to Structuring and Promoting {Z} Specifications},
  booktitle    = {Formal Aspects of Component Software, 9th International Symposium,
                  {FACS} 2012, Mountain View, CA, USA, September 12-14, 2012. Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7684},
  pages        = {73--91},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-35861-6\_5},
  doi          = {10.1007/978-3-642-35861-6\_5},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/facs2/CastroAPM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/DiskinMC12,
  author       = {Zinovy Diskin and
                  T. S. E. Maibaum and
                  Krzysztof Czarnecki},
  editor       = {Juan de Lara and
                  Andrea Zisman},
  title        = {Intermodeling, Queries, and Kleisli Categories},
  booktitle    = {Fundamental Approaches to Software Engineering - 15th International
                  Conference, {FASE} 2012, Held as Part of the European Joint Conferences
                  on Theory and Practice of Software, {ETAPS} 2012, Tallinn, Estonia,
                  March 24 - April 1, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7212},
  pages        = {163--177},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-28872-2\_12},
  doi          = {10.1007/978-3-642-28872-2\_12},
  timestamp    = {Fri, 30 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/fase/DiskinMC12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ChenIAPGLMW12a,
  author       = {Wen Chen and
                  Asif Iqbal and
                  Akbar Abdrakhmanov and
                  Jay Parlar and
                  Chris George and
                  Mark Lawford and
                  Tom Maibaum and
                  Alan Wassyng},
  editor       = {Jos{\'{e}} Cordeiro and
                  Leszek A. Maciaszek and
                  Joaquim Filipe},
  title        = {Large-Scale Enterprise Systems: Changes and Impacts},
  booktitle    = {Enterprise Information Systems - 14th International Conference, {ICEIS}
                  2012, Wroclaw, Poland, June 28 - July 1, 2012, Revised Selected Papers},
  series       = {Lecture Notes in Business Information Processing},
  volume       = {141},
  pages        = {274--290},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-40654-6\_17},
  doi          = {10.1007/978-3-642-40654-6\_17},
  timestamp    = {Thu, 05 Jan 2023 17:08:55 +0100},
  biburl       = {https://dblp.org/rec/conf/iceis/ChenIAPGLMW12a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iceis/ChenIAPGLMW12,
  author       = {Wen Chen and
                  Asif Iqbal and
                  Akbar Abdrakhmanov and
                  Jay Parlar and
                  Chris George and
                  Mark Lawford and
                  T. S. E. Maibaum and
                  Alan Wassyng},
  editor       = {Leszek A. Maciaszek and
                  Alfredo Cuzzocrea and
                  Jos{\'{e}} Cordeiro},
  title        = {Change Impact Analysis for Large-scale Enterprise Systems},
  booktitle    = {{ICEIS} 2012 - Proceedings of the 14th International Conference on
                  Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June
                  - 1 July, 2012},
  pages        = {359--368},
  publisher    = {SciTePress},
  year         = {2012},
  timestamp    = {Tue, 24 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/iceis/ChenIAPGLMW12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sbmf/RegisRAM12,
  author       = {Germ{\'{a}}n Regis and
                  Nicol{\'{a}}s Ricci and
                  Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Rohit Gheyi and
                  David A. Naumann},
  title        = {Specifying and Verifying Declarative Fluent Temporal Logic Properties
                  of Workflows},
  booktitle    = {Formal Methods: Foundations and Applications - 15th Brazilian Symposium,
                  {SBMF} 2012, Natal, Brazil, September 23-28, 2012. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {7498},
  pages        = {147--162},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-33296-8\_12},
  doi          = {10.1007/978-3-642-33296-8\_12},
  timestamp    = {Tue, 14 May 2019 10:00:37 +0200},
  biburl       = {https://dblp.org/rec/conf/sbmf/RegisRAM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/PomboCAM12,
  author       = {Carlos Gustavo L{\'{o}}pez Pombo and
                  Pablo F. Castro and
                  Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Miguel Palomino},
  title        = {Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus
                  in General Logics},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 21st International
                  Workshop, {WADT} 2012, Salamanca, Spain, June 7-10, 2012, Revised
                  Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7841},
  pages        = {195--211},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-3-642-37635-1\_12},
  doi          = {10.1007/978-3-642-37635-1\_12},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/PomboCAM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/corr/abs-1209-1433,
  author       = {Zinovy Diskin and
                  T. S. E. Maibaum},
  editor       = {Ulrike Golas and
                  Thomas Soboll},
  title        = {Category Theory and Model-Driven Engineering: From Formal Semantics
                  to Design Patterns and Beyond},
  booktitle    = {Proceedings Seventh {ACCAT} Workshop on Applied and Computational
                  Category Theory, {ACCAT} 2012, Tallinn, Estonia, 1 April 2012},
  series       = {{EPTCS}},
  volume       = {93},
  pages        = {1--21},
  year         = {2012},
  url          = {https://doi.org/10.4204/EPTCS.93.1},
  doi          = {10.4204/EPTCS.93.1},
  timestamp    = {Wed, 12 Sep 2018 01:05:15 +0200},
  biburl       = {https://dblp.org/rec/journals/corr/abs-1209-1433.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:books/daglib/p/WassyngLM12,
  author       = {Alan Wassyng and
                  Mark Lawford and
                  Tom Maibaum},
  editor       = {Mike Hinchey and
                  Lorcan Coyle},
  title        = {Separating Safety and Control Systems to Reduce Complexity},
  booktitle    = {Conquering Complexity},
  pages        = {85--102},
  publisher    = {Springer},
  year         = {2012},
  url          = {https://doi.org/10.1007/978-1-4471-2297-5\_4},
  doi          = {10.1007/978-1-4471-2297-5\_4},
  timestamp    = {Sat, 19 Oct 2019 19:02:43 +0200},
  biburl       = {https://dblp.org/rec/books/daglib/p/WassyngLM12.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/MaibaumJ01,
  author       = {Tom Maibaum and
                  Paul Joannou},
  editor       = {Joanna W. Ng and
                  Christian Couturier and
                  Marin Litoiu and
                  Eleni Stroulia},
  title        = {2\({}^{\mbox{nd}}\) Software Certification Consortium Workshop: Theoretical
                  Basis for System and Software Engineering Practices and Certification},
  booktitle    = {Center for Advanced Studies on Collaborative Research, {CASCON} '11,
                  Toronto, ON, Canada, November 7-10, 2011},
  pages        = {375--376},
  publisher    = {{IBM} / {ACM}},
  year         = {2011},
  url          = {http://dl.acm.org/citation.cfm?id=2093957},
  timestamp    = {Fri, 30 Nov 2018 02:24:54 +0100},
  biburl       = {https://dblp.org/rec/conf/cascon/MaibaumJ01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/emsoft/WassyngLM11,
  author       = {Alan Wassyng and
                  Mark Lawford and
                  T. S. E. Maibaum},
  editor       = {Samarjit Chakraborty and
                  Ahmed Jerraya and
                  Sanjoy K. Baruah and
                  Sebastian Fischmeister},
  title        = {Software certification experience in the canadian nuclear industry:
                  lessons for the future},
  booktitle    = {Proceedings of the 11th International Conference on Embedded Software,
                  {EMSOFT} 2011, part of the Seventh Embedded Systems Week, ESWeek 2011,
                  Taipei, Taiwan, October 9-14, 2011},
  pages        = {219--226},
  publisher    = {{ACM}},
  year         = {2011},
  url          = {https://doi.org/10.1145/2038642.2038676},
  doi          = {10.1145/2038642.2038676},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/emsoft/WassyngLM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fhies/XuM11,
  author       = {Hao Xu and
                  Tom Maibaum},
  editor       = {Zhiming Liu and
                  Alan Wassyng},
  title        = {An Event-B Approach to Timing Issues Applied to the Generic Insulin
                  Infusion Pump},
  booktitle    = {Foundations of Health Informatics Engineering and Systems - First
                  International Symposium, {FHIES} 2011, Johannesburg, South Africa,
                  August 29-30, 2011. Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7151},
  pages        = {160--176},
  publisher    = {Springer},
  year         = {2011},
  url          = {https://doi.org/10.1007/978-3-642-32355-3\_10},
  doi          = {10.1007/978-3-642-32355-3\_10},
  timestamp    = {Tue, 14 May 2019 10:00:46 +0200},
  biburl       = {https://dblp.org/rec/conf/fhies/XuM11.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/WassyngLMWH10,
  author       = {Alan Wassyng and
                  Mark Lawford and
                  T. S. E. Maibaum and
                  Jens H. Weber and
                  John Hatcliff},
  editor       = {Joanna W. Ng and
                  Christian Couturier and
                  Hausi A. M{\"{u}}ller and
                  Arthur G. Ryman and
                  Anatol W. Kark},
  title        = {Software certification consortium: certification methods for safety-critical
                  software},
  booktitle    = {Proceedings of the 2010 conference of the Centre for Advanced Studies
                  on Collaborative Research, November 1-4, 2010, Toronto, Ontario, Canada},
  pages        = {434--436},
  publisher    = {{ACM}},
  year         = {2010},
  url          = {https://doi.org/10.1145/1923947.1924033},
  doi          = {10.1145/1923947.1924033},
  timestamp    = {Fri, 30 Nov 2018 02:24:54 +0100},
  biburl       = {https://dblp.org/rec/conf/cascon/WassyngLMWH10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CastroAPM10,
  author       = {Pablo F. Castro and
                  Nazareno Aguirre and
                  Carlos Gustavo L{\'{o}}pez Pombo and
                  T. S. E. Maibaum},
  editor       = {Ana Cavalcanti and
                  David D{\'{e}}harbe and
                  Marie{-}Claude Gaudel and
                  Jim Woodcock},
  title        = {Towards Managing Dynamic Reconfiguration of Software Systems in a
                  Categorical Setting},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
                  Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6255},
  pages        = {306--321},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14808-8\_21},
  doi          = {10.1007/978-3-642-14808-8\_21},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/CastroAPM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CastroM10,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Ana Cavalcanti and
                  David D{\'{e}}harbe and
                  Marie{-}Claude Gaudel and
                  Jim Woodcock},
  title        = {Characterizing Locality (Encapsulation) with Bisimulation},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2010, 7th International
                  Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010.
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {6255},
  pages        = {322--336},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-14808-8\_22},
  doi          = {10.1007/978-3-642-14808-8\_22},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ictac/CastroM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isola/LawfordMW10,
  author       = {Mark Lawford and
                  T. S. E. Maibaum and
                  Alan Wassyng},
  editor       = {Tiziana Margaria and
                  Bernhard Steffen},
  title        = {Certification of Software-Driven Medical Devices},
  booktitle    = {Leveraging Applications of Formal Methods, Verification, and Validation
                  - 4th International Symposium on Leveraging Applications, ISoLA 2010,
                  Heraklion, Crete, Greece, October 18-21, 2010, Proceedings, Part {II}},
  series       = {Lecture Notes in Computer Science},
  volume       = {6416},
  pages        = {293--295},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-16561-0\_29},
  doi          = {10.1007/978-3-642-16561-0\_29},
  timestamp    = {Sun, 02 Jun 2019 21:11:27 +0200},
  biburl       = {https://dblp.org/rec/conf/isola/LawfordMW10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/WassyngMLB10,
  author       = {Alan Wassyng and
                  T. S. E. Maibaum and
                  Mark Lawford and
                  Hans Bherer},
  editor       = {Radu Calinescu and
                  Ethan K. Jackson},
  title        = {Software Certification: Is There a Case against Safety Cases?},
  booktitle    = {Foundations of Computer Software. Modeling, Development, and Verification
                  of Adaptive Systems - 16th Monterey Workshop 2010, Redmond, WA, USA,
                  March 31- April 2, 2010, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6662},
  pages        = {206--227},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-21292-5\_12},
  doi          = {10.1007/978-3-642-21292-5\_12},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/WassyngMLB10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/CastroM10,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Till Mossakowski and
                  Hans{-}J{\"{o}}rg Kreowski},
  title        = {Towards a First-Order Deontic Action Logic},
  booktitle    = {Recent Trends in Algebraic Development Techniques - 20th International
                  Workshop, {WADT} 2010, Etelsen, Germany, July 1-4, 2010, Revised Selected
                  Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {7137},
  pages        = {61--75},
  publisher    = {Springer},
  year         = {2010},
  url          = {https://doi.org/10.1007/978-3-642-28412-0\_6},
  doi          = {10.1007/978-3-642-28412-0\_6},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/CastroM10.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/japll/CastroM09,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  title        = {Deontic action logic, atomic boolean algebras and fault-tolerance},
  journal      = {J. Appl. Log.},
  volume       = {7},
  number       = {4},
  pages        = {441--466},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.jal.2009.02.001},
  doi          = {10.1016/J.JAL.2009.02.001},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/japll/CastroM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/sigcse/Maibaum09,
  author       = {T. S. E. Maibaum},
  title        = {Formal methods versus engineering},
  journal      = {{ACM} {SIGCSE} Bull.},
  volume       = {41},
  number       = {2},
  pages        = {6--12},
  year         = {2009},
  url          = {https://doi.org/10.1145/1595453.1595455},
  doi          = {10.1145/1595453.1595455},
  timestamp    = {Sat, 25 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/sigcse/Maibaum09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AguirreFMMW09,
  author       = {Nazareno Aguirre and
                  Marcelo F. Frias and
                  Mariano M. Moscato and
                  T. S. E. Maibaum and
                  Alan Wassyng},
  editor       = {Marsha Chechik and
                  Martin Wirsing},
  title        = {Describing and Analyzing Behaviours over Tabular Specifications Using
                  (Dyn)Alloy},
  booktitle    = {Fundamental Approaches to Software Engineering, 12th International
                  Conference, {FASE} 2009, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2009, York, UK, March
                  22-29, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5503},
  pages        = {155--170},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00593-0\_11},
  doi          = {10.1007/978-3-642-00593-0\_11},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AguirreFMMW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/RegisAM09,
  author       = {Germ{\'{a}}n Regis and
                  Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Karin K. Breitman and
                  Ana Cavalcanti},
  title        = {Specifying and Verifying Business Processes Using {PPML}},
  booktitle    = {Formal Methods and Software Engineering, 11th International Conference
                  on Formal Engineering Methods, {ICFEM} 2009, Rio de Janeiro, Brazil,
                  December 9-12, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5885},
  pages        = {737--756},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-10373-5\_38},
  doi          = {10.1007/978-3-642-10373-5\_38},
  timestamp    = {Mon, 21 Feb 2022 14:40:49 +0100},
  biburl       = {https://dblp.org/rec/conf/icfem/RegisAM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/CastroM09,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Leo Marcus},
  title        = {Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance},
  booktitle    = {Proceedings of the Workshop on Logical Aspects of Fault Tolerance,
                  LAFT@LICS 2009, Los Angeles, CA, USA, August 15, 2009},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {258},
  number       = {2},
  pages        = {17--34},
  publisher    = {Elsevier},
  year         = {2009},
  url          = {https://doi.org/10.1016/j.entcs.2009.12.011},
  doi          = {10.1016/J.ENTCS.2009.12.011},
  timestamp    = {Fri, 24 Feb 2023 15:58:26 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/CastroM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@incollection{DBLP:series/lncs/CastroM09,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Michael J. Butler and
                  Cliff B. Jones and
                  Alexander B. Romanovsky and
                  Elena Troubitsyna},
  title        = {Reasoning about System-Degradation and Fault-Recovery with Deontic
                  Logic},
  booktitle    = {Methods, Models and Tools for Fault Tolerance},
  series       = {Lecture Notes in Computer Science},
  volume       = {5454},
  pages        = {25--43},
  publisher    = {Springer},
  year         = {2009},
  url          = {https://doi.org/10.1007/978-3-642-00867-2\_2},
  doi          = {10.1007/978-3-642-00867-2\_2},
  timestamp    = {Mon, 15 Jun 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/series/lncs/CastroM09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/computer/MaibaumW08,
  author       = {T. S. E. Maibaum and
                  Alan Wassyng},
  title        = {A Product-Focused Approach to Software Certification},
  journal      = {Computer},
  volume       = {41},
  number       = {2},
  pages        = {91--93},
  year         = {2008},
  url          = {https://doi.org/10.1109/MC.2008.37},
  doi          = {10.1109/MC.2008.37},
  timestamp    = {Wed, 12 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/computer/MaibaumW08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/deon/CastroM08,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Ron van der Meyden and
                  Leendert W. N. van der Torre},
  title        = {A Tableaux System for Deontic Action Logic},
  booktitle    = {Deontic Logic in Computer Science, 9th International Conference, {DEON}
                  2008, Luxembourg, Luxembourg, July 15-18, 2008. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5076},
  pages        = {34--48},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-70525-3\_4},
  doi          = {10.1007/978-3-540-70525-3\_4},
  timestamp    = {Thu, 14 Oct 2021 10:16:00 +0200},
  biburl       = {https://dblp.org/rec/conf/deon/CastroM08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/monterey/WassyngML08,
  author       = {Alan Wassyng and
                  T. S. E. Maibaum and
                  Mark Lawford},
  editor       = {Christine Choppy and
                  Oleg Sokolsky},
  title        = {On Software Certification: We Need Product-Focused Approaches},
  booktitle    = {Foundations of Computer Software. Future Trends and Techniques for
                  Development, 15th Monterey Workshop 2008, Budapest, Hungary, September
                  24-26, 2008, Revised Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {6028},
  pages        = {250--274},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-642-12566-9\_13},
  doi          = {10.1007/978-3-642-12566-9\_13},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/monterey/WassyngML08.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/HatcliffHLMWW09,
  author       = {John Hatcliff and
                  Mats Per Erik Heimdahl and
                  Mark Lawford and
                  T. S. E. Maibaum and
                  Alan Wassyng and
                  Fred L. Wurden},
  editor       = {Michaela Huhn and
                  Hardi Hungar},
  title        = {A Software Certification Consortium and its Top 9 Hurdles},
  booktitle    = {Proceedings of the First Workshop on Certification of Safety-Critical
                  Software Controlled Systems, SafeCert@ETAPS 2008, Budapest, Hungary,
                  April 29, 2008},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {238},
  number       = {4},
  pages        = {11--17},
  publisher    = {Elsevier},
  year         = {2008},
  url          = {https://doi.org/10.1016/j.entcs.2009.09.002},
  doi          = {10.1016/J.ENTCS.2009.09.002},
  timestamp    = {Fri, 24 Feb 2023 13:19:35 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/HatcliffHLMWW09.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fm/2008,
  editor       = {Jorge Cu{\'{e}}llar and
                  T. S. E. Maibaum and
                  Kaisa Sere},
  title        = {{FM} 2008: Formal Methods, 15th International Symposium on Formal
                  Methods, Turku, Finland, May 26-30, 2008, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {5014},
  publisher    = {Springer},
  year         = {2008},
  url          = {https://doi.org/10.1007/978-3-540-68237-0},
  doi          = {10.1007/978-3-540-68237-0},
  isbn         = {978-3-540-68235-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/2008.bib},
  bibsource    = {dblp computer science bibliography, https://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, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/2008.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/LingMA07,
  author       = {Xiang Ling and
                  T. S. E. Maibaum and
                  Nazareno Aguirre},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {Design in CommUnity with Extension Morphisms},
  booktitle    = {Formal Methods and Hybrid Real-Time Systems, Essays in Honor of Dines
                  Bj{\o}rner and Chaochen Zhou on the Occasion of Their 70th Birthdays,
                  Papers presented at a Symposium held in Macao, China, September 24-25,
                  2007},
  series       = {Lecture Notes in Computer Science},
  volume       = {4700},
  pages        = {435--466},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75221-9\_20},
  doi          = {10.1007/978-3-540-75221-9\_20},
  timestamp    = {Fri, 17 Feb 2023 09:02:00 +0100},
  biburl       = {https://dblp.org/rec/conf/birthday/LingMA07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cascon/MaibaumL07,
  author       = {T. S. E. Maibaum and
                  Zhe (Jessie) Li},
  editor       = {Bruce Spencer and
                  Margaret{-}Anne D. Storey and
                  Darlene A. Stewart},
  title        = {A test framework for integration testing of object-oriented programs},
  booktitle    = {Proceedings of the 2007 conference of the Centre for Advanced Studies
                  on Collaborative Research, October 22-25, 2007, Richmond Hill, Ontario,
                  Canada},
  pages        = {252--255},
  publisher    = {{IBM}},
  year         = {2007},
  url          = {https://doi.org/10.1145/1321211.1321239},
  doi          = {10.1145/1321211.1321239},
  timestamp    = {Fri, 30 Nov 2018 02:24:54 +0100},
  biburl       = {https://dblp.org/rec/conf/cascon/MaibaumL07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/Maibaum07,
  author       = {T. S. E. Maibaum},
  editor       = {Michael J. Butler and
                  Michael G. Hinchey and
                  Mar{\'{\i}}a M. Larrondo{-}Petrie},
  title        = {Challenges in Software Certification},
  booktitle    = {Formal Methods and Software Engineering, 9th International Conference
                  on Formal Engineering Methods, {ICFEM} 2007, Boca Raton, FL, USA,
                  November 14-15, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4789},
  pages        = {4--18},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-76650-6\_2},
  doi          = {10.1007/978-3-540-76650-6\_2},
  timestamp    = {Sat, 19 Oct 2019 20:19:23 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/Maibaum07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictac/CastroM07,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  editor       = {Cliff B. Jones and
                  Zhiming Liu and
                  Jim Woodcock},
  title        = {A Complete and Compact Propositional Deontic Logic},
  booktitle    = {Theoretical Aspects of Computing - {ICTAC} 2007, 4th International
                  Colloquium, Macau, China, September 26-28, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4711},
  pages        = {109--123},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-75292-9\_8},
  doi          = {10.1007/978-3-540-75292-9\_8},
  timestamp    = {Fri, 17 Feb 2023 09:02:01 +0100},
  biburl       = {https://dblp.org/rec/conf/ictac/CastroM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifm/AguirreRM07,
  author       = {Nazareno Aguirre and
                  Germ{\'{a}}n Regis and
                  T. S. E. Maibaum},
  editor       = {Jim Davies and
                  Jeremy Gibbons},
  title        = {Verifying Temporal Properties of CommUnity Designs},
  booktitle    = {Integrated Formal Methods, 6th International Conference, {IFM} 2007,
                  Oxford, UK, July 2-5, 2007, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {4591},
  pages        = {1--20},
  publisher    = {Springer},
  year         = {2007},
  url          = {https://doi.org/10.1007/978-3-540-73210-5\_1},
  doi          = {10.1007/978-3-540-73210-5\_1},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/ifm/AguirreRM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/qsic/LiM07,
  author       = {Zhe (Jessie) Li and
                  T. S. E. Maibaum},
  title        = {An Approach to Integration Testing of Object-Oriented Programs},
  booktitle    = {Seventh International Conference on Quality Software {(QSIC} 2007),
                  11-12 October 2007, Portland, Oregon, {USA}},
  pages        = {268--273},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.ieeecomputersociety.org/10.1109/QSIC.2007.13},
  doi          = {10.1109/QSIC.2007.13},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/qsic/LiM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sefm/CastroM07,
  author       = {Pablo F. Castro and
                  T. S. E. Maibaum},
  title        = {An ought-to-do deontic logic for reasoning about fault-tolerance:
                  the diarrheic philosophers},
  booktitle    = {Fifth {IEEE} International Conference on Software Engineering and
                  Formal Methods {(SEFM} 2007), 10-14 September 2007, London, England,
                  {UK}},
  pages        = {151--160},
  publisher    = {{IEEE} Computer Society},
  year         = {2007},
  url          = {https://doi.org/10.1109/SEFM.2007.7},
  doi          = {10.1109/SEFM.2007.7},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/sefm/CastroM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AguirreMA06,
  author       = {Nazareno Aguirre and
                  T. S. E. Maibaum and
                  Paulo S. C. Alencar},
  editor       = {Kokichi Futatsugi and
                  Jean{-}Pierre Jouannaud and
                  Jos{\'{e}} Meseguer},
  title        = {Extension Morphisms for CommUnity},
  booktitle    = {Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen
                  on the Occasion of His 65th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {4060},
  pages        = {173--193},
  publisher    = {Springer},
  year         = {2006},
  url          = {https://doi.org/10.1007/11780274\_10},
  doi          = {10.1007/11780274\_10},
  timestamp    = {Thu, 21 Sep 2023 09:08:34 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AguirreMA06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MageeM06,
  author       = {Jeff Magee and
                  Tom Maibaum},
  editor       = {Betty H. C. Cheng and
                  Rog{\'{e}}rio de Lemos and
                  Stephen Fickas and
                  David Garlan and
                  Jeff Magee and
                  Hausi A. M{\"{u}}ller and
                  Richard Taylor},
  title        = {Towards specification, modelling and analysis of fault tolerance in
                  self managed systems},
  booktitle    = {Proceedings of the 2006 international workshop on Self-adaptation
                  and self-managing systems, {SEAMS} 2006, Shanghai, China, May 21-22,
                  2006},
  pages        = {30--36},
  publisher    = {{ACM}},
  year         = {2006},
  url          = {https://doi.org/10.1145/1137677.1137684},
  doi          = {10.1145/1137677.1137684},
  timestamp    = {Tue, 15 Jan 2019 11:48:13 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/MageeM06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/somet/Maibaum06,
  author       = {T. S. E. Maibaum},
  editor       = {Hamido Fujita and
                  Mohamed Mejri},
  title        = {On specifying systems that connect to the physical world},
  booktitle    = {New Trends in Software Methodologies, Tools and Techniques - Proceedings
                  of the Fifth SoMeT 2006, October 25-27, 2006, Quebec, Canada},
  series       = {Frontiers in Artificial Intelligence and Applications},
  volume       = {147},
  pages        = {71--83},
  publisher    = {{IOS} Press},
  year         = {2006},
  url          = {http://www.booksonline.iospress.nl/Content/View.aspx?piid=2126},
  timestamp    = {Tue, 13 Mar 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/somet/Maibaum06.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Marti-OlietPFMM05,
  author       = {Narciso Mart{\'{\i}}{-}Oliet and
                  Isabel Pita and
                  Jos{\'{e}} Luiz Fiadeiro and
                  Jos{\'{e}} Meseguer and
                  T. S. E. Maibaum},
  title        = {A Verification Logic for Rewriting Logic},
  journal      = {J. Log. Comput.},
  volume       = {15},
  number       = {3},
  pages        = {317--352},
  year         = {2005},
  url          = {https://doi.org/10.1093/logcom/exi015},
  doi          = {10.1093/LOGCOM/EXI015},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Marti-OlietPFMM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tosem/FriasPBAM05,
  author       = {Marcelo F. Frias and
                  Carlos L{\'{o}}pez Pombo and
                  Gabriel A. Baum and
                  Nazareno Aguirre and
                  T. S. E. Maibaum},
  title        = {Reasoning about static and dynamic properties in alloy: {A} purely
                  relational approach},
  journal      = {{ACM} Trans. Softw. Eng. Methodol.},
  volume       = {14},
  number       = {4},
  pages        = {478--526},
  year         = {2005},
  url          = {https://doi.org/10.1145/1101815.1101819},
  doi          = {10.1145/1101815.1101819},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/tosem/FriasPBAM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AguirreABGM05,
  author       = {Nazareno Aguirre and
                  Marcelo Arroyo and
                  Juan Bicarregui and
                  Lucio Guzm{\'{a}}n and
                  T. S. E. Maibaum},
  editor       = {Kung{-}Kiu Lau and
                  Richard Banach},
  title        = {Towards Dynamically Communicating Abstract Machines in the {B} Method},
  booktitle    = {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},
  pages        = {141--155},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11576280\_11},
  doi          = {10.1007/11576280\_11},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/AguirreABGM05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/pts/Maibaum05,
  author       = {T. S. E. Maibaum},
  editor       = {Ferhat Khendek and
                  Rachida Dssouli},
  title        = {The Epistemology of Validation and Verification Testing},
  booktitle    = {Testing of Communicating Systems, 17th {IFIP} {TC6/WG} 6.1 International
                  Conference, TestCom 2005, Montreal, Canada, May 31 - June 2, 2005,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3502},
  pages        = {1--8},
  publisher    = {Springer},
  year         = {2005},
  url          = {https://doi.org/10.1007/11430230\_1},
  doi          = {10.1007/11430230\_1},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/pts/Maibaum05.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/El-MaddahM04,
  author       = {Islam A. M. El{-}Maddah and
                  T. S. E. Maibaum},
  editor       = {Michel Wermelinger and
                  Tiziana Margaria},
  title        = {The {GOPCSD} Tool: An Integrated Development Environment for Process
                  Control Requirements and Design},
  booktitle    = {Fundamental Approaches to Software Engineering, 7th International
                  Conference, {FASE} 2004, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2004 Barcelona, Spain,
                  March 29 - april 2, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2984},
  pages        = {261--266},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-24721-0\_19},
  doi          = {10.1007/978-3-540-24721-0\_19},
  timestamp    = {Sun, 02 Jun 2019 21:17:06 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/El-MaddahM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icfem/AguirreBGM04,
  author       = {Nazareno Aguirre and
                  Juan Bicarregui and
                  Lucio Guzm{\'{a}}n and
                  T. S. E. Maibaum},
  editor       = {Jim Davies and
                  Wolfram Schulte and
                  Michael Barnett},
  title        = {Implementing Dynamic Aggregations of Abstract Machines in the {B}
                  Method},
  booktitle    = {Formal Methods and Software Engineering, 6th International Conference
                  on Formal Engineering Methods, {ICFEM} 2004, Seattle, WA, USA, November
                  8-12, 2004, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3308},
  pages        = {403--417},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-30482-1\_34},
  doi          = {10.1007/978-3-540-30482-1\_34},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/icfem/AguirreBGM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icsr/El-MaddahM04,
  author       = {Islam A. M. El{-}Maddah and
                  T. S. E. Maibaum},
  title        = {Requirements-Reuse Using {GOPCSD:} Component-Based Development of
                  Process Control Systems},
  booktitle    = {Software Reuse: Methods, Techniques and Tools: 8th International Conference,
                  {ICSR} 2004, Madrid, Spain, July 5-9, 2009. Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {3107},
  pages        = {318--328},
  publisher    = {Springer},
  year         = {2004},
  url          = {https://doi.org/10.1007/978-3-540-27799-6\_27},
  doi          = {10.1007/978-3-540-27799-6\_27},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/icsr/El-MaddahM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/AguirreM04,
  author       = {Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Juliana K{\"{u}}ster Filipe and
                  Iman Poernomo and
                  Ralf H. Reussner and
                  Sandeep K. Shukla},
  title        = {Hierarchical Temporal Specifications of Dynamically Reconfigurable
                  Component Based Systems},
  booktitle    = {Proceedings of the First International Workshop on Formal Foundations
                  of Embedded Software and Component-based Software Architectures, FESCA@ETAPS
                  2004, Barcelona, Spain, April 3, 2004},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {108},
  pages        = {69--81},
  publisher    = {Elsevier},
  year         = {2004},
  url          = {https://doi.org/10.1016/j.entcs.2004.01.013},
  doi          = {10.1016/J.ENTCS.2004.01.013},
  timestamp    = {Tue, 13 Dec 2022 10:41:10 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/AguirreM04.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/Maibaum03,
  author       = {T. S. E. Maibaum},
  title        = {On what exactly goes on when software is developed step-by-step, {II:}
                  The sequel},
  journal      = {Inf. Process. Lett.},
  volume       = {88},
  number       = {1-2},
  pages        = {45--51},
  year         = {2003},
  url          = {https://doi.org/10.1016/S0020-0190(03)00390-9},
  doi          = {10.1016/S0020-0190(03)00390-9},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/Maibaum03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/birthday/AguirreM03,
  author       = {Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Nachum Dershowitz},
  title        = {Some Institutional Requirements for Temporal Reasoning on Dynamic
                  Reconfiguration of Component Based Systems},
  booktitle    = {Verification: Theory and Practice, Essays Dedicated to Zohar Manna
                  on the Occasion of His 64th Birthday},
  series       = {Lecture Notes in Computer Science},
  volume       = {2772},
  pages        = {407--435},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-39910-0\_20},
  doi          = {10.1007/978-3-540-39910-0\_20},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/birthday/AguirreM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fase/AguirreM03,
  author       = {Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Mauro Pezz{\`{e}}},
  title        = {A Logical Basis for the Specification of Reconfigurable Component-Based
                  Systems},
  booktitle    = {Fundamental Approaches to Software Engineering, 6th International
                  Conference, {FASE} 2003, Held as Part of the Joint European Conferences
                  on Theory and Practice of Software, {ETAPS} 2003, Warsaw, Poland,
                  April 7-11, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2621},
  pages        = {37--51},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-36578-8\_4},
  doi          = {10.1007/3-540-36578-8\_4},
  timestamp    = {Sun, 02 Oct 2022 16:01:12 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/AguirreM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fm/FriasPBAM03,
  author       = {Marcelo F. Frias and
                  Carlos L{\'{o}}pez Pombo and
                  Gabriel Baum and
                  Nazareno Aguirre and
                  T. S. E. Maibaum},
  editor       = {Keijiro Araki and
                  Stefania Gnesi and
                  Dino Mandrioli},
  title        = {Taking \emph{Alloy} to the Movies},
  booktitle    = {{FME} 2003: Formal Methods, International Symposium of Formal Methods
                  Europe, Pisa, Italy, September 8-14, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2805},
  pages        = {678--697},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/978-3-540-45236-2\_37},
  doi          = {10.1007/978-3-540-45236-2\_37},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fm/FriasPBAM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/El-MaddahM03,
  author       = {Islam A. M. El{-}Maddah and
                  T. S. E. Maibaum},
  title        = {Goal-Oriented Requirements Analysis for Process Control Systems Design},
  booktitle    = {1st {ACM} {\&} {IEEE} International Conference on Formal Methods
                  and Models for Co-Design {(MEMOCODE} 2003), 24-26 June 2003, Mont
                  Saint-Michel, France, Proceedings},
  pages        = {45--46},
  publisher    = {{IEEE} Computer Society},
  year         = {2003},
  url          = {https://doi.org/10.1109/MEMCOD.2003.1210085},
  doi          = {10.1109/MEMCOD.2003.1210085},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/memocode/El-MaddahM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/AguirreBDM03,
  author       = {Nazareno Aguirre and
                  Juan Bicarregui and
                  Theodosis Dimitrakos and
                  T. S. E. Maibaum},
  editor       = {Didier Bert and
                  Jonathan P. Bowen and
                  Steve King and
                  Marina Wald{\'{e}}n},
  title        = {Towards Dynamic Population Management of Abstract Machines in the
                  {B} Method},
  booktitle    = {{ZB} 2003: Formal Specification and Development in {Z} and B, Third
                  International Conference of {B} and {Z} Users, Turku, Finland, June
                  4-6, 2003, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {2651},
  pages        = {528--545},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/3-540-44880-2\_31},
  doi          = {10.1007/3-540-44880-2\_31},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/AguirreBDM03.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/unu/2002,
  editor       = {Bernhard K. Aichernig and
                  T. S. E. Maibaum},
  title        = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
                  10th Anniversary Colloquium of UNU/IIST, the International Institute
                  for Software Technology of The United Nations University, Lisbon,
                  Portugal, March 18-20, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2757},
  publisher    = {Springer},
  year         = {2003},
  url          = {https://doi.org/10.1007/b11934},
  doi          = {10.1007/B11934},
  isbn         = {3-540-20527-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/unu/2002.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/Maibaum02,
  author       = {T. S. E. Maibaum},
  title        = {Desert Island Column},
  journal      = {Autom. Softw. Eng.},
  volume       = {9},
  number       = {1},
  pages        = {123--126},
  year         = {2002},
  url          = {https://doi.org/10.1023/A:1013240404890},
  doi          = {10.1023/A:1013240404890},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/Maibaum02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/IEEEicci/Maibaum02,
  author       = {T. S. E. Maibaum},
  title        = {How Do {I} Trust Thee? Let Me Count The Ways},
  booktitle    = {Proceedings of the 1st {IEEE} International Conference on Cognitive
                  Informatics {(ICCI} 2002), 19-20 August 2002, Calgary, Canada},
  pages        = {23},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/COGINF.2002.1039278},
  doi          = {10.1109/COGINF.2002.1039278},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/IEEEicci/Maibaum02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/AguirreM02,
  author       = {Nazareno Aguirre and
                  T. S. E. Maibaum},
  title        = {A Temporal Logic Approach to the Specification of Reconfigurable Component-Based
                  Systems},
  booktitle    = {17th {IEEE} International Conference on Automated Software Engineering
                  {(ASE} 2002), 23-27 September 2002, Edinburgh, Scotland, {UK}},
  pages        = {271--274},
  publisher    = {{IEEE} Computer Society},
  year         = {2002},
  url          = {https://doi.org/10.1109/ASE.2002.1115028},
  doi          = {10.1109/ASE.2002.1115028},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/AguirreM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/unu/Maibaum02,
  author       = {T. S. E. Maibaum},
  editor       = {Bernhard K. Aichernig and
                  T. S. E. Maibaum},
  title        = {In Memoriam Armando Mart{\'{\i}}n Haeberer: 4 January 1947 -
                  11 February 2003},
  booktitle    = {Formal Methods at the Crossroads. From Panacea to Foundational Support,
                  10th Anniversary Colloquium of UNU/IIST, the International Institute
                  for Software Technology of The United Nations University, Lisbon,
                  Portugal, March 18-20, 2002, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2757},
  pages        = {1--25},
  publisher    = {Springer},
  year         = {2002},
  url          = {https://doi.org/10.1007/978-3-540-40007-3\_1},
  doi          = {10.1007/978-3-540-40007-3\_1},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/unu/Maibaum02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:journals/entcs/DuarteM02,
  author       = {Carlos H. C. Duarte and
                  T. S. E. Maibaum},
  editor       = {Ruy J. G. B. de Queiroz and
                  Luiz Carlos Pereira and
                  Edward Hermann Haeusler},
  title        = {A Branching Time Logical System for Open Distributed Systems Development},
  booktitle    = {9th Workhop on Logic, Language, Information and Computation, WoLLIC
                  2002, Rio de Janeiro, Brazil, July 30 - August 2, 2002},
  series       = {Electronic Notes in Theoretical Computer Science},
  volume       = {67},
  pages        = {184--203},
  publisher    = {Elsevier},
  year         = {2002},
  url          = {https://doi.org/10.1016/S1571-0661(04)80548-6},
  doi          = {10.1016/S1571-0661(04)80548-6},
  timestamp    = {Mon, 05 Dec 2022 16:07:41 +0100},
  biburl       = {https://dblp.org/rec/journals/entcs/DuarteM02.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/igpl/BicarreguiDGM01,
  author       = {Juan Bicarregui and
                  Theodosis Dimitrakos and
                  Dov M. Gabbay and
                  T. S. E. Maibaum},
  title        = {Interpolation in Practical Formal Development},
  journal      = {Log. J. {IGPL}},
  volume       = {9},
  number       = {2},
  pages        = {231--244},
  year         = {2001},
  url          = {https://doi.org/10.1093/jigpal/9.2.231},
  doi          = {10.1093/JIGPAL/9.2.231},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/igpl/BicarreguiDGM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/RelMiCS/FriasBM01,
  author       = {Marcelo F. Frias and
                  Gabriel Baum and
                  T. S. E. Maibaum},
  editor       = {Harrie C. M. de Swart},
  title        = {Interpretability of First-Order Dynamic Logic in a Relational Calculus},
  booktitle    = {Relational Methods in Computer Science, 6th International Conference,
                  RelMICS 2001, and 1st Workshop of {COST} Action 274 {TARSKI} Oisterwijk,
                  The Netherlands, October 16-21, 2001, Revised Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {2561},
  pages        = {66--80},
  publisher    = {Springer},
  year         = {2001},
  url          = {https://doi.org/10.1007/3-540-36280-0\_5},
  doi          = {10.1007/3-540-36280-0\_5},
  timestamp    = {Tue, 01 Jun 2021 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/RelMiCS/FriasBM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/dexaw/DaskalopuluM01,
  author       = {Aspassia Daskalopulu and
                  T. S. E. Maibaum},
  editor       = {A Min Tjoa and
                  Roland R. Wagner},
  title        = {Towards Electronic Contract Performance},
  booktitle    = {12th International Workshop on Database and Expert Systems Applications
                  {(DEXA} 2001), 3-7 September 2001, Munich, Germany},
  pages        = {771--777},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/DEXA.2001.953150},
  doi          = {10.1109/DEXA.2001.953150},
  timestamp    = {Sat, 30 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/dexaw/DaskalopuluM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/HaebererM01,
  author       = {Armando Martin Haeberer and
                  T. S. E. Maibaum},
  editor       = {Hausi A. M{\"{u}}ller and
                  Mary Jean Harrold and
                  Wilhelm Sch{\"{a}}fer},
  title        = {Scientific Rigour, an Answer to a Pragmatic Question: {A} Linguistic
                  Framework for Software Engineering},
  booktitle    = {Proceedings of the 23rd International Conference on Software Engineering,
                  {ICSE} 2001, 12-19 May 2001, Toronto, Ontario, Canada},
  pages        = {463--472},
  publisher    = {{IEEE} Computer Society},
  year         = {2001},
  url          = {https://doi.org/10.1109/ICSE.2001.919119},
  doi          = {10.1109/ICSE.2001.919119},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/HaebererM01.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/AbramskyGM00,
  author       = {Samson Abramsky and
                  Dov M. Gabbay and
                  T. S. E. Maibaum},
  title        = {Handbook of logic in computer science. Volume 5. Logic and Algebraic
                  Methods},
  publisher    = {Clarendon Press},
  year         = {2000},
  url          = {https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537816},
  isbn         = {0198537816},
  timestamp    = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/lib/AbramskyGM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ase/MaibaumR00,
  author       = {T. S. E. Maibaum and
                  Bernhard Rumpe},
  title        = {Automated Software Engineering: Special Issue on Precise Semantics
                  for Software Modeling Techniques {(PSMT} - an ICSE'98 Workshop)},
  journal      = {Autom. Softw. Eng.},
  volume       = {7},
  number       = {1},
  pages        = {7--8},
  year         = {2000},
  url          = {https://doi.org/10.1023/A:1008714925733},
  doi          = {10.1023/A:1008714925733},
  timestamp    = {Thu, 18 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ase/MaibaumR00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DuarteM00,
  author       = {Carlos H. C. Duarte and
                  T. S. E. Maibaum},
  title        = {A rely-guarantee discipline for open distributed systems design},
  journal      = {Inf. Process. Lett.},
  volume       = {74},
  number       = {1-2},
  pages        = {55--63},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0020-0190(00)00038-7},
  doi          = {10.1016/S0020-0190(00)00038-7},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ipl/DuarteM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/DimitrakosM00,
  author       = {Theodosis Dimitrakos and
                  T. S. E. Maibaum},
  title        = {On a generalized modularization theorem},
  journal      = {Inf. Process. Lett.},
  volume       = {74},
  number       = {1-2},
  pages        = {65--71},
  year         = {2000},
  url          = {https://doi.org/10.1016/S0020-0190(00)00037-5},
  doi          = {10.1016/S0020-0190(00)00037-5},
  timestamp    = {Sun, 02 Oct 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/DimitrakosM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/Maibaum00,
  author       = {T. S. E. Maibaum},
  editor       = {Anthony Finkelstein},
  title        = {Mathematical foundations of software engineering: a roadmap},
  booktitle    = {22nd International Conference on on Software Engineering, Future of
                  Software Engineering Track, {ICSE} 2000, Limerick Ireland, June 4-11,
                  2000},
  pages        = {161--172},
  publisher    = {{ACM}},
  year         = {2000},
  url          = {https://doi.org/10.1145/336512.336548},
  doi          = {10.1145/336512.336548},
  timestamp    = {Tue, 06 Nov 2018 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/Maibaum00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/room/Maibaum00,
  author       = {T. S. E. Maibaum},
  title        = {An Overview of The Mensurae Language: Specifying Business Processes},
  booktitle    = {Rigorous Object-Oriented Methods, {ROOM} 2000, York, UK, 17 January
                  2000},
  series       = {Workshops in Computing},
  publisher    = {{BCS}},
  year         = {2000},
  url          = {http://ewic.bcs.org/content/ConWebDoc/4213},
  timestamp    = {Wed, 11 Jun 2014 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/room/Maibaum00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/zum/DimitrakosBMM00,
  author       = {Theodosis Dimitrakos and
                  Juan Bicarregui and
                  Brian Matthews and
                  T. S. E. Maibaum},
  editor       = {Jonathan P. Bowen and
                  Steve Dunne and
                  Andy Galloway and
                  Steve King},
  title        = {Compositional Structuring in the B-Method: {A} Logical Viewpoint of
                  the Static Context},
  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},
  series       = {Lecture Notes in Computer Science},
  volume       = {1878},
  pages        = {107--126},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-44525-0\_8},
  doi          = {10.1007/3-540-44525-0\_8},
  timestamp    = {Thu, 14 Oct 2021 10:43:56 +0200},
  biburl       = {https://dblp.org/rec/conf/zum/DimitrakosBMM00.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/fase/2000,
  editor       = {T. S. E. Maibaum},
  title        = {Fundamental Approaches to Software Engineering, Third Internationsl
                  Conference, {FASE} 2000, Held as Part of the European Joint Conferences
                  on the Theory and Practice of Software, {ETAPS} 2000, Berlin, Germany,
                  March 25 - April 2, 2000, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1783},
  publisher    = {Springer},
  year         = {2000},
  url          = {https://doi.org/10.1007/3-540-46428-X},
  doi          = {10.1007/3-540-46428-X},
  isbn         = {3-540-67261-3},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/fase/2000.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wadt/FiadeiroMMMP99,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum and
                  Narciso Mart{\'{\i}}{-}Oliet and
                  Jos{\'{e}} Meseguer and
                  Isabel Pita},
  editor       = {Didier Bert and
                  Christine Choppy and
                  Peter D. Mosses},
  title        = {Towards a Verification Logic for Rewriting Logic},
  booktitle    = {Recent Trends in Algebraic Development Techniques, 14th International
                  Workshop, {WADT} '99, Ch{\^{a}}teau de Bonas, France, September 15-18,
                  1999, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {1827},
  pages        = {438--458},
  publisher    = {Springer},
  year         = {1999},
  url          = {https://doi.org/10.1007/978-3-540-44616-3\_25},
  doi          = {10.1007/978-3-540-44616-3\_25},
  timestamp    = {Wed, 20 Sep 2023 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/wadt/FiadeiroMMMP99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wicsa/MugisaM99,
  author       = {Ezra Kaahwa Mugisa and
                  T. S. E. Maibaum},
  editor       = {Patrick Donohoe},
  title        = {A Framework for Describing Software Architectures for Reuse},
  booktitle    = {Software Architecture, {TC2} First Working {IFIP} Conference on Software
                  Architecture (WICSA1), 22-24 February 1999, San Antonio, Texas, {USA}},
  series       = {{IFIP} Conference Proceedings},
  volume       = {140},
  pages        = {245--272},
  publisher    = {Kluwer},
  year         = {1999},
  timestamp    = {Wed, 16 Oct 2002 13:28:43 +0200},
  biburl       = {https://dblp.org/rec/conf/wicsa/MugisaM99.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/MaibaumKL98,
  author       = {T. S. E. Maibaum and
                  Pauline Kan and
                  Kevin Lano},
  editor       = {Armando Martin Haeberer},
  title        = {Systematising Reactive System Design},
  booktitle    = {Algebraic Methodology and Software Technology, 7th International Conference,
                  {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1548},
  pages        = {17--22},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49253-4\_3},
  doi          = {10.1007/3-540-49253-4\_3},
  timestamp    = {Tue, 14 May 2019 10:00:38 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/MaibaumKL98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/amast/BaumFM98,
  author       = {Gabriel Baum and
                  Marcelo F. Frias and
                  T. S. E. Maibaum},
  editor       = {Armando Martin Haeberer},
  title        = {A Logic for Real-Time Systems Specification, Its Algebraic Semantics,
                  and Equational Calculus},
  booktitle    = {Algebraic Methodology and Software Technology, 7th International Conference,
                  {AMAST} '98, Amazonia, Brasil, January 4-8, 1999, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1548},
  pages        = {91--105},
  publisher    = {Springer},
  year         = {1998},
  url          = {https://doi.org/10.1007/3-540-49253-4\_9},
  doi          = {10.1007/3-540-49253-4\_9},
  timestamp    = {Tue, 23 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/amast/BaumFM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/HaebererM98,
  author       = {Armando Martin Haeberer and
                  T. S. E. Maibaum},
  title        = {The Very Idea of Software Development Environments: {A} Conceptual
                  Architecture for the {ARTS} Environment Paradigm},
  booktitle    = {The Thirteenth {IEEE} Conference on Automated Software Engineering,
                  {ASE} 1998, Honolulu, Hawaii, USA, October 13-16, 1998},
  pages        = {260--271},
  publisher    = {{IEEE} Computer Society},
  year         = {1998},
  url          = {https://doi.org/10.1109/ASE.1998.732667},
  doi          = {10.1109/ASE.1998.732667},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/HaebererM98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/scp/FiadeiroM97,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  title        = {Categorical Semantics of Parallel Program Design},
  journal      = {Sci. Comput. Program.},
  volume       = {28},
  number       = {2-3},
  pages        = {111--138},
  year         = {1997},
  url          = {https://doi.org/10.1016/S0167-6423(96)00025-1},
  doi          = {10.1016/S0167-6423(96)00025-1},
  timestamp    = {Wed, 17 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/scp/FiadeiroM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/BicarreguiLM97,
  author       = {Juan Bicarregui and
                  Kevin Lano and
                  T. S. E. Maibaum},
  editor       = {Richard S. Bird and
                  Lambert G. L. T. Meertens},
  title        = {Towards a compositional interpretation of object diagrams},
  booktitle    = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
                  Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
                  Alsace, France},
  series       = {{IFIP} Conference Proceedings},
  volume       = {95},
  pages        = {187--211},
  publisher    = {Chapman {\&} Hall},
  year         = {1997},
  timestamp    = {Thu, 03 Jan 2002 11:52:45 +0100},
  biburl       = {https://dblp.org/rec/conf/alc/BicarreguiLM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/alc/FiadeiroLM97,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Ant{\'{o}}nia Lopes and
                  T. S. E. Maibaum},
  editor       = {Richard S. Bird and
                  Lambert G. L. T. Meertens},
  title        = {Synthesising interconnections},
  booktitle    = {Algorithmic Languages and Calculi, {IFIP} {TC2} {WG2.1} International
                  Workshop on Algorithmic Languages and Calculi, 17-22 February 1997,
                  Alsace, France},
  series       = {{IFIP} Conference Proceedings},
  volume       = {95},
  pages        = {240--264},
  publisher    = {Chapman {\&} Hall},
  year         = {1997},
  timestamp    = {Thu, 03 Jan 2002 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/alc/FiadeiroLM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoop/BicarreguiLM97,
  author       = {Juan Bicarregui and
                  Kevin Lano and
                  T. S. E. Maibaum},
  editor       = {Mehmet Aksit and
                  Satoshi Matsuoka},
  title        = {Objects, Associations and Subsystems: {A} Hierarchical Approach to
                  Encapsulation},
  booktitle    = {ECOOP'97 - Object-Oriented Programming, 11th European Conference,
                  Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1241},
  pages        = {324--343},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0053385},
  doi          = {10.1007/BFB0053385},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoop/BicarreguiLM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ecoopw/BicarreguiLM97,
  author       = {Juan Bicarregui and
                  Kevin Lano and
                  T. S. E. Maibaum},
  editor       = {Jan Bosch and
                  Stuart Mitchell},
  title        = {Formalizing Object-Oriented Models in the Object Calculus},
  booktitle    = {Object-Oriented Technology, ECOOP'97 Workshop Reader, ECOOP'97 Workshops,
                  Jyv{\"{a}}skyl{\"{a}}, Finland, June 9-13, 1997},
  series       = {Lecture Notes in Computer Science},
  volume       = {1357},
  pages        = {155--160},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-69687-3\_33},
  doi          = {10.1007/3-540-69687-3\_33},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/ecoopw/BicarreguiLM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/Maibaum98,
  author       = {T. S. E. Maibaum},
  editor       = {Mehdi Jazayeri and
                  Helmut Schauer},
  title        = {What We Teach Software Engineers in the University: Do We Take \emph{Engineering}
                  Seriously?},
  booktitle    = {Software Engineering - {ESEC/FSE} '97, 6th European Software Engineering
                  Conference Held Jointly with the 5th {ACM} {SIGSOFT} Symposium on
                  Foundations of Software Engineering, Zurich, Switzerland, September
                  22-25, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1301},
  pages        = {40--50},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/3-540-63531-9\_4},
  doi          = {10.1007/3-540-63531-9\_4},
  timestamp    = {Wed, 04 May 2022 13:01:10 +0200},
  biburl       = {https://dblp.org/rec/conf/esec/Maibaum98.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/kbse/DimitrakosM97,
  author       = {Theodosis Dimitrakos and
                  T. S. E. Maibaum},
  title        = {Notes on Refinement, Interpolation and Uniformity},
  booktitle    = {1997 International Conference on Automated Software Engineering, {ASE}
                  1997, Lake Tahoe, CA, USA, November 2-5, 1997},
  pages        = {108--116},
  publisher    = {{IEEE} Computer Society},
  year         = {1997},
  url          = {https://doi.org/10.1109/ASE.1997.632830},
  doi          = {10.1109/ASE.1997.632830},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/kbse/DimitrakosM97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/Maibaum97,
  author       = {T. S. E. Maibaum},
  editor       = {Michel Bidoit and
                  Max Dauchet},
  title        = {Conservative Extensions, Interpretations Between Theories and All
                  That!},
  booktitle    = {TAPSOFT'97: Theory and Practice of Software Development, 7th International
                  Joint Conference CAAP/FASE, Lille, France, April 14-18, 1997, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {1214},
  pages        = {40--66},
  publisher    = {Springer},
  year         = {1997},
  url          = {https://doi.org/10.1007/BFb0030588},
  doi          = {10.1007/BFB0030588},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/Maibaum97.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/FiadeiroM96,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Tom Maibaum},
  title        = {A Mathematical Toolbox for the Software Architec},
  booktitle    = {Proceedings of the 8th International Workshop on Software Specification
                  and Design, {IWSSD} 1996, USA, March 22-23, 1996},
  pages        = {46--55},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {https://dl.acm.org/doi/10.5555/857204.858267},
  doi          = {10.5555/857204.858267},
  timestamp    = {Wed, 18 May 2022 15:05:33 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/FiadeiroM96.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/icse/1996,
  editor       = {H. Dieter Rombach and
                  T. S. E. Maibaum and
                  Marvin V. Zelkowitz},
  title        = {18th International Conference on Software Engineering, Berlin, Germany,
                  March 25-29, 1996, Proceedings},
  publisher    = {{IEEE} Computer Society},
  year         = {1996},
  url          = {http://dl.acm.org/citation.cfm?id=227726},
  isbn         = {0-8186-7246-3},
  timestamp    = {Mon, 17 Sep 2012 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/1996.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Abramsky95,
  author       = {Samson Abramsky and
                  Dov M. Gabbay and
                  T. S. E. Maibaum},
  title        = {Handbook of logic in computer science. Volume 4. Semantic modelling},
  publisher    = {Clarendon Press},
  year         = {1995},
  url          = {https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537809},
  isbn         = {0198537808},
  timestamp    = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/lib/Abramsky95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ipl/VelosoM95,
  author       = {Paulo A. S. Veloso and
                  T. S. E. Maibaum},
  title        = {On the Modularization Theorem for Logical Specifications},
  journal      = {Inf. Process. Lett.},
  volume       = {53},
  number       = {5},
  pages        = {287--293},
  year         = {1995},
  url          = {https://doi.org/10.1016/0020-0190(94)00203-B},
  doi          = {10.1016/0020-0190(94)00203-B},
  timestamp    = {Fri, 26 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ipl/VelosoM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sigsoft/FiadeiroM95,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  editor       = {Gail E. Kaiser},
  title        = {Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality},
  booktitle    = {Proceedings of the Third {ACM} {SIGSOFT} Symposium on Foundations
                  of Software Engineering, {SIGSOFT} 1995, Washington, DC, USA, October
                  10-13, 1995},
  pages        = {72--80},
  publisher    = {{ACM}},
  year         = {1995},
  url          = {https://doi.org/10.1145/222124.222141},
  doi          = {10.1145/222124.222141},
  timestamp    = {Tue, 27 Jul 2021 17:16:40 +0200},
  biburl       = {https://dblp.org/rec/conf/sigsoft/FiadeiroM95.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Abramsky94,
  author       = {Samson Abramsky and
                  Dov M. Gabbay and
                  T. S. E. Maibaum},
  title        = {Handbook of logic in computer science. Volume 3. Semantic Structures},
  publisher    = {Clarendon Press},
  year         = {1994},
  url          = {https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537625},
  isbn         = {019853762X},
  timestamp    = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/lib/Abramsky94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ictl/FiadeiroM94,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  editor       = {Dov M. Gabbay and
                  Hans J{\"{u}}rgen Ohlbach},
  title        = {Sometimes "Tomorrow" is "Sometime" - Action Refinement
                  in a Temporal Logic of Objects},
  booktitle    = {Temporal Logic, First International Conference, {ICTL} '94, Bonn,
                  Germany, July 11-14, 1994, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {827},
  pages        = {48--66},
  publisher    = {Springer},
  year         = {1994},
  url          = {https://doi.org/10.1007/BFb0013980},
  doi          = {10.1007/BFB0013980},
  timestamp    = {Tue, 14 May 2019 10:00:53 +0200},
  biburl       = {https://dblp.org/rec/conf/ictl/FiadeiroM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/FiadeiroM94,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  editor       = {Chris Hankin and
                  Ian Mackie and
                  Rajagopal Nagarajan},
  title        = {Verifying for Reuse: Foundations of Object-Oriented System Verification},
  booktitle    = {Proceedings for the Second Imperial College Department of Computing
                  Workshop on Theory and Formal Methods, M{\o}ller Centre, Cambridge,
                  UK, 11-14 September 1994},
  pages        = {235--257},
  publisher    = {Imperial College Press},
  year         = {1994},
  timestamp    = {Wed, 20 Jun 2018 17:55:12 +0200},
  biburl       = {https://dblp.org/rec/conf/imperial/FiadeiroM94.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/imperial/FiadeiroM93,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  editor       = {Geoffrey Livingston Burn and
                  Simon J. Gay and
                  Mark Ryan},
  title        = {Generalising Interpretations between Theories in the context of (pi-)
                  Institutions},
  booktitle    = {Theory and Formal Methods 1993, Proceedings of the First Imperial
                  College Department of Computing Workshop on Theory and Formal Methods,
                  Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29-31
                  March 1993},
  series       = {Workshops in Computing},
  pages        = {126--147},
  publisher    = {Springer},
  year         = {1993},
  timestamp    = {Mon, 31 Oct 2022 11:04:42 +0100},
  biburl       = {https://dblp.org/rec/conf/imperial/FiadeiroM93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/Maibaum93,
  author       = {T. S. E. Maibaum},
  editor       = {Jack C. Wileden and
                  Martin S. Feather and
                  Axel van Lamsweerde},
  title        = {Taking More of the Soft out of Software Engineering},
  booktitle    = {Proceedings of the 7th International Workshop on Software Specification
                  and Design, Redondo Beach, CA, USA, December 6-7, 1993},
  pages        = {2--7},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://dl.acm.org/doi/10.5555/951807.951809},
  doi          = {10.5555/951807.951809},
  timestamp    = {Fri, 13 May 2022 15:10:38 +0200},
  biburl       = {https://dblp.org/rec/conf/iwssd/Maibaum93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/re/KentMQ93,
  author       = {Stuart Kent and
                  T. S. E. Maibaum and
                  William J. Quirk},
  title        = {Formally specifying temporal constraints and error recovery},
  booktitle    = {Proceedings of {IEEE} International Symposium on Requirements Engineering,
                  {RE} 1993, San Diego, California, USA, January 4-6, 1993},
  pages        = {208--215},
  publisher    = {{IEEE} Computer Society},
  year         = {1993},
  url          = {https://doi.org/10.1109/ISRE.1993.324856},
  doi          = {10.1109/ISRE.1993.324856},
  timestamp    = {Fri, 24 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/re/KentMQ93.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Gabbay92a,
  author       = {Samson Abramsky and
                  Dov M. Gabbay and
                  T. S. E. Maibaum},
  title        = {Handbook of logic in computer science. Volume 2. Background: Computational
                  structures},
  publisher    = {Clarendon Press},
  year         = {1992},
  url          = {https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537618},
  isbn         = {0198537611},
  timestamp    = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/lib/Gabbay92a.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@book{DBLP:books/lib/Gabbay92,
  author       = {Samson Abramsky and
                  Dov M. Gabbay and
                  T. S. E. Maibaum},
  title        = {Handbook of logic in computer science. Volume 1. Background: Mathematical
                  structures},
  publisher    = {Clarendon Press},
  year         = {1992},
  url          = {https://global.oup.com/academic/product/handbook-of-logic-in-computer-science-9780198537359},
  isbn         = {0198537352},
  timestamp    = {Tue, 16 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/books/lib/Gabbay92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/fac/FiadeiroM92,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  title        = {Temporal Theories as Modularisation Units for Concurrent System Specification},
  journal      = {Formal Aspects Comput.},
  volume       = {4},
  number       = {3},
  pages        = {239--272},
  year         = {1992},
  url          = {https://doi.org/10.1007/BF01212304},
  doi          = {10.1007/BF01212304},
  timestamp    = {Mon, 09 May 2022 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/fac/FiadeiroM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/BenevidesM92,
  author       = {Mario R. F. Benevides and
                  T. S. E. Maibaum},
  title        = {A Constructive Presentation for the Modal Connective of Necessity
                  ({\textbackslash}Box)},
  journal      = {J. Log. Comput.},
  volume       = {2},
  number       = {1},
  pages        = {31--50},
  year         = {1992},
  url          = {https://doi.org/10.1093/logcom/2.1.31},
  doi          = {10.1093/LOGCOM/2.1.31},
  timestamp    = {Sat, 19 Oct 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/BenevidesM92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/Maibaum92,
  author       = {T. S. E. Maibaum},
  title        = {Editorial},
  journal      = {J. Log. Comput.},
  volume       = {2},
  number       = {3},
  pages        = {243--245},
  year         = {1992},
  url          = {https://doi.org/10.1093/logcom/2.3.243},
  doi          = {10.1093/LOGCOM/2.3.243},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/Maibaum92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/logcom/FiadeiroM91,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  title        = {Temporal reasoning over deontic specifications},
  journal      = {J. Log. Comput.},
  volume       = {1},
  number       = {3},
  pages        = {357--395},
  year         = {1991},
  url          = {https://doi.org/10.1093/logcom/1.3.357},
  doi          = {10.1093/LOGCOM/1.3.357},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/logcom/FiadeiroM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/QueirozM91,
  author       = {Ruy J. G. B. de Queiroz and
                  T. S. E. Maibaum},
  title        = {Abstract Data Types and Type Theory: Theories as Types},
  journal      = {Math. Log. Q.},
  volume       = {37},
  number       = {9-12},
  pages        = {149--166},
  year         = {1991},
  url          = {https://doi.org/10.1002/malq.19910370904},
  doi          = {10.1002/MALQ.19910370904},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/QueirozM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/compass/FiadeiroCSM91,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Jos{\'{e}} F{\'{e}}lix Costa and
                  Am{\'{\i}}lcar Sernadas and
                  T. S. E. Maibaum},
  editor       = {Michel Bidoit and
                  Christine Choppy},
  title        = {Process Semantics of Temporal Logic Specifications},
  booktitle    = {Recent Trends in Data Type Specification, 8th Workshop on Specification
                  of Abstract Data Types Joint with the 3rd {COMPASS} Workshop, Dourdan,
                  France, August 26-30, 1991, Selected Papers},
  series       = {Lecture Notes in Computer Science},
  volume       = {655},
  pages        = {236--253},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-56379-2\_43},
  doi          = {10.1007/3-540-56379-2\_43},
  timestamp    = {Tue, 14 May 2019 10:00:54 +0200},
  biburl       = {https://dblp.org/rec/conf/compass/FiadeiroCSM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tacs/RyanFM91,
  author       = {Mark Ryan and
                  Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  editor       = {Takayasu Ito and
                  Albert R. Meyer},
  title        = {Sharing Actions and Attributes in Modal Action Logic},
  booktitle    = {Theoretical Aspects of Computer Software, International Conference
                  {TACS} '91, Sendai, Japan, September 24-27, 1991, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {526},
  pages        = {569--593},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-54415-1\_65},
  doi          = {10.1007/3-540-54415-1\_65},
  timestamp    = {Wed, 07 Dec 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/tacs/RyanFM91.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1991-1,
  editor       = {Samson Abramsky and
                  T. S. E. Maibaum},
  title        = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Brighton, UK, April 8-12, 1991,
                  Volume 1: Colloquium on Trees in Algebra and Programming (CAAP'91)},
  series       = {Lecture Notes in Computer Science},
  volume       = {493},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-53982-4},
  doi          = {10.1007/3-540-53982-4},
  isbn         = {3-540-53982-4},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/1991-1.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@proceedings{DBLP:conf/tapsoft/1991-2,
  editor       = {Samson Abramsky and
                  T. S. E. Maibaum},
  title        = {TAPSOFT'91: Proceedings of the International Joint Conference on Theory
                  and Practice of Software Development, Brighton, UK, April 8-12, 1991,
                  Volume 2: Advances in Distributed Computing {(ADC)} and Colloquium
                  on Combining Paradigms for Software Developmemnt {(CCPSD)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {494},
  publisher    = {Springer},
  year         = {1991},
  url          = {https://doi.org/10.1007/3-540-53981-6},
  doi          = {10.1007/3-540-53981-6},
  isbn         = {3-540-53981-6},
  timestamp    = {Tue, 14 May 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/1991-2.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mlq/QueirozM90,
  author       = {Ruy J. G. B. de Queiroz and
                  T. S. E. Maibaum},
  title        = {Proof theory and computer programming},
  journal      = {Math. Log. Q.},
  volume       = {36},
  number       = {5},
  pages        = {389--414},
  year         = {1990},
  url          = {https://doi.org/10.1002/malq.19900360505},
  doi          = {10.1002/MALQ.19900360505},
  timestamp    = {Wed, 17 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/mlq/QueirozM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/FiadeiroSMS90,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  Cristina Sernadas and
                  T. S. E. Maibaum and
                  Gunter Saake},
  editor       = {Robert Meersman and
                  William Kent and
                  Samit Khosla},
  title        = {Proof-Theoretic Semantics of Object-Oriented Specification Constructs},
  booktitle    = {Object-Oriented Databases: Analysis, Design {\&} Construction
                  (DS-4), Proceedings of the {IFIP} {TC2/WG} 2.6 Working Conference
                  on Object-Oriented Databases: Analysis, Design {\&} Construction,
                  Windermere, UK, 2-6 July, 1990},
  pages        = {243--284},
  publisher    = {North-Holland},
  year         = {1990},
  timestamp    = {Fri, 28 Apr 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/ds/FiadeiroSMS90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rex/FiadeiroM90,
  author       = {Jos{\'{e}} Luiz Fiadeiro and
                  T. S. E. Maibaum},
  editor       = {J. W. de Bakker and
                  Willem P. de Roever and
                  Grzegorz Rozenberg},
  title        = {Describing, Structuring and Implementing Objects},
  booktitle    = {Foundations of Object-Oriented Languages, {REX} School/Workshop, Noordwijkerhout,
                  The Netherlands, May 28 - June 1, 1990, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {489},
  pages        = {274--310},
  publisher    = {Springer},
  year         = {1990},
  url          = {https://doi.org/10.1007/BFb0019447},
  doi          = {10.1007/BFB0019447},
  timestamp    = {Tue, 14 May 2019 10:00:52 +0200},
  biburl       = {https://dblp.org/rec/conf/rex/FiadeiroM90.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/esec/NiskierMS89,
  author       = {Celso Niskier and
                  T. S. E. Maibaum and
                  Daniel Schwabe},
  editor       = {Carlo Ghezzi and
                  John A. McDermid},
  title        = {A Pluralistic Knowledge-Based Approach to Software Specification},
  booktitle    = {{ESEC} '89, 2nd European Software Engineering Conference, University
                  of Warwick, Coventry, UK, September 11-15, 1989, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {387},
  pages        = {411--423},
  publisher    = {Springer},
  year         = {1989},
  url          = {https://doi.org/10.1007/3-540-51635-2\_52},
  doi          = {10.1007/3-540-51635-2\_52},
  timestamp    = {Mon, 30 Jan 2023 11:25:04 +0100},
  biburl       = {https://dblp.org/rec/conf/esec/NiskierMS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/iwssd/NiskierMS89,
  author       = {Celso Niskier and
                  Tom Maibaum and
                  Daniel Schwabe},
  editor       = {Sol J. Greenspan},
  title        = {A look through {PRISMA:} towards pluralistic knowledge-based environments
                  for software specification acquisition},
  booktitle    = {Proceedings of the 5th International Workshop on Software Specification
                  and Design, {IWSSD} 1989, Pittsburgh, Pennsylvania, USA, 1989},
  pages        = {128--136},
  publisher    = {{ACM}},
  year         = {1989},
  url          = {https://doi.org/10.1145/75199.75219},
  doi          = {10.1145/75199.75219},
  timestamp    = {Fri, 18 Feb 2022 16:26:12 +0100},
  biburl       = {https://dblp.org/rec/conf/iwssd/NiskierMS89.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Maibaum88,
  author       = {T. S. E. Maibaum},
  editor       = {Hartmut Ehrig},
  title        = {Configuration versus Use: Specification Languages versus Logics},
  booktitle    = {Proceedings of the 6st Workshop on Abstract Data Type, 1988. University
                  of Berlin, Germany},
  year         = {1988},
  timestamp    = {Fri, 19 Jul 2019 16:40:27 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Maibaum88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/concur/LiM88,
  author       = {Da{-}Hai Li and
                  T. S. E. Maibaum},
  editor       = {Friedrich H. Vogt},
  title        = {A Top-down Step-wise Refinement Methodology for Protocol Specification},
  booktitle    = {Concurrency 88: International Conference on Concurrency, Hamburg,
                  FRG, October 18-19, 1988, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {335},
  pages        = {197--221},
  publisher    = {Springer},
  year         = {1988},
  url          = {https://doi.org/10.1007/3-540-50403-6\_41},
  doi          = {10.1007/3-540-50403-6\_41},
  timestamp    = {Fri, 17 Jul 2020 16:12:46 +0200},
  biburl       = {https://dblp.org/rec/conf/concur/LiM88.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jitech/MaibaumS87,
  author       = {Tom Maibaum and
                  Martin R. Sadler},
  title        = {Formal Methods: {A} Commentary},
  journal      = {J. Inf. Technol.},
  volume       = {2},
  number       = {2},
  pages        = {77--80},
  year         = {1987},
  url          = {https://doi.org/10.1057/jit.1987.15},
  doi          = {10.1057/JIT.1987.15},
  timestamp    = {Thu, 20 Aug 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/jitech/MaibaumS87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tls/KhoslaM87,
  author       = {Samit Khosla and
                  T. S. E. Maibaum},
  editor       = {Behnam Banieqbal and
                  Howard Barringer and
                  Amir Pnueli},
  title        = {The Prescription and Description of State Based Systems},
  booktitle    = {Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987,
                  Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {398},
  pages        = {243--294},
  publisher    = {Springer},
  year         = {1987},
  url          = {https://doi.org/10.1007/3-540-51803-7\_30},
  doi          = {10.1007/3-540-51803-7\_30},
  timestamp    = {Fri, 17 Jul 2020 16:12:48 +0200},
  biburl       = {https://dblp.org/rec/conf/tls/KhoslaM87.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Maibaum86,
  author       = {T. S. E. Maibaum},
  editor       = {Klaus Drosten and
                  Hans{-}Dieter Ehrich and
                  Martin Gogolla and
                  Udo W. Lipeck},
  title        = {Modular Construction of Logics for Specification},
  booktitle    = {Proceedings of the 4st Workshop on Abstract Data Type, 1986. University
                  of Braunschweig, Germany},
  year         = {1986},
  timestamp    = {Fri, 19 Jul 2019 16:40:26 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Maibaum86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Maibaum86,
  author       = {T. S. E. Maibaum},
  editor       = {Hans{-}J{\"{u}}rgen Kugler},
  title        = {Role of Abstraction in Program Development (Invited Paper)},
  booktitle    = {Information Processing 86, Proceedings of the {IFIP} 10th World Computer
                  Congress, Dublin, Ireland, September 1-5, 1986},
  pages        = {135--142},
  publisher    = {North-Holland/IFIP},
  year         = {1986},
  timestamp    = {Sun, 28 Jul 2019 12:54:16 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Maibaum86.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/FurtadoM85,
  author       = {Ant{\'{o}}nio L. Furtado and
                  T. S. E. Maibaum},
  title        = {An Informal Approach to Formal (Algebraic) Specifications},
  journal      = {Comput. J.},
  volume       = {28},
  number       = {1},
  pages        = {59--67},
  year         = {1985},
  url          = {https://doi.org/10.1093/comjnl/28.1.59},
  doi          = {10.1093/COMJNL/28.1.59},
  timestamp    = {Tue, 06 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cj/FurtadoM85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cj/Maibaum85,
  author       = {T. S. E. Maibaum},
  title        = {Database Instances, Abstract Data Types and Database Specification},
  journal      = {Comput. J.},
  volume       = {28},
  number       = {2},
  pages        = {154--161},
  year         = {1985},
  url          = {https://doi.org/10.1093/comjnl/28.2.154},
  doi          = {10.1093/COMJNL/28.2.154},
  timestamp    = {Sat, 20 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/cj/Maibaum85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ds/KhoslaMS85,
  author       = {Samit Khosla and
                  T. S. E. Maibaum and
                  M. R. Sadler},
  editor       = {Thomas B. Steel Jr. and
                  Robert Meersman},
  title        = {Database Specification},
  booktitle    = {Proceedings of the {IFIP} {WG} 2.6 Working Conference on Data Semantics
                  {(DS-1).} Hasselt, Belgium, January 7-11, 1985},
  pages        = {141--158},
  publisher    = {North-Holland},
  year         = {1985},
  timestamp    = {Fri, 28 Apr 2017 12:46:32 +0200},
  biburl       = {https://dblp.org/rec/conf/ds/KhoslaMS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/KhoslaMS85,
  author       = {Samit Khosla and
                  T. S. E. Maibaum and
                  M. R. Sadler},
  editor       = {S. N. Maheshwari},
  title        = {Large Database Specification from Small Views},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fifth Conference, New Delhi, India, December 16-18, 1985, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {206},
  pages        = {246--271},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-16042-6\_14},
  doi          = {10.1007/3-540-16042-6\_14},
  timestamp    = {Tue, 14 May 2019 10:00:51 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/KhoslaMS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tapsoft/MaibaumVS85,
  author       = {T. S. E. Maibaum and
                  Paulo A. S. Veloso and
                  M. R. Sadler},
  editor       = {Hartmut Ehrig and
                  Christiane Floyd and
                  Maurice Nivat and
                  James W. Thatcher},
  title        = {A Theory of Abstract Data Types for Program Development: Bridging
                  the Gap?},
  booktitle    = {Mathematical Foundations of Software Development, Proceedings of the
                  International Joint Conference on Theory and Practice of Software
                  Development (TAPSOFT), Berlin, Germany, March 25-29, 1985, Volume
                  2: Colloquium on Software Engineering {(CSE)}},
  series       = {Lecture Notes in Computer Science},
  volume       = {186},
  pages        = {214--230},
  publisher    = {Springer},
  year         = {1985},
  url          = {https://doi.org/10.1007/3-540-15199-0\_14},
  doi          = {10.1007/3-540-15199-0\_14},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/tapsoft/MaibaumVS85.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/MaibaumS84,
  author       = {T. S. E. Maibaum and
                  M. R. Sadler},
  editor       = {Hans{-}J{\"{o}}rg Kreowski},
  title        = {Axiomatizing Specification Theory},
  booktitle    = {Recent Trends in Data Type Specification, 3rd Workshop on Theory and
                  Applications of Abstract Data Types, Bremen, Germany, November 13-16,
                  1984, Selected Papers},
  series       = {Informatik-Fachberichte},
  volume       = {116},
  pages        = {171--177},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/978-3-662-09691-8\_13},
  doi          = {10.1007/978-3-662-09691-8\_13},
  timestamp    = {Mon, 18 Jun 2018 21:21:13 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/MaibaumS84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/fsttcs/MaibaumSV84,
  author       = {T. S. E. Maibaum and
                  M. R. Sadler and
                  Paulo A. S. Veloso},
  editor       = {Mathai Joseph and
                  R. K. Shyamasundar},
  title        = {Logical Specification and Implementation},
  booktitle    = {Foundations of Software Technology and Theoretical Computer Science,
                  Fourth Conference, Bangalore, India, December 13-15, 1984, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {181},
  pages        = {13--30},
  publisher    = {Springer},
  year         = {1984},
  url          = {https://doi.org/10.1007/3-540-13883-8\_62},
  doi          = {10.1007/3-540-13883-8\_62},
  timestamp    = {Tue, 14 May 2019 10:00:50 +0200},
  biburl       = {https://dblp.org/rec/conf/fsttcs/MaibaumSV84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/MaibaumT84,
  author       = {T. S. E. Maibaum and
                  Wladyslaw M. Turski},
  editor       = {Terry A. Straeter and
                  William E. Howden and
                  Jean{-}Claude Rault},
  title        = {On What Exactly Is Going On When Software Is Developed Step-by-Step},
  booktitle    = {Proceedings, 7th International Conference on Software Engineering,
                  Orlando, Florida, USA, March 26-29, 1984},
  pages        = {528--533},
  publisher    = {{IEEE} Computer Society},
  year         = {1984},
  url          = {http://dl.acm.org/citation.cfm?id=802014},
  timestamp    = {Mon, 14 May 2012 18:17:12 +0200},
  biburl       = {https://dblp.org/rec/conf/icse/MaibaumT84.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/CunhaLM83,
  author       = {Paulo R. F. Cunha and
                  Carlos Jos{\'{e}} Pereira de Lucena and
                  T. S. E. Maibaum},
  title        = {Message Oriented Programming - {A} Resource Based Methodology},
  journal      = {Comput. Lang.},
  volume       = {8},
  number       = {3/4},
  pages        = {95--111},
  year         = {1983},
  url          = {https://doi.org/10.1016/0096-0551(83)90015-2},
  doi          = {10.1016/0096-0551(83)90015-2},
  timestamp    = {Mon, 11 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/cl/CunhaLM83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adt/Maibaum83,
  author       = {T. S. E. Maibaum},
  editor       = {Manfred Broy and
                  Martin Wirsing},
  title        = {Structuring of Specifications within a Logical Theory of Data Types},
  booktitle    = {Proceedings 2nd Workshop on Abstract Data Type, 1983. University of
                  Passau, Germany},
  publisher    = {University of Passau},
  year         = {1983},
  timestamp    = {Fri, 19 Jul 2019 16:40:27 +0200},
  biburl       = {https://dblp.org/rec/conf/adt/Maibaum83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/vldb/GolshaniMS83,
  author       = {Forouzan Golshani and
                  T. S. E. Maibaum and
                  M. R. Sadler},
  editor       = {Mario Schkolnick and
                  Costantino Thanos},
  title        = {A Modal System of Algebras for Database Specification and Query/Update
                  Language Support},
  booktitle    = {9th International Conference on Very Large Data Bases, October 31
                  - November 2, 1983, Florence, Italy, Proceedings},
  pages        = {331--339},
  publisher    = {Morgan Kaufmann},
  year         = {1983},
  url          = {http://www.vldb.org/conf/1983/P331.PDF},
  timestamp    = {Wed, 29 Mar 2017 16:45:23 +0200},
  biburl       = {https://dblp.org/rec/conf/vldb/GolshaniMS83.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/siamcomp/LevyM82,
  author       = {Michael R. Levy and
                  T. S. E. Maibaum},
  title        = {Continuous Data Types},
  journal      = {{SIAM} J. Comput.},
  volume       = {11},
  number       = {2},
  pages        = {201--216},
  year         = {1982},
  url          = {https://doi.org/10.1137/0211016},
  doi          = {10.1137/0211016},
  timestamp    = {Sat, 27 May 2017 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/siamcomp/LevyM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/KochM82,
  author       = {A. Koch and
                  T. S. E. Maibaum},
  title        = {A message oriented language for system applications},
  booktitle    = {Proceedings of the 3rd International Conference on Distributed Computing
                  Systems, Miami/Ft. Lauderdale, Florida, USA, October 18-22, 1982},
  pages        = {824--832},
  publisher    = {{IEEE} Computer Society},
  year         = {1982},
  timestamp    = {Wed, 21 Sep 2005 15:11:36 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/KochM82.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/SantosMF81,
  author       = {Clesio Saraiva dos Santos and
                  T. S. E. Maibaum and
                  Ant{\'{o}}nio L. Furtado},
  title        = {Conceptual modeling of data base operations},
  journal      = {Int. J. Parallel Program.},
  volume       = {10},
  number       = {5},
  pages        = {299--314},
  year         = {1981},
  url          = {https://doi.org/10.1007/BF00993149},
  doi          = {10.1007/BF00993149},
  timestamp    = {Tue, 06 Feb 2024 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/ijpp/SantosMF81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icdcs/CunhaM81,
  author       = {Paulo Roberto Freire Cunha and
                  T. S. E. Maibaum},
  title        = {A Synchronization Calculus for Message Oriented Programming},
  booktitle    = {Proceedings of the 2nd International Conference on Distributed Computing
                  Systems, Paris, France, 1981},
  pages        = {433--445},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  timestamp    = {Thu, 22 Sep 2005 10:45:08 +0200},
  biburl       = {https://dblp.org/rec/conf/icdcs/CunhaM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icse/CunhaM81,
  author       = {Paulo R. F. Cunha and
                  T. S. E. Maibaum},
  editor       = {Seymour Jeffrey and
                  Leon G. Stucki},
  title        = {Resource = Abstract Data Type + Synchronization - {A} Methodology
                  for Message Oriented Programming},
  booktitle    = {Proceedings of the 5th International Conference on Software Engineering,
                  San Diego, California, USA, March 9-12, 1981},
  pages        = {263--272},
  publisher    = {{IEEE} Computer Society},
  year         = {1981},
  url          = {http://dl.acm.org/citation.cfm?id=802539},
  timestamp    = {Mon, 11 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icse/CunhaM81.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/MaibaumL80,
  author       = {T. S. E. Maibaum and
                  Carlos Jos{\'{e}} Pereira de Lucena},
  title        = {Higher order data types},
  journal      = {Int. J. Parallel Program.},
  volume       = {9},
  number       = {1},
  pages        = {31--53},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00995808},
  doi          = {10.1007/BF00995808},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/MaibaumL80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/ijpp/CunhaLM80,
  author       = {Paulo Roberto Freire Cunha and
                  Carlos Jos{\'{e}} Pereira de Lucena and
                  T. S. E. Maibaum},
  title        = {On the design and specification of message oriented programs},
  journal      = {Int. J. Parallel Program.},
  volume       = {9},
  number       = {3},
  pages        = {161--191},
  year         = {1980},
  url          = {https://doi.org/10.1007/BF00977783},
  doi          = {10.1007/BF00977783},
  timestamp    = {Wed, 01 Apr 2020 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/journals/ijpp/CunhaLM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programm/CunhaM80,
  author       = {Paulo R. F. Cunha and
                  T. S. E. Maibaum},
  editor       = {Bernard J. Robinet},
  title        = {A Communication Data Type for Message Oriented Programming},
  booktitle    = {International Symposium on Programming, Proceedings of the Fourth
                  'Colloque International sur la Programmation', Paris, France, 22-24
                  April 1980},
  series       = {Lecture Notes in Computer Science},
  volume       = {83},
  pages        = {79--91},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/3-540-09981-6\_6},
  doi          = {10.1007/3-540-09981-6\_6},
  timestamp    = {Thu, 24 Feb 2022 13:41:39 +0100},
  biburl       = {https://dblp.org/rec/conf/programm/CunhaM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/programmier/CunhaLM80,
  author       = {Paulo R. F. Cunha and
                  Carlos Jos{\'{e}} Pereira de Lucena and
                  T. S. E. Maibaum},
  editor       = {Hans{-}J{\"{u}}rgen Hoffmann},
  title        = {A Methodology for Message Oriented Programming},
  booktitle    = {Programmiersprachen und Programmentwicklung, 6. Fachtagung des Fachausschusses
                  Programmiersprachen der GI, Darmstadt, 11.-12. M{\"{a}}rz 1980,
                  Proceedings},
  series       = {Informatik-Fachberichte},
  volume       = {25},
  pages        = {83--93},
  publisher    = {Springer},
  year         = {1980},
  url          = {https://doi.org/10.1007/978-3-642-67600-0\_7},
  doi          = {10.1007/978-3-642-67600-0\_7},
  timestamp    = {Mon, 11 Mar 2019 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/programmier/CunhaLM80.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/adbt/EmdenM79,
  author       = {Maarten H. van Emden and
                  T. S. E. Maibaum},
  editor       = {Herv{\'{e}} Gallaire and
                  Jean{-}Marie Nicolas and
                  Jack Minker},
  title        = {Equations Compared with Clauses for Specification of Abstract Data
                  Types},
  booktitle    = {Advances in Data Base Theory, Vol. 1, Based on the Proceedings of
                  the Workshop on Formal Bases for Data Bases, December 12-14, 1979,
                  Centre d'Etudes et de Recherches de l'Ecole Nationale Sup{\'{e}}rieure
                  de l'A{\'{e}}ronautique et de l'Espace de Toulouse (CERT), France},
  series       = {Advances in Data Base Theory},
  pages        = {159--193},
  publisher    = {Plemum Press},
  address      = {New York},
  year         = {1979},
  timestamp    = {Thu, 29 Mar 2018 16:54:19 +0200},
  biburl       = {https://dblp.org/rec/conf/adbt/EmdenM79.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Maibaum78,
  author       = {T. S. E. Maibaum},
  title        = {Pumping Lemmas for Term Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {17},
  number       = {3},
  pages        = {319--330},
  year         = {1978},
  url          = {https://doi.org/10.1016/0022-0000(78)90012-0},
  doi          = {10.1016/0022-0000(78)90012-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Maibaum78.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Maibaum77,
  author       = {T. S. E. Maibaum},
  title        = {Erratum: {A} Generalized Approach to Formal Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {14},
  number       = {3},
  pages        = {369},
  year         = {1977},
  timestamp    = {Sun, 25 Nov 2012 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Maibaum77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/ifip/Maibaum77,
  author       = {T. S. E. Maibaum},
  editor       = {Bruce Gilchrist},
  title        = {Mathematical Semantics and a Model for Data Bases},
  booktitle    = {Information Processing, Proceedings of the 7th {IFIP} Congress 1977,
                  Toronto, Canada, August 8-12, 1977},
  pages        = {133--138},
  publisher    = {North-Holland},
  year         = {1977},
  timestamp    = {Fri, 26 Jul 2019 22:58:45 +0200},
  biburl       = {https://dblp.org/rec/conf/ifip/Maibaum77.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jcss/Maibaum74,
  author       = {T. S. E. Maibaum},
  title        = {A Generalized Approach to Formal Languages},
  journal      = {J. Comput. Syst. Sci.},
  volume       = {8},
  number       = {3},
  pages        = {409--439},
  year         = {1974},
  url          = {https://doi.org/10.1016/S0022-0000(74)80031-0},
  doi          = {10.1016/S0022-0000(74)80031-0},
  timestamp    = {Tue, 16 Feb 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/journals/jcss/Maibaum74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icalp/CulikM74,
  author       = {Karel Cul{\'{\i}}k II and
                  T. S. E. Maibaum},
  editor       = {Jacques Loeckx},
  title        = {Parallel Rewriting Systems on terms},
  booktitle    = {Automata, Languages and Programming, 2nd Colloquium, University of
                  Saarbr{\"{u}}cken, Germany, July 29 - August 2, 1974, Proceedings},
  series       = {Lecture Notes in Computer Science},
  volume       = {14},
  pages        = {495--510},
  publisher    = {Springer},
  year         = {1974},
  url          = {https://doi.org/10.1007/3-540-06841-4\_85},
  doi          = {10.1007/3-540-06841-4\_85},
  timestamp    = {Wed, 24 Mar 2021 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/icalp/CulikM74.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/focs/Maibaum72,
  author       = {T. S. E. Maibaum},
  title        = {The Characterization of the Derivation Trees of Context Free Sets
                  of Terms as Regular Sets},
  booktitle    = {13th Annual Symposium on Switching and Automata Theory, College Park,
                  Maryland, USA, October 25-27, 1972},
  pages        = {224--230},
  publisher    = {{IEEE} Computer Society},
  year         = {1972},
  url          = {https://doi.org/10.1109/SWAT.1972.26},
  doi          = {10.1109/SWAT.1972.26},
  timestamp    = {Thu, 23 Mar 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/focs/Maibaum72.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics