Ingrid Chieh Yu

Martin Steffen

Sci. Comput. Program., 2019

Geological Multi-scenario Reasoning.

[BibT_eX]

[DOI]

Proceedings of the 32nd Norsk Informatikkonferanse, 2019

Meaningful Data Sampling for a Faithful Local Explanation Method.

[BibT_eX]

[DOI]

Peyman Rasouli

Proceedings of the Intelligent Data Engineering and Automated Learning - IDEAL 2019, 2019

2018

Context-aware reconfiguration in evolving software product lines.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

A modular reasoning system using uninterpreted predicates for code reuse.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2018

Forord til NIK 2018.

[BibT_eX]

[DOI]

Birgit Rognebakke Krogstie

Silvia Lizeth Tapia Tarifa

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Automatic Parameter Optimisation of Service Quality and Resource Usage.

[BibT_eX]

[DOI]

Jacopo Mauro

Proceedings of the 31st Norsk Informatikkonferanse, 2018

Anomaly analyses for feature-model evolution.

[BibT_eX]

[DOI]

Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2018

Using Coloured Petri Nets for Resource Analysis of Active Objects.

[BibT_eX]

[DOI]

Anastasia Gkolfi

Proceedings of the Formal Aspects of Component Software - 15th International Conference, 2018

Release the Beasts: When Formal Methods Meet Real World Data.

[BibT_eX]

[DOI]

Rudolf Schlatte

Silvia Lizeth Tapia Tarifa

Jacopo Mauro

Proceedings of the It's All About Coordination, 2018

Dynamic Software Updates and Context Adaptation for Distributed Active Objects.

[BibT_eX]

[DOI]

Proceedings of the Principled Software Development, 2018

Modeling and Simulation of Spark Streaming.

[BibT_eX]

[DOI]

Proceedings of the 32nd IEEE International Conference on Advanced Information Networking and Applications, 2018

2017

Anomaly Detection and Explanation in Context-Aware Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the 21st International Systems and Software Product Line Conference, 2017

A Model-Based Scalability Optimization Methodology for Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 IEEE 7th International Symposium on Cloud and Service Computing, 2017

CaSPL-gen: a Context-aware Software Product Line benchmark generator.

[BibT_eX]

[DOI]

Magnus Hestvik

Jacopo Mauro

Proceedings of the 30th Norsk Informatikkonferanse, 2017

Translating Active Objects into Colored Petri Nets for Communication Analysis.

[BibT_eX]

[DOI]

Proceedings of the Fundamentals of Software Engineering - 7th International Conference, 2017

HyVar - Scalable Hybrid Variability for Distributed Evolving Software Systems.

[BibT_eX]

[DOI]

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2017

2016

Diagrammatic Development of Domain Specific Modelling Languages with WebDPF.

[BibT_eX]

[DOI]

Int. J. Inf. Syst. Model. Des., 2016

Proof Repositories for Compositional Verification of Evolving Software Systems - Managing Change When Proving Software Correct.

[BibT_eX]

[DOI]

LNCS Trans. Found. Mastering Chang., 2016

Context Aware Reconfiguration in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Tenth International Workshop on Variability Modelling of Software-intensive Systems, Salvador, Brazil, January 27, 2016

Automatic translation from FBD-PLC-programs to NuSMV for model checking safety-critical control systems.

[BibT_eX]

[DOI]

Proceedings of the 29th Norsk Informatikkonferanse, 2016

WebDPF: A Web-based Metamodelling and Model Transformation Environment.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2016, 2016

Towards a categorical approach for meta-modelling epistemic game theory.

[BibT_eX]

[DOI]

Proceedings of the ACM/IEEE 19th International Conference on Model Driven Engineering Languages and Systems, 2016

User Profiles for Context-Aware Reconfiguration in Software Product Lines.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Comparing AWS Deployments Using Model-Based Predictions.

[BibT_eX]

[DOI]

Jia-Chun Lin

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Introduction to the Track on Variability Modeling for Scalable Software Evolution.

[BibT_eX]

[DOI]

Ferruccio Damiani

Christoph Seidl

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

ABS-YARN: A Formal Framework for Modeling Hadoop YARN Clusters.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2016

Meeting Deadlines, Elastically.

[BibT_eX]

[DOI]

Silvia Lizeth Tapia Tarifa

Ka I Pun

Martin Steffen

Proceedings of the From Action Systems to Distributed Systems - The Refinement Approach., 2016

2015

A proof system for adaptable class hierarchies.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2015

Towards a Multi Metamodelling Approach for Developing Distributed Healthcare Applications.

[BibT_eX]

[DOI]

Proceedings of the 28th Norsk Informatikkonferanse, 2015

A Framework for Metamodel Composition and Adaptation with Conformance-Preserving Model Migration.

[BibT_eX]

[DOI]

Henning Berg

Proceedings of the Model-Driven Engineering and Software Development, 2015

A Formalisation of Analysis-based Model Migration.

[BibT_eX]

[DOI]

Henning Berg

Proceedings of the MODELSWARD 2015, 2015

A Diagrammatic Approach to Model Completion.

[BibT_eX]

[DOI]

Proceedings of the 4th Workshop on the Analysis of Model Transformations co-located with the 18th International Conference on Model Driven Engineering Languages and Systems (MODELS 2015), 2015

2014

Deadlock detection of active objects with synchronous and asynchronous method calls.

[BibT_eX]

[DOI]

Olaf Owe