*PUBLICATIONS


A full list of my publications

This list of publications allows you to export the single entries in the BibTeX format and, when ever I am allowed, I added a link to the corresponding preprint for download.

2022

Tuma, Katja; Peldszus, Sven; Strüber, Daniel; Scandariato, Riccardo; Jürjens, Jan

Checking Security Compliance between Models and Code Journal Article

In: Software and Systems Modeling (SoSyM), 2022, (Open Access).

Abstract | Links | BibTeX

2021

Peldszus, Sven; Bürger, Jens; Kehrer, Timo; Jürjens, Jan

Ontology-Driven Evolution of Software Security Journal Article

In: Data & Knowledge Engineering (DKE), vol. 134, 2021.

Links | BibTeX

2020

Ruland, Sebastian; Kulcsár, Géza; Leblebici, Erhan; Peldszus, Sven; Lochau, Malte

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).

Links | BibTeX

Peldszus, Sven; Tuma, Katja; Strüber, Daniel; Jürjens, Jan; Scandariato, Riccardo

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).

Links | BibTeX

Peldszus, Sven

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.

BibTeX

Lohr, Matthias; Peldszus, Sven

Maintenance of Long Living Smart Contracts Inproceedings

In: Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems, 2020.

BibTeX

Peldszus, Sven; Ahmadian, Amir Shayan; Salnitri, Mattia; Jürjens, Jan; Pavlidis, Michalis; Mouratidis, Haralambos

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.

Links | BibTeX

2019

Peldszus, Sven; Tuma, Katja; Strüber, Daniel; Jürjens, Jan; Scandariato, Riccardo

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.

BibTeX

2018

Strüber, Daniel; Peldszus, Sven; Jürjens, Jan

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).

Links | BibTeX

Ruland, Sebastian; Kulcsár, Géza; Leblebici, Erhan; Peldszus, Sven; Lochau, Malte

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).

Links | BibTeX

Peldszus, Sven; Strüber, Daniel; Jürjens, Jan

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.

Links | BibTeX

Peldszus, Sven; Kulcsár, Géza; Lochau, Malte; Schulze, Sandro

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).

BibTeX

2017

Peldszus, Sven; Cirullies, Jan; Jürjens, Jan

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).

BibTeX

Ahmadian, Amir Shayan; Peldszus, Sven; Ramadan, Qusai; Jürjens, Jan

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.

Links | BibTeX

Peldszus, Sven; Bürger, Jens; Strüber, Daniel

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).

BibTeX

Peldszus, Sven; Jürjens, Jan

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.

Links | BibTeX

2016

Peldszus, Sven; Kulcsár, Géza; Lochau, Malte; Schulze, Sandro

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.

Links | BibTeX

2015

Peldszus, Sven; Kulcsár, Géza; Lochau, Malte

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).

Links | BibTeX

Kulcsár, Géza; Peldszus, Sven; Lochau, Malte

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).

Links | BibTeX

Peldszus, Sven; Kulcsár, Géza; Lochau, Malte; Schulze, Sandro

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.

Links | BibTeX

2014

Lochau, Malte; Peldszus, Sven; Kowal, Matthias; Schaefer, Ina

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.

Links | BibTeX