Michael Nieke
Michael Nieke
Verified email at tu-braunschweig.de - Homepage
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
332016
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
192017
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
192016
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
112016
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
102016
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
82018
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
82017
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
72018
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
72018
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
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
12020
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
12019
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
2020
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
2019
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
2019
Second international workshop on variability and evolution of software-intensive systems (VariVolution 2019)
M Nieke, L Linsbauer, J Krüger, T Leich
Proceedings of the 23rd International Systems and Software Product Line …, 2019
2019
Name resolution strategies in variability realization languages for software product lines
S Schuster, M Nieke, I Schaefer
Proceedings of the 7th International Workshop on Feature-Oriented Software …, 2016
2016
Research Track
M Cohen, D Marinov, G Fraser, C Andrés, P Carvallo, M Goldstein, ...
The system can't perform the operation now. Try again later.
Articles 1–18