Agile model-based system development Jeff GrayBernhard Rumpe Editorial 24 August 2018 Pages: 1053 - 1054
Encoding process discovery problems in SMT Marc SoléJosep Carmona Regular Paper 06 June 2016 Pages: 1055 - 1078
Reusing metamodels and notation with Diagram Definition Conrad BockMaged Elaasar Regular Paper 28 June 2016 Pages: 1079 - 1103
On submodels and submetamodels with their relation Bernard CarréGilles VanwormhoudtOlivier Caron Regular Paper 27 June 2016 Pages: 1105 - 1137
VMTL: a language for end-user model transformation Vlad AcreţoaieHarald StörrleDaniel Strüber Regular Paper 09 July 2016 Pages: 1139 - 1167
A model-driven development approach for context-aware systems Imen JaouadiRaoudha Ben DjemaaHanêne Ben-Abdallah Regular Paper 13 October 2016 Pages: 1169 - 1195
Formalised EMFTVM bytecode language for sound verification of model transformations Zheng ChengRosemary MonahanJames F. Power Regular Paper 16 August 2016 Pages: 1197 - 1225
Scope in model transformations Māris JukšsClark VerbruggeHans Vangheluwe Regular Paper 20 August 2016 Pages: 1227 - 1252
Holistic security requirements analysis for socio-technical systems Tong LiJennifer HorkoffJohn Mylopoulos Regular Paper 19 September 2016 Pages: 1253 - 1285
An approach to clone detection in sequence diagrams and its application to security analysis Manar H. AlalfiElizabeth P. AntonyJames R. Cordy Regular Paper 12 September 2016 Pages: 1287 - 1309
On the automated translational execution of the action language for foundational UML Federico Ciccozzi Regular Paper Open access 26 September 2016 Pages: 1311 - 1337
Efficient parallel reasoning on fuzzy goal models for run time requirements verification George ChatzikonstantinouKostas Kontogiannis Regular Paper 30 September 2016 Pages: 1339 - 1364
The Train Benchmark: cross-technology performance evaluation of continuous model queries Gábor SzárnyasBenedek IzsóDániel Varró Regular Paper Open access 17 January 2017 Pages: 1365 - 1393
