#34,019

Most Influential Person

Computer scientist

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 .

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

This paper list is powered by the following services:

Tom Maibaum is affiliated with the following schools:

This website uses cookies to enhance the user experience. Privacy Policy

Get the latest Academic Influence news, information, and rankings with our upcoming newsletter.

Stay informed!