default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDT. S. E. Maibaum
Tom Maibaum – Thomas Stephen Edward Maibaum
Person information
- affiliation: McMaster University, Hamilton, Canada
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2021
[j40]Neeraj Kumar Singh
, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
A formal approach to rigorous development of critical systems. J. Softw. Evol. Process. 33(4) (2021)- [i3]Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum:
A proof theoretic basis for relational semantics. CoRR abs/2107.08253 (2021) - 2020
- [b6]Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach:
On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain. Springer Briefs in Computer Science, Springer 2020, ISBN 978-3-030-44647-5, pp. 3-78 - [i2]Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum:
On the construction of explosive relation algebras. CoRR abs/2009.02720 (2020)
2010 – 2019
- 2019
- [j39]Carlos López Pombo, Pablo F. Castro, Nazareno Aguirre, Thomas Stephen Edward Maibaum:
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. Fundam. Informaticae 166(4): 297-347 (2019) - 2018
- [j38]Aliakbar Safilian, Tom Maibaum, Zinovy Diskin:
A theoretical framework for cardinality-based feature models: The semantics and computational aspects. J. Log. Algebraic Methods Program. 97: 30-54 (2018) - [c142]Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford:
Assurance via model transformations and their hierarchical refinement. MoDELS 2018: 426-436 - 2017
- [j37]Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre:
Simulation relations for fault-tolerance. Formal Aspects Comput. 29(6): 1013-1050 (2017) - [c141]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Use of Tabular Expressions for Refinement Automation. MEDI 2017: 167-182 - [c140]Md Nour Hossain, Wolfram Kahl, Tom Maibaum:
A Graph Transformation Approach to Introducing Aspects into Software Architectures. MoDELS (Satellite Events) 2017: 54-63 - [c139]Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum:
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP 2017: 69-85 - [c138]Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum:
Toward Product Lines of Mathematical Models for Software Model Management. STAF Workshops 2017: 200-216 - 2016
- [j36]Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David:
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. Sci. Ann. Comput. Sci. 26(1): 69-122 (2016) - [c137]Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova:
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. ICFEM 2016: 1-17 - [c136]Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum:
Model management for regulatory compliance: a position paper. MiSE@ICSE 2016: 74-80 - [c135]Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum:
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS 2016: 50-59 - [c134]Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik:
A model management approach for assurance case reuse due to system evolution. MoDELS 2016: 196-206 - [c133]Aliakbar Safilian, Tom Maibaum:
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. TASE 2016: 136-143 - [i1]Aliakbar Safilian, Tom Maibaum:
Multiset Theories of Cardinality-based Feature Diagrams. CoRR abs/1601.06242 (2016) - 2015
- [j35]Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum:
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32(5): 45-55 (2015) - [j34]Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum:
Categorical foundations for structured specifications in Z. Formal Aspects Comput. 27(5-6): 831-865 (2015) - [j33]Lucian M. Patcas, Mark Lawford, Tom Maibaum:
Implementability of requirements in the four-variable model. Sci. Comput. Program. 111: 339-362 (2015) - [c132]Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki:
A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical. ECMFA 2015: 154-170 - [c131]Aliakbar Safilian, Tom Maibaum, Zinovy Diskin:
The Semantics of Cardinality-Based Feature Models via Formal Languages. FM 2015: 453-469 - [c130]Stefan Gruner, Apurva Kumar, Tom Maibaum:
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. FTSCS 2015: 87-102 - [c129]Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) 2015: 374-386 - [c128]Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. HCI (17) 2015: 387-398 - [c127]Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David:
Modeling Product Lines with Kripke Structures and Modal Logic. ICTAC 2015: 184-202 - [c126]Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum:
Analysis of Source-to-Target Model Transformations in QueST. AMT@MoDELS 2015: 46-55 - [c125]Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops 2015: 397-408 - [c124]Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng:
Stateflow to Tabular Expressions. SoICT 2015: 312-319 - [c123]Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh:
Elementary Model Management Patterns. PAME@STAF 2015: 11-15 - [c122]Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum:
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. TABLEAUX 2015: 6-21 - [c121]Ramiro Demasi, Pablo F. Castro, Nicolás Ricci, Thomas Stephen Edward Maibaum, Nazareno Aguirre:
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. TACAS 2015: 188-193 - 2014
- [c120]Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum:
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. FM 2014: 611-626 - [c119]Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Formalizing the Glucose Homeostasis Mechanism. HCI (20) 2014: 460-471 - [c118]Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum:
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. ICTAC 2014: 314-332 - [c117]Wen Chen, Alan Wassyng, Tom Maibaum:
Impact Analysis via Reachability and Alias Analysis. PoEM 2014: 261-270 - [c116]Lucian M. Patcas, Mark Lawford, Tom Maibaum:
A Separation Principle for Embedded System Interfacing. IFM 2014: 373-388 - [c115]Valentin Cassano, T. S. E. Maibaum:
The Definition and Assessment of a Safety Argument. ISSRE Workshops 2014: 180-185 - [c114]Silviya Grigorova, T. S. E. Maibaum:
Argument Evaluation in the Context of Assurance Case Confidence Modeling. ISSRE Workshops 2014: 485-490 - [c113]Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum:
A Query Structured Approach for Model Transformation. AMT@MoDELS 2014: 54-63 - [c112]Wen Chen, Alan Wassyng, Tom Maibaum:
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. PROFES 2014: 224-238 - [c111]Till Mossakowski, Ulf Krumnack, Tom Maibaum:
What Is a Derived Signature Morphism? WADT 2014: 90-109 - 2013
- [j32]Lucian M. Patcas, Mark Lawford, Tom Maibaum:
From System Requirements to Software Requirements in the Four-Variable Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013) - [c110]Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre:
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ATVA 2013: 163-177 - [c109]Zarrin Langari, Tom Maibaum:
Safety cases: a review of challenges. ASSURE@ICSE 2013: 1-6 - [c108]Pablo Abad, Nazareno Aguirre, Valeria S. Bengolea, Daniel Alfredo Ciolek, Marcelo F. Frias, Juan P. Galeotti, Tom Maibaum, Mariano M. Moscato, Nicolás Rosner, Ignacio Vissani:
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST 2013: 21-30 - [c107]Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre:
Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM 2013: 428-442 - [c106]Silviya Grigorova, T. S. E. Maibaum:
Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence. ISSRE (Supplemental Proceedings) 2013: 387-390 - [c105]Tom Maibaum:
What IS a BoK? Large - Extended Abstract -. SEFM Workshops 2013: 184-188 - [c104]Zinovy Diskin, Sahar Kokaly, Tom Maibaum:
Mapping-Aware Megamodeling: Design Patterns and Laws. SLE 2013: 322-343 - [c103]Pablo F. Castro, T. S. E. Maibaum:
Automated Reasoning over Deontic Action Logics with Finite Vocabularies. LAFM 2013: 16-30 - [c102]Valentin Cassano, T. S. E. Maibaum:
Actions and Events in Concurrent Systems Design. LAFM 2013: 31-45 - 2012
- [j31]Pablo F. Castro, T. S. E. Maibaum:
Encapsulating deontic and branching time specifications. Theor. Comput. Sci. 455: 98-122 (2012) - [c101]Xiang Ling, Tom Maibaum:
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. APSEC 2012: 493-498 - [c100]Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum:
A Categorical Approach to Structuring and Promoting Z Specifications. FACS 2012: 73-91 - [c99]Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki:
Intermodeling, Queries, and Kleisli Categories. FASE 2012: 163-177 - [c98]Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng:
Large-Scale Enterprise Systems: Changes and Impacts. ICEIS 2012: 274-290 - [c97]Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) 2012: 359-368 - [c96]Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum:
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. SBMF 2012: 147-162 - [c95]Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum:
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT 2012: 195-211 - [c94]Zinovy Diskin, T. S. E. Maibaum:
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond. ACCAT 2012: 1-21 - [p2]Alan Wassyng, Mark Lawford, Tom Maibaum:
Separating Safety and Control Systems to Reduce Complexity. Conquering Complexity 2012: 85-102 - 2011
- [c93]Tom Maibaum, Paul Joannou:
2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. CASCON 2011: 375-376 - [c92]Alan Wassyng, Mark Lawford, T. S. E. Maibaum:
Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT 2011: 219-226 - [c91]Hao Xu, Tom Maibaum:
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. FHIES 2011: 160-176 - 2010
- [c90]Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff:
Software certification consortium: certification methods for safety-critical software. CASCON 2010: 434-436 - [c89]Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum:
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC 2010: 306-321 - [c88]Pablo F. Castro, T. S. E. Maibaum:
Characterizing Locality (Encapsulation) with Bisimulation. ICTAC 2010: 322-336 - [c87]Mark Lawford, T. S. E. Maibaum, Alan Wassyng:
Certification of Software-Driven Medical Devices. ISoLA (2) 2010: 293-295 - [c86]Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer:
Software Certification: Is There a Case against Safety Cases? Monterey Workshop 2010: 206-227 - [c85]Pablo F. Castro, T. S. E. Maibaum:
Towards a First-Order Deontic Action Logic. WADT 2010: 61-75
2000 – 2009
- 2009
- [j30]Pablo F. Castro, T. S. E. Maibaum:
Deontic action logic, atomic boolean algebras and fault-tolerance. J. Appl. Log. 7(4): 441-466 (2009) - [j29]T. S. E. Maibaum:
Formal methods versus engineering. ACM SIGCSE Bull. 41(2): 6-12 (2009) - [c84]Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng:
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE 2009: 155-170 - [c83]Germán Regis, Nazareno Aguirre, T. S. E. Maibaum:
Specifying and Verifying Business Processes Using PPML. ICFEM 2009: 737-756 - [c82]Pablo F. Castro, T. S. E. Maibaum:
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. LAFT@LICS 2009: 17-34 - [p1]Pablo F. Castro, T. S. E. Maibaum:
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. Methods, Models and Tools for Fault Tolerance 2009: 25-43 - 2008
- [j28]T. S. E. Maibaum, Alan Wassyng:
A Product-Focused Approach to Software Certification. Computer 41(2): 91-93 (2008) - [c81]Pablo F. Castro, T. S. E. Maibaum:
A Tableaux System for Deontic Action Logic. DEON 2008: 34-48 - [c80]Alan Wassyng, T. S. E. Maibaum, Mark Lawford:
On Software Certification: We Need Product-Focused Approaches. Monterey Workshop 2008: 250-274 - [c79]John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden:
A Software Certification Consortium and its Top 9 Hurdles. SafeCert@ETAPS 2008: 11-17 - [e7]Jorge Cuéllar, T. S. E. Maibaum, Kaisa Sere:
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings. Lecture Notes in Computer Science 5014, Springer 2008, ISBN 978-3-540-68235-6 [contents] - [e6]Shaoying Liu, T. S. E. Maibaum, Keijiro Araki:
Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008. Proceedings. Lecture Notes in Computer Science 5256, Springer 2008, ISBN 978-3-540-88193-3 [contents] - 2007
- [c78]Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre:
Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems 2007: 435-466 - [c77]T. S. E. Maibaum, Zhe (Jessie) Li:
A test framework for integration testing of object-oriented programs. CASCON 2007: 252-255 - [c76]T. S. E. Maibaum:
Challenges in Software Certification. ICFEM 2007: 4-18 - [c75]Pablo F. Castro, T. S. E. Maibaum:
A Complete and Compact Propositional Deontic Logic. ICTAC 2007: 109-123 - [c74]Nazareno Aguirre, Germán Regis, T. S. E. Maibaum:
Verifying Temporal Properties of CommUnity Designs. IFM 2007: 1-20 - [c73]Zhe (Jessie) Li, T. S. E. Maibaum:
An Approach to Integration Testing of Object-Oriented Programs. QSIC 2007: 268-273 - [c72]Pablo F. Castro, T. S. E. Maibaum:
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM 2007: 151-160 - 2006
- [c71]Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar:
Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen 2006: 173-193 - [c70]Jeff Magee, Tom Maibaum:
Towards specification, modelling and analysis of fault tolerance in self managed systems. SEAMS@ICSE 2006: 30-36 - [c69]T. S. E. Maibaum:
On specifying systems that connect to the physical world. SoMeT 2006: 71-83 - 2005
- [j27]Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum:
A Verification Logic for Rewriting Logic. J. Log. Comput. 15(3): 317-352 (2005) - [j26]Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum:
Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14(4): 478-526 (2005) - [c68]Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum:
Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM 2005: 141-155 - [c67]T. S. E. Maibaum:
The Epistemology of Validation and Verification Testing. TestCom 2005: 1-8 - 2004
- [c66]Islam A. M. El-Maddah, T. S. E. Maibaum:
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. FASE 2004: 261-266 - [c65]Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum:
Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM 2004: 403-417 - [c64]Islam A. M. El-Maddah, T. S. E. Maibaum:
Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ICSR 2004: 318-328 - [c63]Nazareno Aguirre, T. S. E. Maibaum:
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. FESCA@ETAPS 2004: 69-81 - 2003
- [j25]T. S. E. Maibaum:
On what exactly goes on when software is developed step-by-step, II: The sequel. Inf. Process. Lett. 88(1-2): 45-51 (2003) - [c62]Nazareno Aguirre, T. S. E. Maibaum:
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice 2003: 407-435 - [c61]Nazareno Aguirre, T. S. E. Maibaum:
A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE 2003: 37-51 - [c60]Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum:
Taking Alloy to the Movies. FME 2003: 678-697 - [c59]Islam A. M. El-Maddah, T. S. E. Maibaum:
Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE 2003: 45-46 - [c58]Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum:
Towards Dynamic Population Management of Abstract Machines in the B Method. ZB 2003: 528-545 - [e5]Bernhard K. Aichernig, T. S. E. Maibaum:
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. Lecture Notes in Computer Science 2757, Springer 2003, ISBN 3-540-20527-6 [contents] - 2002
- [j24]T. S. E. Maibaum:
Desert Island Column. Autom. Softw. Eng. 9(1): 123-126 (2002) - [c57]T. S. E. Maibaum:
How Do I Trust Thee? Let Me Count The Ways. IEEE ICCI 2002: 23 - [c56]Nazareno Aguirre, T. S. E. Maibaum:
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE 2002: 271-274 - [c55]T. S. E. Maibaum:
In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST 2002: 1-25 - [c54]Carlos H. C. Duarte, T. S. E. Maibaum:
A Branching Time Logical System for Open Distributed Systems Development. WoLLIC 2002: 184-203 - 2001
- [j23]Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum:
Interpolation in Practical Formal Development. Log. J. IGPL 9(2): 231-244 (2001) - [c53]Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum:
Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS 2001: 66-80 - [c52]Aspassia Daskalopulu, T. S. E. Maibaum:
Towards Electronic Contract Performance. DEXA Workshop 2001: 771-777 - [c51]Armando Martin Haeberer, T. S. E. Maibaum:
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE 2001: 463-472 - 2000
- [b5]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods. Clarendon Press 2000, ISBN 0198537816, pp. I-XVIII, 1-537 - [j22]T. S. E. Maibaum, Bernhard Rumpe:
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). Autom. Softw. Eng. 7(1): 7-8 (2000) - [j21]Carlos H. C. Duarte, T. S. E. Maibaum:
A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74(1-2): 55-63 (2000) - [j20]Theodosis Dimitrakos, T. S. E. Maibaum:
On a generalized modularization theorem. Inf. Process. Lett. 74(1-2): 65-71 (2000) - [c50]T. S. E. Maibaum:
Mathematical foundations of software engineering: a roadmap. ICSE - Future of SE Track 2000: 161-172 - [c49]T. S. E. Maibaum:
An Overview of The Mensurae Language: Specifying Business Processes. Rigorous Object-Oriented Methods 2000 - [c48]Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum:
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB 2000: 107-126 - [e4]T. S. E. Maibaum:
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. Lecture Notes in Computer Science 1783, Springer 2000, ISBN 3-540-67261-3 [contents]
1990 – 1999
- 1999
- [c47]José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita:
Towards a Verification Logic for Rewriting Logic. WADT 1999: 438-458 - [c46]Ezra Kaahwa Mugisa, T. S. E. Maibaum:
A Framework for Describing Software Architectures for Reuse. WICSA 1999: 245-272 - 1998
- [c45]T. S. E. Maibaum, Pauline Kan, Kevin Lano:
Systematising Reactive System Design. AMAST 1998: 17-22 - [c44]Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum:
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST 1998: 91-105 - [c43]Armando Martin Haeberer, T. S. E. Maibaum:
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE 1998: 260-271 - 1997
- [j19]José Luiz Fiadeiro, T. S. E. Maibaum:
Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28(2-3): 111-138 (1997) - [c42]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi 1997: 187-211 - [c41]José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum:
Synthesising interconnections. Algorithmic Languages and Calculi 1997: 240-264 - [c40]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP 1997: 324-343 - [c39]Juan Bicarregui, Kevin Lano, T. S. E. Maibaum:
Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops 1997: 155-160 - [c38]T. S. E. Maibaum:
What We Teach Software Engineers in the University: Do We Take Engineering Seriously? ESEC / SIGSOFT FSE 1997: 40-50 - [c37]Theodosis Dimitrakos, T. S. E. Maibaum:
Notes on Refinement, Interpolation and Uniformity. ASE 1997: 108-116 - [c36]T. S. E. Maibaum:
Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT 1997: 40-66 - 1996
- [c35]José Luiz Fiadeiro, Tom Maibaum:
A Mathematical Toolbox for the Software Architec. IWSSD 1996: 46-55 - [e3]H. Dieter Rombach, T. S. E. Maibaum, Marvin V. Zelkowitz:
18th International Conference on Software Engineering, Berlin, Germany, March 25-29, 1996, Proceedings. IEEE Computer Society 1996, ISBN 0-8186-7246-3 [contents] - 1995
- [b4]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 4. Semantic modelling. Clarendon Press 1995, ISBN 0198537808, pp. I-XIII, 1-651 - [j18]Paulo A. S. Veloso, T. S. E. Maibaum:
On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53(5): 287-293 (1995) - [c34]José Luiz Fiadeiro, T. S. E. Maibaum:
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE 1995: 72-80 - 1994
- [b3]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 3. Semantic Structures. Clarendon Press 1994, ISBN 019853762X, pp. I-XIII, 1-490 - [c33]José Luiz Fiadeiro, T. S. E. Maibaum:
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL 1994: 48-66 - [c32]José Luiz Fiadeiro, T. S. E. Maibaum:
Verifying for Reuse: Foundations of Object-Oriented System Verification. Theory and Formal Methods 1994: 235-257 - 1993
- [c31]José Luiz Fiadeiro, T. S. E. Maibaum:
Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147 - [c30]T. S. E. Maibaum:
Taking More of the Soft out of Software Engineering. IWSSD 1993: 2-7 - [c29]Stuart Kent, T. S. E. Maibaum, William J. Quirk:
Formally specifying temporal constraints and error recovery. RE 1993: 208-215 - 1992
- [b2]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 2. Background: Computational structures. Clarendon Press 1992, ISBN 0198537611, pp. I-X, 1-571 - [b1]Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum:
Handbook of logic in computer science. Volume 1. Background: Mathematical structures. Clarendon Press 1992, ISBN 0198537352, pp. I-XII, 1-827 - [j17]José Luiz Fiadeiro, T. S. E. Maibaum:
Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects Comput. 4(3): 239-272 (1992) - [j16]Mario R. F. Benevides, T. S. E. Maibaum:
A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2(1): 31-50 (1992) - [j15]T. S. E. Maibaum:
Editorial. J. Log. Comput. 2(3): 243-245 (1992) - 1991
- [j14]José Luiz Fiadeiro, T. S. E. Maibaum:
Temporal reasoning over deontic specifications. J. Log. Comput. 1(3): 357-395 (1991) - [j13]Ruy J. G. B. de Queiroz, T. S. E. Maibaum:
Abstract Data Types and Type Theory: Theories as Types. Math. Log. Q. 37(9-12): 149-166 (1991) - [c28]José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum:
Process Semantics of Temporal Logic Specifications. COMPASS/ADT 1991: 236-253 - [c27]Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum:
Sharing Actions and Attributes in Modal Action Logic. TACS 1991: 569-593 - [e2]Samson Abramsky, T. S. E. Maibaum:
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). Lecture Notes in Computer Science 493, Springer 1991, ISBN 3-540-53982-4 [contents] - [e1]Samson Abramsky, T. S. E. Maibaum:
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). Lecture Notes in Computer Science 494, Springer 1991, ISBN 3-540-53981-6 [contents] - 1990
- [j12]Ruy J. G. B. de Queiroz, T. S. E. Maibaum:
Proof theory and computer programming. Math. Log. Q. 36(5): 389-414 (1990) - [c26]José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake:
Proof-Theoretic Semantics of Object-Oriented Specification Constructs. DS-4 1990: 243-284 - [c25]José Luiz Fiadeiro, T. S. E. Maibaum:
Describing, Structuring and Implementing Objects. REX Workshop 1990: 274-310
1980 – 1989
- 1989
- [c24]Celso Niskier, T. S. E. Maibaum, Daniel Schwabe:
A Pluralistic Knowledge-Based Approach to Software Specification. ESEC 1989: 411-423 - [c23]Celso Niskier, Tom Maibaum, Daniel Schwabe:
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition. IWSSD 1989: 128-136 - 1988
- [c22]T. S. E. Maibaum:
Configuration versus Use: Specification Languages versus Logics. ADT 1988 - [c21]Da-Hai Li, T. S. E. Maibaum:
A Top-down Step-wise Refinement Methodology for Protocol Specification. Concurrency 1988: 197-221 - 1987
- [j11]Tom Maibaum, Martin R. Sadler:
Formal Methods: A Commentary. J. Inf. Technol. 2(2): 77-80 (1987) - [c20]Samit Khosla, T. S. E. Maibaum:
The Prescription and Description of State Based Systems. Temporal Logic in Specification 1987: 243-294 - 1986
- [c19]T. S. E. Maibaum:
Modular Construction of Logics for Specification. ADT 1986 - [c18]T. S. E. Maibaum:
Role of Abstraction in Program Development (Invited Paper). IFIP Congress 1986: 135-142 - 1985
- [j10]António L. Furtado, T. S. E. Maibaum:
An Informal Approach to Formal (Algebraic) Specifications. Comput. J. 28(1): 59-67 (1985) - [j9]T. S. E. Maibaum:
Database Instances, Abstract Data Types and Database Specification. Comput. J. 28(2): 154-161 (1985) - [c17]Samit Khosla, T. S. E. Maibaum, M. R. Sadler:
Database Specification. DS-1 1985: 141-158 - [c16]Samit Khosla, T. S. E. Maibaum, M. R. Sadler:
Large Database Specification from Small Views. FSTTCS 1985: 246-271 - [c15]T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler:
A Theory of Abstract Data Types for Program Development: Bridging the Gap? TAPSOFT, Vol.2 1985: 214-230 - 1984
- [c14]T. S. E. Maibaum, M. R. Sadler:
Axiomatizing Specification Theory. ADT 1984: 171-177 - [c13]T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso:
Logical Specification and Implementation. FSTTCS 1984: 13-30 - [c12]T. S. E. Maibaum, Wladyslaw M. Turski:
On What Exactly Is Going On When Software Is Developed Step-by-Step. ICSE 1984: 528-533 - 1983
- [j8]Paulo R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum:
Message Oriented Programming - A Resource Based Methodology. Comput. Lang. 8(3/4): 95-111 (1983) - [c11]T. S. E. Maibaum:
Structuring of Specifications within a Logical Theory of Data Types. ADT 1983 - [c10]Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler:
A Modal System of Algebras for Database Specification and Query/Update Language Support. VLDB 1983: 331-339 - 1982
- [j7]Michael R. Levy, T. S. E. Maibaum:
Continuous Data Types. SIAM J. Comput. 11(2): 201-216 (1982) - [c9]A. Koch, T. S. E. Maibaum:
A message oriented language for system applications. ICDCS 1982: 824-832 - 1981
- [j6]Clesio Saraiva dos Santos, T. S. E. Maibaum, António L. Furtado:
Conceptual modeling of data base operations. Int. J. Parallel Program. 10(5): 299-314 (1981) - [c8]Paulo Roberto Freire Cunha, T. S. E. Maibaum:
A Synchronization Calculus for Message Oriented Programming. ICDCS 1981: 433-445 - [c7]Paulo R. F. Cunha, T. S. E. Maibaum:
Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. ICSE 1981: 263-272 - 1980
- [j5]T. S. E. Maibaum, Carlos José Pereira de Lucena:
Higher order data types. Int. J. Parallel Program. 9(1): 31-53 (1980) - [j4]Paulo Roberto Freire Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum:
On the design and specification of message oriented programs. Int. J. Parallel Program. 9(3): 161-191 (1980) - [c6]Paulo R. F. Cunha, T. S. E. Maibaum:
A Communication Data Type for Message Oriented Programming. Symposium on Programming 1980: 79-91 - [c5]Paulo R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum:
A Methodology for Message Oriented Programming. Fachtagung über Programmiersprachen 1980: 83-93
1970 – 1979
- 1979
- [c4]Maarten H. van Emden, T. S. E. Maibaum:
Equations Compared with Clauses for Specification of Abstract Data Types. Advances in Data Base Theory 1979: 159-193 - 1978
- [j3]T. S. E. Maibaum:
Pumping Lemmas for Term Languages. J. Comput. Syst. Sci. 17(3): 319-330 (1978) - 1977
- [j2]T. S. E. Maibaum:
Erratum: A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 14(3): 369 (1977) - [c3]T. S. E. Maibaum:
Mathematical Semantics and a Model for Data Bases. IFIP Congress 1977: 133-138 - 1974
- [j1]T. S. E. Maibaum:
A Generalized Approach to Formal Languages. J. Comput. Syst. Sci. 8(3): 409-439 (1974) - [c2]Karel Culík II, T. S. E. Maibaum:
Parallel Rewriting Systems on terms. ICALP 1974: 495-510 - 1972
- [c1]T. S. E. Maibaum:
The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets. SWAT 1972: 224-230
Coauthor Index
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.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-04-25 05:58 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
