T. S. E. Maibaum

Publication Activity (10 Years)

Years Active: 1972-2020
Publications (10 Years): 2

Top Venues

LAFM

ISSRE Workshops

HCI (17)

CoRR

Publications

Carlos Gustavo López Pombo, Marcelo F. Frias, T. S. E. Maibaum
On the construction of explosive relation algebras. CoRR (2020)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Use of Tabular Expressions for Refinement Automation. MEDI (2017)
Valentin Cassano, Silviya Grigorova, Neeraj Kumar Singh, Morayo Adedjouma, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Is Current Incremental Safety Assurance Sound? SAFECOMP Workshops (2015)
Pablo F. Castro, Nazareno Aguirre, Carlos López Pombo, T. S. E. Maibaum
Categorical foundations for structured specifications in Z. Formal Aspects Comput. 27 (5-6) (2015)
Neeraj Kumar Singh, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Cardiac Pacemaker Resynchronization Therapy. HCI (17) (2015)
Valentin Cassano, T. S. E. Maibaum
The Definition and Assessment of a Safety Argument. ISSRE Workshops (2014)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
A Heterogeneous Characterisation of Component-Based System Design in a Categorical Setting. ICTAC (2014)
Silviya Grigorova, T. S. E. Maibaum
Argument Evaluation in the Context of Assurance Case Confidence Modeling. ISSRE Workshops (2014)
Neeraj Kumar Singh, Hao Wang, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Formalizing the Glucose Homeostasis Mechanism. HCI (20) (2014)
Morteza Yousef Sanati, Wendy MacCaull, T. S. E. Maibaum
Analyzing Clinical Practice Guidelines Using a Decidable Metric Interval-Based Temporal Logic. FM (2014)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Characterizing Fault-Tolerant Systems by Means of Simulation Relations. IFM (2013)
Valentin Cassano, T. S. E. Maibaum
Actions and Events in Concurrent Systems Design. LAFM (2013)
Pablo F. Castro, T. S. E. Maibaum
Automated Reasoning over Deontic Action Logics with Finite Vocabularies. LAFM (2013)
Ramiro Demasi, Pablo F. Castro, T. S. E. Maibaum, Nazareno Aguirre
Synthesizing Masking Fault-Tolerant Systems from Deontic Specifications. ATVA (2013)
Silviya Grigorova, T. S. E. Maibaum
Taking a page from the law books: Considering evidence weight in evaluating assurance case confidence. ISSRE (Supplemental Proceedings) (2013)
Pablo F. Castro, T. S. E. Maibaum
Encapsulating deontic and branching time specifications. Theor. Comput. Sci. 455 (2012)
Zinovy Diskin, T. S. E. Maibaum
Category Theory and Model-Driven Engineering: From Formal Semantics to Design Patterns and Beyond ACCAT (2012)
Germán Regis, Nicolás Ricci, Nazareno Aguirre, T. S. E. Maibaum
Specifying and Verifying Declarative Fluent Temporal Logic Properties of Workflows. SBMF (2012)
Carlos Gustavo López Pombo, Pablo F. Castro, Nazareno Aguirre, T. S. E. Maibaum
Satisfiability Calculus: The Semantic Counterpart of a Proof Calculus in General Logics. WADT (2012)
Zinovy Diskin, T. S. E. Maibaum, Krzysztof Czarnecki
Intermodeling, Queries, and Kleisli Categories. FASE (2012)
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Change Impact Analysis for Large-scale Enterprise Systems. ICEIS (2) (2012)
Alan Wassyng, Mark Lawford, T. S. E. Maibaum
Software certification experience in the canadian nuclear industry: lessons for the future. EMSOFT (2011)
Mark Lawford, T. S. E. Maibaum, Alan Wassyng
Certification of Software-Driven Medical Devices. ISoLA (2) (2010)
Pablo F. Castro, T. S. E. Maibaum
Towards a First-Order Deontic Action Logic. WADT (2010)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, T. S. E. Maibaum
Towards Managing Dynamic Reconfiguration of Software Systems in a Categorical Setting. ICTAC (2010)
Alan Wassyng, T. S. E. Maibaum, Mark Lawford, Hans Bherer
Software Certification: Is There a Case against Safety Cases? Monterey Workshop (2010)
Pablo F. Castro, T. S. E. Maibaum
Characterizing Locality (Encapsulation) with Bisimulation. ICTAC (2010)
Alan Wassyng, Mark Lawford, T. S. E. Maibaum, Jens H. Weber, John Hatcliff
Software certification consortium: certification methods for safety-critical software. CASCON (2010)
T. S. E. Maibaum
Formal methods versus engineering. ACM SIGCSE Bull. 41 (2) (2009)
Nazareno Aguirre, Marcelo F. Frias, Mariano M. Moscato, T. S. E. Maibaum, Alan Wassyng
Describing and Analyzing Behaviours over Tabular Specifications Using (Dyn)Alloy. FASE (2009)
Pablo F. Castro, T. S. E. Maibaum
Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance. Electron. Notes Theor. Comput. Sci. 258 (2) (2009)
John Hatcliff, Mats Per Erik Heimdahl, Mark Lawford, T. S. E. Maibaum, Alan Wassyng, Fred L. Wurden
A Software Certification Consortium and its Top 9 Hurdles. Electron. Notes Theor. Comput. Sci. 238 (4) (2009)
Germán Regis, Nazareno Aguirre, T. S. E. Maibaum
Specifying and Verifying Business Processes Using PPML. ICFEM (2009)
Pablo F. Castro, T. S. E. Maibaum
Deontic action logic, atomic boolean algebras and fault-tolerance. J. Appl. Log. 7 (4) (2009)
Pablo F. Castro, T. S. E. Maibaum
A Tableaux System for Deontic Action Logic. DEON (2008)
T. S. E. Maibaum, Alan Wassyng
A Product-Focused Approach to Software Certification. Computer 41 (2) (2008)
Alan Wassyng, T. S. E. Maibaum, Mark Lawford
On Software Certification: We Need Product-Focused Approaches. Monterey Workshop (2008)
Pablo F. Castro, T. S. E. Maibaum
An ought-to-do deontic logic for reasoning about fault-tolerance: the diarrheic philosophers. SEFM (2007)
Pablo F. Castro, T. S. E. Maibaum
A Complete and Compact Propositional Deontic Logic. ICTAC (2007)
T. S. E. Maibaum
Challenges in Software Certification. ICFEM (2007)
Zhe (Jessie) Li, T. S. E. Maibaum
An Approach to Integration Testing of Object-Oriented Programs. QSIC (2007)
Xiang Ling, T. S. E. Maibaum, Nazareno Aguirre
Design in CommUnity with Extension Morphisms. Formal Methods and Hybrid Real-Time Systems (2007)
Nazareno Aguirre, Germán Regis, T. S. E. Maibaum
Verifying Temporal Properties of CommUnity Designs. IFM (2007)
T. S. E. Maibaum, Zhe (Jessie) Li
A test framework for integration testing of object-oriented programs. CASCON (2007)
Nazareno Aguirre, T. S. E. Maibaum, Paulo S. C. Alencar
Extension Morphisms for CommUnity. Essays Dedicated to Joseph A. Goguen (2006)
T. S. E. Maibaum
On specifying systems that connect to the physical world. SoMeT (2006)
Marcelo F. Frias, Carlos López Pombo, Gabriel A. Baum, Nazareno Aguirre, T. S. E. Maibaum
Reasoning about static and dynamic properties in alloy: A purely relational approach. ACM Trans. Softw. Eng. Methodol. 14 (4) (2005)
T. S. E. Maibaum
The Epistemology of Validation and Verification Testing. TestCom (2005)
Narciso Martí-Oliet, Isabel Pita, José Luiz Fiadeiro, José Meseguer, T. S. E. Maibaum
A Verification Logic for Rewriting Logic. J. Log. Comput. 15 (3) (2005)
Nazareno Aguirre, Marcelo Arroyo, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
Towards Dynamically Communicating Abstract Machines in the B Method. ICFEM (2005)
Islam A. M. El-Maddah, T. S. E. Maibaum
Requirements-Reuse Using GOPCSD: Component-Based Development of Process Control Systems. ICSR (2004)
Nazareno Aguirre, T. S. E. Maibaum
Hierarchical Temporal Specifications of Dynamically Reconfigurable Component Based Systems. Electron. Notes Theor. Comput. Sci. 108 (2004)
Nazareno Aguirre, Juan Bicarregui, Lucio Guzmán, T. S. E. Maibaum
Implementing Dynamic Aggregations of Abstract Machines in the B Method. ICFEM (2004)
Islam A. M. El-Maddah, T. S. E. Maibaum
The GOPCSD Tool: An Integrated Development Environment for Process Control Requirements and Design. FASE (2004)
Marcelo F. Frias, Carlos López Pombo, Gabriel Baum, Nazareno Aguirre, T. S. E. Maibaum
to the Movies. FME (2003)
Nazareno Aguirre, T. S. E. Maibaum
Some Institutional Requirements for Temporal Reasoning on Dynamic Reconfiguration of Component Based Systems. Verification: Theory and Practice (2003)
T. S. E. Maibaum
On what exactly goes on when software is developed step-by-step, II: The sequel. Inf. Process. Lett. 88 (1-2) (2003)
Islam A. M. El-Maddah, T. S. E. Maibaum
Goal-Oriented Requirements Analysis for Process Control Systems Design. MEMOCODE (2003)
Nazareno Aguirre, T. S. E. Maibaum
A Logical Basis for the Specification of Reconfigurable Component-Based Systems. FASE (2003)
Nazareno Aguirre, Juan Bicarregui, Theodosis Dimitrakos, T. S. E. Maibaum
Towards Dynamic Population Management of Abstract Machines in the B Method. ZB (2003)
T. S. E. Maibaum
In Memoriam Armando Martín Haeberer: 4 January 1947 - 11 February 2003. 10th Anniversary Colloquium of UNU/IIST (2002)
Carlos H. C. Duarte, T. S. E. Maibaum
A Branching Time Logical System for Open Distributed Systems Development. Electron. Notes Theor. Comput. Sci. 67 (2002)
T. S. E. Maibaum
How Do I Trust Thee? Let Me Count The Ways. IEEE ICCI (2002)
Nazareno Aguirre, T. S. E. Maibaum
A Temporal Logic Approach to the Specification of Reconfigurable Component-Based Systems. ASE (2002)
T. S. E. Maibaum
Desert Island Column. Autom. Softw. Eng. 9 (1) (2002)
Juan Bicarregui, Theodosis Dimitrakos, Dov M. Gabbay, T. S. E. Maibaum
Interpolation in Practical Formal Development. Log. J. IGPL 9 (2) (2001)
Armando Martin Haeberer, T. S. E. Maibaum
Scientific Rigour, an Answer to a Pragmatic Question: A Linguistic Framework for Software Engineering. ICSE (2001)
Marcelo F. Frias, Gabriel Baum, T. S. E. Maibaum
Interpretability of First-Order Dynamic Logic in a Relational Calculus. RelMiCS (2001)
Aspassia Daskalopulu, T. S. E. Maibaum
Towards Electronic Contract Performance. DEXA Workshop (2001)
T. S. E. Maibaum
An Overview of The Mensurae Language: Specifying Business Processes. Rigorous Object-Oriented Methods (2000)
T. S. E. Maibaum, Bernhard Rumpe
Automated Software Engineering: Special Issue on Precise Semantics for Software Modeling Techniques (PSMT - an ICSE'98 Workshop). Autom. Softw. Eng. 7 (1) (2000)
Theodosis Dimitrakos, Juan Bicarregui, Brian Matthews, T. S. E. Maibaum
Compositional Structuring in the B-Method: A Logical Viewpoint of the Static Context. ZB (2000)
T. S. E. Maibaum
Mathematical foundations of software engineering: a roadmap. ICSE - Future of SE Track (2000)
Carlos H. C. Duarte, T. S. E. Maibaum
A rely-guarantee discipline for open distributed systems design. Inf. Process. Lett. 74 (1-2) (2000)
Theodosis Dimitrakos, T. S. E. Maibaum
On a generalized modularization theorem. Inf. Process. Lett. 74 (1-2) (2000)
Ezra Kaahwa Mugisa, T. S. E. Maibaum
A Framework for Describing Software Architectures for Reuse. WICSA (1999)
José Luiz Fiadeiro, T. S. E. Maibaum, Narciso Martí-Oliet, José Meseguer, Isabel Pita
Towards a Verification Logic for Rewriting Logic. WADT (1999)
T. S. E. Maibaum, Pauline Kan, Kevin Lano
Systematising Reactive System Design. AMAST (1998)
Armando Martin Haeberer, T. S. E. Maibaum
The Very Idea of Software Development Environments: A Conceptual Architecture for the ARTS Environment Paradigm. ASE (1998)
Gabriel Baum, Marcelo F. Frias, T. S. E. Maibaum
A Logic for Real-Time Systems Specification, Its Algebraic Semantics, and Equational Calculus. AMAST (1998)
José Luiz Fiadeiro, Antónia Lopes, T. S. E. Maibaum
Synthesising interconnections. Algorithmic Languages and Calculi (1997)
T. S. E. Maibaum
Conservative Extensions, Interpretations Between Theories and All That! TAPSOFT (1997)
José Luiz Fiadeiro, T. S. E. Maibaum
Categorical Semantics of Parallel Program Design. Sci. Comput. Program. 28 (2-3) (1997)
Theodosis Dimitrakos, T. S. E. Maibaum
Notes on Refinement, Interpolation and Uniformity. ASE (1997)
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
Objects, Associations and Subsystems: A Hierarchical Approach to Encapsulation. ECOOP (1997)
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
Formalizing Object-Oriented Models in the Object Calculus. ECOOP Workshops (1997)
Juan Bicarregui, Kevin Lano, T. S. E. Maibaum
Towards a compositional interpretation of object diagrams. Algorithmic Languages and Calculi (1997)
T. S. E. Maibaum
Seriously? ESEC / SIGSOFT FSE (1997)
Paulo A. S. Veloso, T. S. E. Maibaum
On the Modularization Theorem for Logical Specifications. Inf. Process. Lett. 53 (5) (1995)
José Luiz Fiadeiro, T. S. E. Maibaum
Interconnecting Formalisms: Supporting Modularity, Reuse and Incrementality. SIGSOFT FSE (1995)
José Luiz Fiadeiro, T. S. E. Maibaum
Verifying for Reuse: Foundations of Object-Oriented System Verification. Theory and Formal Methods (1994)
José Luiz Fiadeiro, T. S. E. Maibaum
Sometimes "Tomorrow" is "Sometime" - Action Refinement in a Temporal Logic of Objects. ICTL (1994)
T. S. E. Maibaum
Taking More of the Soft out of Software Engineering. IWSSD (1993)
José Luiz Fiadeiro, T. S. E. Maibaum
Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods (1993)
Stuart Kent, T. S. E. Maibaum, William J. Quirk
Formally specifying temporal constraints and error recovery. RE (1993)
T. S. E. Maibaum
Editorial. J. Log. Comput. 2 (3) (1992)
José Luiz Fiadeiro, T. S. E. Maibaum
Temporal Theories as Modularisation Units for Concurrent System Specification. Formal Aspects Comput. 4 (3) (1992)
Mario R. F. Benevides, T. S. E. Maibaum
A Constructive Presentation for the Modal Connective of Necessity (\Box). J. Log. Comput. 2 (1) (1992)
José Luiz Fiadeiro, José Félix Costa, Amílcar Sernadas, T. S. E. Maibaum
Process Semantics of Temporal Logic Specifications. COMPASS/ADT (1991)
José Luiz Fiadeiro, T. S. E. Maibaum
Temporal reasoning over deontic specifications. J. Log. Comput. 1 (3) (1991)

T. S. E. Maibaum.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

T. S. E. Maibaum