Sophie Corallo, M.Sc.
- Room: 245
CS 50.34 - Phone: +49 721 608-47381
- sophie corallo ∂ kit edu
- s.kit.edu/sophie-corallo
Chair Prof. Koziolek
KASTEL - Institute of Information Security and Dependability
Karlsruhe Institute of Technology (KIT)
Am Fasanengarten 5
76131 Karlsruhe, Germany
About me
I am a researcher at KIT since 2020. I have broad interests and am enthusiastic about a wide variety of topics in software engineering. Specifically, these include natural language processing, consistency relations, studies about women in computer science, the engineering process behind security, and energy systems.
My current research is focused on the latter: My goal is to find an easy and efficient way to combine the software life cycle with knowledge about security.
Therefore, I am involved in KASTEL-ESS to develop such an approach and to find out whether it can be applied to energy systems.
Research Interests
- Natural Language Processing
- Consistency Relations
- Women in Computer Science
- Security Documentation for Software Systems
- Security during Software Engineering
- Quantification of Security in Software Systems
- Energy Systems
Title | Short Description |
---|---|
ArDoCo | The goal of this project is to connect architecture documentation and models while identifying missing or deviating elements (inconsistencies). |
InFormALin | The goal of the Informal and Formal Artifacts Linker (InFormALin) project is to connect informal artifacts like architecture documentation and formal (dt. formell) artifacts like models. With this links, tasks like consistency checking can be performed. In this project, a general framework is established that can be instantiated to look at specific artifacts and to perform certain tasks. One implementation is realized within the ArDoCo project. |
Topic ESS (KASTEL Security Research Labs) | As part of the Helmholtz Association, KASTEL contributes to the Topic 3 “Engineering Secure Systems” (ESS) in Program 1 “Engineering Digital Futures” (EDF) of the Helmholtz Research Field “Information”. Engineering Secure Systems (ESS) requires methods to systematically specify, model, develop, evaluate, and evolve software-intensive systems including various layers from the cryptographic primitives to the user interfaces, particularly under the constraints inherent to a specific domain. The key objective of the Topic ESS is the quantification of security and its application to engineering secure software-intensive systems, particularly in energy, mobility, and production systems. To illustrate the necessity for measuring IT security, different demonstrators are developed based on interdisciplinary research. This enables the development of viable long-term IT security solutions. Within the Topic ESS, the MCSE group studies how to model security-related design decisions and assumptions and how to trace such decisions automatically to natural language documentation. Additionally, the group is working on concepts how to distribute such models across multiple organizations in a privacy-preserving way. With this research, MCSE is involved in the ESS-Subtopics "Methods for Engineering Secure Systems", "Engineering Security for Energy Systems" and "Engineering Security for Mobility Systems". |
uDevOps | An H2020 Research and Innovation Staff Exchange (RISE) project: During 4 years the 6 partners will work together to promote research, development and intense knowledge/skills exchange to foster towards key advances in the µDevOps SQA field. |
Publications
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2024. Software Engineering 2024 (SE 2024). Ed.: R. Rabiser, 119–120, Gesellschaft für Informatik (GI). doi:10.18420/sw2024_37
Hey, T.; Keim, J.; Corallo, S.
2024. 32nd IEEE International Requirements Engineering Conference : 24-28 June 2024, Reykjavik, Iceland. Ed.: G. Liebel, 155–167, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/RE59067.2024.00024
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. ICSE ’24: Proceedings of the IEEE/ACM 46th International Conference on Software Engineering. Ed.: A. Paiva, Art.-Nr.: 215, Association for Computing Machinery (ACM). doi:10.1145/3597503.3639130
Keim, J.; Corallo, S.; Fuchß, D.; Koziolek, A.
2023. 20th IEEE International Conference on Software Architecture (ICSA), 141–152, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA56044.2023.00021
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2023. Software Architecture. ECSA 2022 Tracks and Workshops, Prague, Czech Republic, September 19–23, 2022, Revised Selected Papers. Ed.: T. Batista, 455–464, Springer International Publishing. doi:10.1007/978-3-031-36889-9_30
Konersmann, M.; Kaplan, A.; Kühn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2023. Software Engineering 2023 : Fachtagung des GI-Fachbereichs Softwaretechnik : 20.-24. Februar 2023 Paderborn. Ed.: G. Engels; M. Tichy, 75–76, Gesellschaft für Informatik (GI)
Konersmann, M.; Kaplan, A.; Kuhn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; Al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2022. ICSA 2022 – Journal First Track Papers: 2022 IEEE 19th International Conference on Software Architecture Companion (ICSA-C), 58, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA-C54293.2022.00021
Konersmann, M.; Kaplan, A.; Kuhn, T.; Heinrich, R.; Koziolek, A.; Reussner, R.; Jurjens, J.; al-Doori, M.; Boltz, N.; Ehl, M.; Fuchß, D.; Groser, K.; Hahner, S.; Keim, J.; Lohr, M.; Saglam, T.; Schulz, S.; Toberg, J.-P.
2022. 2022 IEEE 19th International Conference on Software Architecture (ICSA), Honolulu, HI, USA, 12-15 March 2022, 157–168, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICSA53651.2022.00023
Schulz, S.; Reiche, F.; Hahner, S.; Schiffl, J.
2022. Symposium on Software Performance 2021 : Short Paper Proceedings of Symposium on Software Performance, Leipzig, Germany, November 9.-10., 2021. Ed.: D. G. Reichelt, R. Müller, S. Becker, W. Hasselbring, A. v. Hoorn, S. Kounev, A. Koziolek, R. Reussner, RWTH Aachen
Corallo, S.; Mazkatli, M.; Rapp, M.; Hajiabadi, H.; Kaplan, A.; Kuehn, R.; Schmid, L.; Singh, S.
2022. Software Architecture – 15th European Conference, ECSA 2021 Tracks and Workshops; Växjö, Sweden, September 13–17, 2021, Revised Selected Papers. Ed.: P. Scandurra, 47–62, Springer International Publishing. doi:10.1007/978-3-031-15116-3_3
Kaplan, A.; Kühn, T.; Hahner, S.; Benkler, N.; Keim, J.; Fuchß, D.; Corallo, S.; Heinrich, R.; Corallo, S.; Heinrich, R.
2022. EASE 2022: The International Conference on Evaluation and Assessment in Software Engineering 2022. Ed.: M. Staron, 311–316, Association for Computing Machinery (ACM). doi:10.1145/3530019.3535305
Keim, J.; Schulz, S.; Fuchß, D.; Kocher, C.; Speit, J.; Koziolek, A.
2021. Software Architecture. Ed.: S. Biffl, 101–116, Springer-Verlag. doi:10.1007/978-3-030-86044-8_7
Wachtel, A.; Fuchß, D.; Schulz, S.; Tichy, W. F.
2019. 2019 IEEE International Conference on Conversational Data & Knowledge Engineering (CDKE), 39–42, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/CDKE46621.2019.00013
Wachtel, A.; Schulz, S.; Tichy, W. F.
2019. IEEE 13th International Conference on Semantic Computing (ICSC), Newport Beach; CA, United States; 30 January - 1 February 2019, 375–380, Institute of Electrical and Electronics Engineers (IEEE). doi:10.1109/ICOSC.2019.8665513
Kühn, T.; Fuchß, D.; Corallo, S.; König, L.; Burger, E.; Keim, J.; Mazkatli, M.; Sağlam, T.; Reiche, F.; Koziolek, A.; Reussner, R.
2023. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000161127
Fuchß, D.; Corallo, S.; Keim, J.; Speit, J.; Koziolek, A.
2022. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000151962
Kaplan, A.; Kühn, T.; Hahner, S.; Benkler, N.; Keim, J.; Fuchß, D.; Corallo, S.; Heinrich, R.
2022. Association for Computing Machinery (ACM). doi:10.5445/IR/1000145968
Corallo, S.; Weber, T.; König, L.; Schmidt, K. L.; Reiche, F.; Koziolek, A.
2024, May. 46th International Conference on Software Engineering (ICSE 2024), Lisbon, Portugal, April 14–20, 2024
Keim, J.; Corallo, S.; Fuchß, D.; Hey, T.; Telge, T.; Koziolek, A.
2024. doi:10.5281/zenodo.10411853
Schulz, S.
2020, October 5. Karlsruher Institut für Technologie (KIT). doi:10.5445/IR/1000126194
Theses
All open theses of the chair can be found in our Wiki.
If you don't find a topic that fits to you and have your own idea, don't hesitate to contact me. I'm always open for other ideas!
With my theses I offer:
- close relations to current research projects and opportunities for publications
- very good working environment
- intensive supervision including regular meetings, reviews, etc.
- opportunities for industrial cooperations
Title | Type | Semester |
---|---|---|
Proseminar Software Requirements and Design | Proseminar (PS) | SS 2021 |
Undergraduate Seminar Software Disasters | Proseminar (PS) | SS 2022 |
Software Engineering II | Lecture (V) | WS 22/23 |
Practical Course: Tools for Agile Modelling | Praktikum (P) | WS 22/23 |
Data in Software-Intensive Technical Systems - Modeling - Analysis - Protection | Seminar (S) | WS 22/23 |