Prof. Dr.-Ing. Anne Koziolek
- Group: Modelling for Continuous Software Engineering (MCSE), Institute of Information Security and Dependability (KASTEL)
- Office Hours: Mon, 13:00 -14:00 during the lecture period. Please register by e-mail in advance.
- Room: 033
CS 50.34 - Phone: +49 721 608-43473
- koziolek ∂does-not-exist.kit edu
KASTEL - Institute of Information Security and Dependability
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, GermanyIf you would like to leave a message or paper documents for me, please contact or go to the SDQ secretaries' office.
If you would like to suggest a date and time for appointments, please check my availability here.
As I receive many e-mails, I may not reply to generic inquiries, such as job applications that are not specific to our research interests. Sorry!
Research interests
Our research in software engineering is concerned with the early phases and activities in the development of software, or more general software-intensive technical systems. These early activities are concerned with the elicitation and validation of the software and systems requirements. It is known, that the removal of errors in these phases can be extremely costly. In fact, requirement errors are among the main reasons for software project failures today.
More specifically, the motivation of our research is the insight that requirements engineering and design of software systems are inevitably intertwined. Swartout and Balzert described the “inevitable intertwining of specification and design” already in 1982 (Swartout and Balzer 1982). This observation becomes evident with the success of agile methods for software development, in which short feedback cycles support this tight intertwinement. This is remarkable, because the success of starting design activities while the requirements are still under investigation, was doubted by many. In particular, any approaches that systematically aim to transform requirement models into design models suffer from the observation that, in larger projects, requirements are usually not stable and never completely modelled.
Today, there still is a perceived mismatch between agile, code-centric software development with concurrent requirements engineering and software design on the one hand and model-based software engineering with systematic transformations between requirements, design, and code on the other hand. With our research, we want to conciliate model-based software engineering with development processes that have fast and agile feedback cycles and thus combine the benefits of both approaches.
In particular, we are interested in providing systematic, yet low-cost model-based design space exploration to support making good design decisions, which are a major success factor for mission-critical software-intensive technical systems. This support shall enable well-informed trade-off decisions in software design, in requirements elicitation and in requirements analysis while at the same time incurring minimal overhead for the developers.
With respect to this aim, we have contributed to the following main topics (among others)
- Model-based design space exploration
- Continuous, automated update of performance models
- Tracelink recovery and consistency checking between natural language documentation, models and source code
All contributions are listed on our publications page. Our tools for consistency analyses between different kind of documentation, ArDoCo, and for design space exploration, PerOpteryx - SDQ Wiki (kit.edu), are available on Github.
Additionally, we are interested in empirical studies on software architecture topics, especially on the empirical validation of software architecture approaches.
Availability of Publications
You can access freely available versions of most our publications by clicking on the publication title. This will lead you to our institutional repository, KITopen, which contains or links to the freely available version, if available. If you miss a publication, please contact the authors by e-mail.
Awards
- ICSA'21 10-years Most Influential Paper Award for the paper "PerOpteryx: automated application of tactics in multi-objective software architecture optimization." by Anne Koziolek, Heiko Koziolek, and Ralf Reussner.
- ICPE 2021 10-years Most Influential Paper Award for the paper "Detection and solution of software performance antipatterns in Palladio architectural models" by Catia Trubiani and Anne Koziolek.
- ICPE 2020 10-years Most Influential Paper Award for the paper "Automatically Improve Software Architecture Models for Performance, Reliability, and Costs Using Evolutionary Algorithms" co-authored by Anne Koziolek, Heiko Koziolek, Steffen Becker and Ralf Reussner
- ASE'15 Distinguished Reviewer Award for her work on the program committee of the 30th IEEE/ACM International Conference on Automated Software Engineering
- ICPE'12 Best Industry-Related Paper Award together with Thijmen de Gooijer, Anton Jansen, and Heiko Koziolek
- ICPE'11 Best Paper Award together with Catia Trubiani
- QoSA'09 Best Paper Award together with Klaus Krogmann, Christian M. Schweda, Sabine Buckl, Michael Kuperberg, and Florian Matthes
- ObjektForum Förderpreis award for my diploma thesis, 2008
- OLB / EWE Award for Distinguished Student Achievements, 2006
| Title | Type |
|---|---|
| Practical Course: Tools for Agile Modelling | Praktikum (P) |
| Proseminar Software Requirements and Design | ProSeminar(PS) |
| Title | Type |
|---|---|
| Continuous Software Engineering | Seminar (S) |
| Practical Course: Tools for Agile Modelling | Praktikum (P) |
| Sprachverarbeitung in der Softwaretechnik | Lecture (V) |
| Title | Type |
|---|---|
| Practical Course: Tools for Agile Modelling | Praktikum (P) |
| Proseminar Software Requirements and Design | ProSeminar(PS) |
| Requirements Engineering | Lecture (V) |
| Title | Type |
|---|---|
| Natural Language Processing and Software Engineering | Lecture (V) |
| Tutorenseminar zu Programmieren | Others (sonst.) |
| Programming | Lecture / Practice (VÜ) |
| Continuous Software Engineering | Seminar (S) |
| Practical Course: Tools for Agile Modelling | Praktikum (P) |
| Title | Type |
|---|---|
| Proseminar Software Requirements and Design | Proseminar (PS) |
| Requirements Engineering | Lecture (V) |
| Practical Course: Tools for Agile Modelling | Praktikum (P) |
Community Activities
She is or has been a program committee member (or expert review panel member if indicated) of the following conferences
-
ICSA 2026, the 22nd International Conference on Software Architecture (SAIP track)
-
MoM'2024, the First International Workshop on Model Management
-
ECSA 2024, the 18th European Conference on Software Architecture (doctoral symposium track)
-
ICPE 2024, the 15th ACM/SPEC International Conference on Performance Engineering
-
SE 2024, the Software Engineering Conference 2024
-
EASE 2024, the 28th International Conference on Evaluation and Assessment in Software Engineering (short papers, vision and emerging results track)
-
ICSE 2024, the 46th International Conference on Software Engineering (new ideas and emerging track)
-
ICSA 2024, the 21st IEEE International Conference on Software Architecture (early career track)
-
ASE 2023, the 37th IEEE/ACM International Conference on Automated Software Engineering
-
ECSA 2023, the 17th European Conference on Software Architecture
-
ICPE 2023, the 14th ACM/SPEC International Conference on Performance Engineering
-
ICSA 2023, the 20th IEEE International Conference on Software Architecture
-
MODELS 2023, the 26th International Conference in Model Driven Engineering Languages and Systems (foundations track)
-
ICSE 2023, the 45th ACM/IEEE International Conference on Software Engineering (software engineering in practice track)
-
ASE 2022, the 36th IEEE/ACM International Conference on Automated Software Engineering
-
ECSA 2022, the European Conference on Software Architecture
-
ICSE 2022, the 44th ACM/IEEE International Conference on Software Engineering
-
ICSA 2022, the 19th IEEE International Conference on Software Architecture
-
CAIN 2022, the 1st ACM/IEEE Conference on AI Engineering - Software Engineering for AI
-
ICSE 2021, the 43rd ACM/IEEE International Conference on Software Engineering
-
ICSA 2021, the 18th IEEE International Conference on Software Architecture (merged IEEE/IFIP WICSA and ACM SIGSOFT CompArch)
-
ICSA 2021, the 5th International Conference on Software Architecture (merged IEEE/IFIP WICSA and ACM SIGSOFT CompArch) (new and emerging ideas track)
-
ICSE 2020 , the 42st ACM/IEEE International Conference on Software Engineering (artefact evaluation track)
-
ICSA 2020, the 17th IEEE International Conference on Software Architecture (merged IEEE/IFIP WICSA and ACM SIGSOFT CompArch)
-
ECSA 2020, the 14th European Conference on Software Architecture
-
SSBSE 2019, the 11th Symposium on Search-Based Software Engineering
-
ICSA 2019, the 16th IEEE International Conference on Software Architecture (merged IEEE/IFIP WICSA and ACM SIGSOFT CompArch)
-
ICPE 2019, the 10th ACM/SPEC International Conference on Performance Engineering
-
ECSA 2019, the 13th European Conference on Software Architecture
-
REFSQ'19, the 25th International Working Conference on Requirements Engineering: Foundation for Software Quality
-
ICSE 2019 , the 41st ACM/IEEE International Conference on Software Engineering (artefact evaluation track)
-
REFSQ'18, the 24th International Working Conference on Requirements Engineering: Foundation for Software Quality
-
ICSA 2018, the 15th IEEE International Conference on Software Architecture (merged IEEE/IFIP WICSA and ACM SIGSOFT CompArch)
-
ICPE 2018, the 9th ACM/SPEC International Conference on Performance Engineering
-
SSBSE 2018, the 10th Symposium on Search-Based Software Engineering 2018
-
RE'18∂Next!, the 26th IEEE International Requirements Engineering Conference (ongoing research track)
-
QUATIC 2018, the 11th International Conference on the Quality of Information and Communications Technology ( quality aspects in DevOps development scientific track)
-
ICSA 2017, the 14th IEEE International Conference on Software Architecture (merged IEEE/IFIP WICSA and ACM SIGSOFT CompArch)
-
SSBSE 2017, the 9th International Symposium on Search Based Software Engineering
-
RE'17∂Next!, the 25th IEEE International Requirements Engineering Conference ( ongoing research track)
-
REFSQ'17, the 23rd International Working Conference on Requirements Engineering: Foundation for Software Quality
-
ASE'16, the 31th IEEE/ACM International Conference on Automated Software Engineering (expert review panel member)
-
RE'16∂Next!, the 24th IEEE International Requirements Engineering Conference (ongoing research)
-
REFSQ'16, the 22nd International Working Conference on Requirements Engineering: Foundation for Software Quality
-
SEAA 2016, the 42nd Euromicro Conference on Software Engineering and Advanced Applications
-
WICSA and CompArch 2016, joint PC of the 13th Working IEEE/IFIP Conference on Software Architecture (WICSA) and the federated CompArch conference, which includes the 19th International ACM SIGSOFT Symposium on Component-Based Software Engineering (CBSE) and the 12th International ACM SIGSOFT Conference on the Quality of Software Architectures (QoSA)
-
ASE'15, the 30th IEEE/ACM International Conference on Automated Software Engineering
-
QoSA'15, the 11th International ACM Sigsoft Conference on the Quality of Software Architectures
-
WICSA'15, the 12th Working IEEE / IFIP Conference on Software Architecture
-
REFSQ'15, the 21st International Working Conference on Requirements Engineering: Foundation for Software Quality
-
ICPE'15, the 6th ACM/SPEC International Conference on Performance Engineering
-
SEAA'15, the 41st Euromicro Conference on Software Engineering and Advanced Applications
-
CBSE'14, the 17th International ACM Sigsoft Symposium on Component-Based Software Engineering
-
ICPE'14, the 5th ACM/SPEC International Conference on Performance Engineering (main track and work-in-progress track)
-
WICSA'14, the Joint 11th Working IEEE/IFIP Conference on Software Architecture
-
CBSE'13, the 16th International ACM Sigsoft Symposium on Component-Based Software Engineering
Anne is or was program committee co-chair or general co-chair of the following events
-
ICSA 2026, the 22nd International Conference on Software Architecture (PC Co-Chair)
-
SE 2025, General Chairs, Software Engineering Conference 2025
-
SE'21, the German Software Engineering conference (Tagung Software Engineering (SE) der Gesellschaft für Informatik (GI))
-
PROPSER 2021, the 1st International Workshop on Properties of Software Engineering Research (PROPSER) (an EASE'21 workshop) (PC co-chair)
-
ICPE 2020, the 11th ACM/SPEC International Conference on Performance Engineering (general co-chair)
-
WSE∂ECSA 2019, the Women in Software Engineering Track and Panel at the European Conference on Software Architecture (ECSA'19)
-
SQUADE'19, the 2nd international workshop on Software Qualities and their Dependencies (PC co-chair)
-
MARCH 2019, the 3rd International Workshop on decision Making in Software ARCHitecture
-
SQUADE'18, the 1st international workshop on Software Qualities and their Dependencies (an ICSE'18 workshop) (PC co-chair)
-
ICPE 2017, the 8th ACM/SPEC International Conference on Performance Engineering (PC co-chair)
-
QRASA'16, the 1st International Workshop on Qualitative Reasoning about Software Architectures (a WICSA and CompArch 2016 workshop) (PC co-chair)
-
FoSADA'15, the 1st International Workshop on the Future of Software Architecture Design Assistants (a WICSA | CompArch 2015 workshop) (PC co-chair)
-
QoSA'13, the Ninth International ACM Sigsoft Conference on the Quality of Software Architectures (PC co-chair)
-
SE4SG'14 and SE4SG'13, the 3rd and 2nd International Workshop on Software Engineering Challenges for the Smart Grid (an ICSE workshop) (PC co-chair)
-
Palladio Days'12, the Palladio User Symposium (PC co-chair)
and a program committee member of the following workshops and doctoral symposia
-
RDiMOD2024, the 2nd Working Workshop on Research Data Management in Modelling in Computer Science
-
SASI4 2019, the First Workshop on Systems, Architectures, and Solutions for Industry 4.0
-
SeAC 2019, the 3rd Workshop on Self-Aware Computing
-
RCoSE/DDrEE'19, the Joint 5th International Workshop on Rapid Continuous Software Engineering and 1st International Workshop on Data-Driven Decisions, Experimentation and Evolution (an ICSE workshop)
-
AMS 2018, the Second International Workshop on Architecting with MicroServices
-
MARCH 2017, the 2nd International Workshop on decision Making in Software ARCHitecture (satellite event of ICSA)
-
ModComp'16, the 3rd International Workshop on Model-Driven Engineering for Component-Based Software Systems (satellite event of MoDELS)
-
ESPRE 2016, the third Workshop on Evolving Security and Privacy Requirements Engineering (ESPRE) (at RE'16)
-
S4CIP 2016, the 1st workshop on IntSafety & Security aSSurance for Critical Infrastructures Protection (a workshop at ANT 2016)
-
VAQUITA 2015, the Workshop on Variability for Qualities in Software Architecture (an ECSA workshop)
-
ESPRE 2015, the second Workshop on Evolving Security and Privacy Requirements Engineering (ESPRE) (at RE'15)
-
ModComp'15, the 3rd International Workshop on Model-Driven Engineering for Component-Based Software Systems (satellite event of MoDELS)
-
TwinPeaks∂ICSE 2015, the 5th International Workshop on the Twin Peaks of Requirements and Architecture
-
MB4CP'15, the International Workshop on Model-Based Design for Cyber-Physical Systems at DSN 2015
-
WOSP-C'15, the 1st Workshop on Challenges in Performance Methods for Software Development (an ICPE workshop)
-
ModComp'14, the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems (satellite event of MoDELS)
-
TwinPeaks∂ICSE 2014, the Fourth International Workshop on the Twin Peaks of Requirements and Architecture (an ICSE workshop)
-
WoSAR'14, the 6th International Workshop on Software Aging and Rejuvenation (co-located with ISSRE)
-
WCOP'13, the 18th International Doctoral Symposium on Components and Architecture
-
Multi-Cloud2013, the 1st International workshop on multi-cloud applications and federated clouds
-
TwinPeaks∂RE 2013, the Third International Workshop on the Twin Peaks of Requirements and Architecture (an RE workshop)
-
TwinPeaks∂ICSE 2013 , the Second International Workshop on the Twin Peaks of Requirements and Architecture (an ICSE workshop)
Furthermore, she has been a reviewer for the following journals and magazines:
-
IEEE Transactions on Software Engineering (2014, 2015, 2016, 2017, 2018, 2019, 2020)
-
IEEE Transactions on Reliability (2015, 2016)
-
ACM Transactions on Software Engineering and Methodology (2014, 2015, 2019, 2020, 2023)
-
IEEE Software, regular paper (2015), special issue on "the software architect’s role in the digital age" (2016), and special issue on the Twin Peaks of Requirements and Architecture (2012)
-
Journal of Systems and Software, (special issue on Quality Optimisation of Software Architecture and Design Specifications 2012, 2016, 2019, 2024), Elsevier
-
Software and System Modeling Journal, regular paper (2015, 2018, 2024), theme issue on Model-Driven Engineering for Component-Based Software Systems (2016), and theme issue on Models for Quality of Software Architecture (2012), Springer
-
Computing, Springer (2020)
-
Empirical Software Engineering, special Issue on Traceability (2016), Springer
-
Journal of Engineering Optimization (2012), Taylor and Francis
-
Journal of Applied Soft Computing, Elsevier (2014)
-
Software: Practice and Experience, Wiley, (2013)
-
Journal of Software: Evolution and Process, Wiley (2016)
-
International Journal of Electrical Power and Energy Systems, Elsevier (2016)
Additionally, she is or was involved in the organization committee of the following events
-
ICSA / QoSA since 2016 as steering committee member
-
ICSA 2021 as artifact evaluation track co-chair
-
ICSE 2018 as demonstration co-chair
-
WOSP-C, the Workshop on Challenges in Performance Methods for Software Development as organizing committee member and program commitee member
-
CompArch 2012 as publication chair
In May 2015, Anne gave an invited talk on "Design Assistants for Supporting the TwinPeaks" at the Twin Peaks 2015 Workshop at ICSE 2015.
In February 2016, Anne was invited to the 2016 meeting of the IFIP Working Group 2.9 Software Requirements Engineering and gave a talk on "Intertwining Requirements Engineering and Rapid Software Architecture Modelling and Evaluation".
In March 2016, Anne gave an invited talk on "Modellbasierte Entwurfsraumexploration für die Evolution" at the 3rd Workshop on "Modellbasierte und Modellgetriebene Softwaremodernisierung" (MMSM 2016).
Anne is a co-spokesperson of the NFDIxCS proposal of the informatics community for the national research data infrastructure (NFDI). In June 2020, Anne gave a talk on "Artefakte aus der Softwareentwicklung als Daten" at the GI Webtalk "NFDIxCS: Nationale Forschungsdateninitiative (NFDI) für die Informatik". In September 2021, she gave a talk on "Software als Forschungsdaten" at the "GI Forschungsdaten-Soiree #2: Software als Forschungsdaten und Langzeitarchivierung".
Anne was also invited to and participated in the following (GI) Dagstuhl Seminars
-
Quantitative Software Design (Dagstuhl Seminar 09432, 2009)
-
Quality-of-Service Attributes in Service- and Cloud-based Systems: Specification, Modelling, Monitoring, Prediction, and Optimisation (GI-Dagstuhl Seminar 12211, 2012)
-
Randomized Timed and Hybrid Models for Critical Infrastructures (Dagstuhl Seminar 14031, 2014)
-
Model-driven Algorithms and Architectures for Self-Aware Computing Systems (Dagstuhl Seminar 15041, 2015)
-
Multi-Level Modelling (Dagstuhl Seminar 17492, 2017)
-
Software Evolution in Time and Space: Unifying Version and Variability Management (Dagstuhl Seminar 19191, 2019)
Curriculum Vitae (CV)
|
2019 - now |
Full professor of software engineering at Karlsruhe Institute of Technology |
| Parental leave 04/2021 - 04/2022 | |
| 2013 - 2019 | Assistant professor of software engineering at Karlsruhe Institute of Technology |
| Parental leaves 07/2013 - 07/2014 and 01/2017 - 01/2018 (each with 25% part-time contract) | |
| 2011 - 2013 | Postdoc at University of Zurich, Requirements Engineering Group |
| 2011 | Researcher at FZI Forschungszentrum Informatik |
| 2008 - 2011 | Research fellowship of the German National Academic Foundation ("Studienstiftung des deutschen Volkes") |
| 2007 - 2008 | Research assistant at the University of Karlsruhe |
| 2005 - 2007 | Student scholarship holder of the German National Academic Foundation ("Studienstiftung des deutschen Volkes") |
| 2004 - 2007 | Student assistant in research and teaching (various positions) |
| 2005 | Studies abroad at the University of West Georgia |
| 2002 - 2007 | Studies of Computer Science at the Carl-von-Ossietzky University of Oldenburg |
| 1995 - 2002 | Attendance of the secondary school KGS Rastede in Rastede, Germany |