Secondary Content

Peldszus

Infomenü

Kontakt

Universität Koblenz-Landau
Institut für Softwaretechnik
Universitätsstraße 1


D-56070 Koblenz
Büro: B 110
Telefon: +49 261 287-2796
E-Mail: speldszus at uni-koblenz.de

Sven Peldszus - Veröffentlichungen

  • Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens, Riccardo Scandariato: Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings. In: Proceedings of the 22\textsuperscriptnd ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS), 2019.
    @InProceedings{PTS+2019, author = {Sven Peldszus and Katja Tuma and Daniel Str{\"{u}}ber and Jan J{\"{u}}rjens and Riccardo Scandariato}, title = {{Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings}}, booktitle = {Proceedings of the 22\textsuperscript{nd} ACM/IEEE International Conference on Model Driven Engineering Languages and Systems (MODELS)}, year = {2019}, file = {preprint:https://rgse.uni-koblenz.de/web/pages/people/peldszus/publications/PTS+19-MODELS-SecureData-FlowComplianceChecksBetweenModelsAndCodeBasedOnAutomatedMappings.pdf:URL}, }
     BibTeX   preprint 
  • Sven Peldszus, Daniel Strüber, Jan Jürjens: Model-Based Security Analysis of Feature-Oriented Software Product Lines. In: Proceedings of the 17\textsuperscriptth ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE), 2018.
    @InProceedings{PSJ2018, author = {Sven Peldszus and Daniel Str{\"{u}}ber and Jan J{\"{u}}rjens}, title = {{Model-Based Security Analysis of Feature-Oriented Software Product Lines}}, booktitle = {Proceedings of the 17\textsuperscript{th} ACM SIGPLAN International Conference on Generative Programming: Concepts and Experiences (GPCE)}, year = {2018}, doi = {10.1145/3278122.3278126}, file = {preprint:https://rgse.uni-koblenz.de/web/pages/people/peldszus/publications/PSJ18-Model-BasedSecurityAnalysisOfSoftwareProductLines-preprint.pdf:URL}, }
     BibTeX   DOI   preprint 
  • Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze: On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching. In: Proceedings of the Conference on Software Engineering (SE), Gesellschaft für Informatik, 2018. Open Access.
    @InProceedings{PKLS2018, author = {Sven Peldszus and G{\'{e}}za Kulcs{\'{a}}r and Malte Lochau and Sandro Schulze}, title = {{On Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching}}, booktitle = {Proceedings of the Conference on Software Engineering (SE)}, year = {2018}, publisher = {Gesellschaft für Informatik}, file = {paper:https://dl.gi.de/20.500.12116/16314:URL}, note = {Open Access}, }
     BibTeX   paper 
  • Daniel Strüber, Sven Peldszus, Jan Jürjens: Taming Multi-Variability of Software Product Line Transformations. In: Proceedings of the 21\textsuperscriptst International Conference on Fundamental Approaches in Software Engineering (FASE), pp. 337-355, April 2018. Open Access.
    @InProceedings{SPJ2018, author = {Daniel Str{\"{u}}ber and Sven Peldszus and Jan J{\"{u}}rjens}, title = {{Taming Multi-Variability of Software Product Line Transformations}}, booktitle = {Proceedings of the 21\textsuperscript{st} International Conference on Fundamental Approaches in Software Engineering (FASE)}, year = {2018}, pages = {337--355}, month = apr, note = {Open Access}, doi = {10.1007/978-3-319-89363-1_19}, }
     BibTeX   DOI 
  • Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau: Controlling the Attack Surface of Object-Oriented Refactorings. In: Proceedings of the 21\textsuperscriptst International Conference on Fundamental Approaches in Software Engineering (FASE), pp. 38-55, April 2018. Open Access.
    @InProceedings{RKL+2018, author = {Sebastian Ruland and G{\'{e}}za Kulcs{\'{a}}r and Erhan Leblebici and Sven Peldszus and Malte Lochau}, title = {{Controlling the Attack Surface of Object-Oriented Refactorings}}, booktitle = {Proceedings of the 21\textsuperscript{st} International Conference on Fundamental Approaches in Software Engineering (FASE)}, year = {2018}, pages = {38--55}, month = apr, note = {Open Access}, doi = {10.1007/978-3-319-89363-1_3}, }
     BibTeX   DOI 
  • Amir Shayan Ahmadian, Sven Peldszus, Qusai Ramadan, Jan Jürjens: Model-based Privacy and Security Analysis with CARiSMA. In: Proceedings of 2017 11\textsuperscriptth Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE), pp. 989-993, September 2017.
    @InProceedings{APRJ2017, author = {Ahmadian, Amir Shayan and Peldszus, Sven and Ramadan, Qusai and Jan J{\"{u}}rjens}, title = {{Model-based Privacy and Security Analysis with CARiSMA}}, booktitle = {Proceedings of 2017 11\textsuperscript{th} Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering (FSE)}, year = {2017}, pages = {989--993}, month = sep, doi = {10.1145/3106237.3122823}, file = {preprint:https://rgse.uni-koblenz.de/web/pages/people/peldszus/publications/APRJ2017-Model-basedPrivacyAndSecurityAnalysisWithCARiSMA-preprint.pdf}, }
     BibTeX   DOI 
  • Sven Peldszus, Jan Jürjens: Werkzeuggestützte Sicherheitszertifizierung - Anwendung auf den Industrial Data Space. In: Conference Journal 2017 -- Interesting Insights into Professional Practice -- Papers of Lecturers at the Software Quality Days, Software Quality Lab GmbH, pp. 10-14, January 2017.
    @InProceedings{PJ2017, author = {Sven Peldszus and Jan J{\"{u}}rjens}, title = {{Werkzeuggest{\"{u}}tzte Sicherheitszertifizierung -- Anwendung auf den Industrial Data Space}}, booktitle = {Conference Journal 2017 -- Interesting Insights into Professional Practice -- Papers of Lecturers at the Software Quality Days}, year = {2017}, pages = {10--14}, month = jan, publisher = {Software Quality Lab GmbH}, file = {proceedings:https://2017.software-quality-days.com/conferences/2017/Documents/SWQD2017_ConferenceJournal.pdf:URL}, }
     BibTeX   proceedings 
  • Sven Peldszus, Jan Cirullies, Jan Jürjens: Sicherheitszertifizierung für die Digitale Transformation - Anwendung auf den Industrial Data Space. In: Proceedings of the 25\textsuperscriptth Software-QS-Tag, October 2017. Best Paper Award.
    @InProceedings{PCJ2017, author = {Sven Peldszus and Jan Cirullies and Jan J{\"{u}}rjens}, title = {{Sicherheitszertifizierung f{\"{u}}r die Digitale Transformation -- Anwendung auf den Industrial Data Space}}, booktitle = {Proceedings of the 25\textsuperscript{th} Software-QS-Tag}, year = {2017}, month = oct, note = {Best Paper Award}, file = {paper:https://rgse.uni-koblenz.de/web/pages/people/peldszus/publications/PCJ2017-SicherheitszertifizierungFürDieDigitaleTransformation-AnwendungAufDenIndustrialDataSpace.pdf:URL}, }
     BibTeX   paper 
  • Sven Peldszus, Jens Bürger, Daniel Strüber: Detecting and Preventing Power Outages in a Smart Grid using eMoflon. In: Antonio Garcia-Dominguez, Georg Hinkel, Filip K\vrikava (editors): Proceedings of the 10\textsuperscriptth Transformation Tool Contest (TTC), CEUR Workshop Proceedings, pp. 19-23, July 2017. Open Access.
    @InProceedings{PBS2017, author = {Peldszus, Sven and B{\"u}rger, Jens and Str{\"u}ber, Daniel}, title = {{Detecting and Preventing Power Outages in a Smart Grid using eMoflon}}, booktitle = {Proceedings of the 10\textsuperscript{th} Transformation Tool Contest (TTC)}, year = {2017}, editor = {Antonio Garcia-Dominguez and Georg Hinkel and Filip K{\v{r}}ikava}, series = {CEUR Workshop Proceedings}, pages = {19--23}, month = jul, note = {Open Access}, file = {paper:http://ceur-ws.org/Vol-2026/paper17.pdf:URL}, }
     BibTeX   paper 
  • Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze: Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching. In: Proceedings of the 31\textsuperscriptst International Conference on Automated Software Engineering (ASE), September 2016.
    @InProceedings{PKLS2016, author = {Sven Peldszus and G{\'{e}}za Kulcs{\'{a}}r and Malte Lochau and Sandro Schulze}, title = {{Continuous Detection of Design Flaws in Evolving Object-Oriented Programs using Incremental Multi-pattern Matching}}, booktitle = {Proceedings of the 31\textsuperscript{st} International Conference on Automated Software Engineering (ASE)}, year = {2016}, month = sep, doi = {10.1145/2970276.2970338}, file = {preprint:https://rgse.uni-koblenz.de/web/pages/people/peldszus/publications/SKL2016-ContinuousDetectionOfDesignFlawsInEvolvingObject-OrientedProgramsUsingIncrementalMulti-PatternMatching-preprint.pdf}, }
     BibTeX   DOI 
  • Sven Peldszus, Géza Kulcsár, Malte Lochau, Sandro Schulze: Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation. In: Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ), ACM, pp. 138-151, 2015. Written at TU Darmstadt.
    @InProceedings{PKLS2015, author = {Sven Peldszus and G{\'{e}}za Kulcs{\'{a}}r and Malte Lochau and Sandro Schulze}, title = {{Incremental Co-Evolution of Java Programs based on Bidirectional Graph Transformation}}, booktitle = {Proceedings of the Principles and Practices of Programming on The Java Platform (PPPJ)}, year = {2015}, pages = {138--151}, publisher = {ACM}, note = {Written at TU Darmstadt}, doi = {10.1145/2807426.2807438}, }
     BibTeX   DOI 
  • Sven Peldszus, Géza Kulcsár, Malte Lochau: A Solution to the Java Refactoring Case Study using eMoflon. In: Tassilo Horn, Filip Krikava, Louis Rose (editors): Proceedings of the 8\textsuperscriptth Transformation Tool Contest (TTC), CEUR Workshop Proceedings, pp. 118-122, July 2015. Written at TU Darmstadt, Open Access.
    @InProceedings{PKL2015, author = {Peldszus, Sven and Kulcs{\'a}r, G{\'e}za and Lochau, Malte}, title = {{A Solution to the Java Refactoring Case Study using eMoflon}}, booktitle = {Proceedings of the 8\textsuperscript{th} Transformation Tool Contest (TTC)}, year = {2015}, editor = {Tassilo Horn and Filip Krikava and Louis Rose}, series = {CEUR Workshop Proceedings}, pages = {118--122}, month = jul, note = {Written at TU Darmstadt, Open Access}, file = {paper:http://ceur-ws.org/Vol-1524/paper20.pdf:URL}, }
     BibTeX   paper 
  • Géza Kulcsár, Sven Peldszus, Malte Lochau: Object-oriented Refactoring of Java Programs using Graph Transformation. In: Tassilo Horn, Filip Krikava, Louis Rose (editors): Proceedings of the 8\textsuperscriptth Transformation Tool Contest (TTC), CEUR Workshop Proceedings, pp. 53-82, July 2015. Written at TU Darmstadt, Open Access.
    @InProceedings{KPL2015, author = {G{\'{e}}za Kulcs{\'{a}}r and Sven Peldszus and Malte Lochau}, title = {{Object-oriented Refactoring of Java Programs using Graph Transformation}}, booktitle = {Proceedings of the 8\textsuperscript{th} Transformation Tool Contest (TTC)}, year = {2015}, editor = {Tassilo Horn and Filip Krikava and Louis Rose}, series = {CEUR Workshop Proceedings}, pages = {53--82}, month = jul, note = {Written at TU Darmstadt, Open Access}, file = {paper:http://ceur-ws.org/Vol-1524/paper3.pdf:URL}, }
     BibTeX   paper 
  • Malte Lochau, Sven Peldszus, Matthias Kowal, Ina Schaefer: Model-Based Testing. In: Formal Methods for Executable Software Models - 14\textsuperscriptth International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM, Springer, pp. 310-342, 2014. Written at TU Darmstadt.
    @InProceedings{LPKS2014, author = {Malte Lochau and Sven Peldszus and Matthias Kowal and Ina Schaefer}, title = {{Model-Based Testing}}, booktitle = {Formal Methods for Executable Software Models - 14\textsuperscript{th} International School on Formal Methods for the Design of Computer, Communication, and Software Systems (SFM}, year = {2014}, pages = {310--342}, publisher = {Springer}, note = {Written at TU Darmstadt}, doi = {10.1007/978-3-319-07317-0_8}, }
     BibTeX   DOI 
  • Sebastian Ruland, Géza Kulcsár, Erhan Leblebici, Sven Peldszus, Malte Lochau: On Controlling the Attack Surface of Object-Oriented Refactorings. In: Proceedings of the Conference on Software Engineering (SE), Gesellschaft für Informatik e.V., pp. 89-90, February 2020. Open Access.
    @InProceedings{RKL+2020, author = {Sebastian Ruland and G{\'{e}}za Kulcs{\'{a}}r and Erhan Leblebici and Sven Peldszus and Malte Lochau}, title = {{On Controlling the Attack Surface of Object-Oriented Refactorings}}, booktitle = {Proceedings of the Conference on Software Engineering (SE)}, month = feb, year = {2020}, publisher = {Gesellschaft für Informatik e.V.}, note = {Open Access}, pages = { 89--90 } , doi = {10.18420/SE2020_26}, file = {paper:https://dl.gi.de/20.500.12116/31703:URL}, }
     BibTeX   DOI   paper 
  • Sven Peldszus, Katja Tuma, Daniel Strüber, Jan Jürjens, Riccardo Scandariato: Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings (Summary). In: Proceedings of the Conference on Software Engineering (SE), Gesellschaft für Informatik e.V., pp. 51-52, February 2020. Open Access.
    @InProceedings{PTS+2020, author = {Sven Peldszus and Katja Tuma and Daniel Str{\"{u}}ber and Jan J{\"{u}}rjens and Riccardo Scandariato}, title = {{Secure Data-Flow Compliance Checks between Models and Code based on Automated Mappings (Summary)}}, booktitle = {Proceedings of the Conference on Software Engineering (SE)}, month = feb, year = {2020}, publisher = {Gesellschaft für Informatik e.V.}, pages = { 51--52 } , doi = {10.18420/SE2020_13}, file = {paper:https://dl.gi.de/20.500.12116/31689:URL}, note = {Open Access}, }
     BibTeX   DOI   paper 
  • Sven Peldszus: Model-driven Development of Evolving Secure Software Systems. In: Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems, February 2020. To Appear.
    @InProceedings{Pel2020, author = {Sven Peldszus}, title = {{Model-driven Development of Evolving Secure Software Systems}}, booktitle = {Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems}, month = feb, year = {2020}, note = {To Appear}, }
     BibTeX 
  • Matthias Lohr, Sven Peldszus: Maintenance of Long Living Smart Contracts. In: Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems, February 2020. To Appear.
    @InProceedings{LP2020, author = {Matthias Lohr and Sven Peldszus}, title = {{Maintenance of Long Living Smart Contracts}}, booktitle = {Proceedings of the 7th Collaborative Workshop on Evolution and Maintenance of Long-Living Software Systems}, month = feb, year = {2020}, note = {To Appear}, }
     BibTeX