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
412016
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
292016
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
282017
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
142016
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
132018
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
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
122020
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
122018
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
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
112019
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
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
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
42020
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
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
32021
GuyDance: Guiding Configuration Updates for Product-Line Evolution
M Nieke, G Sampaio, T Thüm, C Seidl, L Teixeira, I Schaefer
Proceedings of the 24th ACM International Systems and Software Product Line …, 2020
22020
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
22020
Consistent Feature-Model Driven Software Product Line Evolution
M Nieke
Braunschweig University of Technology, Germany, 2021
12021
Variant and Product Line Co-Evolution
JC Kirchhof, M Nieke, I Schaefer, D Schmalzing, M Schulze
Model-Based Engineering of Collaborative Embedded Systems, 333-351, 2021
12021
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
The system can't perform the operation now. Try again later.
Articles 1–20