Tomas Kulik
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2018–2022
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | ISoLA | Towards Secure Digital Twins. | Tomas Kulik, Cludio Gomes, Hugo Daniel Macedo, Stefan Hallerstede, Peter Gorm Larsen |
| 2021 | ICSE | Formally Verified Credentials Management for Industrial Control Systems. | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
| 2020 | ICSE | Towards Formally Verified Key Management for Industrial Control Systems. | Tomas Kulik, Jalil Boudjadar, Diego F. Aranha |
| 2020 | ICSE | Security Verification of Industrial Control Systems using Partial Model Checking. | Tomas Kulik, Jalil Boudjadar, Peter W. V. Tran-Jrgensen |
| 2019 | MEMOCODE | Security analysis of cloud-connected industrial control systems using combinatorial testing. | Peter W. V. Tran-Jrgensen, Tomas Kulik, Jalil Boudjadar, Peter Gorm Larsen |
| 2018 | ICST | A Framework for Threat-Driven Cyber Security Verification of IoT Systems. | Tomas Kulik, Peter W. V. Tran-Jrgensen, Jalil Boudjadar, Carl Schultz |