Judith Przigoda

According to our database, Judith Przigoda authored at least 5 papers between 2018 and 2023.

Collaborative distances:

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

2023

Design Tasks and Their Complexity for Hybrid Level 3 of the European Train Control System.

Stefan Engels, Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille

CoRR, 2023

2022

Optimal Railway Routing Using Virtual Subsections.

Tom Peham, Judith Przigoda, Nils Przigoda, Robert Wille

Proceedings of the Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification, 2022

2021

Towards Automatic Design and Verification for Level 3 of the European Train Control System.

Robert Wille, Tom Peham, Judith Przigoda, Nils Przigoda

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2021

2019

Four-Valued Logic in UML/OCL Models: A "Playground" for the MVL Community.

Nils Przigoda, Judith Przigoda, Robert Wille

Proceedings of the 2019 IEEE 49th International Symposium on Multiple-Valued Logic (ISMVL), 2019

2018

Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers

Nils Przigoda, Robert Wille, Judith Przigoda, Rolf Drechsler

Springer, ISBN: 978-3-319-72813-1, 2018