Dimiter Milushev

Catholic University of Leuven - Leuven / Belgium

Others

AD Scientific Index ID: 5942613

Katholieke Universiteit Leuven

Registration, Add Profile,
Premium Membership

Print Your Certificate

Dimiter Milushev's MOST POPULAR ARTICLES

1-) Noninterference via symbolic execution - D Milushev, W Beck, D Clarke

2-) A novel genotoxin-specific qPCR array based on the metabolically competent human HepaRG™ cell line as a rapid and reliable tool for improved in vitro hazard …G Ates, B Mertens, A Heymans, L Verschaeve, D Milushev, P Vanparys, ...Archives of Toxicology 92, 1593-1608, 2018302018

3-) Runtime enforcement of security policies on black box reactive programsM Ngo, F Massacci, D Milushev, F PiessensProceedings of the 42nd Annual ACM SIGPLAN-SIGACT Symposium on Principles of …, 2015292015

4-) Towards incrementalization of holistic hyperpropertiesD Milushev, D ClarkeInternational Conference on Principles of Security and Trust, 329-348, 2012152012

5-) Incremental hyperproperty model checking via gamesD Milushev, D ClarkeNordic Conference on Secure IT Systems, 247-262, 2013132013

ARTICLES

Add your articles