VLDB 2026 Research / reviewers in the wild / expert
Jette Petzold
dblp:331/5594
· DBLP profile ↗
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
| Year | Publication | Venue | Position |
|---|---|---|---|
| 2025 | Safe Behavior Model Synthesis: From STPA to LTL to SCCharts
Jette Petzold, Reinhard von Hanxleden |
MODELSWARD | 1 |
| 2025 | Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis
Jette Petzold, Reinhard von Hanxleden |
SAFECOMP | 1 |
| 2023 | PASTA: Pragmatic Automated System-Theoretic Process AnalysisabstractSystem- 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 |
DSN | 1 |
| 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 |