Tom Maibaum

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