Sven Peldszus
Title
Cited by
Cited by
Year
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
172017
Continuous detection of design flaws in evolving object-oriented programs using incremental multi-pattern matching
S Peldszus, G Kulcsár, M Lochau, S Schulze
2016 31st IEEE/ACM International Conference on Automated Software …, 2016
112016
Model-based testing
M Lochau, S Peldszus, M Kowal, I Schaefer
International School on Formal Methods for the Design of Computer …, 2014
112014
Taming Multi-Variability of Software Product Line Transformations.
D Strüber, S Peldszus, J Jürjens
FASE, 337-355, 2018
62018
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
62015
Controlling the attack surface of object-oriented refactorings
S Ruland, G Kulcsár, E Leblebici, S Peldszus, M Lochau
International Conference on Fundamental Approaches to Software Engineering …, 2018
52018
Case Study: Object-oriented Refactoring of Java Programs using Graph Transformation
G Kulcsár, S Peldszus, M Lochau
Transformation Tool Contest, 2015
52015
A Solution to the Java Refactoring Case Study using eMoflon.
S Peldszus, G Kulcsár, M Lochau
TTC@ STAF, 118-122, 2015
52015
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
22019
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
22018
Detecting and Preventing Power Outages in a Smart Grid using eMoflon
S Peldszus, J Bürger, D Strüber
Transformation Tool Contest (TTC), 2017
2017
Maintenance of Long-Living Smart Contracts
M Lohr, S Peldszus
Model-driven Development of Evolving Secure Software Systems
S Peldszus
Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings (Summary)
S Peldszus, K Tuma, D Strüber, J Jürjens13, R Scandariato
The system can't perform the operation now. Try again later.
Articles 1–14