| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
Accelerating similarity-based model matching using dual hashing
|
He, Xiao
|
|
|
24 |
4 |
p. 1011-1034
|
artikel
|
| 2 |
A language-parametric test amplification framework for executable domain-specific languages
|
Khorram, Faezeh
|
|
|
24 |
4 |
p. 1187-1212
|
artikel
|
| 3 |
Automated generation of smart contract code from legal contract specifications with Symboleo2SC
|
Rasti, Aidin
|
|
|
24 |
4 |
p. 1127-1156
|
artikel
|
| 4 |
Boosting bug localization in software models of video games with simulations and component-specific genetic operations
|
Casamayor, Rodrigo
|
|
|
24 |
4 |
p. 1157-1185
|
artikel
|
| 5 |
Correction: Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
|
Göttmann, Hendrik
|
|
|
24 |
4 |
p. 1091
|
artikel
|
| 6 |
Cost-sensitive precomputation of real-time-aware reconfiguration strategies based on stochastic priced timed games
|
Göttmann, Hendrik
|
|
|
24 |
4 |
p. 1059-1089
|
artikel
|
| 7 |
Evaluating formal model verification tools in an industrial context: the case of a smart device life cycle management system
|
Méré, Maxime
|
|
|
24 |
4 |
p. 1267-1292
|
artikel
|
| 8 |
Extract, model, refine: improved modelling of program verification tools through data enrichment
|
Lathouwers, Sophie
|
|
|
24 |
4 |
p. 1293-1313
|
artikel
|
| 9 |
Going beyond templates: composition and evolution in nested OSTRICH
|
Costa Seco, João
|
|
|
24 |
4 |
p. 1241-1266
|
artikel
|
| 10 |
Guest editorial for the special section on MODELS 2022
|
Bencomo, Nelly
|
|
|
24 |
4 |
p. 977-980
|
artikel
|
| 11 |
ModelXGlue: a benchmarking framework for ML tools in MDE
|
López, José Antonio Hernández
|
|
|
24 |
4 |
p. 1035-1058
|
artikel
|
| 12 |
Modular language product lines: concept, tool and analysis
|
de Lara, Juan
|
|
|
24 |
4 |
p. 981-1010
|
artikel
|
| 13 |
On theory and management of dependencies between models
|
Chechik, Marsha
|
|
|
24 |
4 |
p. 975-976
|
artikel
|
| 14 |
SymboleoPC: checking properties of legal contracts
|
Parvizimosaed, Alireza
|
|
|
24 |
4 |
p. 1093-1126
|
artikel
|
| 15 |
Using reactive links to propagate changes across engineering models
|
Raţiu, Cosmina-Cristina
|
|
|
24 |
4 |
p. 1213-1239
|
artikel
|
Tijdschrift beschrijving