Tomas Kulik

Publication Activity (10 Years)

Years Active: 2018-2023
Publications (10 Years): 14

Top Topics

Industrial Automation

Provably Correct

Top Venues

Formal Aspects Comput.

Publications

Jim Woodcock, Mikkel Schimdt Andersen, Diego F. Aranha, Stefan Hallerstede, Simon Thrane Hansen, Nikolaj Kuhne Jakobsen, Tomas Kulik, Peter Gorm Larsen, Hugo Daniel Macedo, Carlos Ignacio Isasa Martin, Victor Alexander Mtsimbe Norrild
State of the Art Report: Verified Computation. CoRR (2023)
Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
Formal Model In-The-Loop for Secure Industrial Control Networks. FACS (2022)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, James Woodcock
A Survey of Practical Formal Methods for Security. Formal Aspects Comput. 34 (1) (2022)
Jakub Hejc, Richard Redina, Tomas Kulik, Martin Pesl, Zdenek Starek
Exercise-based Predictors of Late Recurrence of Atrial Fibrillation After Catheter Ablation. CinC (2022)
Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
Towards Secure Digital Twins. ISoLA (4) (2022)
Tomas Kulik, Jalil Boudjadar, Diego F. Aranha
Formally Verified Credentials Management for Industrial Control Systems. FormaliSE@ICSE (2021)
Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
A Survey of Practical Formal Methods for Security. CoRR (2021)
Martin Pesl, Jakub Hejc, Tomas Kulik, Tomás Vicar, Petra Novotna, Marina Ronzhina, Juraj Jakubik, Pavel Leinveber, Juan Pablo Gonzalez Rivas, Zdenek Starek
Cardiac Arrhythmias Classification in Kardiovize Population Study. CinC (2021)
Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen
Security Verification of Industrial Control Systems using Partial Model Checking. FormaliSE@ICSE (2020)
Tomas Kulik, Jalil Boudjadar, Diego F. Aranha
Towards Formally Verified Key Management for Industrial Control Systems. FormaliSE@ICSE (2020)
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
Compliance verification of a cyber security standard for Cloud-connected SCADA. GIoTS (2019)
Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen
Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE (2019)
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz
A Framework for Threat-Driven Cyber Security Verification of IoT Systems. ICST Workshops (2018)
Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
Formal Security Analysis of Cloud-Connected Industrial Control Systems. SecITC (2018)