| Scalable process discovery and conformance checking |
17 |
| Execution of UML models: a systematic review of research and practice |
11 |
| SMTIBEA: a hybrid multi-objective optimization algorithm for configuring large constrained software product lines |
11 |
| Survey and classification of model transformation tools |
10 |
| WESSBAS: extraction of probabilistic workload specifications for load testing and performance prediction-a model-driven approach for session-based application systems |
9 |
| An integrated conceptual model for information system security risk management supported by enterprise architecture management |
7 |
| Hybrid co-simulation: it's about time |
7 |
| Uncertainty-Wise Cyber-Physical System test modeling |
7 |
| Model-based engineering in the embedded systems domain: an industrial survey on the state-of-practice |
6 |
| Models@run.time: a guided tour of the state of the art and research challenges |
6 |
| Effective product-line testing using similarity-based product prioritization |
6 |
| Supporting timing analysis of vehicular embedded systems through the refinement of timing constraints |
5 |
| How do humans inspect BPMN models: an exploratory study |
5 |
| Testing models and model transformations using classifying terms |
5 |
| ParDSL: a domain-specific language framework for supporting deployment of parallel algorithms |
5 |
| Advanced and efficient execution trace management for executable domain-specific modeling languages |
5 |
| Enforcing fine-grained access control for secure collaborative modelling using bidirectional transformations |
5 |
| An integrated multi-level modeling approach for industrial-scale data interoperability |
4 |
| A feature-based survey of model view approaches |
4 |
| RoboChart: modelling and verification of the functional behaviour of robotic applications |
4 |
| Student experience with software modeling tools |
4 |
| Change propagation and bidirectionality in internal transformation DSLs |
4 |
| A feature-based classification of formal verification techniques for software models |
4 |
| Connecting databases with process mining: a meta model and toolset |
4 |
| FlexiSketch: a lightweight sketching and metamodeling approach for end-users |
4 |
| Using internal domain-specific languages to inherit tool support and modularity for model transformations |
4 |
| Mining team compositions for collaborative work in business processes |
4 |
| The Train Benchmark: cross-technology performance evaluation of continuous model queries |
4 |
| DALEC: a framework for the systematic evaluation of data-centric approaches to process management software |
4 |
| Case-based exploration of bidirectional transformations in QVT Relations |
4 |
| Matching events and activities by integrating behavioral aspects and label analysis |
3 |
| Toward an execution system for self-healing workflows in cyber-physical systems |
3 |
| Multi-view approaches for software and system modelling: a systematic literature review |
3 |
| Toward a framework for self-adaptive workflows in cyber-physical systems |
3 |
| An example is worth a thousand words: Creating graphical modelling environments by example |
3 |
| Method engineering in information systems analysis and design: a balanced scorecard approach for method improvement |
3 |
| Advanced prefetching and caching of models with PrefetchML |
3 |
| Toward a well-founded theory for multi-level conceptual modeling |
3 |
| Model-driven development of mobile applications for Android and iOS supporting role-based app variability |
2 |
| Dual deep modeling: multi-level modeling with dual potencies and its formalization in F-Logic |
2 |
| Model-based requirements specification of real-time systems with UML, SysML and MARTE |
2 |
| A method for testing and validating executable statechart models |
2 |
| An extensible approach to implicit incremental model analyses |
2 |
| Modeling foundations for executable model-based testing of self-healing cyber-physical systems |
2 |
| Transactional execution of hierarchical reconfigurations in cyber-physical systems |
2 |
| Toward live domain-specific languages From text differencing to adapting models at run time |
2 |
| A metrics suite for UML model stability |
2 |
| Reusable specification templates for defining dynamic semantics of DSLs |
2 |
| Synthesis and exploration of multi-level, multi-perspective architectures of automotive embedded systems |
2 |
| Metamodel specialization for graphical language support |
2 |
