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]