T. S. E. Maibaum

According to our database, T. S. E. Maibaum authored at least 193 papers between 1972 and 2021.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2021

A formal approach to rigorous development of critical systems.

Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

J. Softw. Evol. Process., 2021

A proof theoretic basis for relational semantics.

Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum

CoRR, 2021

2020

On the Construction of Engineering Handbooks - with an Illustration from the Railway Safety Domain

Stefan Gruner, Apurva Kumar, Tom Maibaum, Markus Roggenbach

Springer Briefs in Computer Science, Springer, ISBN: 978-3-030-44647-5, 2020

On the construction of explosive relation algebras.

Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum

CoRR, 2020

2019

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

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

Assurance via model transformations and their hierarchical refinement.

Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford

Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

2017

Simulation relations for fault-tolerance.

Ramiro Demasi, Pablo F. Castro, Thomas Stephen Edward Maibaum, Nazareno Aguirre

Formal Aspects Comput., 2017

Toward Product Lines of Mathematical Models for Software Model Management.

Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum

Proceedings of the Software Technologies: Applications and Foundations, 2017

Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach.

Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum

Proceedings of the Computer Safety, Reliability, and Security, 2017

A Graph Transformation Approach to Introducing Aspects into Software Architectures.

Md Nour Hossain, Wolfram Kahl, Tom Maibaum

Proceedings of MODELS 2017 Satellite Event: Workshops (ModComp, 2017

Use of Tabular Expressions for Refinement Automation.

Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Model and Data Engineering - 7th International Conference, 2017

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

Multiset Theories of Cardinality-based Feature Diagrams.

Aliakbar Safilian, Tom Maibaum

CoRR, 2016

Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams.

Aliakbar Safilian, Tom Maibaum

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Heterogeneous Megamodel Slicing for Model Evolution.

Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum

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.

Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

Model management for regulatory compliance: a position paper.

Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum

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.

Valentin Cassano, Thomas Stephen Edward Maibaum, Silviya Grigorova

Proceedings of the Formal Methods and Software Engineering, 2016

2015

Implementability of requirements in the four-variable model.

Lucian M. Patcas, Mark Lawford, Tom Maibaum

Sci. Comput. Program., 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

Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards?

Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum

IEEE Des. Test, 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

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.

Valentin Cassano, Carlos Gustavo López Pombo, Thomas Stephen Edward Maibaum

Proceedings of the Automated Reasoning with Analytic Tableaux and Related Methods, 2015

Elementary Model Management Patterns.

Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh

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

Stateflow to Tabular Expressions.

Neeraj Kumar Singh, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

Proceedings of the Sixth International Symposium on Information and Communication Technology, 2015

Is Current Incremental Safety Assurance Sound?

Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Computer Safety, Reliability, and Security, 2015

Analysis of Source-to-Target Model Transformations in QueST.

Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum

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.

Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David

Proceedings of the Theoretical Aspects of Computing - ICTAC 2015, 2015

Stepwise Formal Modelling and Reasoning of Insulin Infusion Pump Requirements.

Neeraj Kumar Singh, Hao Wang, Mark Lawford, Thomas Stephen Edward Maibaum, Alan Wassyng

Proceedings of the Digital Human Modeling - Applications in Health, Safety, Ergonomics and Risk Management: Ergonomics and Health, 2015

Formalizing the Cardiac Pacemaker Resynchronization Therapy.

Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

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.

Stefan Gruner, Apurva Kumar, Tom Maibaum

Proceedings of the Formal Techniques for Safety-Critical Systems, 2015

The Semantics of Cardinality-Based Feature Models via Formal Languages.

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin

Proceedings of the FM 2015: Formal Methods, 2015

A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical.

Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki

Proceedings of the Modelling Foundations and Applications - 11th European Conference, 2015

2014

What Is a Derived Signature Morphism?

Till Mossakowski, Ulf Krumnack, Tom Maibaum

Proceedings of the Recent Trends in Algebraic Development Techniques, 2014

Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems.

Wen Chen, Alan Wassyng, Tom Maibaum

Proceedings of the Product-Focused Software Process Improvement, 2014

A Query Structured Approach for Model Transformation.

Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum

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.

Silviya Grigorova, T. S. E. Maibaum

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

The Definition and Assessment of a Safety Argument.

Valentin Cassano, T. S. E. Maibaum

Proceedings of the 25th IEEE International Symposium on Software Reliability Engineering Workshops, 2014

A Separation Principle for Embedded System Interfacing.

Lucian M. Patcas, Mark Lawford, Tom Maibaum

Proceedings of the Integrated Formal Methods - 11th International Conference, 2014

Impact Analysis via Reachability and Alias Analysis.

Wen Chen, Alan Wassyng, Tom Maibaum

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.

Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Theoretical Aspects of Computing - ICTAC 2014, 2014

Formalizing the Glucose Homeostasis Mechanism.

Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

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.

Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum

Proceedings of the FM 2014: Formal Methods, 2014

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

Automated Reasoning over Deontic Action Logics with Finite Vocabularies.

Pablo F. Castro, T. S. E. Maibaum

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Actions and Events in Concurrent Systems Design.

Valentin Cassano, T. S. E. Maibaum

Proceedings of the Proceedings First Latin American Workshop on Formal Methods, 2013

Mapping-Aware Megamodeling: Design Patterns and Laws.

Zinovy Diskin, Sahar Kokaly, Tom Maibaum

Proceedings of the Software Language Engineering - 6th International Conference, 2013

What IS a BoK? Large - Extended Abstract -.

Tom Maibaum

Proceedings of the Software Engineering and Formal Methods, 2013

Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence.

Silviya Grigorova, T. S. E. Maibaum

Proceedings of the IEEE 24th International Symposium on Software Reliability Engineering, 2013

Characterizing Fault-Tolerant Systems by Means of Simulation Relations.

Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre

Proceedings of the Integrated Formal Methods, 10th International Conference, 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

Proceedings of the Sixth IEEE International Conference on Software Testing, 2013

Safety cases: a review of challenges.

Zarrin Langari, Tom Maibaum

Proceedings of the 1st International Workshop on Assurance Cases for Software-Intensive Systems, 2013

Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications.

Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre

Proceedings of the Automated Technology for Verification and Analysis, 2013

2012

Encapsulating deontic and branching time specifications.

Pablo F. Castro, T. S. E. Maibaum

Theor. Comput. Sci., 2012

Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond

Zinovy Diskin, T. S. E. Maibaum

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.

Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Recent Trends in Algebraic Development Techniques, 2012

Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows.

Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Formal Methods: Foundations and Applications - 15th Brazilian Symposium, 2012

Large-Scale Enterprise Systems: Changes and Impacts.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng

Proceedings of the Enterprise Information Systems - 14th International Conference, 2012

Change Impact Analysis for Large-scale Enterprise Systems.

Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng

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.

Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki

Proceedings of the Fundamental Approaches to Software Engineering, 2012

A Categorical Approach to Structuring and Promoting Z Specifications.

Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum

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.

Xiang Ling, Tom Maibaum

Proceedings of the 19th Asia-Pacific Software Engineering Conference, 2012

Separating Safety and Control Systems to Reduce Complexity.

Alan Wassyng, Mark Lawford, Tom Maibaum

Proceedings of the Conquering Complexity, 2012

2011

An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump.

Hao Xu, Tom Maibaum

Proceedings of the Foundations of Health Informatics Engineering and Systems, 2011

Software certification experience in the canadian nuclear industry: lessons for the future.

Alan Wassyng, Mark Lawford, T. S. E. Maibaum

Proceedings of the 11th International Conference on Embedded Software, 2011

2^nd Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification.

Tom Maibaum, Paul Joannou

Proceedings of the Center for Advanced Studies on Collaborative Research, 2011

2010

Towards a First-Order Deontic Action Logic.

Pablo F. Castro, T. S. E. Maibaum

Proceedings of the Recent Trends in Algebraic Development Techniques, 2010

Software Certification: Is There a Case against Safety Cases?

Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer

Proceedings of the Foundations of Computer Software. Modeling, Development, and Verification of Adaptive Systems, 2010

Certification of Software-Driven Medical Devices.

Mark Lawford, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Characterizing Locality (Encapsulation) with Bisimulation.

Pablo F. Castro, T. S. E. Maibaum

Proceedings of the Theoretical Aspects of Computing, 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

Proceedings of the Theoretical Aspects of Computing, 2010

Software certification consortium: certification methods for safety-critical software.

Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff

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.

Pablo F. Castro, T. S. E. Maibaum

Proceedings of the Methods, 2009

Formal methods versus engineering.

T. S. E. Maibaum

ACM SIGCSE Bull., 2009

Deontic action logic, atomic boolean algebras and fault-tolerance.

Pablo F. Castro, T. S. E. Maibaum

J. Appl. Log., 2009

Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance.

Pablo F. Castro, T. S. E. Maibaum

Proceedings of the Workshop on Logical Aspects of Fault Tolerance, 2009

Specifying and Verifying Business Processes Using PPML.

Germán Regis, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Formal Methods and Software Engineering, 2009

Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy.

Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng

Proceedings of the Fundamental Approaches to Software Engineering, 2009

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

Proceedings of the First Workshop on Certification of Safety-Critical Software Controlled Systems, 2008

A Product-Focused Approach to Software Certification.

T. S. E. Maibaum, Alan Wassyng

Computer, 2008

On Software Certification: We Need Product-Focused Approaches.

Alan Wassyng, T. S. E. Maibaum, Mark Lawford

Proceedings of the Foundations of Computer Software. Future Trends and Techniques for Development, 2008

A Tableaux System for Deontic Action Logic.

Pablo F. Castro, T. S. E. Maibaum

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.

Pablo F. Castro, T. S. E. Maibaum

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.

Zhe (Jessie) Li, T. S. E. Maibaum

Proceedings of the Seventh International Conference on Quality Software (QSIC 2007), 2007

Verifying Temporal Properties of CommUnity Designs.

Nazareno Aguirre, Germán Regis, T. S. E. Maibaum

Proceedings of the Integrated Formal Methods, 6th International Conference, 2007

A Complete and Compact Propositional Deontic Logic.

Pablo F. Castro, T. S. E. Maibaum

Proceedings of the Theoretical Aspects of Computing, 2007

Challenges in Software Certification.

T. S. E. Maibaum

Proceedings of the Formal Methods and Software Engineering, 2007

A test framework for integration testing of object-oriented programs.

T. S. E. Maibaum, Zhe (Jessie) Li

Proceedings of the 2007 conference of the Centre for Advanced Studies on Collaborative Research, 2007

Design in CommUnity with Extension Morphisms.

Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre

Proceedings of the Formal Methods and Hybrid Real-Time Systems, 2007

2006

On specifying systems that connect to the physical world.

T. S. E. Maibaum

Proceedings of the New Trends in Software Methodologies, Tools and Techniques, 2006

Towards specification, modelling and analysis of fault tolerance in self managed systems.

Jeff Magee, Tom Maibaum

Proceedings of the 2006 international workshop on Self-adaptation and self-managing systems, 2006

Extension Morphisms for CommUnity.

Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar

Proceedings of the Algebra, Meaning, and Computation, 2006

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

A Verification Logic for Rewriting Logic.

Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum

J. Log. Comput., 2005

The Epistemology of Validation and Verification Testing.

T. S. E. Maibaum

Proceedings of the Testing of Communicating Systems, 2005

Towards Dynamically Communicating Abstract Machines in the B Method.

Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum

Proceedings of the Formal Methods and Software Engineering, 2005

2004

Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems.

Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the First International Workshop on Formal Foundations of Embedded Software and Component-based Software Architectures, 2004

Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems.

Islam A. M. El-Maddah, T. S. E. Maibaum

Proceedings of the Software Reuse: Methods, 2004

Implementing Dynamic Aggregations of Abstract Machines in the B Method.

Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum

Proceedings of the Formal Methods and Software Engineering, 2004

The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design.

Islam A. M. El-Maddah, T. S. E. Maibaum

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.

T. S. E. Maibaum

Inf. Process. Lett., 2003

Towards Dynamic Population Management of Abstract Machines in the B Method.

Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum

Proceedings of the ZB 2003: Formal Specification and Development in Z and B, 2003

Goal-Oriented Requirements Analysis for Process Control Systems Design.

Islam A. M. El-Maddah, T. S. E. Maibaum

Proceedings of the 1st ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2003), 2003

Taking <i>Alloy</i> to the Movies.

Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the FME 2003: Formal Methods, 2003

A Logical Basis for the Specification of Reconfigurable Component-Based Systems.

Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Fundamental Approaches to Software Engineering, 2003

Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems.

Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the Verification: Theory and Practice, 2003

2002

A Branching Time Logical System for Open Distributed Systems Development.

Carlos H. C. Duarte, T. S. E. Maibaum

Proceedings of the 9th Workhop on Logic, Language, Information and Computation, 2002

Desert Island Column.

T. S. E. Maibaum

Autom. Softw. Eng., 2002

In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003.

T. S. E. Maibaum

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.

Nazareno Aguirre, T. S. E. Maibaum

Proceedings of the 17th IEEE International Conference on Automated Software Engineering (ASE 2002), 2002

How Do I Trust Thee? Let Me Count The Ways.

T. S. E. Maibaum

Proceedings of the 1st IEEE International Conference on Cognitive Informatics (ICCI 2002), 2002

2001

Interpolation in Practical Formal Development.

Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum

Log. J. IGPL, 2001

Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering.

Armando Martin Haeberer, T. S. E. Maibaum

Proceedings of the 23rd International Conference on Software Engineering, 2001

Towards Electronic Contract Performance.

Aspassia Daskalopulu, T. S. E. Maibaum

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.

Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum

Proceedings of the Relational Methods in Computer Science, 2001

2000

A rely-guarantee discipline for open distributed systems design.

Carlos H. C. Duarte, T. S. E. Maibaum

Inf. Process. Lett., 2000

On a generalized modularization theorem.

Theodosis Dimitrakos, T. S. E. Maibaum

Inf. Process. Lett., 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

Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context.

Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum

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.

T. S. E. Maibaum

Proceedings of the Rigorous Object-Oriented Methods, 2000

Mathematical foundations of software engineering: a roadmap.

T. S. E. Maibaum

Proceedings of the 22nd International Conference on on Software Engineering, 2000

Handbook of logic in computer science. Volume 5. Logic and Algebraic Methods.

Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Clarendon Press, ISBN: 0198537816, 2000

1999

A Framework for Describing Software Architectures for Reuse.

Ezra Kaahwa Mugisa, T. S. E. Maibaum

Proceedings of the Software Architecture, 1999

Towards a Verification Logic for Rewriting Logic.

José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita

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.

Armando Martin Haeberer, T. S. E. Maibaum

Proceedings of the Thirteenth IEEE Conference on Automated Software Engineering, 1998

Systematising Reactive System Design.

T. S. E. Maibaum, Pauline Kan, Kevin Lano

Proceedings of the Algebraic Methodology and Software Technology, 1998

A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus.

Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum

Proceedings of the Algebraic Methodology and Software Technology, 1998

1997

Categorical Semantics of Parallel Program Design.

José Luiz Fiadeiro, T. S. E. Maibaum

Sci. Comput. Program., 1997

Conservative Extensions, Interpretations Between Theories and All That!

T. S. E. Maibaum

Proceedings of the TAPSOFT'97: Theory and Practice of Software Development, 1997

Notes on Refinement, Interpolation and Uniformity.

Theodosis Dimitrakos, T. S. E. Maibaum

Proceedings of the 1997 International Conference on Automated Software Engineering, 1997

What We Teach Software Engineers in the University: Do We Take <i>Engineering</i> Seriously?

T. S. E. Maibaum

Proceedings of the Software Engineering, 1997

Formalizing Object-Oriented Models in the Object Calculus.

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation.

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum

Proceedings of the ECOOP'97, 1997

Synthesising interconnections.

José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum

Proceedings of the Algorithmic Languages and Calculi, 1997

Towards a compositional interpretation of object diagrams.

Juan Bicarregui, Kevin Lano, T. S. E. Maibaum

Proceedings of the Algorithmic Languages and Calculi, 1997

1996

A Mathematical Toolbox for the Software Architec.

José Luiz Fiadeiro, Tom Maibaum

Proceedings of the 8th International Workshop on Software Specification and Design, 1996

1995

On the Modularization Theorem for Logical Specifications.

Paulo A. S. Veloso, T. S. E. Maibaum

Inf. Process. Lett., 1995

Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Third ACM SIGSOFT Symposium on Foundations of Software Engineering, 1995

Handbook of logic in computer science. Volume 4. Semantic modelling.

Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Clarendon Press, ISBN: 0198537808, 1995

1994

Verifying for Reuse: Foundations of Object-Oriented System Verification.

José Luiz Fiadeiro, T. S. E. Maibaum

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.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Temporal Logic, First International Conference, 1994

Handbook of logic in computer science. Volume 3. Semantic Structures.

Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Clarendon Press, ISBN: 019853762X, 1994

1993

Formally specifying temporal constraints and error recovery.

Stuart Kent, T. S. E. Maibaum, William J. Quirk

Proceedings of IEEE International Symposium on Requirements Engineering, 1993

Taking More of the Soft out of Software Engineering.

T. S. E. Maibaum

Proceedings of the 7th International Workshop on Software Specification and Design, 1993

Generalising Interpretations between Theories in the context of (pi-) Institutions.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Theory and Formal Methods 1993, 1993

1992

Editorial.

T. S. E. Maibaum

J. Log. Comput., 1992

A Constructive Presentation for the Modal Connective of Necessity (\Box).

Mario R. F. Benevides, T. S. E. Maibaum

J. Log. Comput., 1992

Temporal Theories as Modularisation Units for Concurrent System Specification.

José Luiz Fiadeiro, T. S. E. Maibaum

Formal Aspects Comput., 1992

Handbook of logic in computer science. Volume 2. Background: Computational structures.

Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Clarendon Press, ISBN: 0198537611, 1992

Handbook of logic in computer science. Volume 1. Background: Mathematical structures.

Samson Abramsky, Dov M. Gabbay, T. S. E. Maibaum

Clarendon Press, ISBN: 0198537352, 1992

1991

Abstract Data Types and Type Theory: Theories as Types.

Ruy J. G. B. de Queiroz, T. S. E. Maibaum

Math. Log. Q., 1991

Temporal reasoning over deontic specifications.

José Luiz Fiadeiro, T. S. E. Maibaum

J. Log. Comput., 1991

Sharing Actions and Attributes in Modal Action Logic.

Mark Ryan, José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Theoretical Aspects of Computer Software, 1991

Process Semantics of Temporal Logic Specifications.

José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum

Proceedings of the Recent Trends in Data Type Specification, 1991

1990

Proof theory and computer programming.

Ruy J. G. B. de Queiroz, T. S. E. Maibaum

Math. Log. Q., 1990

Describing, Structuring and Implementing Objects.

José Luiz Fiadeiro, T. S. E. Maibaum

Proceedings of the Foundations of Object-Oriented Languages, 1990

Proof-Theoretic Semantics of Object-Oriented Specification Constructs.

José Luiz Fiadeiro, Cristina Sernadas, T. S. E. Maibaum, Gunter Saake

Proceedings of the Object-Oriented Databases: Analysis, 1990

1989

A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition.

Celso Niskier, Tom Maibaum, Daniel Schwabe

Proceedings of the 5th International Workshop on Software Specification and Design, 1989

A Pluralistic Knowledge-Based Approach to Software Specification.

Celso Niskier, T. S. E. Maibaum, Daniel Schwabe

Proceedings of the ESEC '89, 1989

1988

A Top-down Step-wise Refinement Methodology for Protocol Specification.

Da-Hai Li, T. S. E. Maibaum

Proceedings of the Concurrency 88: International Conference on Concurrency, 1988

Configuration versus Use: Specification Languages versus Logics.

T. S. E. Maibaum

Proceedings of the 6st Workshop on Abstract Data Type, 1988. University of Berlin, Germany, 1988

1987

Formal Methods: A Commentary.

Tom Maibaum, Martin R. Sadler

J. Inf. Technol., 1987

The Prescription and Description of State Based Systems.

Samit Khosla, T. S. E. Maibaum

Proceedings of the Temporal Logic in Specification, 1987

1986

Role of Abstraction in Program Development (Invited Paper).

T. S. E. Maibaum

Proceedings of the Information Processing 86, 1986

Modular Construction of Logics for Specification.

T. S. E. Maibaum

Proceedings of the 4st Workshop on Abstract Data Type, 1986

1985

Database Instances, Abstract Data Types and Database Specification.

T. S. E. Maibaum

Comput. J., 1985

An Informal Approach to Formal (Algebraic) Specifications.

António L. Furtado, T. S. E. Maibaum

Comput. J., 1985

A Theory of Abstract Data Types for Program Development: Bridging the Gap?

T. S. E. Maibaum, Paulo A. S. Veloso, M. R. Sadler

Proceedings of the Mathematical Foundations of Software Development, 1985

Large Database Specification from Small Views.

Samit Khosla, T. S. E. Maibaum, M. R. Sadler

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1985

Database Specification.

Samit Khosla, T. S. E. Maibaum, M. R. Sadler

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.

T. S. E. Maibaum, Wladyslaw M. Turski

Proceedings of the Proceedings, 1984

Logical Specification and Implementation.

T. S. E. Maibaum, M. R. Sadler, Paulo A. S. Veloso

Proceedings of the Foundations of Software Technology and Theoretical Computer Science, 1984

Axiomatizing Specification Theory.

T. S. E. Maibaum, M. R. Sadler

Proceedings of the Recent Trends in Data Type Specification, 1984

1983

Message Oriented Programming - A Resource Based Methodology.

Paulo R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum

Comput. Lang., 1983

A Modal System of Algebras for Database Specification and Query/Update Language Support.

Forouzan Golshani, T. S. E. Maibaum, M. R. Sadler

Proceedings of the 9th International Conference on Very Large Data Bases, October 31, 1983

Structuring of Specifications within a Logical Theory of Data Types.

T. S. E. Maibaum

Proceedings of the Proceedings 2nd Workshop on Abstract Data Type, 1983

1982

Continuous Data Types.

Michael R. Levy, T. S. E. Maibaum

SIAM J. Comput., 1982

A message oriented language for system applications.

A. Koch, T. S. E. Maibaum

Proceedings of the Proceedings of the 3rd International Conference on Distributed Computing Systems, 1982

1981

Conceptual modeling of data base operations.

Clesio Saraiva dos Santos, T. S. E. Maibaum, António L. Furtado

Int. J. Parallel Program., 1981

Resource = Abstract Data Type + Synchronization - A Methodology for Message Oriented Programming.

Paulo R. F. Cunha, T. S. E. Maibaum

Proceedings of the 5th International Conference on Software Engineering, 1981

A Synchronization Calculus for Message Oriented Programming.

Paulo Roberto Freire Cunha, T. S. E. Maibaum

Proceedings of the 2nd International Conference on Distributed Computing Systems, 1981

1980

Higher order data types.

T. S. E. Maibaum, Carlos José Pereira de Lucena

Int. J. Parallel Program., 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

A Methodology for Message Oriented Programming.

Paulo R. F. Cunha, Carlos José Pereira de Lucena, T. S. E. Maibaum

Proceedings of the Programmiersprachen und Programmentwicklung, 1980

A Communication Data Type for Message Oriented Programming.

Paulo R. F. Cunha, T. S. E. Maibaum

Proceedings of the International Symposium on Programming, 1980

1979

Equations Compared with Clauses for Specification of Abstract Data Types.

Maarten H. van Emden, T. S. E. Maibaum

Proceedings of the Advances in Data Base Theory, 1979

1978

Pumping Lemmas for Term Languages.

T. S. E. Maibaum

J. Comput. Syst. Sci., 1978

1977

Erratum: A Generalized Approach to Formal Languages.

T. S. E. Maibaum

J. Comput. Syst. Sci., 1977

Mathematical Semantics and a Model for Data Bases.

T. S. E. Maibaum

Proceedings of the Information Processing, 1977

1974

A Generalized Approach to Formal Languages.

T. S. E. Maibaum

J. Comput. Syst. Sci., 1974

Parallel Rewriting Systems on terms.

Karel Culík II, T. S. E. Maibaum

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

T. S. E. Maibaum

Proceedings of the 13th Annual Symposium on Switching and Automata Theory, 1972