Dilian Gurov -

Registered user since Thu 8 Dec 2022

Name:Dilian Gurov

Country:Sweden

Affiliation:KTH Royal Institute of Technology

Personal website: https://www.nada.kth.se/~dilian/

Contributions

2024

Requirements Engineering

Author of Post-Hoc Formal Verification of Automotive Software with Informal Requirements: An Experience Report within the Industrial Innovation Papers-track

2023

NWPT

Author of Verification of Extended Quantifiers Using Instrumentation Operators within the NWPT 2023-track

TAP

Committee Member in Program Committee within the Research Papers-track

2021

Blockchain Software Engineering

Author of Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning within the Second Blockchain Software Engineering Workshop-track

2020

VMCAI

Author of Practical Abstractions for Automated Verification of Shared-Memory Concurrency within the VMCAI 2020-track

2019

FASE

Committee Member in Program Committee within the FASE 2019-track