Jette Petzold
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
4
Active years
2022–2025
Best venue rank
C
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2025 | MODELSWARD | Safe Behavior Model Synthesis: From STPA to LTL to SCCharts. | Jette Petzold, Reinhard von Hanxleden |
| 2025 | SAFECOMP | Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis. | Jette Petzold, Reinhard von Hanxleden |
| 2023 | DSN | PASTA: Pragmatic Automated System-Theoretic Process Analysis. | Jette Petzold, Jana Krei, Reinhard von Hanxleden |
| 2022 | ISoLA | Executable Documentation: Test-First in Action. | Steven Smyth, Jette Petzold, Jonas Schrmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen |