Tom Maibaum

Publication Activity (10 Years)

Years Active: 1987-2018
Publications (10 Years): 11

Top Topics

Mathematical Models

Software Requirements

Top Venues

MoDELS (Satellite Events)

Publications

Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
A theoretical framework for cardinality-based feature models: The semantics and computational aspects. J. Log. Algebraic Methods Program. 97 (2018)
Zinovy Diskin, Tom Maibaum, Alan Wassyng, Stephen Wynn-Williams, Mark Lawford
Assurance via model transformations and their hierarchical refinement. MoDELS (2018)
Sahar Kokaly, Rick Salay, Marsha Chechik, Mark Lawford, Tom Maibaum
Safety Case Impact Assessment in Automotive Software Systems: An Improved Model-Based Approach. SAFECOMP (2017)
Zinovy Diskin, Harald König, Mark Lawford, Tom Maibaum
Toward Product Lines of Mathematical Models for Software Model Management. STAF Workshops (2017)
Md Nour Hossain, Wolfram Kahl, Tom Maibaum
A Graph Transformation Approach to Introducing Aspects into Software Architectures. MoDELS (Satellite Events) (2017)
Aliakbar Safilian, Tom Maibaum
Hierarchical Multiset Theories of Cardinality-Based Feature Diagrams. TASE (2016)
Aliakbar Safilian, Tom Maibaum
Multiset Theories of Cardinality-based Feature Diagrams. CoRR (2016)
Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
Faithful Modeling of Product Lines with Kripke Structures and Modal Logic. Sci. Ann. Comput. Sci. 26 (1) (2016)
Rick Salay, Sahar Kokaly, Marsha Chechik, Tom Maibaum
Heterogeneous Megamodel Slicing for Model Evolution. ME@MoDELS (2016)
Sahar Kokaly, Rick Salay, Mehrdad Sabetzadeh, Marsha Chechik, Tom Maibaum
Model management for regulatory compliance: a position paper. MiSE@ICSE (2016)
Sahar Kokaly, Rick Salay, Valentin Cassano, Tom Maibaum, Marsha Chechik
A model management approach for assurance case reuse due to system evolution. MoDELS (2016)
Zinovy Diskin, Aliakbar Safilian, Tom Maibaum, Shoham Ben-David
Modeling Product Lines with Kripke Structures and Modal Logic. ICTAC (2015)
Hamid Gholizadeh, Zinovy Diskin, Sahar Kokaly, Tom Maibaum
Analysis of Source-to-Target Model Transformations in QueST. AMT@MoDELS (2015)
Zinovy Diskin, Tom Maibaum, Krzysztof Czarnecki
A Model Management Imperative: Being Graphical Is Not Sufficient, You Have to Be Categorical. ECMFA (2015)
Stefan Gruner, Apurva Kumar, Tom Maibaum
Towards a Body of Knowledge in Formal Methods for the Railway Domain: Identification of Settled Knowledge. FTSCS (2015)
Sahar Kokaly, Zinovy Diskin, Tom Maibaum, Hamid Gholizadeh
Elementary Model Management Patterns. PAME@STAF (2015)
Aliakbar Safilian, Tom Maibaum, Zinovy Diskin
The Semantics of Cardinality-Based Feature Models via Formal Languages. FM (2015)
Lucian M. Patcas, Mark Lawford, Tom Maibaum
Implementability of requirements in the four-variable model. Sci. Comput. Program. 111 (2015)
Alan Wassyng, Neeraj Kumar Singh, Mischa Geven, Nicholas Proscia, Hao Wang, Mark Lawford, Tom Maibaum
Can Product-Specific Assurance Case Templates Be Used as Medical Device Standards? IEEE Des. Test 32 (5) (2015)
Wen Chen, Alan Wassyng, Tom Maibaum
Impact Analysis via Reachability and Alias Analysis. PoEM (2014)
Till Mossakowski, Ulf Krumnack, Tom Maibaum
What Is a Derived Signature Morphism? WADT (2014)
Wen Chen, Alan Wassyng, Tom Maibaum
Combining Static and Dynamic Impact Analysis for Large-Scale Enterprise Systems. PROFES (2014)
Hamid Gholizadeh, Zinovy Diskin, Tom Maibaum
A Query Structured Approach for Model Transformation. AMT@MoDELS (2014)
Lucian M. Patcas, Mark Lawford, Tom Maibaum
A Separation Principle for Embedded System Interfacing. IFM (2014)
Zarrin Langari, Tom Maibaum
Safety cases: a review of challenges. ASSURE@ICSE (2013)
Zinovy Diskin, Sahar Kokaly, Tom Maibaum
Mapping-Aware Megamodeling: Design Patterns and Laws. SLE (2013)
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
Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving. ICST (2013)
Tom Maibaum
What IS a BoK? Large - Extended Abstract -. SEFM Workshops (2013)
Lucian M. Patcas, Mark Lawford, Tom Maibaum
From System Requirements to Software Requirements in the Four-Variable Model. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Wen Chen, Asif Iqbal, Akbar Abdrakhmanov, Jay Parlar, Chris George, Mark Lawford, Tom Maibaum, Alan Wassyng
Large-Scale Enterprise Systems: Changes and Impacts. ICEIS (2012)
Pablo F. Castro, Nazareno Aguirre, Carlos Gustavo López Pombo, Tom Maibaum
A Categorical Approach to Structuring and Promoting Z Specifications. FACS (2012)
Xiang Ling, Tom Maibaum
Architecture Based Development with DYNACOMM: Incorporating Dynamic Reconfiguration and Hierarchical Design into CommUnity. APSEC (2012)
Tom Maibaum, Paul Joannou
Software Certification Consortium Workshop: Theoretical Basis for System and Software Engineering Practices and Certification. CASCON (2011)
Hao Xu, Tom Maibaum
An Event-B Approach to Timing Issues Applied to the Generic Insulin Infusion Pump. FHIES (2011)
Jeff Magee, Tom Maibaum
Towards specification, modelling and analysis of fault tolerance in self managed systems. SEAMS@ICSE (2006)
José Luiz Fiadeiro, Tom Maibaum
A Mathematical Toolbox for the Software Architec. IWSSD (1996)
Celso Niskier, Tom Maibaum, Daniel Schwabe
A look through PRISMA: towards pluralistic knowledge-based environments for software specification acquisition. IWSSD (1989)
Tom Maibaum, Martin R. Sadler
Formal Methods: A Commentary. J. Inf. Technol. 2 (2) (1987)