Login / Signup
Marc Hamilton
Publication Activity (10 Years)
Years Active: 2006-2017
Publications (10 Years): 2
Top Topics
Model Based Testing
Formal Specification
Temporal Logic
Distributed Systems
Top Venues
MBT
MODELSWARD
ITSLE@SPLASH
</>
Publications
</>
Niels Brouwers
,
Marc Hamilton
,
Ivan Kurtev
,
Yaping Luo
Language Architecture: An Architecture Language for Model-Driven Engineering.
MODELSWARD
(2017)
Jia Zhang
,
Mark van den Brand
,
Ana-Maria Sutîi
,
Marc Hamilton
Pattern specification and application in metamodels in ecore.
ITSLE@SPLASH
(2016)
Arjan P. van der Meer
,
Rachid Kherrazi
,
Marc Hamilton
Using Formal Specifications to Support Model Based Testing ASDSpec: A Tool Combining the Best of Two Techniques.
MBT
(2014)
Louis van Gool
,
Teade Punter
,
Marc Hamilton
,
Remco van Engelen
Compositional MDA.
MoDELS
(2006)