| Boreas - A Service Scheduler for Optimal Kubernetes Deployment. | 0 | 0.34 | 2021 |
| Analyzing and Improving the Robustness of Tabular Classifiers using Counterfactual Explanations. | 0 | 0.34 | 2021 |
| Explainable Debugger for Black-box Machine Learning Models | 0 | 0.34 | 2021 |
| Consistency-preserving evolution planning on feature models. | 0 | 0.34 | 2020 |
| Model Checking Starvation for Resource-aware Active Objects with Coloured Petri Nets. | 0 | 0.34 | 2020 |
| A Configurable And Executable Model Of Spark Streaming On Apache Yarn | 0 | 0.34 | 2020 |
| Translating active objects into colored Petri nets for communication analysis. | 0 | 0.34 | 2019 |
| Geological Multi-scenario Reasoning. | 0 | 0.34 | 2019 |
| Dynamic Software Updates and Context Adaptation for Distributed Active Objects. | 0 | 0.34 | 2018 |
| Anomaly analyses for feature-model evolution. | 0 | 0.34 | 2018 |
| Automatic Parameter Optimisation of Service Quality and Resource Usage. | 0 | 0.34 | 2018 |
| Forord til NIK 2018. | 0 | 0.34 | 2018 |
| Context-aware reconfiguration in evolving software product lines. | 2 | 0.40 | 2018 |
| A modular reasoning system using uninterpreted predicates for code reuse. | 2 | 0.37 | 2018 |
| Using Coloured Petri Nets for Resource Analysis of Active Objects. | 0 | 0.34 | 2018 |
| Release the Beasts: When Formal Methods Meet Real World Data. | 0 | 0.34 | 2018 |
| Modeling and Simulation of Spark Streaming | 0 | 0.34 | 2018 |
| Translating Active Objects into Colored Petri Nets for Communication Analysis. | 2 | 0.38 | 2017 |
| A Model-Based Scalability Optimization Methodology for Cloud Applications | 0 | 0.34 | 2017 |
| CaSPL-gen - a Context-aware Software Product Line benchmark generator. | 0 | 0.34 | 2017 |
| Anomaly Detection And Explanation In Context-Aware Software Product Lines | 1 | 0.35 | 2017 |
| HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems. | 0 | 0.34 | 2017 |
| Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct. | 0 | 0.34 | 2016 |
| Introduction to the Track on Variability Modeling for Scalable Software Evolution. | 0 | 0.34 | 2016 |
| Context Aware Reconfiguration in Software Product Lines. | 12 | 0.61 | 2016 |
| Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems. | 1 | 0.34 | 2016 |
| Towards a categorical approach for meta-modelling epistemic game theory. | 1 | 0.35 | 2016 |
| User Profiles for Context-Aware Reconfiguration in Software Product Lines. | 6 | 0.44 | 2016 |
| ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters. | 7 | 0.48 | 2016 |
| Diagrammatic Development of Domain Specific Modelling Languages with WebDPF | 0 | 0.34 | 2016 |
| Comparing AWS Deployments Using Model-Based Predictions. | 3 | 0.40 | 2016 |
| A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration. | 0 | 0.34 | 2015 |
| A proof system for adaptable class hierarchies. | 1 | 0.35 | 2015 |
| Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications | 0 | 0.34 | 2015 |
| A formalisation of analysis-based model migration | 0 | 0.34 | 2015 |
| Deadlock detection of active objects with synchronous and asynchronous method calls. | 1 | 0.37 | 2014 |
| Tracking behavioral constraints during object-oriented software evolution | 4 | 0.45 | 2012 |
| A transformational proof system for delta-oriented programming | 19 | 0.63 | 2012 |
| Dynamic Classes: Modular Asynchronous Evolution of Distributed Concurrent Objects | 13 | 0.63 | 2009 |
| Backwards type analysis of asynchronous method calls | 2 | 0.49 | 2008 |
| Creol: a type-safe object-oriented model for distributed concurrent systems | 75 | 2.26 | 2006 |
| Type-Safe runtime class upgrades in creol | 10 | 0.61 | 2006 |
| Large scale construction of railroad models from specifications | 2 | 0.51 | 2004 |
