Stop the war!
Остановите войну!
for scientists:
default search action
BibTeX records: T. S. E. Maibaum
@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} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.