Nils Przigoda

Siemens (Germany) — Germany

Computer Science · Physical Sciences

10h-index353citations43works1.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Model-Driven Software Engineering Techniques(28), Advanced Software Engineering Methodologies(18), Formal Methods in Verification(13), Software Testing and Debugging Techniques(12), Service-Oriented Architecture and Web Services(5)

Publications43 total

Design tasks and their complexity for the European Train Control System with Hybrid Train Detection
EURO Journal on Transportation and Logistics·2025· 1 citedOpen Access
Design Tasks and Their Complexity for the European Train Control System with Hybrid Train Detection
arXiv (Cornell University)·2023Open Access
Coverage-Driven Test Automation for Highly-Configurable Railway Systems
2023
Optimal Railway Routing Using Virtual Subsections
Lecture notes in computer science·2022· 1 cited
Towards Automatic Design and Verification for Level 3 of the European Train Control System
2021· 3 cited
Four-Valued Logic in UML/OCL Models: A “Playground” for the MVL Community
2019· 1 cited
Generation and Validation of Frame Conditions in Formal Models
Communications in computer and information science·2019· 1 cited
Introduction
2018
Behavioral Aspects
2018· 2 cited
A Formal Interpretation of UML/OCL
2018
Re-utilizing Verification Results of UML/OCL Models
2018
Reducing Instance Sizes with Ground Setting Properties
2018
Analyzing Frame Conditions in UML/OCL Models - Consistency Equivalence and Independence
2018· 2 citedOpen Access
Timing Aspects
2018
Automated Validation & Verification of UML/OCL Models Using Satisfiability Solvers
2018· 6 cited
Structural Aspects
2018
A Symbolic Formulation for Models
2018
Conclusion
2018
Frame conditions in the automatic validation and verification of UML/OCL models: A symbolic formulation of modifies only statements
Computer Languages Systems & Structures·2017· 6 cited
More than true or false
2017· 3 cited
page 1 of 3Next →

Frequent Co-authors

Robert Wille(41), Rolf Drechsler(35), Judith Przigoda(15), Philipp Niemann(6), Mathias Soeken(5), Judith M. Peters(5), Tom Peham(4), Jonas Gomes Filho(3), Christoph Hilken(2), Frank Hilken(2), Stefan Engels(2), Drechsler Rolf(2), Jan Peleška(1), Ulrich Kühne(1), Pablo Gonzalez-de-Aledo(1), Pablo Sánchez(1), Jannis Stoppe(1), Julia Seiter(1), Gerhard W. Dueck(1), Martin Gogolla(1)