Tomas Kulik

According to our database, Tomas Kulik authored at least 14 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2024

Cilium and VDM - Towards Formal Analysis of Cilium Policies.

Tomas Kulik, Jalil Boudjadar

CoRR, 2024

2023

State of the Art Report: Verified Computation.

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

CoRR, 2023

2022

A Survey of Practical Formal Methods for Security.

Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock

Formal Aspects Comput., 2022

Towards Secure Digital Twins.

Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Practice, 2022

Formal Model In-The-Loop for Secure Industrial Control Networks.

Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha

Proceedings of the Formal Aspects of Component Software - 18th International Conference, 2022

Exercise-based Predictors of Late Recurrence of Atrial Fibrillation After Catheter Ablation.

Jakub Hejc, Richard Redina, Tomas Kulik, Martin Pesl, Zdenek Starek

Proceedings of the Computing in Cardiology, 2022

2021

Formally Verified Credentials Management for Industrial Control Systems.

Tomas Kulik, Jalil Boudjadar, Diego F. Aranha

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Cardiac Arrhythmias Classification in Kardiovize Population Study.

Martin Pesl, Jakub Hejc, Tomas Kulik, Tomás Vicar, Petra Novotna, Marina Ronzhina, Juraj Jakubik, Pavel Leinveber, Juan Pablo Gonzalez Rivas, Zdenek Starek

Proceedings of the Computing in Cardiology, CinC 2021, Brno, 2021

2020

Security Verification of Industrial Control Systems using Partial Model Checking.

Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

Towards Formally Verified Key Management for Industrial Control Systems.

Tomas Kulik, Jalil Boudjadar, Diego F. Aranha

Proceedings of the FormaliSE@ICSE 2020: 8th International Conference on Formal Methods in Software Engineering, 2020

2019

Security analysis of cloud-connected industrial control systems using combinatorial testing.

Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen

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

Compliance verification of a cyber security standard for Cloud-connected SCADA.

Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar

Proceedings of the 2019 Global IoT Summit, 2019

2018

Formal Security Analysis of Cloud-Connected Industrial Control Systems.

Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar

Proceedings of the Innovative Security Solutions for Information Technology and Communications, 2018

A Framework for Threat-Driven Cyber Security Verification of IoT Systems.

Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz

Proceedings of the 2018 IEEE International Conference on Software Testing, 2018