Model-based privacy and security analysis with CARiSMA AS Ahmadian, S Peldszus, Q Ramadan, J Jürjens Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017 | 24 | 2017 |
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching S Peldszus, G Kulcsár, M Lochau, S Schulze Proceedings of the 31st IEEE/ACM International Conference on Automated …, 2016 | 24 | 2016 |
Secure data-flow compliance checks between models and code based on automated mappings S Peldszus, K Tuma, D Strüber, J Jürjens, R Scandariato 2019 ACM/IEEE 22nd International Conference on Model Driven Engineering …, 2019 | 19 | 2019 |
Model-based security analysis of feature-oriented software product lines S Peldszus, D Strüber, J Jürjens Proceedings of the 17th ACM SIGPLAN International Conference on Generative …, 2018 | 16 | 2018 |
Taming Multi-Variability of Software Product Line Transformations. D Strüber, S Peldszus, J Jürjens FASE, 337-355, 2018 | 16 | 2018 |
Controlling the attack surface of object-oriented refactorings S Ruland, G Kulcsár, E Leblebici, S Peldszus, M Lochau Fundamental Approaches to Software Engineering: 21st International …, 2018 | 13 | 2018 |
Model-based testing M Lochau, S Peldszus, M Kowal, I Schaefer Formal Methods for Executable Software Models: 14th International School on …, 2014 | 12 | 2014 |
Incremental co-evolution of Java programs based on bidirectional graph transformation S Peldszus, G Kulcsár, M Lochau, S Schulze Proceedings of the Principles and Practices of Programming on The Java …, 2015 | 11 | 2015 |
A Solution to the Java Refactoring Case Study using eMoflon. S Peldszus, G Kulcsár, M Lochau TTC@ STAF, 118-122, 2015 | 9 | 2015 |
Ontology-driven evolution of software security S Peldszus, J Bürger, T Kehrer, J Jürjens Data & Knowledge Engineering 134, 101907, 2021 | 6 | 2021 |
Case Study: Object-oriented Refactoring of Java Programs using Graph Transformation G Kulcsár, S Peldszus, M Lochau Transformation Tool Contest, 2015 | 6 | 2015 |
Maintenance of Long-Living Smart Contracts M Lohr, S Peldszus Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance …, 2020 | 5 | 2020 |
Model-driven Development of Evolving Secure Software Systems S Peldszus Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance …, 2020 | 3 | 2020 |
Security Compliance in Model-driven Development of Software Systems in Presence of Long-Term Evolution and Variants SM Peldszus Springer Nature, 2022 | 2 | 2022 |
Development of Secure Software with GRaViTY S Peldszus Workshop on Software-Reengineering & -Evolution: Forschung trifft Praxis, 2020 | 2 | 2020 |
Detecting and Preventing Power Outages in a Smart Grid using eMoflon S Peldszus, J Bürger, D Strüber Transformation Tool Contest (TTC), 2017 | 2 | 2017 |
Editing support for software languages: implementation practices in language server protocols D Barros, S Peldszus, WKG Assunção, T Berger Proceedings of the 25th International Conference on Model Driven Engineering …, 2022 | 1 | 2022 |
Sicherheitszertifizierung für die Digitale Transformation - Anwendung auf den Industrial Data Space S Peldszus, J Cirullies, J Jürjens Proceedings of the 25th Software-QS-Tag, 2017 | 1 | 2017 |
Editing Support for Software Languages: Implementation Practices in Language Server Protocols (Summary) D Barros, S Peldszus, WKG Assunção, T Berger Software Engineering 2023, 2023 | | 2023 |
Checking security compliance between models and code K Tuma, S Peldszus, D Strüber, R Scandariato, J Jürjens Software and Systems Modeling, 1-24, 2022 | | 2022 |