The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets - T. S. E. Maibaum (SWAT, 1972)

Parallel Rewriting Systems on terms. - Karel Culík II; T. S. E. Maibaum (ICALP, 1974)

A Generalized Approach to Formal Languages. - T. S. E. Maibaum (J. Comput. Syst. Sci., 1974)

Mathematical Semantics and a Model for Data Bases. - T. S. E. Maibaum (IFIP Congress, 1977)

Erratum: A Generalized Approach to Formal Languages. - T. S. E. Maibaum (J. Comput. Syst. Sci., 1977)

Pumping Lemmas for Term Languages. - T. S. E. Maibaum (J. Comput. Syst. Sci., 1978)

Equations Compared with Clauses for Specification of Abstract Data Types. - Maarten H. van Emden; T. S. E. Maibaum (Advances in Data Base Theory, 1979)

A Communication Data Type for Message Oriented Programming. - Paulo R. F. Cunha; T. S. E. Maibaum (Symposium on Programming, 1980)

A Methodology for Message Oriented Programming. - Paulo R. F. Cunha; Carlos José Pereira de Lucena; T. S. E. Maibaum (Fachtagung über Programmiersprachen, 1980)

On the design and specification of message oriented programs. - Paulo Roberto Freire Cunha; Carlos José Pereira de Lucena; T. S. E. Maibaum (Int. J. Parallel Program., 1980)

Higher order data types. - T. S. E. Maibaum; Carlos José Pereira de Lucena (Int. J. Parallel Program., 1980)

A Synchronization Calculus for Message Oriented Programming. - Paulo Roberto Freire Cunha; T. S. E. Maibaum (ICDCS, 1981)

Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming. - Paulo R. F. Cunha; T. S. E. Maibaum (ICSE, 1981)

Conceptual modeling of data base operations. - Clesio Saraiva dos Santos; T. S. E. Maibaum; António L. Furtado 001 (Int. J. Parallel Program., 1981)

A message oriented language for system applications. - A. Koch; T. S. E. Maibaum (ICDCS, 1982)

Continuous Data Types. - Michael R. Levy; T. S. E. Maibaum (SIAM J. Comput., 1982)

Structuring of Specifications within a Logical Theory of Data Types. - T. S. E. Maibaum (ADT, 1983)

A Modal System of Algebras for Database Specification and Query/Update Language Support. - Forouzan Golshani; T. S. E. Maibaum; M. R. Sadler (VLDB, 1983)

Message Oriented Programming - A Resource Based Methodology. - Paulo R. F. Cunha; Carlos José Pereira de Lucena; T. S. E. Maibaum (Comput. Lang., 1983)

Axiomatizing Specification Theory. - T. S. E. Maibaum; M. R. Sadler (ADT, 1984)

Logical Specification and Implementation. - T. S. E. Maibaum; M. R. Sadler; Paulo A. S. Veloso (FSTTCS, 1984)

On What Exactly Is Going On When Software Is Developed Step-by-Step. - T. S. E. Maibaum; Wladyslaw M. Turski (ICSE, 1984)

Database Specification. - Samit Khosla; T. S. E. Maibaum; M. R. Sadler (DS-1, 1985)

Large Database Specification from Small Views. - Samit Khosla; T. S. E. Maibaum; M. R. Sadler (FSTTCS, 1985)

A Theory of Abstract Data Types for Program Development: Bridging the Gap? - T. S. E. Maibaum; Paulo A. S. Veloso; M. R. Sadler (TAPSOFT, Vol.2, 1985)

An Informal Approach to Formal (Algebraic) Specifications. - António L. Furtado 001; T. S. E. Maibaum (Comput. J., 1985)

Database Instances, Abstract Data Types and Database Specification. - T. S. E. Maibaum (Comput. J., 1985)

Modular Construction of Logics for Specification. - T. S. E. Maibaum (ADT, 1986)

Role of Abstraction in Program Development (Invited Paper). - T. S. E. Maibaum (IFIP Congress, 1986)

The Prescription and Description of State Based Systems. - Samit Khosla; T. S. E. Maibaum (Temporal Logic in Specification, 1987)

Formal Methods: A Commentary. - Tom Maibaum; Martin R. Sadler (J. Inf. Technol., 1987)

Configuration versus Use: Specification Languages versus Logics. - T. S. E. Maibaum (ADT, 1988)

A Top-down Step-wise Refinement Methodology for Protocol Specification. - Da-Hai Li; T. S. E. Maibaum (Concurrency, 1988)

A Pluralistic Knowledge-Based Approach to Software Specification. - Celso Niskier; T. S. E. Maibaum; Daniel Schwabe 001 (ESEC, 1989)

A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition. - Celso Niskier; Tom Maibaum; Daniel Schwabe 001 (IWSSD, 1989)

Proof-Theoretic Semantics of Object-Oriented Specification Constructs. - José Luiz Fiadeiro; Cristina Sernadas; T. S. E. Maibaum; Gunter Saake (DS-4, 1990)

Describing, Structuring and Implementing Objects. - José Luiz Fiadeiro; T. S. E. Maibaum (REX Workshop, 1990)

Proof theory and computer programming. - Ruy J. G. B. de Queiroz; T. S. E. Maibaum (Math. Log. Q., 1990)

Process Semantics of Temporal Logic Specifications. - José Luiz Fiadeiro; José Félix Costa; Amílcar Sernadas; T. S. E. Maibaum (COMPASS/ADT, 1991)

Sharing Actions and Attributes in Modal Action Logic. - Mark Ryan 001; José Luiz Fiadeiro; T. S. E. Maibaum (TACS, 1991)

Temporal reasoning over deontic specifications. - José Luiz Fiadeiro; T. S. E. Maibaum (J. Log. Comput., 1991)

Abstract Data Types and Type Theory: Theories as Types. - Ruy J. G. B. de Queiroz; T. S. E. Maibaum (Math. Log. Q., 1991)

Handbook of logic in computer science. Volume 1. Background: Mathematical structures. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1992)

Handbook of logic in computer science. Volume 2. Background: Computational structures. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1992)

Temporal Theories as Modularisation Units for Concurrent System Specification. - José Luiz Fiadeiro; T. S. E. Maibaum (Formal Aspects Comput., 1992)

A Constructive Presentation for the Modal Connective of Necessity ( Box). - Mario R. F. Benevides; T. S. E. Maibaum (J. Log. Comput., 1992)

Editorial. - T. S. E. Maibaum (J. Log. Comput., 1992)

Generalising Interpretations between Theories in the context of (pi-) Institutions. - José Luiz Fiadeiro; T. S. E. Maibaum (Theory and Formal Methods, 1993)

Taking More of the Soft out of Software Engineering. - T. S. E. Maibaum (IWSSD, 1993)

Formally specifying temporal constraints and error recovery. - Stuart Kent 001; T. S. E. Maibaum; William J. Quirk (RE, 1993)

Handbook of logic in computer science. Volume 3. Semantic Structures. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1994)

Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. - José Luiz Fiadeiro; T. S. E. Maibaum (ICTL, 1994)

Verifying for Reuse: Foundations of Object-Oriented System Verification. - José Luiz Fiadeiro; T. S. E. Maibaum (Theory and Formal Methods, 1994)

Handbook of logic in computer science. Volume 4. Semantic modelling. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 1995)

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. - José Luiz Fiadeiro; T. S. E. Maibaum (SIGSOFT FSE, 1995)

On the Modularization Theorem for Logical Specifications. - Paulo A. S. Veloso; T. S. E. Maibaum (Inf. Process. Lett., 1995)

A Mathematical Toolbox for the Software Architec. - José Luiz Fiadeiro; Tom Maibaum (IWSSD, 1996)

Towards a compositional interpretation of object diagrams. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (Algorithmic Languages and Calculi, 1997)

Synthesising interconnections. - José Luiz Fiadeiro; Antónia Lopes; T. S. E. Maibaum (Algorithmic Languages and Calculi, 1997)

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (ECOOP, 1997)

Formalizing Object-Oriented Models in the Object Calculus. - Juan Bicarregui; Kevin Lano; T. S. E. Maibaum (ECOOP Workshops, 1997)

What We Teach Software Engineers in the University: Do We Take Engineering Seriously? - T. S. E. Maibaum (ESEC / SIGSOFT FSE, 1997)

Notes on Refinement, Interpolation and Uniformity. - Theodosis Dimitrakos; T. S. E. Maibaum (ASE, 1997)

Conservative Extensions, Interpretations Between Theories and All That! - T. S. E. Maibaum (TAPSOFT, 1997)

Categorical Semantics of Parallel Program Design. - José Luiz Fiadeiro; T. S. E. Maibaum (Sci. Comput. Program., 1997)

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. - Gabriel Baum; Marcelo F. Frias; T. S. E. Maibaum (AMAST, 1998)

Systematising Reactive System Design. - T. S. E. Maibaum; Pauline Kan; Kevin Lano (AMAST, 1998)

The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. - Armando Martin Haeberer; T. S. E. Maibaum (ASE, 1998)

Towards a Verification Logic for Rewriting Logic. - José Luiz Fiadeiro; T. S. E. Maibaum; Narciso Martí-Oliet; José Meseguer 001; Isabel Pita (WADT, 1999)

A Framework for Describing Software Architectures for Reuse. - Ezra Kaahwa Mugisa; T. S. E. Maibaum (WICSA, 1999)

Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods. - Samson Abramsky; Dov M. Gabbay; T. S. E. Maibaum (Clarendon Press, 2000)

Mathematical foundations of software engineering: a roadmap. - T. S. E. Maibaum (ICSE - Future of SE Track, 2000)

An Overview of The Mensurae Language: Specifying Business Processes. - T. S. E. Maibaum (Rigorous Object-Oriented Methods, 2000)

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. - Theodosis Dimitrakos; Juan Bicarregui; Brian Matthews; T. S. E. Maibaum (ZB, 2000)

Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). - T. S. E. Maibaum; Bernhard Rumpe (Autom. Softw. Eng., 2000)

On a generalized modularization theorem. - Theodosis Dimitrakos; T. S. E. Maibaum (Inf. Process. Lett., 2000)

A rely-guarantee discipline for open distributed systems design. - Carlos H. C. Duarte; T. S. E. Maibaum (Inf. Process. Lett., 2000)

Interpretability of First-Order Dynamic Logic in a Relational Calculus. - Marcelo F. Frias; Gabriel Baum; T. S. E. Maibaum (RelMiCS, 2001)

Towards Electronic Contract Performance. - Aspassia Daskalopulu; T. S. E. Maibaum (DEXA Workshop, 2001)

Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. - Armando Martin Haeberer; T. S. E. Maibaum (ICSE, 2001)

Interpolation in Practical Formal Development. - Juan Bicarregui; Theodosis Dimitrakos; Dov M. Gabbay; T. S. E. Maibaum (Log. J. IGPL, 2001)

How Do I Trust Thee? Let Me Count The Ways. - T. S. E. Maibaum (IEEE ICCI, 2002)

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. - Nazareno Aguirre; T. S. E. Maibaum (ASE, 2002)

In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. - T. S. E. Maibaum (10th Anniversary Colloquium of UNU/IIST, 2002)

Desert Island Column. - T. S. E. Maibaum (Autom. Softw. Eng., 2002)

A Branching Time Logical System for Open Distributed Systems Development. - Carlos H. C. Duarte; T. S. E. Maibaum (WoLLIC, 2002)

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. - Nazareno Aguirre; T. S. E. Maibaum (Verification: Theory and Practice, 2003)

A Logical Basis for the Specification of Reconfigurable Component-Based Systems. - Nazareno Aguirre; T. S. E. Maibaum (FASE, 2003)

Taking Alloy to the Movies. - Marcelo F. Frias; Carlos López Pombo; Gabriel Baum; Nazareno Aguirre; T. S. E. Maibaum (FME, 2003)

Goal-Oriented Requirements Analysis for Process Control Systems Design. - Islam A. M. El-Maddah; T. S. E. Maibaum (MEMOCODE, 2003)

Towards Dynamic Population Management of Abstract Machines in the B Method. - Nazareno Aguirre; Juan Bicarregui; Theodosis Dimitrakos; T. S. E. Maibaum (ZB, 2003)

On what exactly goes on when software is developed step-by-step, II: The sequel. - T. S. E. Maibaum (Inf. Process. Lett., 2003)

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. - Islam A. M. El-Maddah; T. S. E. Maibaum (FASE, 2004)

Implementing Dynamic Aggregations of Abstract Machines in the B Method. - Nazareno Aguirre; Juan Bicarregui; Lucio Guzmán; T. S. E. Maibaum (ICFEM, 2004)

Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. - Islam A. M. El-Maddah; T. S. E. Maibaum (ICSR, 2004)

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. - Nazareno Aguirre; T. S. E. Maibaum (FESCA@ETAPS, 2004)

Towards Dynamically Communicating Abstract Machines in the B Method. - Nazareno Aguirre; Marcelo Arroyo; Juan Bicarregui; Lucio Guzmán; T. S. E. Maibaum (ICFEM, 2005)

The Epistemology of Validation and Verification Testing. - T. S. E. Maibaum (TestCom, 2005)

A Verification Logic for Rewriting Logic. - Narciso Martí-Oliet; Isabel Pita; José Luiz Fiadeiro; José Meseguer 001; T. S. E. Maibaum (J. Log. Comput., 2005)

Reasoning about static and dynamic properties in alloy: A purely relational approach. - Marcelo F. Frias; Carlos López Pombo; Gabriel A. Baum; Nazareno Aguirre; T. S. E. Maibaum (ACM Trans. Softw. Eng. Methodol., 2005)

Extension Morphisms for CommUnity. - Nazareno Aguirre; T. S. E. Maibaum; Paulo S. C. Alencar (Essays Dedicated to Joseph A. Goguen, 2006)

Towards specification, modelling and analysis of fault tolerance in self managed systems. - Jeff Magee; Tom Maibaum (SEAMS@ICSE, 2006)

On specifying systems that connect to the physical world. - T. S. E. Maibaum (SoMeT, 2006)

Design in CommUnity with Extension Morphisms. - Xiang Ling; T. S. E. Maibaum; Nazareno Aguirre (Formal Methods and Hybrid Real-Time Systems, 2007)

A test framework for integration testing of object-oriented programs. - T. S. E. Maibaum; Zhe (Jessie) Li (CASCON, 2007)

Challenges in Software Certification. - T. S. E. Maibaum (ICFEM, 2007)

A Complete and Compact Propositional Deontic Logic. - Pablo F. Castro; T. S. E. Maibaum (ICTAC, 2007)

Verifying Temporal Properties of CommUnity Designs. - Nazareno Aguirre; Germán Regis; T. S. E. Maibaum (IFM, 2007)

An Approach to Integration Testing of Object-Oriented Programs. - Zhe (Jessie) Li; T. S. E. Maibaum (QSIC, 2007)

An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. - Pablo F. Castro; T. S. E. Maibaum (SEFM, 2007)

A Tableaux System for Deontic Action Logic. - Pablo F. Castro; T. S. E. Maibaum (DEON, 2008)

On Software Certification: We Need Product-Focused Approaches. - Alan Wassyng; T. S. E. Maibaum; Mark Lawford (Monterey Workshop, 2008)

A Product-Focused Approach to Software Certification. - T. S. E. Maibaum; Alan Wassyng (Computer, 2008)

A Software Certification Consortium and its Top 9 Hurdles. - John Hatcliff; Mats Per Erik Heimdahl; Mark Lawford; T. S. E. Maibaum; Alan Wassyng; Fred L. Wurden (SafeCert@ETAPS, 2008)

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. - Nazareno Aguirre; Marcelo F. Frias; Mariano M. Moscato; T. S. E. Maibaum; Alan Wassyng (FASE, 2009)

Specifying and Verifying Business Processes Using PPML. - Germán Regis; Nazareno Aguirre; T. S. E. Maibaum (ICFEM, 2009)

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. - Pablo F. Castro; T. S. E. Maibaum (LAFT@LICS, 2009)

Deontic action logic, atomic boolean algebras and fault-tolerance. - Pablo F. Castro; T. S. E. Maibaum (J. Appl. Log., 2009)

Formal methods versus engineering. - T. S. E. Maibaum (ACM SIGCSE Bull., 2009)

Reasoning about System-Degradation and Fault-Recovery with Deontic Logic. - Pablo F. Castro; T. S. E. Maibaum (Methods, Models and Tools for Fault Tolerance, 2009)

Software certification consortium: certification methods for safety-critical software. - Alan Wassyng; Mark Lawford; T. S. E. Maibaum; Jens H. Weber; John Hatcliff (CASCON, 2010)

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. - Pablo F. Castro; Nazareno Aguirre; Carlos Gustavo López Pombo; T. S. E. Maibaum (ICTAC, 2010)

Characterizing Locality (Encapsulation) with Bisimulation. - Pablo F. Castro; T. S. E. Maibaum (ICTAC, 2010)

Certification of Software-Driven Medical Devices. - Mark Lawford; T. S. E. Maibaum; Alan Wassyng (ISoLA (2), 2010)

Software Certification: Is There a Case against Safety Cases? - Alan Wassyng; T. S. E. Maibaum; Mark Lawford; Hans Bherer (Monterey Workshop, 2010)

Towards a First-Order Deontic Action Logic. - Pablo F. Castro; T. S. E. Maibaum (WADT, 2010)

2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. - Tom Maibaum; Paul Joannou (CASCON, 2011)

Software certification experience in the canadian nuclear industry: lessons for the future. - Alan Wassyng; Mark Lawford; T. S. E. Maibaum (EMSOFT, 2011)

An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. - Hao Xu; Tom Maibaum (FHIES, 2011)

Separating Safety and Control Systems to Reduce Complexity. - Alan Wassyng; Mark Lawford; Tom Maibaum (Conquering Complexity, 2012)

Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. - Xiang Ling; Tom Maibaum (APSEC, 2012)

A Categorical Approach to Structuring and Promoting Z Specifications. - Pablo F. Castro; Nazareno Aguirre; Carlos Gustavo López Pombo; Tom Maibaum (FACS, 2012)

Intermodeling, Queries, and Kleisli Categories. - Zinovy Diskin; T. S. E. Maibaum; Krzysztof Czarnecki 001 (FASE, 2012)

Change Impact Analysis for Large-scale Enterprise Systems. - Wen Chen; Asif Iqbal 006; Akbar Abdrakhmanov; Jay Parlar; Chris George; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (ICEIS (2), 2012)

Large-Scale Enterprise Systems: Changes and Impacts. - Wen Chen; Asif Iqbal 006; Akbar Abdrakhmanov; Jay Parlar; Chris George; Mark Lawford; Tom Maibaum; Alan Wassyng (ICEIS, 2012)

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. - Germán Regis; Nicolás Ricci; Nazareno Aguirre; T. S. E. Maibaum (SBMF, 2012)

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. - Carlos Gustavo López Pombo; Pablo F. Castro; Nazareno Aguirre; T. S. E. Maibaum (WADT, 2012)

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond - Zinovy Diskin; T. S. E. Maibaum (ACCAT, 2012)

Encapsulating deontic and branching time specifications. - Pablo F. Castro; T. S. E. Maibaum (Theor. Comput. Sci., 2012)

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. - Ramiro Demasi; Pablo F. Castro; T. S. E. Maibaum; Nazareno Aguirre (ATVA, 2013)

Safety cases: a review of challenges. - Zarrin Langari; Tom Maibaum (ASSURE@ICSE, 2013)

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. - 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 (ICST, 2013)

Characterizing Fault-Tolerant Systems by Means of Simulation Relations. - Ramiro Demasi; Pablo F. Castro; T. S. E. Maibaum; Nazareno Aguirre (IFM, 2013)

Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence. - Silviya Grigorova; T. S. E. Maibaum (ISSRE (Supplemental Proceedings), 2013)

What IS a BoK? Large - Extended Abstract -. - Tom Maibaum (SEFM Workshops, 2013)

Mapping-Aware Megamodeling: Design Patterns and Laws. - Zinovy Diskin; Sahar Kokaly; Tom Maibaum (SLE, 2013)

Actions and Events in Concurrent Systems Design. - Valentin Cassano; T. S. E. Maibaum (LAFM, 2013)

Automated Reasoning over Deontic Action Logics with Finite Vocabularies. - Pablo F. Castro; T. S. E. Maibaum (LAFM, 2013)

From System Requirements to Software Requirements in the Four-Variable Model. - Lucian M. Patcas; Mark Lawford; Tom Maibaum (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2013)

Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. - Morteza Yousef Sanati; Wendy MacCaull; T. S. E. Maibaum (FM, 2014)

Formalizing the Glucose Homeostasis Mechanism. - Neeraj Kumar Singh 001; Hao Wang 003; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (HCI (20), 2014)

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. - Carlos Gustavo López Pombo; Pablo F. Castro; Nazareno Aguirre; T. S. E. Maibaum (ICTAC, 2014)

Impact Analysis via Reachability and Alias Analysis. - Wen Chen; Alan Wassyng; Tom Maibaum (PoEM, 2014)

A Separation Principle for Embedded System Interfacing. - Lucian M. Patcas; Mark Lawford; Tom Maibaum (IFM, 2014)

The Definition and Assessment of a Safety Argument. - Valentin Cassano; T. S. E. Maibaum (ISSRE Workshops, 2014)

Argument Evaluation in the Context of Assurance Case Confidence Modeling. - Silviya Grigorova; T. S. E. Maibaum (ISSRE Workshops, 2014)

A Query Structured Approach for Model Transformation. - Hamid Gholizadeh; Zinovy Diskin; Tom Maibaum (AMT@MoDELS, 2014)

Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. - Wen Chen; Alan Wassyng; Tom Maibaum (PROFES, 2014)

What Is a Derived Signature Morphism? - Till Mossakowski; Ulf Krumnack; Tom Maibaum (WADT, 2014)

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical. - Zinovy Diskin; Tom Maibaum; Krzysztof Czarnecki 001 (ECMFA, 2015)

The Semantics of Cardinality-Based Feature Models via Formal Languages. - Aliakbar Safilian; Tom Maibaum; Zinovy Diskin (FM, 2015)

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. - Stefan Gruner; Apurva Kumar; Tom Maibaum (FTSCS, 2015)

Formalizing the Cardiac Pacemaker Resynchronization Therapy. - Neeraj Kumar Singh 001; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (HCI (17), 2015)

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements. - Neeraj Kumar Singh 001; Hao Wang 003; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (HCI (17), 2015)

Modeling Product Lines with Kripke Structures and Modal Logic. - Zinovy Diskin; Aliakbar Safilian; Tom Maibaum; Shoham Ben-David (ICTAC, 2015)

Analysis of Source-to-Target Model Transformations in QueST. - Hamid Gholizadeh; Zinovy Diskin; Sahar Kokaly; Tom Maibaum (AMT@MoDELS, 2015)

Is Current Incremental Safety Assurance Sound? - Valentin Cassano; Silviya Grigorova; Neeraj Kumar Singh 001; Morayo Adedjouma; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (SAFECOMP Workshops, 2015)

Stateflow to Tabular Expressions. - Neeraj Kumar Singh 001; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (SoICT, 2015)

Elementary Model Management Patterns. - Sahar Kokaly; Zinovy Diskin; Tom Maibaum; Hamid Gholizadeh (PAME@STAF, 2015)

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules. - Valentin Cassano; Carlos Gustavo López Pombo; Thomas Stephen Edward Maibaum (TABLEAUX, 2015)

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications. - Ramiro Demasi; Pablo F. Castro; Nicolás Ricci; Thomas Stephen Edward Maibaum; Nazareno Aguirre (TACAS, 2015)

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? - Alan Wassyng; Neeraj Kumar Singh 001; Mischa Geven; Nicholas Proscia; Hao Wang 003; Mark Lawford; Tom Maibaum (IEEE Des. Test, 2015)

Categorical foundations for structured specifications in Z. - Pablo F. Castro; Nazareno Aguirre; Carlos López Pombo; T. S. E. Maibaum (Formal Aspects Comput., 2015)

Implementability of requirements in the four-variable model. - Lucian M. Patcas; Mark Lawford; Tom Maibaum (Sci. Comput. Program., 2015)

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case. - Valentin Cassano; Thomas Stephen Edward Maibaum; Silviya Grigorova (ICFEM, 2016)

Model management for regulatory compliance: a position paper. - Sahar Kokaly; Rick Salay; Mehrdad Sabetzadeh; Marsha Chechik; Tom Maibaum (MiSE@ICSE, 2016)

A model management approach for assurance case reuse due to system evolution. - Sahar Kokaly; Rick Salay; Valentin Cassano; Tom Maibaum; Marsha Chechik (MoDELS, 2016)

Heterogeneous Megamodel Slicing for Model Evolution. - Rick Salay; Sahar Kokaly; Marsha Chechik; Tom Maibaum (ME@MoDELS, 2016)

Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. - Aliakbar Safilian; Tom Maibaum (TASE, 2016)

Multiset Theories of Cardinality-based Feature Diagrams. - Aliakbar Safilian; Tom Maibaum (CoRR, 2016)

Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. - Zinovy Diskin; Aliakbar Safilian; Tom Maibaum; Shoham Ben-David (Sci. Ann. Comput. Sci., 2016)

Use of Tabular Expressions for Refinement Automation. - Neeraj Kumar Singh 001; Mark Lawford; T. S. E. Maibaum; Alan Wassyng (MEDI, 2017)

A Graph Transformation Approach to Introducing Aspects into Software Architectures. - Md Nour Hossain; Wolfram Kahl; Tom Maibaum (MoDELS (Satellite Events), 2017)

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. - Sahar Kokaly; Rick Salay; Marsha Chechik; Mark Lawford; Tom Maibaum (SAFECOMP, 2017)

Toward Product Lines of Mathematical Models for Software Model Management. - Zinovy Diskin; Harald König; Mark Lawford; Tom Maibaum (STAF Workshops, 2017)

Simulation relations for fault-tolerance. - Ramiro Demasi; Pablo F. Castro; Thomas Stephen Edward Maibaum; Nazareno Aguirre (Formal Aspects Comput., 2017)

Assurance via model transformations and their hierarchical refinement. - Zinovy Diskin; Tom Maibaum; Alan Wassyng; Stephen Wynn-Williams; Mark Lawford (MoDELS, 2018)

A theoretical framework for cardinality-based feature models: The semantics and computational aspects. - Aliakbar Safilian; Tom Maibaum; Zinovy Diskin (J. Log. Algebraic Methods Program., 2018)

Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems. - Carlos López Pombo; Pablo F. Castro; Nazareno Aguirre; Thomas Stephen Edward Maibaum (Fundam. Informaticae, 2019)

On the construction of explosive relation algebras. - Carlos Gustavo López Pombo; Marcelo F. Frias; T. S. E. Maibaum (CoRR, 2020)

On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain - Stefan Gruner; Apurva Kumar; Tom Maibaum; Markus Roggenbach (Springer, 2020)

A proof theoretic basis for relational semantics. - Carlos Gustavo López Pombo; Thomas Stephen Edward Maibaum (CoRR, 2021)

A formal approach to rigorous development of critical systems. - Neeraj Kumar Singh 001; Mark Lawford; Thomas Stephen Edward Maibaum; Alan Wassyng (J. Softw. Evol. Process., 2021)