2022
Editing Support for Software Languages: Implementation Practices in Language Server Protocols Inproceedings
In: MODELS, 2022, (to appear).
Checking Security Compliance between Models and Code Journal Article
In: Software and Systems Modeling (SoSyM), 2022, (Open Access).
2021
Ontology-Driven Evolution of Software Security Journal Article
In: Data & Knowledge Engineering (DKE), vol. 134, 2021.
2020
On Controlling the Attack Surface of Object-Oriented Refactorings Inproceedings
In: Proceedings of the Conference on Software Engineering (SE), pp. 89–90, Gesellschaft für Informatik e.V., 2020, (Open Access).
Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings (Summary) Inproceedings
In: Proceedings of the Conference on Software Engineering (SE), pp. 51–52, Gesellschaft für Informatik e.V., 2020, (Open Access).
Model-driven Development of Evolving Secure Software Systems Inproceedings
In: Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems, 2020.
Maintenance of Long Living Smart Contracts Inproceedings
In: Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems, 2020.
Visual Privacy Management Book Chapter
In: Salnitri, Mattia; Jürjens, Jan; Mouratidis, Haralambos; Mancini, Loredana; Giorgini, Paolo (Ed.): Chapter Visual Privacy Management, pp. 77-108, Springer, 2020.
2019
Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings Inproceedings
In: Proceedings of the 22nd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019.
2018
Taming Multi-Variability of Software Product Line Transformations Inproceedings
In: Proceedings of the 21st International Conference on Fundamental Approaches in Software Engineering (FASE), pp. 337–355, 2018, (Open Access).
Controlling the Attack Surface of Object-Oriented Refactorings Inproceedings
In: Proceedings of the 21st International Conference on Fundamental Approaches in Software Engineering (FASE), pp. 38–55, 2018, (Open Access).
Model-Based Security Analysis of Feature-Oriented Software Product Lines Inproceedings
In: Proceedings of the 17th ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE), 2018.
On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching Inproceedings
In: Proceedings of the Conference on Software Engineering (SE), Gesellschaft für Informatik, 2018, (Open Access).
2017
Sicherheitszertifizierung für die Digitale Transformation -- Anwendung auf den Industrial Data Space Inproceedings
In: Proceedings of the 25th Software-QS-Tag, 2017, (Best Paper Award).
Model-based Privacy and Security Analysis with CARiSMA Inproceedings
In: Proceedings of 2017 11th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 989–993, 2017.
Detecting and Preventing Power Outages in a Smart Grid using eMoflon Inproceedings
In: Garcia-Dominguez, Antonio; Hinkel, Georg; Křikava, Filip (Ed.): Proceedings of the 10th Transformation Tool Contest (TTC), pp. 19–23, 2017, (Open Access).
Werkzeuggestützte Sicherheitszertifizierung -- Anwendung auf den Industrial Data Space Inproceedings
In: Conference Journal 2017 -- Interesting Insights into Professional Practice -- Papers of Lecturers at the Software Quality Days, pp. 10–14, Software Quality Lab GmbH, 2017.
2016
Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching Inproceedings
In: Proceedings of the 31st International Conference on Automated Software Engineering (ASE), 2016.
2015
A Solution to the Java Refactoring Case Study using eMoflon Inproceedings
In: Horn, Tassilo; Krikava, Filip; Rose, Louis (Ed.): Proceedings of the 8th Transformation Tool Contest (TTC), pp. 118–122, 2015, (Open Access).
Object-oriented Refactoring of Java Programs using Graph Transformation Inproceedings
In: Horn, Tassilo; Krikava, Filip; Rose, Louis (Ed.): Proceedings of the 8th Transformation Tool Contest (TTC), pp. 53–82, 2015, (Open Access).
Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation Inproceedings
In: Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ), pp. 138–151, ACM, 2015.
2014
Model-Based Testing Inproceedings
In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM), pp. 310–342, Springer, 2014.