Jette Petzold

dblp:331/5594 · DBLP profile ↗
← Back
4ranked-venue papers
3as first author
4since 2021 · last 2025
0000-0002-5559-7073ORCID · corroborated

Domains — the database's venue-derived domains; a paper can count in several

Security and privacy · 2 · 2 first-author · 2 since 2021Software engineering, systems software and programming languages · 2 · 1 first-author · 2 since 2021Systems, architecture and hardware · 1 · 1 first-author · 1 since 2021
YearPublicationVenuePosition
2025 Safe Behavior Model Synthesis: From STPA to LTL to SCCharts
Jette Petzold, Reinhard von Hanxleden
MODELSWARD1
2025 Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis
Jette Petzold, Reinhard von Hanxleden
SAFECOMP1
2023 PASTA: Pragmatic Automated System-Theoretic Process Analysis
abstract
System- Theoretic Process Analysis (STPA) is a relatively new hazard analysis technique. Several tools supporting the STPA process already exist. However, they are mostly textual. In this paper we present a Domain Specific Language (DSL) for STPA with an automatic visualization of the STPA components. This combines the advantages of textual and graphical approaches. The DSL is implemented with open source tooling, realized as a Visual Studio Code Extension using Langium for the language server and Sprotty for the visualization. A comparison suggests that the DSL has potential to be a good alternative to other STPA supporting tools.
Jette Petzold, Jana Kreiß, Reinhard von Hanxleden
DSN1
2022 Executable Documentation: Test-First in Action
Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen
ISoLA (2)2