Michael Nieke
Title
Cited by
Cited by
Year
Context aware reconfiguration in software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
402016
Guaranteeing configuration validity in evolving software product lines
M Nieke, C Seidl, S Schuster
Proceedings of the Tenth International Workshop on Variability Modelling of …, 2016
272016
DarwinSPL: an integrated tool suite for modeling evolving context-aware software product lines
M Nieke, G Engel, C Seidl
Proceedings of the Eleventh International Workshop on Variability Modelling …, 2017
252017
A toolchain for delta-oriented modeling of software product lines
C Chesta, F Damiani, L Dobriakova, M Guernieri, S Martini, M Nieke, ...
International Symposium on Leveraging Applications of Formal Methods, 497-511, 2016
132016
User profiles for context-aware reconfiguration in software product lines
M Nieke, J Mauro, C Seidl, IC Yu
International Symposium on Leveraging Applications of Formal Methods, 563-578, 2016
132016
Back to the future: avoiding paradoxes in feature-model evolution
M Nieke, C Seidl, T Thüm
Proceedings of the 22nd International Systems and Software Product Line …, 2018
122018
Anomaly analyses for feature-model evolution
M Nieke, J Mauro, C Seidl, T Thüm, IC Yu, F Franzke
ACM SIGPLAN Notices 53 (9), 188-201, 2018
112018
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
112018
Anomaly detection and explanation in context-aware software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Proceedings of the 21st International Systems and Software Product Line …, 2017
102017
Harmonized temporal feature modeling to uniformly perform, track, analyze, and replay software product line evolution
D Hinterreiter, M Nieke, L Linsbauer, C Seidl, H Prähofer, P Grünbacher
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
92019
SMT-based variability analyses in FeatureIDE
J Sprey, C Sundermann, S Krieter, M Nieke, J Mauro, T Thüm, I Schaefer
Proceedings of the 14th International Working Conference on Variability …, 2020
62020
Context-sensitive reconfiguration of collaborative manufacturing systems
B Caesar, M Nieke, A Köcher, C Hildebrandt, C Seidl, A Fay, I Schaefer
IFAC-PapersOnLine 52 (13), 307-312, 2019
52019
Proof-carrying apps: Contract-based deployment-time verification
S Holthusen, M Nieke, T Thüm, I Schaefer
International Symposium on Leveraging Applications of Formal Methods, 839-855, 2016
42016
Consistency-preserving evolution planning on feature models
A Hoff, M Nieke, C Seidl, EH Sæther, IS Motzfeldt, CC Din, IC Yu, ...
Proceedings of the 24th ACM Conference on Systems and Software Product Line …, 2020
12020
Delta-oriented development of model-based software product lines with DeltaEcore and SiPL: A comparison
C Pietsch, C Seidl, M Nieke, T Kehrer
Model Management and Analytics for Large Scale Systems, 167-201, 2020
12020
Automated metamodel augmentation for seamless model evolution tracking and planning
M Nieke, A Hoff, C Seidl
Proceedings of the 18th ACM SIGPLAN International Conference on Generative …, 2019
12019
Vitor Rodrigues, Sven Schuster. A Toolchain for Delta-Oriented Modeling of Software Product Lines. ISoLA (2) 2016: 497-511. Volume 9953 of the book series Lecture Notes in …
C Chesta, F Damiani, L Dobriakova, M Guernieri, S Martini, M Nieke
2021
Augmenting metamodels with seamless support for planning, tracking, and slicing model evolution timelines
M Nieke, A Hoff, C Seidl, I Schaefer
Journal of Computer Languages 63, 101031, 2021
2021
Consistent Feature-Model Driven Software Product Line Evolution.
M Nieke
Braunschweig University of Technology, Germany, 2021
2021
Applications of# SAT Solvers on Feature Models
C Sundermann, M Nieke, PM Bittner, T Heß, T Thüm, I Schaefer
15th International Working Conference on Variability Modelling of Software …, 2021
2021
The system can't perform the operation now. Try again later.
Articles 1–20