Tom Maibaum

Q: What Schools Are Affiliated With Tom Maibaum

Tom Maibaum is affiliated with the following schools: Imperial College London, McMaster University, University of Toronto, Queen Mary University of London, King's College London, Royal Holloway, University of London

Tom Maibaum's AcademicInfluence.com Rankings

Tom Maibaum

Computer Science

#837

World Rank

#868

Historical Rank

#455

USA Rank

Database

#3960

World Rank

#4119

Historical Rank

#669

USA Rank

computer-science Degrees

Download Badge

Computer Science

Why Is Tom Maibaum Influential?

(Suggest an Edit or Addition)

According to Wikipedia, Thomas Stephen Edward Maibaum Fellow of the Royal Society of Arts is a computer scientist. Maibaum has a Bachelor of Science undergraduate degree in pure mathematics from the University of Toronto, Canada , and a Doctor of Philosophy in computer science from Queen Mary and Royal Holloway Colleges, University of London, England .

(See a Problem?)

Tom Maibaum's Published Works

Number of citations in a given year to any of this author's works

Total number of citations to an author for the works they published in a given year. This highlights publication of the most important work(s) by the author

Published Works

Handbook of logic in computer science. (1992) (909)
Categorical Semantics of Parallel Program Design (1997) (126)
Temporal reasoning over deontic specifications (1991) (112)
Sharing Actions and Attributes in Modal Action Logic (1991) (105)
Describing, Structuring and Implementing Objects (1990) (91)
The Prescription and Description of State Based Systems (1987) (82)
Formal Methods at the Crossroads. From Panacea to Foundational Support (2004) (82)
FM 2008: Formal Methods, 15th International Symposium on Formal Methods, Turku, Finland, May 26-30, 2008, Proceedings (2008) (81)
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects (1994) (73)
A Generalized Approach to Formal Languages (1974) (72)
Proof-Theoretic Semantics of Object-Oriented Specification Constructs (1990) (62)
Interconnecting formalisms: supporting modularity, reuse and incrementality (1995) (62)
Temporal theories as modularisation units for concurrent system specification (1992) (57)
Evidence-Based Electronic Contract Performance Monitoring (2002) (56)
A Product-Focused Approach to Software Certification (2008) (54)
A temporal logic approach to the specification of reconfigurable component-based systems (2002) (50)
A mathematical toolbox for the software architect (1996) (49)
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond (2012) (49)
Software Certification: Is There a Case against Safety Cases? (2010) (48)
Formally specifying temporal constraints and error recovery (1993) (47)
Handbook of logic in computer science. Volume 4. Semantic modelling (1995) (46)
Deontic action logic, atomic boolean algebras and fault-tolerance (2009) (45)
Towards electronic contract performance (2001) (43)
On a generalized modularization theorem (2000) (43)
Mathematical foundations of software engineering: a roadmap (2000) (42)
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation (1997) (42)
Handbook of logic in computer science. Volume 3. Semantic Structures (1995) (40)
Intermodeling, Queries, and Kleisli Categories (2012) (40)
Towards specification, modelling and analysis of fault tolerance in self managed systems (2006) (38)
Background : computational structures (1992) (36)
Mapping-Aware Megamodeling: Design Patterns and Laws (2013) (36)
A Complete and Compact Propositional Deontic Logic (2007) (35)
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition (1989) (34)
A Theory of Abstract Data Types for Program Development: Bridging the Gap? (1985) (34)
Conservative Extensions, Interpretations Between Theories and All That! (1997) (33)
Towards a Verification Logic for Rewriting Logic (1999) (32)
Handbook of logic in computer science. Volume 2. Background: Computational structures (1993) (31)
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving (2013) (31)
A Logical Basis for the Specification of Reconfigurable Component-Based Systems (2003) (30)
Generalising Interpretations between Theories in the context of (pi-) Institutions (1993) (29)
A Modal System of Algebras for Database Specification and Query/Update Language Support (1983) (28)
A model management approach for assurance case reuse due to system evolution (2016) (28)
E-Contract Fulfilment and Agents’ Attitudes (2001) (26)
Interpolation in Practical Formal Development (2001) (26)
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) (1991) (26)
A Synchronization Calculus for Message Oriented Programming (1981) (24)
Towards a compositional interpretation of object diagrams (1997) (24)
Handbook of logic in computer science. Volume 1. Background: Mathematical structures (1993) (24)
On the Modularization Theorem for Logical Specifications (1995) (24)
Verifying for Reuse: Foundations of Object-Oriented System Verification (1994) (23)
Evaluating the Effectiveness of a Goal-Oriented Requirements Engineering Method (2006) (22)
Reasoning about static and dynamic properties in alloy (2005) (21)
Safety cases: A review of challenges (2013) (21)
Scientific rigour, an answer to a pragmatic question: a linguistic framework for software engineering (2001) (21)
A Constructive Presentation for the Modal Connective of Necessity (\Box) (1992) (20)
FM 2008: Formal Methods (2008) (19)
Axiomatizing Specification Theory (1984) (19)
DESCRIBING AND STRUCTURING OBJECTS FOR CONCEPTUAL SCHEMA DEVELOPMENT (1992) (19)
A Temporal Logic Approach for Component Based System Specification and Reasoning (2002) (19)
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) (1991) (18)
A Tableaux System for Deontic Action Logic (2008) (18)
Process Semantics of Temporal Logic Specifications (1991) (18)
An Approach to Integration Testing of Object-Oriented Programs (2007) (17)
A Software Certification Consortium and its Top 9 Hurdles (2009) (17)
Goal-oriented requirements analysis for process control systems design (2003) (17)
Database Specification (1985) (17)
A Pluralistic Knowledge-Based Approach to Software Specification (1989) (17)
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? (2015) (17)
On what exactly is going on when software is developed step-by-step (1984) (17)
The very idea of software development environments: a conceptual architecture for the arts' environment paradigm (1998) (16)
Notes on refinement, interpolation and uniformity (1997) (15)
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting (2010) (15)
Interpretability of First-Order Dynamic Logic in a Relational Calculus (2001) (14)
A rely-guarantee discipline for open distributed systems design (2000) (14)
Background : mathematical structures (1992) (14)
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows (2012) (14)
Model Management for Regulatory Compliance: A Position Paper (2016) (13)
What Is a Derived Signature Morphism? (2014) (13)
Logical Specification and Implementation (1984) (13)
Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements (2015) (13)
Equations Compared with Clauses for Specification of Abstract Data Types (1979) (13)
Heterogeneous Megamodel Slicing for Model Evolution (2016) (13)
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach (2017) (13)
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems (2004) (12)
Assurance via model transformations and their hierarchical refinement (2018) (12)
Continuous Data Types (1982) (12)
PSMT - Workshop on Precise Semantics for Software Modeling Techniques (1998) (12)
On Software Certification: We Need Product-Focused Approaches (2008) (12)
Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence (2013) (12)
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump (2011) (11)
Pumping Lemmas for Term Languages (1978) (11)
Software certification experience in the Canadian nuclear industry: Lessons for the future (2011) (11)
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context (2000) (11)
The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets (1972) (11)
Database Instances, Abstract Data Types and Database Specification (1985) (11)
What we teach software engineers in the university: do we take engineering seriously? (1997) (10)
Taking more of the soft out of software engineering (1993) (10)
From System Requirements to Software Requirements in the Four-Variable Model (2014) (10)
Formal methods versus engineering (2009) (10)
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic (2009) (9)
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus (1999) (9)
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design (2004) (9)
Mathematical Semantics and a Model for Data Bases (1977) (9)
Tracing Aspects in Goal driven Requirements of Process Control Systems (2004) (9)
Proof theory and computer programming (1990) (8)
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers (2007) (8)
A Communication Data Type for Message Oriented Programming (1980) (8)
The Epistemology of Validation and Verification Testing (2005) (8)
A Verification Logic for Rewriting Logic (2005) (8)
Taking Alloy to the Movies (2003) (8)
Abstract Data Types and Type Theory: Theories as Types (1991) (8)
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance (2009) (8)
Towards a Formal Methods Body of Knowledge for Railway Control and Safety Systems: FM-RAIL-BOK Workshop 2013 (2013) (7)
ENGINEERING-IN-THE-LARGE - SOFTWARE ENGINEERING AND INSTRUMENTATION (1990) (7)
Categorical foundations for structured specifications in $${\mathsf{Z}}$$Z (2015) (7)
FDA: Between Process and Product Evaluation (2007) (7)
Formalizing Object-Oriented Models in the Object Calculus (1997) (7)
Use of Tabular Expressions for Refinement Automation (2017) (7)
Modeling Product Lines with Kripke Structures and Modal Logic (2015) (7)
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge (2015) (7)
Synthesising interconnections (1997) (7)
Higher order data types (1980) (7)
The Semantics of Cardinality-Based Feature Models via Formal Languages (2015) (6)
Analysis of Source-to-Target Model Transformations in QueST (2015) (6)
Role of Abstraction in Program Development (Invited Paper) (1986) (6)
On a Generalised Modularisation Theorem (2000) (6)
Separating Safety and Control Systems to Reduce Complexity (2012) (6)
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems (2003) (6)
A Query Structured Approach for Model Transformation (2014) (6)
Challenges in Software Certification (2007) (6)
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications (2013) (6)
A Top-down Step-wise Refinement Methodology for Protocol Specification (1988) (6)
Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems (2004) (6)
An Overview of The Mensurae Language: Specifying Business Processes (2000) (5)
Characterizing Fault-Tolerant Systems by Means of Simulation Relations (2013) (5)
Towards a First-Order Deontic Action Logic (2010) (5)
Formalizing the Glucose Homeostasis Mechanism (2014) (5)
An Informal Approach to Formal (Algebraic) Specifications (1985) (5)
Toward Product Lines of Mathematical Models for Software Model Management (2017) (5)
Electronic Communications of the EASST Volume 46 ( 2011 ) Proceedings of the 11 th International Workshop on Automated Verification of Critical Systems ( AVoCS 2011 ) Positioning Verification in the Context of Software / System Certification (2011) (5)
Specifying and Verifying Business Processes Using PPML (2009) (5)
A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical (2015) (5)
Implementability of requirements in the four-variable model (2015) (5)
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems (2014) (5)
Argument Evaluation in the Context of Assurance Case Confidence Modeling (2014) (5)
A Categorical Approach to Structuring and Promoting Z Specifications (2012) (5)
Composition of reactive system components (2000) (5)
Towards Dynamic Population Management of Abstract Machines in the B Method (2003) (5)
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic (2014) (4)
Verifying Temporal Properties of CommUnity Designs (2007) (4)
Large-Scale Enterprise Systems: Changes and Impacts (2012) (4)
The Definition and Assessment of a Safety Argument (2014) (4)
Positioning Verfification in the Context of Software/System Certification (2012) (4)
Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods (2000) (4)
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy (2009) (3)
Extension Morphisms for CommUnity (2006) (3)
A Branching Time Logical System for Open Distributed Systems Development (2002) (3)
Formalizing the Cardiac Pacemaker Resynchronization Therapy (2015) (3)
Stateflow to Tabular Expressions (2015) (3)
A test framework for integration testing of object-oriented programs (2007) (3)
Large Database Specification from Small Views (1985) (3)
A Separation Principle for Embedded System Interfacing (2014) (3)
Message Oriented Programming - A Resource Based Methodology (1983) (3)
On the Construction of Engineering Handbooks: with an Illustration from the Railway Safety Domain (2020) (3)
PSMT � ICSE Workshop on Precise Semantics for Software Modeling Techniques (1998) (3)
Modular Construction of Logics for Specification (1986) (3)
Erratum: A Generalized Approach to Formal Languages (1977) (3)
A Methodology for Message Oriented Programming (1980) (3)
Towards Making Safety Case Arguments Explicit, Precise, and Well Founded (2020) (3)
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic (2016) (3)
Simulation relations for fault-tolerance (2017) (3)
Logic and algebraic methods (2000) (3)
What we teach sofware engineers in the university: Do we take engineering seriously? (1997) (2)
A Mathematical Toolbox for the Software Architec (1996) (2)
On specifying systems that connect to the physical world (2006) (2)
Towards a software engineered road for developing process control systems (2004) (2)
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams (2016) (2)
Implementing Dynamic Aggregations of Abstract Machines in the B Method (2004) (2)
Proceedings of the international joint conference on theory and practice of software development on Colloquium on trees in algebra and programming (CAAP '91): vol 1 (1991) (2)
Impact Analysis via Reachability and Alias Analysis (2014) (2)
A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case (2016) (2)
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity (2012) (2)
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting (2014) (2)
A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules (2015) (2)
Change Impact Analysis for Large-scale Enterprise Systems (2015) (2)
What IS a BoK? Large - Extended Abstract - (2013) (2)
Towards Category Theory Foundations for Model Management (2014) (2)
Parallel Rewriting Systems on terms (1974) (2)
Conceptual modeling of data base operations (1981) (2)
A message oriented language for system applications (1982) (1)
Rigorous Analysis and Design for Software Intensive Systems (Dagstuhl Seminar 99451) (2021) (1)
Proceedings of the Third Internationsl Conference on Fundamental Approaches to Software Engineering: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000 (2000) (1)
Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming (1981) (1)
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT'—an ICSE'98 Workshop) (2000) (1)
Satisfiability Calculus: An Abstract Formulation of Semantic Proof Systems (2019) (1)
A proof theoretic basis for relational semantics (2021) (1)
Erratum to: Challenges in Software Certification (2007) (1)
A Framework for Describing Software Architectures for Reuse (1999) (1)
On what exactly goes on when software is developed step-by-step, II: The sequel (2003) (1)
Proceedings of the 10th International Conference on Formal Methods and Software Engineering (2008) (1)
A formal approach to rigorous development of critical systems (2021) (1)
A Graph Transformation Approach to Introducing Aspects into Software Architectures (2017) (1)
Proceedings of the International Joint Conference on Theory and Practice of Software Development, Volume 2: Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Developmemnt (CCPSD) (1991) (1)
Certification Formal Evaluation of The Cardiac Pacemaker Resynchronization Therapy (2014) (1)
Proceedings of the 15th international symposium on Formal Methods (2008) (1)
Categorical foundations for structured specifications in Z\documentclass[12pt]{minimal} \usepackage{amsmath} \usepackage{wasysym} \usepackage{amsfonts} \usepackage{amssymb} \usepackage{amsbsy} \usepackage{mathrsfs} \usepackage{upgreek} \setlength{\oddsidemargin}{-69pt} \begin{document}$${\mathsf{Z}} (2015) (1)
Consistency checking of clinical practice guidelines with MITDL (2016) (1)
VDM in 2000! Proceedings of the 2nd VDM Workshop (2000) (1)
Systematising Reactive System Design (1999) (1)
Towards Dynamically Communicating Abstract Machines in the B Method (2005) (1)
Advances in Distributed Computing (ADC) and Colloquium on Combining Paradigms for Software Development (CCPSD) (1991) (1)
Configuration versus Use: Specification Languages versus Logics (1988) (1)
The Semantics of Feature Models via Formal Languages (Extended Version) (2015) (1)
Fundamental Approaches to Software Engineering (2000) (1)
Characterizing Locality (Encapsulation) with Bisimulation (2010) (1)
How do I trust thee? Let me count the ways (2002) (1)
Structuring of Specifications within a Logical Theory of Data Types (1983) (1)
syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications (2015) (1)
Conclusions and Prospects for Future Work (2020) (0)
Simulation relations for fault-tolerance (2017) (0)
Mechanics of Megamodeling : Design Patterns and Laws (2013) (0)
Development Workspaces: an Introduction (0)
Hierarchical Temporal Speciflcations of Dynamically Reconflgurable Component Based Systems (2004) (0)
Encapsulating deontic and branching time specifications (2012) (0)
KM99] GP Kogan and JA Makowsky. Computing Schur functions for Borchardt matrices. in preparation, 1999. Kog96] GP Kogan. Computing the permanent over elds of characteristic 3: Where and why it becomes dificult. In FOCS'96, pages 108 {114. IEEE, 1996 (1996) (0)
Example HB Entry of a Formal Method for the Railway Domain — Step 6 (2020) (0)
The VDM + B project : Objectives and (2007) (0)
On the construction of explosive relation algebras (2020) (0)
Resource &equil; abstract data type + synchronization - A methodology for message oriented programming - (1981) (0)
Comparative Semantics of Feature Diagrams : FFD vs . vDFG (0)
Fundamental approaches to software engineering : third International Conference, FASE 2000, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000 : proceedings (2000) (0)
Introduction and Motivation (2020) (0)
A Conceptual Framework for BX (2013) (0)
FM-RAIL-BOK organizers' message (2014) (0)
CERTSOFT06 First International Workshop on Software Certification (2006) (0)
Is Current Incremental Safety Assurance Sound? (2015) (0)
Related work (2019) (0)
Actions and Events in Concurrent Systems Design (2014) (0)
Certification of Software-Driven Medical Devices (2010) (0)
Multiset Theories of Cardinality-based Feature Diagrams (2016) (0)
Program Semantics , Verification , and Construction (0)
Temporal Specifications of Component Based Systems with Polymorphic Dynamic Reconfiguration (2006) (0)
Formal methods and software engineering : 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, Japan, October 27-31, 2008 : proceedings (2008) (0)
A Mathematical Toolbox for the Software (1996) (0)
CERTSOFT 06 First International Workshop on Software Certification A satellite event of FM 2006 (2006) (0)
2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification (2011) (0)
Categorical Logic Categorical Logic (1995) (0)
Report and thesisA uniform logical treatment of queries and updates, tech. rep. DB018001-1980 (1980) (0)
Software certification consortium: certification methods for safety-critical software (2010) (0)
The VDM + B project : Objectives and Progress (2008) (0)
Formal Aspects of Computing: Editorial (2010) (0)
MUL T/-AGENT SOFTWARE ARCHITECTURES TOWARDS THE APPLICATION OF SOFTWARE ARCHITECTURES IN MULTI-AGENT SYSTEMS By (2017) (0)
A theoretical framework for cardinality-based feature models: The semantics and computational aspects (2018) (0)
Foundations of Component-Based Systems (2000) (0)
Design in CommUnity with Extension Morphisms (2007) (0)
Contract by systems modelling: a case study on the FDA principles of software validation (2007) (0)
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics (2012) (0)
A General Method for Composing an Engineering HB (2020) (0)
Formal Methods and Software Engineering: 10th International Conference on Formal Engineering Methods ICFEM 2008, Kitakyushu-City, Japan, October 27-31, ... / Programming and Software Engineering) (2008) (0)
Application of the General Method to the Railway Domain (2020) (0)
Hiding Information via Abstraction (on the Role of Uniform Interpolants in a Development Workspace) (0)
FM'99 - Formal Methods (1999) (0)
Formal Methods: A Commentary (1987) (0)
Automated Reasoning over Deontic Action Logics with Finite Vocabularies (2014) (0)
On the design and specification of message oriented programs (1980) (0)
A Product- Approach to Software (2008) (0)
Elementary Model Management Patterns (2015) (0)

This paper list is powered by the following services:

Other Resources About Tom Maibaum

en.wikipedia.org

What Schools Are Affiliated With Tom Maibaum?

Tom Maibaum is affiliated with the following schools: