| nr |
titel |
auteur |
tijdschrift |
jaar |
jaarg. |
afl. |
pagina('s) |
type |
| 1 |
A modeling methodology for collaborative evaluation of future automotive innovations
|
Fakih, Maher
|
|
|
|
5 |
p. 1587-1608
|
artikel
|
| 2 |
A Multi-Paradigm Modelling approach to live modelling
|
Van Tendeloo, Yentl
|
|
2018
|
|
5 |
p. 2821-2842
|
artikel
|
| 3 |
An efficient and scalable search engine for models
|
López, José Antonio Hernández
|
|
|
|
5 |
p. 1715-1737
|
artikel
|
| 4 |
An executable metamodel refactoring catalog
|
Bettini, Lorenzo
|
|
|
|
5 |
p. 1689-1709
|
artikel
|
| 5 |
An extensible approach to implicit incremental model analyses
|
Hinkel, Georg
|
|
2019
|
|
5 |
p. 3151-3187
|
artikel
|
| 6 |
A query-retyping approach to model transformation co-evolution
|
Rutle, Adrian
|
|
|
|
5 |
p. 1107-1138
|
artikel
|
| 7 |
Artefacts in software engineering: a fundamental positioning
|
Méndez Fernández, Daniel
|
|
2019
|
|
5 |
p. 2777-2786
|
artikel
|
| 8 |
A search-based approach for detecting circular dependency bad smell in goal-oriented models
|
Mohammed, Mawal A.
|
|
|
|
5 |
p. 2007-2037
|
artikel
|
| 9 |
A semi-automated BPMN-based framework for detecting conflicts between security, data-minimization, and fairness requirements
|
Ramadan, Qusai
|
|
|
|
5 |
p. 1191-1227
|
artikel
|
| 10 |
Assessing the usefulness of a visual programming IDE for large-scale automation software
|
Wiesmayr, Bianca
|
|
|
|
5 |
p. 1619-1643
|
artikel
|
| 11 |
A unifying framework for homogeneous model composition
|
Kienzle, Jörg
|
|
2019
|
|
5 |
p. 3005-3023
|
artikel
|
| 12 |
Automated generation of consistent, diverse and structurally realistic graph models
|
Semeráth, Oszkár
|
|
|
|
5 |
p. 1713-1734
|
artikel
|
| 13 |
Automated generation of consistent models using qualitative abstractions and exploration strategies
|
Babikian, Aren A.
|
|
|
|
5 |
p. 1763-1787
|
artikel
|
| 14 |
Automatic generation of UML profile graphical editors for Papyrus
|
Wei, Ran
|
|
|
|
5 |
p. 1083-1106
|
artikel
|
| 15 |
Automatic verification of behavior preservation at the transformation level for relational model transformation
|
Dyck, Johannes
|
|
2018
|
|
5 |
p. 2937-2972
|
artikel
|
| 16 |
A verified catalogue of OCL optimisations
|
Cuadrado, Jesús Sánchez
|
|
|
|
5 |
p. 1139-1161
|
artikel
|
| 17 |
Case model landscapes: toward an improved representation of knowledge-intensive processes using the fCM-language
|
Gonzalez-Lopez, Fernanda
|
|
|
|
5 |
p. 1353-1377
|
artikel
|
| 18 |
Certifying delta-oriented programs
|
Rodrigues, Vítor
|
|
2019
|
|
5 |
p. 2875-2906
|
artikel
|
| 19 |
Controllable and decomposable multidirectional synchronizations
|
Bergmann, Gábor
|
|
|
|
5 |
p. 1735-1774
|
artikel
|
| 20 |
Coordinating large distributed relational process structures
|
Steinau, Sebastian
|
|
|
|
5 |
p. 1403-1435
|
artikel
|
| 21 |
Correction to: Low-code development and model-driven engineering: Two sides of the same coin?
|
Di Ruscio, Davide
|
|
|
|
5 |
p. 1687
|
artikel
|
| 22 |
Coupling solvers with model transformations to generate explorable model sets
|
Le Calvar, Théo
|
|
|
|
5 |
p. 1633-1652
|
artikel
|
| 23 |
Deep specification and proof preservation for the CoqTL transformation language
|
Cheng, Zheng
|
|
|
|
5 |
p. 1831-1852
|
artikel
|
| 24 |
Design and evaluation of a collaborative UML modeling environment in virtual reality
|
Yigitbas, Enes
|
|
|
|
5 |
p. 1397-1425
|
artikel
|
| 25 |
Distributed model validation with Epsilon
|
Madani, Sina
|
|
|
|
5 |
p. 1689-1712
|
artikel
|
| 26 |
DSMCompare: domain-specific model differencing for graphical domain-specific languages
|
Zadahmad, Manouchehr
|
|
|
|
5 |
p. 2067-2096
|
artikel
|
| 27 |
Editorial to theme section on modeling in low-code development platforms
|
Di Ruscio, Davide
|
|
|
|
5 |
p. 1957-1958
|
artikel
|
| 28 |
Efficient regression testing of distributed real-time reactive systems in the context of model-driven development
|
Babaei, Majid
|
|
|
|
5 |
p. 1565-1587
|
artikel
|
| 29 |
Empirical study on the effectiveness and efficiency of model-driven architecture techniques
|
Shin, Shin-Shing
|
|
2019
|
|
5 |
p. 3083-3096
|
artikel
|
| 30 |
Execution trace analysis for a precise understanding of latency violations
|
Zoor, Maysam
|
|
|
|
5 |
p. 1519-1541
|
artikel
|
| 31 |
Exploring how users engage with hybrid process artifacts based on declarative process models: a behavioral analysis based on eye-tracking and think-aloud
|
Abbad Andaloussi, Amine
|
|
|
|
5 |
p. 1437-1464
|
artikel
|
| 32 |
Fabricatable axis: an approach for modelling customized fabrication machines
|
Fossdal, Frikk H.
|
|
|
|
5 |
p. 1907-1929
|
artikel
|
| 33 |
Guest editorial for the special section on MODELS 2020
|
Abrahão, Silvia
|
|
|
|
5 |
p. 1711-1713
|
artikel
|
| 34 |
Guest editorial for the special section on MODELS 2021
|
Nejati, Shiva
|
|
|
|
5 |
p. 1393-1396
|
artikel
|
| 35 |
Handling nonconforming individuals in search-based model-driven engineering: nine generic strategies for feature location in the modeling space of the meta-object facility
|
Font, Jaime
|
|
|
|
5 |
p. 1653-1688
|
artikel
|
| 36 |
HoloFlows: modelling of processes for the Internet of Things in mixed reality
|
Seiger, Ronny
|
|
|
|
5 |
p. 1465-1489
|
artikel
|
| 37 |
Incorporating measurement uncertainty into OCL/UML primitive datatypes
|
Bertoa, Manuel F.
|
|
|
|
5 |
p. 1163-1189
|
artikel
|
| 38 |
Incremental execution of temporal graph queries over runtime models with history and its applications
|
Sakizloglou, Lucas
|
|
|
|
5 |
p. 1789-1829
|
artikel
|
| 39 |
Integrated model-driven development of self-adaptive user interfaces
|
Yigitbas, Enes
|
|
|
|
5 |
p. 1057-1081
|
artikel
|
| 40 |
Involving users in the development of a modeling language for customer journeys
|
Halvorsrud, Ragnhild
|
|
|
|
5 |
p. 1589-1618
|
artikel
|
| 41 |
Language-independent look-ahead for checking multi-perspective declarative process models
|
Käppel, Martin
|
|
|
|
5 |
p. 1379-1401
|
artikel
|
| 42 |
Large language models as an “operating” system for software and systems modeling
|
Combemale, Benoit
|
|
|
|
5 |
p. 1391-1392
|
artikel
|
| 43 |
Live process modeling with the BPMN Sketch Miner
|
Ivanchikj, Ana
|
|
|
|
5 |
p. 1877-1906
|
artikel
|
| 44 |
MoDALAS: addressing assurance for learning-enabled autonomous systems in the face of uncertainty
|
Langford, Michael Austin
|
|
|
|
5 |
p. 1543-1563
|
artikel
|
| 45 |
Model-based cloud resource management with TOSCA and OCCI
|
Challita, Stéphanie
|
|
|
|
5 |
p. 1609-1631
|
artikel
|
| 46 |
Model-based fleet deployment in the IoT–edge–cloud continuum
|
Song, Hui
|
|
|
|
5 |
p. 1931-1956
|
artikel
|
| 47 |
Model-based intelligent user interface adaptation: challenges and future directions
|
Abrahão, Silvia
|
|
|
|
5 |
p. 1335-1349
|
artikel
|
| 48 |
Model-driven design space exploration for multi-robot systems in simulation
|
Harbin, James
|
|
|
|
5 |
p. 1665-1688
|
artikel
|
| 49 |
Model-driven development platform selection: four industry case studies
|
Farshidi, Siamak
|
|
|
|
5 |
p. 1525-1551
|
artikel
|
| 50 |
Model-driven process enactment for NFV systems with MAPLE
|
Mustafiz, Sadaf
|
|
|
|
5 |
p. 1263-1282
|
artikel
|
| 51 |
Modeling foundations for executable model-based testing of self-healing cyber-physical systems
|
Ma, Tao
|
|
2018
|
|
5 |
p. 2843-2873
|
artikel
|
| 52 |
Modeling of, for, and with digital twins
|
Gray, Jeff
|
|
|
|
5 |
p. 1685-1686
|
artikel
|
| 53 |
Modeling research in recent years: special section on ECMFA 2017 and ECMFA 2018
|
Anjorin, Anthony
|
|
|
|
5 |
p. 1055-1056
|
artikel
|
| 54 |
Modelling in low-code development: a multi-vocal systematic review
|
Bucaioni, Alessio
|
|
|
|
5 |
p. 1959-1981
|
artikel
|
| 55 |
Modelling multi-criticality vehicular software systems: evolution of an industrial component model
|
Bucaioni, Alessio
|
|
|
|
5 |
p. 1283-1302
|
artikel
|
| 56 |
Models@run.time: a guided tour of the state of the art and research challenges
|
Bencomo, Nelly
|
|
2019
|
|
5 |
p. 3049-3082
|
artikel
|
| 57 |
MORGAN: a modeling recommender system based on graph kernel
|
Di Sipio, Claudio
|
|
|
|
5 |
p. 1427-1449
|
artikel
|
| 58 |
MUPPIT: a method for using proper patterns in model transformations
|
Panahandeh, Mahsa
|
|
|
|
5 |
p. 1491-1523
|
artikel
|
| 59 |
Opportunities in intelligent modeling assistance
|
Mussbacher, Gunter
|
|
|
|
5 |
p. 1045-1053
|
artikel
|
| 60 |
OSTRICH: a rich template language for low-code development (extended version)
|
Lourenço, Hugo
|
|
|
|
5 |
p. 1645-1663
|
artikel
|
| 61 |
ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms
|
Tekinerdogan, Bedir
|
|
2018
|
|
5 |
p. 2907-2935
|
artikel
|
| 62 |
PARMOREL: a framework for customizable model repair
|
Barriga, Angela
|
|
|
|
5 |
p. 1739-1762
|
artikel
|
| 63 |
Profiling the publish/subscribe paradigm for automated analysis using colored Petri nets
|
Gómez, Abel
|
|
2019
|
|
5 |
p. 2973-3003
|
artikel
|
| 64 |
RaQuN: a generic and scalable n-way model matching algorithm
|
Schultheiß, Alexander
|
|
|
|
5 |
p. 1495-1517
|
artikel
|
| 65 |
Reasoning over time into models with DataTime
|
Lyan, Gauthier
|
|
|
|
5 |
p. 1689-1712
|
artikel
|
| 66 |
Recommendations for visual feedback about problems within BPMN process models
|
Stein Dani, Vinicius
|
|
|
|
5 |
p. 2039-2065
|
artikel
|
| 67 |
Repository mining for changes in Simulink and Stateflow models
|
Jaskolka, Monika
|
|
|
|
5 |
p. 1713-1732
|
artikel
|
| 68 |
RoboChart: modelling and verification of the functional behaviour of robotic applications
|
Miyazawa, Alvaro
|
|
2019
|
|
5 |
p. 3097-3149
|
artikel
|
| 69 |
Scalable modeling technologies in the wild: an experience report on wind turbines control applications development
|
Gómez, Abel
|
|
|
|
5 |
p. 1229-1261
|
artikel
|
| 70 |
Semi-automated metamodel/model co-evolution: a multi-level interactive approach
|
Kessentini, Wael
|
|
|
|
5 |
p. 1853-1876
|
artikel
|
| 71 |
Special section of business process modeling, development and support (BPMDS) 2019: transformative BPMDS
|
Gulden, Jens
|
|
|
|
5 |
p. 1351-1352
|
artikel
|
| 72 |
Spectra: a specification language for reactive systems
|
Maoz, Shahar
|
|
|
|
5 |
p. 1553-1586
|
artikel
|
| 73 |
Student experience with software modeling tools
|
Agner, Luciane T. W.
|
|
2019
|
|
5 |
p. 3025-3047
|
artikel
|
| 74 |
Synthesizing verified components for cyber assured systems engineering
|
Mercer, Eric
|
|
|
|
5 |
p. 1451-1471
|
artikel
|
| 75 |
The ForeMoSt approach to building valid model-based safety arguments
|
Viger, Torin
|
|
|
|
5 |
p. 1473-1494
|
artikel
|
| 76 |
The wild-west of modeling (Revisited)
|
Gray, Jeff
|
|
|
|
5 |
p. 1333-1334
|
artikel
|
| 77 |
Using structural decomposition and refinements for deep modeling of software architectures
|
Hinkel, Georg
|
|
2018
|
|
5 |
p. 2787-2819
|
artikel
|
| 78 |
Visual notations in container orchestrations: an empirical study with Docker Compose
|
Piedade, Bruno
|
|
|
|
5 |
p. 1983-2005
|
artikel
|
Tijdschrift beschrijving