Sofia Ananieva, M. Sc.
- Researcher
- Group: Researcher
- Room: 5.06 Berlin
- Phone: +49 30 7017337320
- sofia ananieva ∂does-not-exist.partner kit edu
Research Interests
My research is about managing variability in space (i.e., variants and features) and variability in time (i.e., revisions) simultaneously for highly configurable systems.
I am particularly interested in developing model-driven tools and approaches that allow engineering of product lines from different engineering view points while ensuring variability-aware consistency preservation.
Short CV
| 11/2016-now | Researcher at FZI Researcher Center for Information Technology |
| 2016 | M.Sc. Computer Science (Technische Universität Braunschweig) |
| 09/2014-01/2015 | Visting student at the Uppsala University (Sweden) |
| 2013 | B.Sc. Computer Science (Technische Universität Braunschweig) |
| 2010 | Abitur at Ratsgymnasium Osnabrück |
Publications
Towards Managing and Organizing Research Activities
Kaplan, A.; Rapp, M.; Ananieva, S.; Hajiabadi, H.; Kühn, R.; Mazkatli, M.; Schmid, L.; Singh, S.
2021. 8th ACM Celebration of Women in Computing: womENcourage (2021), Online, September 22–24, 2021
Kaplan, A.; Rapp, M.; Ananieva, S.; Hajiabadi, H.; Kühn, R.; Mazkatli, M.; Schmid, L.; Singh, S.
2021. 8th ACM Celebration of Women in Computing: womENcourage (2021), Online, September 22–24, 2021
Towards Managing and Organizing Research Activities
Kaplan, A.; Rapp, M.; Ananieva, S.; Hajiabad, H.; Kühn, R.; Mazkatli, M.; Schmid, L.; Singh, S.
2021. 8th ACM Celebration of Women in Computing: womENcourage 2021
Kaplan, A.; Rapp, M.; Ananieva, S.; Hajiabad, H.; Kühn, R.; Mazkatli, M.; Schmid, L.; Singh, S.
2021. 8th ACM Celebration of Women in Computing: womENcourage 2021
Unified Operations for Variability in Space and Time
Ananieva, S.; Greiner, S.; Krueger, J.; Linsbauer, L.; Gruener, S.; Kehrer, T.; Kuehn, T.; Seidl, C.; Reussner, R.
2022. Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, 1–10, Association for Computing Machinery (ACM). doi:10.1145/3510466.3510483
Ananieva, S.; Greiner, S.; Krueger, J.; Linsbauer, L.; Gruener, S.; Kehrer, T.; Kuehn, T.; Seidl, C.; Reussner, R.
2022. Proceedings of the 16th International Working Conference on Variability Modelling of Software-Intensive Systems, 1–10, Association for Computing Machinery (ACM). doi:10.1145/3510466.3510483
Consistent management of variability in space and time
Ananieva, S.
2021. Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B, 7–12, Association for Computing Machinery (ACM). doi:10.1145/3461002.3473067
Ananieva, S.
2021. Proceedings of the 25th ACM International Systems and Software Product Line Conference - Volume B, 7–12, Association for Computing Machinery (ACM). doi:10.1145/3461002.3473067
Third International Workshop on Variability and Evolution of Software-Intensive Systems (VariVolution 2020)
Krüger, J.; Ananieva, S.; Gerling, L.; Walkingshaw, E.
2020. Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 1, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414944
Krüger, J.; Ananieva, S.; Gerling, L.; Walkingshaw, E.
2020. Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 1, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414944
Towards a conceptual model for unifying variability in space and time
Ananieva, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Ramesh, S.; Burger, A.; Taentzer, G.; Westfechtel, B.
2019. Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC ’19, 1–5, ACM Digital Library. doi:10.1145/3307630.3342412
Ananieva, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Ramesh, S.; Burger, A.; Taentzer, G.; Westfechtel, B.
2019. Proceedings of the 23rd International Systems and Software Product Line Conference volume B - SPLC ’19, 1–5, ACM Digital Library. doi:10.1145/3307630.3342412
Supporting the Development of Interdisciplinary Product Lines in the Manufacturing Domain
Kowal, M.; Ananieva, S.; Thüm, T.; Schaefer, I.
2017. IFAC-PapersOnLine, 50 (1), 4336–4341. doi:10.1016/j.ifacol.2017.08.870
Kowal, M.; Ananieva, S.; Thüm, T.; Schaefer, I.
2017. IFAC-PapersOnLine, 50 (1), 4336–4341. doi:10.1016/j.ifacol.2017.08.870
Implicit Constraints in Partial Feature Models
Ananieva, S.; Kowal, M.; Thüm, T.; Schaefer, I.
2016. Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 18–27, Association for Computing Machinery (ACM). doi:10.1145/3001867.3001870
Ananieva, S.; Kowal, M.; Thüm, T.; Schaefer, I.
2016. Proceedings of the 7th International Workshop on Feature-Oriented Software Development, 18–27, Association for Computing Machinery (ACM). doi:10.1145/3001867.3001870
Explaining anomalies in feature models
Kowal, M.; Ananieva, S.; Thüm, T.
2016. Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 132–143, Association for Computing Machinery (ACM). doi:10.1145/2993236.2993248
Kowal, M.; Ananieva, S.; Thüm, T.
2016. Proceedings of the 2016 ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences, 132–143, Association for Computing Machinery (ACM). doi:10.1145/2993236.2993248
Model-Driven Consistency Preservation in AutomationML
Ananieva, S.; Burger, E.; Stier, C.
2018. 14th IEEE International Conference on Automation Science and Engineering, 1536–1541, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/COASE.2018.8560343
Ananieva, S.; Burger, E.; Stier, C.
2018. 14th IEEE International Conference on Automation Science and Engineering, 1536–1541, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/COASE.2018.8560343
A conceptual model for unifying variability in space and time
Ananieva, S.; Greiner, S.; Kühn, T.; Krüger, J.; Linsbauer, L.; Grüner, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Krieter, S.; Seidl, C.; Ramesh, S.; Reussner, R.; Westfechtel, B.
2020. SPLC ’20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 148–158, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414955
Ananieva, S.; Greiner, S.; Kühn, T.; Krüger, J.; Linsbauer, L.; Grüner, S.; Kehrer, T.; Klare, H.; Koziolek, A.; Lönn, H.; Krieter, S.; Seidl, C.; Ramesh, S.; Reussner, R.; Westfechtel, B.
2020. SPLC ’20: Proceedings of the 24th ACM Conference on Systems and Software Product Line: Volume A - Volume A, 148–158, Association for Computing Machinery (ACM). doi:10.1145/3382025.3414955
Variants and Versions Management for Models with Integrated Consistency Preservation
Ananieva, S.; Klare, H.; Burger, E.; Reussner, R.
2018. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018), Madrid, E, February 7-9, 2018, 3–10, Association for Computing Machinery (ACM). doi:10.1145/3168365.3168377
Ananieva, S.; Klare, H.; Burger, E.; Reussner, R.
2018. Proceedings of the 12th International Workshop on Variability Modelling of Software-Intensive Systems (VAMOS 2018), Madrid, E, February 7-9, 2018, 3–10, Association for Computing Machinery (ACM). doi:10.1145/3168365.3168377
Supervised Theses
- Atilla Ateş, Konsistenzerhaltung von Feature-Modellen durch externe Sichten, Bachelor's Thesis, 2022.
- Andreas Lang. Eigenschaftsbasierte Konsistenzhaltung in AutomationML. Master's Thesis, Karlsruhe Institute of Technology (KIT), 2019.
- Nico Kopp. Entwicklungsmethoden für Produktfamilien. Master's thesis, Karlsruhe Institute of Technology (KIT), 2018.
- Dominik Klooz. Semi-automatic Consistency Preservation of Models. Bachelor's thesis, Karlsruhe Institute of Technology (KIT), 2018
Activities
- Dagstuhl Seminar 19481: "Composing Model-Based Analysis Tools" (11/2019)
- Dagstuhl Seminar 19191: "Software Evolution in Time and Space: Unifying Version and Variability Management" (05/2019)
- Feature-Oriented Software Development (FOSD) Meeting (03/2019)
- Feature-Oriented Software Development (FOSD) Meeting (02/2017)
Community Services
- SPLC 2021: 25th International Systems and Software Product Line Conference (Program Committee: Journal First Track, Challenge Solution Track)
- VariVolution 2021: 4th International Workshop on Variability and Evolution of Software-Intensive Systems (Program Committee)
- SE 2021: Software Engineering der Gesellschaft für Informatik (Proceedings Chair)
- SPLC 2020: 24th International Systems and Software Product Line Conference (Program Committee: Demonstrations and Tools Track, Challenge Track)
- VariVolution 2020: 3rd International Workshop on Variability and Evolution of Software-Intensive Systems (Organizing Committee)
- VariVolution 2019: 2nd International Workshop on Variability and Evolution of Software-Intensive Systems (Program Committee)
Qualifications
- Base Certificate Project Management, GPM Deutsche Gesellschaft für Projektmanagement e.V., 2021.
- Professional Scrum Product Owner I (PSPO), Scrum.org, 2020.
- Requirements Engineering Foundation Level, IREB GmbH, 2017.
- Certified Tester Foundation Level, iSQI Group, 2015.
- Diplôme d'études en langue française (DELF) B1, CIEP, 2008.