Jette Petzold

According to our database, Jette Petzold authored at least 7 papers between 2022 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

Hot PASTA: Improved Pragmatics for System-Theoretic Process Analysis.

Jette Petzold, Reinhard von Hanxleden

Proceedings of the Computer Safety, Reliability, and Security, 2025

Safe Behavior Model Synthesis: From STPA to LTL to SCCharts.

Jette Petzold, Reinhard von Hanxleden

Proceedings of the 13th International Conference on Model-Based Software and Systems Engineering, 2025

2024

From STPA to Safe Behavior Models.

Jette Petzold, Reinhard von Hanxleden

CoRR, 2024

2023

An Interactive Graph Layout Constraint Framework.

Jette Petzold, Sören Domrös, Connor Schönberner, Reinhard von Hanxleden

Proceedings of the 18th International Joint Conference on Computer Vision, 2023

PASTA: Pragmatic Automated System-Theoretic Process Analysis.

Jette Petzold, Jana Kreiß, Reinhard von Hanxleden

Proceedings of the 53rd Annual IEEE/IFIP International Conference on Dependable Systems and Network, 2023

2022

Tool Support for System-Theoretic Process Analysis.

Jette Petzold, Reinhard von Hanxleden

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2022

Executable Documentation: Test-First in Action.

Steven Smyth, Jette Petzold, Jonas Schürmann, Florian Karbus, Tiziana Margaria, Reinhard von Hanxleden, Bernhard Steffen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering, 2022