Michael Nieke

According to our database1, Michael Nieke authored at least 20 papers between 2016 and 2021.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of five.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

On csauthors.net:

Bibliography

2021
Consistent Feature-Model Driven Software Product Line Evolution.
PhD thesis, 2021

Applications of #SAT Solvers on Feature Models.
Proceedings of the VaMoS'21: 15th International Working Conference on Variability Modelling of Software-Intensive Systems, 2021

Variant and Product Line Co-Evolution.
Proceedings of the Model-Based Engineering of Collaborative Embedded Systems, 2021

2020
SMT-based variability analyses in FeatureIDE.
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.
Proceedings of the SPLC '20: 24th ACM International Systems and Software Product Line Conference, 2020

Consistency-preserving evolution planning on feature models.
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).
Proceedings of the 23rd International Systems and Software Product Line Conference, 2019

Automated metamodel augmentation for seamless model evolution tracking and planning.
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.
Proceedings of the 18th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 2019

2018
Context-aware reconfiguration in evolving software product lines.
Sci. Comput. Program., 2018

Back to the future: avoiding paradoxes in feature-model evolution.
Proceedings of the Proceeedings of the 22nd International Systems and Software Product Line Conference, 2018

Anomaly analyses for feature-model evolution.
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.
Proceedings of the Eleventh International Workshop on Variability Modelling of Software-intensive Systems, 2017

Anomaly Detection and Explanation in Context-Aware Software Product Lines.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

2016
Guaranteeing Configuration Validity in Evolving Software Product Lines.
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.
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.
Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 2016

User Profiles for Context-Aware Reconfiguration in Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Proof-Carrying Apps: Contract-Based Deployment-Time Verification.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

A Toolchain for Delta-Oriented Modeling of Software Product Lines.
Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016


  Loading...