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