Ich stimme zu, dass diese Seite Cookies verwende. Weitere Informationen finden Sie unter unseren Datenschutzerklärungen .
X
Krafczyk, Niklas
25  Ergebnisse:
Personensuche X
?
1

Exhaustive property oriented model-based testing with symbo..:

Huang, Wen-ling ; Krafczyk, Niklas ; Peleska, Jan
Science of Computer Programming.  231 (2024)  - p. 103005 , 2024
Link: https://doi.org/10.1016/..
 
?
2

Selective activation of cellular stress response pathways b..:

Erler, Katrin ; Krafczyk, Niklas ; Steinbrenner, Holger.
FEBS Open Bio.  , 2024
Link: https://doi.org/10.1002/..
 
?
3

An Optimised Complete Strategy for Testing Symbolic Finite ..:

, In: Fundamentals of Software Engineering; Lecture Notes in Computer Science,
Huang, Wen-ling ; Krafczyk, Niklas ; Peleska, Jan - p. 55-71 , 2023
Link: https://doi.org/10.1007/..
 
?
4

Complete Property-Oriented Module Testing:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Brüning, Felix ; Gleirscher, Mario ; Huang, Wen-ling... - p. 183-201 , 2023
Link: https://doi.org/10.1007/..
 
?
5

Methanethiol: A Scent Mark of Dysregulated Sulfur Metabolis..:

Philipp, Thilo Magnus ; Scheller, Anne Sophie ; Krafczyk, Niklas..
Antioxidants.  12 (2023)  9 - p. 1780 , 2023
Link: https://doi.org/10.3390/..
 
?
6

Contribution of cysteines to the activity of FOXO transcrip..:

Krafczyk, Niklas ; Sandig, Sophie ; Steinbrenner, Holger.
Free Radical Biology and Medicine.  201 (2023)  - p. 30 , 2023
Link: https://doi.org/10.1016/..
 
?
7

libfsmtest An Open Source Library for FSM-Based Testing:

, In: Testing Software and Systems; Lecture Notes in Computer Science,
Bergenthal, Moritz ; Krafczyk, Niklas ; Peleska, Jan. - p. 3-19 , 2022
Link: https://doi.org/10.1007/..
 
?
8

Exhaustive Property Oriented Model-Based Testing with Symbo..:

, In: Software Engineering and Formal Methods; Lecture Notes in Computer Science,
Krafczyk, Niklas ; Peleska, Jan - p. 84-102 , 2021
Link: https://doi.org/10.1007/..
 
?
9

FOXO transcription factors in antioxidant defense:

Krafczyk, Niklas ; Klotz, Lars‐Oliver
IUBMB Life.  74 (2021)  1 - p. 53-61 , 2021
Link: https://doi.org/10.1002/..
 
?
10

Efficient data validation for geographical interlocking sys..:

Peleska, Jan ; Krafczyk, Niklas ; Haxthausen, Anne E..
Formal Aspects of Computing.  33 (2021)  6 - p. 925-955 , 2021
Link: https://doi.org/10.1007/..
 
?
11

Efficient Data Validation for Geographical Interlocking Sys..:

, In: Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification; Lecture Notes in Computer Science,
Peleska, Jan ; Krafczyk, Niklas ; Haxthausen, Anne E.. - p. 142-158 , 2019
Link: https://doi.org/10.1007/..
 
?
12

Effective infinite-state model checking by input equivalenc..:

, In: Testing Software and Systems / edited by Nina Yevtushenko, Ana Rosa Cavalli, Hüsnü Yenigün
Krafczyk, Niklas ; Peleska, Jan. (2017)  - p. 38-53
Link: https://doi.org/10.1007/..
 
?
13

WCET overapproximation for software in the context of a cyb..:

, In: 2016 IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) / sponsored by: IFIP - International Federation for Information Processing, IEEE - The Institute of Electrical and Electronics Engineers [und 4 weitere]
Krafczyk, Niklas ; Riener, Heinz ; Fey, Görschwin. (2016) 
Link: http://ieeexplore.ieee.o..
 
?
14

Software Snapshot for the Tool Support for "Exhaustive Prop..:

Krafczyk, Niklas
doi:10.5281/zenodo.8046887.  , 2023
Link: https://zenodo.org/recor..
 
?
15

Methanethiol: A Scent Mark of Dysregulated Sulfur Metabolis..:

Philipp, Thilo Magnus ; Scheller, Anne Sophie ; Krafczyk, Niklas..
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC10525899/.  , 2023
Link: http://www.ncbi.nlm.nih...
 
1-15