Folgen
Michael Nieke
Michael Nieke
Volkswagen AG
Bestätigte E-Mail-Adresse bei volkswagen.de
Titel
Zitiert von
Zitiert von
Jahr
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
432016
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
322017
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
312016
Context-aware reconfiguration in evolving software product lines
J Mauro, M Nieke, C Seidl, IC Yu
Science of Computer Programming 163, 139-159, 2018
162018
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
152019
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
142020
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
142018
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
142018
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
142016
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
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
122017
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
82019
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
52021
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
52020
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
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
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
22021
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
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
22019
Guiding the evolution of product-line configurations
M Nieke, G Sampaio, T Thüm, C Seidl, L Teixeira, I Schaefer
Software and Systems Modeling 21 (1), 225-247, 2022
12022
Das System kann den Vorgang jetzt nicht ausführen. Versuchen Sie es später erneut.
Artikel 1–20