T. S. E. Maibaum

According to our database1, T. S. E. Maibaum authored at least 180 papers between 1972 and 2018.

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

2018
A theoretical framework for cardinality-based feature models: The semantics and computational aspects.
J. Log. Algebr. Meth. Program., 2018

Assurance via model transformations and their hierarchical refinement.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

2017
Simulation relations for fault-tolerance.
Formal Asp. Comput., 2017

Toward Product Lines of Mathematical Models for Software Model Management.
Proceedings of the Software Technologies: Applications and Foundations, 2017

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.
Proceedings of the Computer Safety, Reliability, and Security, 2017

A Graph Transformation Approach to Introducing Aspects into Software Architectures.
Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Use of Tabular Expressions for Refinement Automation.
Proceedings of the Model and Data Engineering - 7th International Conference, 2017

2016
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic.
Sci. Ann. Comp. Sci., 2016

Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams.
Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Heterogeneous Megamodel Slicing for Model Evolution.
Proceedings of the 10th Workshop on Models and Evolution co-located with ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems (MODELS 2016), 2016

A model management approach for assurance case reuse due to system evolution.
Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Model management for regulatory compliance: a position paper.
Proceedings of the 8th International Workshop on Modeling in Software Engineering, 2016

A (Proto) Logical Basis for the Notion of a Structured Argument in a Safety Case.
Proceedings of the Formal Methods and Software Engineering, 2016

2015
Implementability of requirements in the four-variable model.
Sci. Comput. Program., 2015

Categorical foundations for structured specifications in Z.
Formal Asp. Comput., 2015

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?
IEEE Design & Test, 2015

syntMaskFT: A Tool for Synthesizing Masking Fault-Tolerant Programs from Deontic Specifications.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2015

A Propositional Tableaux Based Proof Calculus for Reasoning with Default Rules.
Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Elementary Model Management Patterns.
Proceedings of the First Workshop on Patterns in Model Engineering, 2015

Stateflow to Tabular Expressions.
Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Is Current Incremental Safety Assurance Sound?
Proceedings of the Computer Safety, Reliability, and Security, 2015

Analysis of Source-to-Target Model Transformations in QueST.
Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

Modeling Product Lines with Kripke Structures and Modal Logic.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Formalizing the Cardiac Pacemaker Resynchronization Therapy.
Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge.
Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

The Semantics of Cardinality-Based Feature Models via Formal Languages.
Proceedings of the FM 2015: Formal Methods, 2015

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical.
Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014
What Is a Derived Signature Morphism?
Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems.
Proceedings of the Product-Focused Software Process Improvement, 2014

A Query Structured Approach for Model Transformation.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Argument Evaluation in the Context of Assurance Case Confidence Modeling.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

The Definition and Assessment of a Safety Argument.
Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A Separation Principle for Embedded System Interfacing.
Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Impact Analysis via Reachability and Alias Analysis.
Proceedings of the Practice of Enterprise Modeling - 7th IFIP WG 8.1 Working Conference, 2014

A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Formalizing the Glucose Homeostasis Mechanism.
Proceedings of the Digital Human Modeling. Applications in Health, Safety, Ergonomics and Risk Management, 2014

Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic.
Proceedings of the FM 2014: Formal Methods, 2014

2013
From System Requirements to Software Requirements in the Four-Variable Model.
ECEASST, 2013

Automated Reasoning over Deontic Action Logics with Finite Vocabularies.
Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Actions and Events in Concurrent Systems Design.
Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Mapping-Aware Megamodeling: Design Patterns and Laws.
Proceedings of the Software Language Engineering - 6th International Conference, 2013

What IS a BoK? Large - Extended Abstract -.
Proceedings of the Software Engineering and Formal Methods, 2013

Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence.
Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Characterizing Fault-Tolerant Systems by Means of Simulation Relations.
Proceedings of the Integrated Formal Methods, 10th International Conference, 2013

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving.
Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Safety cases: a review of challenges.
Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.
Proceedings of the Automated Technology for Verification and Analysis, 2013

2012
Encapsulating deontic and branching time specifications.
Theor. Comput. Sci., 2012

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond
Proceedings of the Proceedings Seventh ACCAT Workshop on Applied and Computational Category Theory, 2012

Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.
Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Large-Scale Enterprise Systems: Changes and Impacts.
Proceedings of the Enterprise Information Systems - 14th International Conference, 2012

Change Impact Analysis for Large-scale Enterprise Systems.
Proceedings of the ICEIS 2012 - Proceedings of the 14th International Conference on Enterprise Information Systems, Volume 2, Wroclaw, Poland, 28 June, 2012

Intermodeling, Queries, and Kleisli Categories.
Proceedings of the Fundamental Approaches to Software Engineering, 2012

A Categorical Approach to Structuring and Promoting Z Specifications.
Proceedings of the Formal Aspects of Component Software, 9th International Symposium, 2012

Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity.
Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Separating Safety and Control Systems to Reduce Complexity.
Proceedings of the Conquering Complexity, 2012

2011
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump.
Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

Software certification experience in the canadian nuclear industry: lessons for the future.
Proceedings of the 11th International Conference on Embedded Software, 2011

2nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification.
Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010
Towards a First-Order Deontic Action Logic.
Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Software Certification: Is There a Case against Safety Cases?
Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Certification of Software-Driven Medical Devices.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Characterizing Locality (Encapsulation) with Bisimulation.
Proceedings of the Theoretical Aspects of Computing, 2010

Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting.
Proceedings of the Theoretical Aspects of Computing, 2010

Software certification consortium: certification methods for safety-critical software.
Proceedings of the 2010 conference of the Centre for Advanced Studies on Collaborative Research, 2010

2009
Reasoning about System-Degradation and Fault-Recovery with Deontic Logic.
Proceedings of the Methods, 2009

Formal methods versus engineering.
SIGCSE Bulletin, 2009

Deontic action logic, atomic boolean algebras and fault-tolerance.
J. Applied Logic, 2009

A Software Certification Consortium and its Top 9 Hurdles.
Electr. Notes Theor. Comput. Sci., 2009

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance.
Electr. Notes Theor. Comput. Sci., 2009

Specifying and Verifying Business Processes Using PPML.
Proceedings of the Formal Methods and Software Engineering, 2009

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.
Proceedings of the Fundamental Approaches to Software Engineering, 2009

2008
A Product-Focused Approach to Software Certification.
IEEE Computer, 2008

On Software Certification: We Need Product-Focused Approaches.
Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

A Tableaux System for Deontic Action Logic.
Proceedings of the Deontic Logic in Computer Science, 9th International Conference, 2008

2007
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers.
Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

An Approach to Integration Testing of Object-Oriented Programs.
Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Verifying Temporal Properties of CommUnity Designs.
Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

A Complete and Compact Propositional Deontic Logic.
Proceedings of the Theoretical Aspects of Computing, 2007

Challenges in Software Certification.
Proceedings of the Formal Methods and Software Engineering, 2007

A test framework for integration testing of object-oriented programs.
Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007

Design in CommUnity with Extension Morphisms.
Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006
On specifying systems that connect to the physical world.
Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

Towards specification, modelling and analysis of fault tolerance in self managed systems.
Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Extension Morphisms for CommUnity.
Proceedings of the Algebra, Meaning, and Computation, 2006

2005
Reasoning about static and dynamic properties in alloy: A purely relational approach.
ACM Trans. Softw. Eng. Methodol., 2005

A Verification Logic for Rewriting Logic.
J. Log. Comput., 2005

The Epistemology of Validation and Verification Testing.
Proceedings of the Testing of Communicating Systems, 2005

Towards Dynamically Communicating Abstract Machines in the B Method.
Proceedings of the Formal Methods and Software Engineering, 2005

2004
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.
Electr. Notes Theor. Comput. Sci., 2004

Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems.
Proceedings of the Software Reuse: Methods, 2004

Implementing Dynamic Aggregations of Abstract Machines in the B Method.
Proceedings of the Formal Methods and Software Engineering, 2004

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design.
Proceedings of the Fundamental Approaches to Software Engineering, 2004

2003
On what exactly goes on when software is developed step-by-step, II: The sequel.
Inf. Process. Lett., 2003

Towards Dynamic Population Management of Abstract Machines in the B Method.
Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Goal-Oriented Requirements Analysis for Process Control Systems Design.
Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Taking Alloy to the Movies.
Proceedings of the FME 2003: Formal Methods, 2003

A Logical Basis for the Specification of Reconfigurable Component-Based Systems.
Proceedings of the Fundamental Approaches to Software Engineering, 2003

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.
Proceedings of the Verification: Theory and Practice, 2003

2002
A Branching Time Logical System for Open Distributed Systems Development.
Electr. Notes Theor. Comput. Sci., 2002

Desert Island Column.
Autom. Softw. Eng., 2002

In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003.
Proceedings of the Formal Methods at the Crossroads. From Panacea to Foundational Support, 2002

A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems.
Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

How Do I Trust Thee? Let Me Count The Ways.
Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001
Interpolation in Practical Formal Development.
Logic Journal of the IGPL, 2001

Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering.
Proceedings of the 23rd International Conference on Software Engineering, 2001

Towards Electronic Contract Performance.
Proceedings of the 12th International Workshop on Database and Expert Systems Applications (DEXA 2001), 2001

Interpretability of First-Order Dynamic Logic in a Relational Calculus.
Proceedings of the Relational Methods in Computer Science, 2001

2000
A rely-guarantee discipline for open distributed systems design.
Inf. Process. Lett., 2000

On a generalized modularization theorem.
Inf. Process. Lett., 2000

Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop).
Autom. Softw. Eng., 2000

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.
Proceedings of the ZB 2000: Formal Specification and Development in Z and B, First International Conference of B and Z Users, York, UK, August 29, 2000

An Overview of The Mensurae Language: Specifying Business Processes.
Proceedings of the Rigorous Object-Oriented Methods, 2000

Mathematical foundations of software engineering: a roadmap.
Proceedings of the 22nd International Conference on on Software Engineering, 2000

1999
A Framework for Describing Software Architectures for Reuse.
Proceedings of the Software Architecture, 1999

Towards a Verification Logic for Rewriting Logic.
Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm.
Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Systematising Reactive System Design.
Proceedings of the Algebraic Methodology and Software Technology, 1998

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.
Proceedings of the Algebraic Methodology and Software Technology, 1998

1997
Categorical Semantics of Parallel Program Design.
Sci. Comput. Program., 1997

Conservative Extensions, Interpretations Between Theories and All That!
Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Notes on Refinement, Interpolation and Uniformity.
Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

What We Teach Software Engineers in the University: Do We Take Engineering Seriously?
Proceedings of the Software Engineering, 1997

Formalizing Object-Oriented Models in the Object Calculus.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.
Proceedings of the ECOOP'97, 1997

Synthesising interconnections.
Proceedings of the Algorithmic Languages and Calculi, 1997

Towards a compositional interpretation of object diagrams.
Proceedings of the Algorithmic Languages and Calculi, 1997

1995
On the Modularization Theorem for Logical Specifications.
Inf. Process. Lett., 1995

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality.
Proceedings of the SIGSOFT '95, 1995

1994
Verifying for Reuse: Foundations of Object-Oriented System Verification.
Proceedings of the Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, 1994

Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects.
Proceedings of the Temporal Logic, First International Conference, 1994

1993
Formally specifying temporal constraints and error recovery.
Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Taking More of the Soft out of Software Engineering.
Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Generalising Interpretations between Theories in the context of (pi-) Institutions.
Proceedings of the Theory and Formal Methods 1993, 1993

1992
Editorial.
J. Log. Comput., 1992

A Constructive Presentation for the Modal Connective of Necessity (\Box).
J. Log. Comput., 1992

Temporal Theories as Modularisation Units for Concurrent System Specification.
Formal Asp. Comput., 1992

1991
Abstract Data Types and Type Theory: Theories as Types.
Math. Log. Q., 1991

Temporal reasoning over deontic specifications.
J. Log. Comput., 1991

Sharing Actions and Attributes in Modal Action Logic.
Proceedings of the Theoretical Aspects of Computer Software, 1991

Process Semantics of Temporal Logic Specifications.
Proceedings of the Recent Trends in Data Type Specification, 1991

1990
Proof theory and computer programming.
Math. Log. Q., 1990

Describing, Structuring and Implementing Objects.
Proceedings of the Foundations of Object-Oriented Languages, 1990

Proof-Theoretic Semantics of Object-Oriented Specification Constructs.
Proceedings of the Object-Oriented Databases: Analysis, 1990

1989
A Pluralistic Knowledge-Based Approach to Software Specification.
Proceedings of the ESEC '89, 1989

1988
A Top-down Step-wise Refinement Methodology for Protocol Specification.
Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

Configuration versus Use: Specification Languages versus Logics.
ADT, 1988

1987
Formal Methods: A Commentary.
JIT, 1987

The Prescription and Description of State Based Systems.
Proceedings of the Temporal Logic in Specification, 1987

1986
Role of Abstraction in Program Development (Invited Paper).
IFIP Congress, 1986

Modular Construction of Logics for Specification.
ADT, 1986

1985
Database Instances, Abstract Data Types and Database Specification.
Comput. J., 1985

An Informal Approach to Formal (Algebraic) Specifications.
Comput. J., 1985

A Theory of Abstract Data Types for Program Development: Bridging the Gap?
Proceedings of the Mathematical Foundations of Software Development, 1985

Large Database Specification from Small Views.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

Database Specification.
Proceedings of the IFIP WG 2.6 Working Conference on Data Semantics (DS-1). Hasselt, 1985

1984
On What Exactly Is Going On When Software Is Developed Step-by-Step.
Proceedings of the Proceedings, 1984

Logical Specification and Implementation.
Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

Axiomatizing Specification Theory.
Proceedings of the Recent Trends in Data Type Specification, 1984

1983
Message Oriented Programming - A Resource Based Methodology.
Comput. Lang., 1983

A Modal System of Algebras for Database Specification and Query/Update Language Support.
Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983

Structuring of Specifications within a Logical Theory of Data Types.
ADT, 1983

1982
Continuous Data Types.
SIAM J. Comput., 1982

A message oriented language for system applications.
Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981
Conceptual modeling of data base operations.
International Journal of Parallel Programming, 1981

Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming.
Proceedings of the 5th International Conference on Software Engineering, 1981

A Synchronization Calculus for Message Oriented Programming.
Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980
Higher order data types.
International Journal of Parallel Programming, 1980

On the design and specification of message oriented programs.
International Journal of Parallel Programming, 1980

A Methodology for Message Oriented Programming.
Proceedings of the Programmiersprachen und Programmentwicklung, 1980

A Communication Data Type for Message Oriented Programming.
Proceedings of the International Symposium on Programming, 1980

1979
Equations Compared with Clauses for Specification of Abstract Data Types.
Proceedings of the Advances in Data Base Theory, 1979

1978
Pumping Lemmas for Term Languages.
J. Comput. Syst. Sci., 1978

1977
Erratum: A Generalized Approach to Formal Languages.
J. Comput. Syst. Sci., 1977

Mathematical Semantics and a Model for Data Bases.
IFIP Congress, 1977

1974
A Generalized Approach to Formal Languages.
J. Comput. Syst. Sci., 1974

Parallel Rewriting Systems on terms.
Proceedings of the Automata, Languages and Programming, 2nd Colloquium, University of Saarbrücken, Germany, July 29, 1974

1972
The Characterization of the Derivation Trees of Context Free Sets of Terms as Regular Sets
Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972


  Loading...