Michael Nieke

According to our database, Michael Nieke authored at least 28 papers between 2016 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

Evaluating state-of-the-art # SAT solvers on industrial configuration spaces.

Chico Sundermann, Tobias Heß, Michael Nieke, Paul Maximilian Bittner, Jeffrey M. Young, Thomas Thüm, Ina Schaefer

Empir. Softw. Eng., March, 2023

2022

Consistent Feature-Model Driven Software Product Line Evolution.

Michael Nieke

Softwaretechnik-Trends, 2022

Guiding the evolution of product-line configurations.

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer

Softw. Syst. Model., 2022

Experiences with Constructing and Evolving aSoftware Product Line with Delta-Oriented Programming.

Michael Nieke, Adrian Hoff, Ina Schaefer, Christoph Seidl

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

Towards Trace-Based Synchronization of Variability Annotations in Evolving Model-Driven Product Lines.

Sandra Greiner, Michael Nieke, Christoph Seidl

Proceedings of the VaMoS '22: 16th International Working Conference on Variability Modelling of Software-Intensive Systems, Florence, Italy, February 23, 2022

2021

Consistent Feature-Model Driven Software Product Line Evolution.

Michael Nieke

PhD thesis, 2021

Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines.

Michael Nieke, Adrian Hoff, Christoph Seidl, Ina Schaefer

J. Comput. Lang., 2021

Applications of #SAT Solvers on Feature Models.

Chico Sundermann, Michael Nieke, Paul Maximilian Bittner, Tobias Heß, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Incremental construction of modal implication graphs for evolving feature models.

Sebastian Krieter, Rahel Arens, Michael Nieke, Chico Sundermann, Tobias Heß, Thomas Thüm, Christoph Seidl

Proceedings of the SPLC '21: 25th ACM International Systems and Software Product Line Conference, 2021

Towards immersive software archaeology: regaining legacy systems' design knowledge via interactive exploration in virtual reality.

Adrian Hoff, Michael Nieke, Christoph Seidl

Proceedings of the ESEC/FSE '21: 29th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2021

Variant and Product Line Co-Evolution.

Jörg Christian Kirchhof, Michael Nieke, Ina Schaefer, David Schmalzing, Michael Schulze

Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020

SMT-based variability analyses in FeatureIDE.

Joshua Sprey, Chico Sundermann, Sebastian Krieter, Michael Nieke, Jacopo Mauro, Thomas Thüm, Ina Schaefer

Proceedings of the VaMoS '20: 14th International Working Conference on Variability Modelling of Software-Intensive Systems, 2020

GuyDance: Guiding Configuration Updates for Product-Line Evolution.

Michael Nieke, Gabriela Sampaio, Thomas Thüm, Christoph Seidl, Leopoldo Teixeira, Ina Schaefer

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Consistency-preserving evolution planning on feature models.

Adrian Hoff, Michael Nieke, Christoph Seidl, Eirik Halvard Sæther, Ida Sandberg Motzfeldt, Crystal Chang Din, Ingrid Chieh Yu, Ina Schaefer

Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

2019

Second international workshop on variability and evolution of software-intensive systems (VariVolution 2019).

Michael Nieke, Lukas Linsbauer, Jacob Krüger, Thomas Leich

Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Automated metamodel augmentation for seamless model evolution tracking and planning.

Michael Nieke, Adrian Hoff, Christoph Seidl

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

Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution.

Daniel Hinterreiter, Michael Nieke, Lukas Linsbauer, Christoph Seidl, Herbert Prähofer, Paul Grünbacher

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

2018

Context-aware reconfiguration in evolving software product lines.

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu

Sci. Comput. Program., 2018

Back to the future: avoiding paradoxes in feature-model evolution.

Michael Nieke, Christoph Seidl, Thomas Thüm

Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Anomaly analyses for feature-model evolution.

Michael Nieke, Jacopo Mauro, Christoph Seidl, Thomas Thüm, Ingrid Chieh Yu, Felix Franzke

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

2017

DarwinSPL: an integrated tool suite for modeling evolving context-aware software product lines.

Michael Nieke, Gil Engel, Christoph Seidl

Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

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

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu

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

2016

Guaranteeing Configuration Validity in Evolving Software Product Lines.

Michael Nieke, Christoph Seidl, Sven Schuster

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

Context Aware Reconfiguration in Software Product Lines.

Jacopo Mauro, Michael Nieke, Christoph Seidl, Ingrid Chieh Yu

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

Name resolution strategies in variability realization languages for software product lines.

Sven Schuster, Michael Nieke, Ina Schaefer

Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

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

Michael Nieke, Jacopo Mauro, Christoph Seidl, Ingrid Chieh Yu

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

Proof-Carrying Apps: Contract-Based Deployment-Time Verification.

Sönke Holthusen, Michael Nieke, Thomas Thüm, Ina Schaefer

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

A Toolchain for Delta-Oriented Modeling of Software Product Lines.

Cristina Chesta, Ferruccio Damiani, Liudmila Dobriakova, Marco Guernieri, Simone Martini, Michael Nieke, Vítor Rodrigues, Sven Schuster

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