Concepedia

Tom Maibaum

TM

19

Publications

585

Citations

15

H-Index

1994

Active since

Affiliations

McMaster University(Current)

King's College London

Imperial College London

National University of Río Cuarto

University of Toronto

Tom Maibaum is an author at McMaster University specializing in engineering, software engineering, and software design.

Top concepts

EngineeringSoftware EngineeringSoftware DesignFormal MethodsSoftware AnalysisSystems EngineeringComputer ScienceProgram AnalysisSoftware TestingFormal Verification

Publications per year

1994–2018

19

Publications

19

Categorical semantics of parallel program design

JoséLuiz Fiadeiro, Tom Maibaum · Science of Computer Programming · 1997 · 93 citations

Declarative Programming, Engineering, Parallel Software +9

Evidence-Based Electronic Contract Performance Monitoring

Aspassia Daskalopulu, Theo Dimitrakos, Tom Maibaum · Group Decision and Negotiation · 2002 · 52 citations

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

Zinovy Diskin, Tom Maibaum · Electronic Proceedings in Theoretical Computer Science · 2012 · 44 citations · Full text

Engineering, Conceptual Design, Software Engineering +23

Interconnecting formalisms

José Luiz Fiadeiro, Tom Maibaum · 1995 · 43 citations

Formal Logic, Common Semantic Domain, Formal Specification +14

Improving Test Generation under Rich Contracts by Tight Bounds and Incremental SAT Solving

Pablo Garrido Abad, Nazareno Aguirre, Valeria Bengolea et al. · 2013 · 40 citations

Engineering, Verification, Test Data Generation +21

Rows per page

1–5 of 19