Get started
Author

Jette Petzold

Observed name: Petzold, Jette
ORCID: 0000-0002-5559-7073
Observed ORCID: 0000-0002-5559-7073
OpenAlex ID: A5083164455
PASTA: Pragmatic Automated System-Theoretic Process Analysis
2023 · Jette Petzold, Jana Kreiß, et al. · International Conference on Dependable Systems & Networks/Proceedings · 9
Executable Documentation: Test-First in Action
2022 · Steven Smyth, Jette Petzold, et al. · Lecture notes in computer science · 5
An Interactive Graph Layout Constraint Framework
2023 · Jette Petzold, Sören Domrös, et al. · International Joint Conference on Computer Vision, Imaging and Computer Graphics Theory and Applications (VISIGRAPP) · 3
Safe Behavior Model Synthesis: From STPA to LTL to SCCharts
2025 · Jette Petzold, Reinhard von Hanxleden · International Conference on Model-Based Software and Systems Engineering (MODELSWARD) · 2
Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis
2025 · Jette Petzold, Reinhard von Hanxleden · Lecture notes in computer science
From STPA to Safe Behavior Models
2024 · Petzold, Jette, von Hanxleden, Reinhard · arXiv (Cornell University)
PDF
Works count: 7
Citation count: 19
H-index: 3
I10-index:
Year
Topic
Type