E-LIB Suche - Ergebnisse für: Kulik, Tomas

1

Exercise-based Predictors of Late Recurrence of Atrial Fibr..:

, In: 2022 Computing in Cardiology (CinC),

Hejc, Jakub ; Redina, Richard ; Kulik, Tomas.. - p. 1-4 , 2022

Link: https://doi.org/10.22489..

2

Comparison of gross pathology inspection and 9.4 T magnetic..:

Odehnalová, Eva ; Valíková, Lucia ; Caluori, Guido...
Frontiers in Physiology. 13 (2022) - p. , 2022

Link: https://doi.org/10.3389/..

3

Towards Secure Digital Twins:

, In: Lecture Notes in Computer Science; Leveraging Applications of Formal Methods, Verification and Validation. Practice,

Kulik, Tomas ; Gomes, Cláudio ; Macedo, Hugo Daniel.. - p. 159-176 , 2022

Link: https://doi.org/10.1007/..

4

A Survey of Practical Formal Methods for Security:

Kulik, Tomas ; Dongol, Brijesh ; Larsen, Peter Gorm...
Formal Aspects of Computing. 34 (2022) 1 - p. 1-39 , 2022

Link: https://doi.org/10.1145/..

5

Reduced Radiation Exposure Protocol during Computer Tomogra..:

Jadczyk, Tomasz ; Wolf, Jiri ; Pesl, Martin...
Diagnostics. 12 (2022) 3 - p. 612 , 2022

Link: https://doi.org/10.3390/..

6

Formal Model In-The-Loop for Secure Industrial Control Netw..:

, In: Formal Aspects of Component Software; Lecture Notes in Computer Science,

Ubys, Laurynas ; Nicolas Vancea, Valeriu ; Kulik, Tomas... - p. 74-89 , 2022

Link: https://doi.org/10.1007/..

7

Randomized comparison of atrioventricular node re-entry tac..:

Lehar, Frantisek ; Szegedi, Nándor ; Hejc, Jakub...
EP Europace. 24 (2022) 10 - p. 1636-1644 , 2022

Link: https://doi.org/10.1093/..

8

Comparison of atrial fibrillation ablation efficacy using r..:

Jez, Jiri ; Jadczyk, Tomasz ; Lehar, Frantisek...
Biomedical Papers. 164 (2020) 4 - p. 387-393 , 2020

Link: https://doi.org/10.5507/..

9

Towards Formally Verified Key Management for Industrial Con..:

, In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering,

Kulik, Tomas ; Boudjadar, Jalil ; Aranha, Diego F. - p. 119-129 , 2020

Link: https://dl.acm.org/doi/1..

10

Security Verification of Industrial Control Systems using P..:

, In: Proceedings of the 8th International Conference on Formal Methods in Software Engineering,

Kulik, Tomas ; Boudjadar, Jalil ; Tran-Jørgensen, Peter W. V. - p. 98-108 , 2020

Link: https://dl.acm.org/doi/1..

11

Formal Security Analysis of Cloud-Connected Industrial Cont..:

, In: Innovative Security Solutions for Information Technology and Communications; Lecture Notes in Computer Science,

Kulik, Tomas ; Tran-Jørgensen, Peter W. V. ; Boudjadar, Jalil - p. 71-84 , 2019

Link: https://doi.org/10.1007/..

12

Security analysis of cloud-connected industrial control sys..:

, In: Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design,

Tran-Jørgensen, Peter W. V. ; Kulik, Tomas ; Boudjadar, Jalil. - p. 1-11 , 2019

Link: https://dl.acm.org/doi/1..

13

A Framework for Threat-Driven Cyber Security Verification o..:

, In: 2018 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW),

Kulik, Tomas ; Tran-Jorgensen, Peter W.V. ; Boudjadar, Jalil. - p. 89-97 , 2018

Link: https://doi.org/10.1109/..

14

Esophageal positions relative to the left atrium; data from..:

Starek, Zdenek ; Lehar, Frantisek ; Jez, Jiri...
Indian Heart Journal. 70 (2018) 1 - p. 37-44 , 2018

Link: https://doi.org/10.1016/..

15

Prevalence and Predictors of Early Heart Failure With Prese..:

Meluzin, Jaroslav ; Starek, Zdenek ; Kulik, Tomas...
Journal of Cardiac Failure. 23 (2017) 7 - p. 558-562 , 2017

Link: https://doi.org/10.1016/..