I agree that this site is using cookies. You can find further informations here.
X
Przigoda, Judith
9  results:
Search for persons X
?
1

Optimal Railway Routing Using Virtual Subsections:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Peham, Tom ; Przigoda, Judith ; Przigoda, Nils. - p. 63-79 , 2022
Link: https://doi.org/10.1007/..
 
?
2

Automated Validation and Verification of UML/OCL Models Usi..:

Przigoda, Nils ; Wille, Robert ; Przigoda, Judith. , 2018
Link: https://ebookcentral.pro..
 
?
3

Design Tasks and Their Complexity for Hybrid Level 3 of the..:

Engels, Stefan ; Peham, Tom ; Przigoda, Judith..
http://arxiv.org/abs/2308.02572.  , 2023
Link: http://arxiv.org/abs/230..
 
?
4

More than true or false : native support of irregular va..:

, In: Proceedings of the 15th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Przigoda, Nils ; Niemann, Philipp ; Peters, Judith... - p. 77-86 , 2017
Link: https://dl.acm.org/doi/1..
 
?
5

Integrating an SMT-based ModelFinder into USE:

, In: Model-driven engineering, verification and validation / edited by Michalis Famelis, Daniel Ratiu, Gehan M.K. Selim
Przigoda, Nils ; Hilken, Frank ; Peters, Judith.... (2016) 
Link: http://ceur-ws.org/Vol-1..
 
?
6

Clocks vs. instants relations 

, In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) / general chair: Jean-Pierre Talpin (INRIA, France)
verifying CCSL time constraints in UML/MARTE models 
Peters, Judith ; Przigoda, Nils ; Wille, Robert.. (2016)  - p. 78-84
Link: https://doi.org/10.1109/..
 
?
7

Clocks vs. instants relations : verifying CCSL time cons..:

, In: Proceedings of the 14th ACM-IEEE International Conference on Formal Methods and Models for System Design,
Peters, Judith ; Przigoda, Nils ; Wille, Robert. - p. 78-84 , 2016
Link: https://dl.acm.org/doi/1..
 
?
8

A generic representation of CCSL time constraints for UML/M..:

, In: Proceedings of the 52nd Annual Design Automation Conference,
Peters, Judith ; Wille, Robert ; Przigoda, Nils.. - p. 1-6 , 2015
Link: https://dl.acm.org/doi/1..
 
?
9

More than true or false 

, In: Proceedings of the 15th ACM/IEEE International Conference on Formal Methods and Models for System Design / general chair: Jean-Pierre Talpin (INRIA, France)
native support of irregular values in the automatic validat... 
Przigoda, Nils ; Hilken, Frank ; Wille, Robert.... (2017) 
Link: https://doi.org/10.1145/..
 
1-9