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

Coverage-Driven Test Automation for Highly-Configurable Rai..:

, In: Proceedings of the 17th International Working Conference on Variability Modelling of Software-Intensive Systems,
Eichhorn, Domenik ; Pett, Tobias ; Przigoda, Nils... - p. 23-30 , 2023
Link: https://dl.acm.org/doi/1..
 
?
2

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/..
 
?
3

Generation and Validation of Frame Conditions in Formal Mod..:

, In: Communications in Computer and Information Science; Model-Driven Engineering and Software Development,
Niemann, Philipp ; Przigoda, Nils ; Wille, Robert. - p. 259-283 , 2019
Link: https://doi.org/10.1007/..
 
?
4

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

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

Frame conditions in the automatic validation and verificati..:

Przigoda, Nils ; Niemann, Philipp ; Filho, Jonas Gomes..
Computer Languages, Systems & Structures.  54 (2018)  - p. 512-527 , 2018
Link: https://doi.org/10.1016/..
 
?
6

Frame conditions in the automatic validation and verificati.. 

a symbolic formulation of modifies only statements 
Przigoda, Nils ; Gomes Filho, Jonas ; Niemann, Philipp... (2018)  - p. 512-527
Link: https://doi.org/10.1016/..
 
?
7

SMT-based validation & verification of UML/OCL models:

Przigoda, Nils , 2017
Copies: Zentrale;
 
?
8

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..
 
?
9

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..
 
?
10

Frame conditions in symbolic representations of UML/OCL mod..:

, In: 2016 ACM/IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) / general chair: Jean-Pierre Talpin (INRIA, France)
Przigoda, Nils ; Gomes Filho, Jonas ; Niemann, Philipp... (2016)  - p. 65-70
Link: https://doi.org/10.1109/..
 
?
11

Towards a verification flow across abstraction levels 

verifying implementations against their formal specificatio 
Gonzalez-de-Aledo, Pablo ; Przigoda, Nils ; Wille, Robert.. - p. 1 , 2016
Link: http://dx.doi.org/10.110..
 
?
12

Towards a model-based verification methodology for complex ..:

, In: 2016 Sixth International Symposium on Embedded Computing and System Design / publisher: IEEE
Gomes Filho, Jonas ; Przigoda, Nils ; Wille, Robert.. (2016)  - p. 18-23
Link: https://doi.org/10.1109/..
 
?
13

Fault detection in parity preserving reversible circuits:

Przigoda, Nils ; Dueck, Gerhard ; Wille, Robert.. (2016)  - p. 44-49
Link: https://doi.org/10.1109/..
 
?
14

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/..
 
?
15

Ground setting properties for an efficient translation of O..:

Przigoda, Nils ; Wille, Robert ; Drechsler, Rolf , 2016
Link: https://dl.acm.org/citat..
 
1-15