Tomas Kulik - RankMe

15 papers C 1Journal 4Unranked 10

Year	Rank	Type	Title / Venue / Authors
2024	J	`jnl`	Cilium and VDM - Towards Formal Analysis of Cilium Policies. CoRR Tomas Kulik, Jalil Boudjadar
2023	J	`jnl`	State of the Art Report: Verified Computation. CoRR Jim Woodcock, Mikkel Schmidt 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
2022	J	`jnl`	A Survey of Practical Formal Methods for Security. Formal Aspects Comput. Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter W. V. Tran-Jørgensen, Jim Woodcock
2022	—	`conf`	Exercise-based Predictors of Late Recurrence of Atrial Fibrillation After Catheter Ablation. CinC Jakub Hejc, Richard Redina, Tomas Kulik, Martin Pesl, Zdenek Starek
2022	—	`conf`	Formal Model In-The-Loop for Secure Industrial Control Networks. FACS Laurynas Ubys, Valeriu Nicolas Vancea, Tomas Kulik, Peter Gorm Larsen, Jalil Boudjadar, Diego F. Aranha
2022	—	`conf`	Towards Secure Digital Twins. ISoLA (4) Tomas Kulik, Cláudio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen
2021	J	`jnl`	A Survey of Practical Formal Methods for Security. CoRR Tomas Kulik, Brijesh Dongol, Peter Gorm Larsen, Hugo Daniel Macedo, Steve Schneider, Peter Würtz Vinther Tran-Jørgensen, Jim Woodcock
2021	—	`conf`	Cardiac Arrhythmias Classification in Kardiovize Population Study. CinC Martin Pesl, Jakub Hejc, Tomas Kulik, Tomás Vicar, Petra Novotna, Marina Ronzhina, Juraj Jakubik, Pavel Leinveber, Juan Pablo Gonzalez Rivas, Zdenek Starek
2021	—	`conf`	Formally Verified Credentials Management for Industrial Control Systems. FormaliSE@ICSE Tomas Kulik, Jalil Boudjadar, Diego F. Aranha
2020	—	`conf`	Security Verification of Industrial Control Systems using Partial Model Checking. FormaliSE@ICSE Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jørgensen
2020	—	`conf`	Towards Formally Verified Key Management for Industrial Control Systems. FormaliSE@ICSE Tomas Kulik, Jalil Boudjadar, Diego F. Aranha
2019	—	`conf`	Compliance verification of a cyber security standard for Cloud-connected SCADA. GIoTS Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar
2019	C	`conf`	Security analysis of cloud-connected industrial control systems using combinatorial testing. MEMOCODE Peter W. V. Tran-Jørgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen
2018	—	`conf`	A Framework for Threat-Driven Cyber Security Verification of IoT Systems. ICST Workshops Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar, Carl Schultz
2018	—	`conf`	Formal Security Analysis of Cloud-Connected Industrial Control Systems. SecITC Tomas Kulik, Peter W. V. Tran-Jørgensen, Jalil Boudjadar