• 561 Citaties

Research output per year

Als u wijzigingen in Pure hebt gemaakt, zullen deze hier binnenkort zichtbaar zijn.

Persoonlijk profiel


Relating the Genetic Code, Nature’s amazing invention, with the Gray Code, a pure human artifact, yet again proves Galileo right: The Grand Book is written in the language of mathematics.

Research profile

Dragan Bosnacki is an assistant professor at the TU/e department of Biomedical Engineering. His current main research interests are in (Big) Data and Health, and modelling of High Intensity Focused Ultrasound (HIFU) for cancer therapies. His previous work includes algorithms for reconstruction of biological networks and various applications of formal verification techniques in biology and medicine.   

Dr. Bosnacki has an extensive track record in formal verification of hardware and software, in particular in model checking. He has developed several improvements of state space reduction techniques, like partial-order reduction and symmetry reduction, and contributed several improvements of the probably most prominent model checking tool SPIN. Currently he serves as a steering committee chair of the SPIN symposiums. He has also co-pioneered the areas of multi-core and GPU model checking, which cover parallel model checking techniques on shared memory systems. Recently he has worked in separation logic and its applications in the tool VeriFast. 

Academic background

Dragan Bosnacki obtained both his BSc in Electrical Engineering and his MSc in Computer Science from Sts. Cyril and Methodius University in Skopje (Macedonia). From 1990 to 1997 he was a Teaching and Research Assistant at the Institute of Informatics at the same university. He then moved to Eindhoven University of Technology (TU/e, The Netherlands) for his PhD studies. In 2001 he obtained his PhD at the Department of Mathematics and Computer Science under supervision of Jos Baeten and Dennis Dams. Since 2000 he has been an Assistant Professor at the TU/e departments of Biomedical Engineering and Mathematics and Computer Science.

Vingerafdruk Verdiep u in de onderzoeksgebieden waarop Dragan Bosnacki actief is. Deze onderwerplabels komen uit het werk van deze persoon. Samen vormen ze een unieke vingerafdruk.

  • 1 Soortgelijke profielen

Netwerk Recente externe samenwerking op landenniveau. Duik in de details door op de stippen te klikken.


Deep learning with convolutional neural networks for histopathology image analysis

Bosnacki, D., van Riel, N. A. W. & Veta, M., 2019, Automated reasoning for systems biology and medicine. Lio, P. & Zuliani, P. (redactie). Springer, blz. 453-469 (Computational Biology Series; vol. 30).

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureHoofdstukAcademicpeer review

Dependency safety for Java: implementing and testing failboxes

Zhang, D., Bošnački, D., van den Brand, M., Huizing, C., Jacobs, B., Kuiper, R. & Wijs, A., 1 okt 2019, In : Science of Computer Programming. 184, 22 blz., 102316.

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • Model checking: recent improvements and applications

    Bošnački, D. & Wijs, A., 1 okt 2018, In : International Journal on Software Tools for Technology Transfer. 20, 5, blz. 493–497 5 blz.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
  • 52 Downloads (Pure)

    Modeling the interference between shear and longitudinal waves under high intensity focused ultrasound propagation in bone

    Modena, D., Baragona, M., Bošnački, D., Breuer, B. J. T., Elevelt, A., Maessen, R. T. H., Hilbers, P. A. J. & ten Eikelder, H. M. M., 4 dec 2018, In : Physics in Medicine and Biology. 63, 23, 12 blz., 235024.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

    Open Access
  • 1 Citaat (Scopus)
    24 Downloads (Pure)

    Modular termination verification of single-threaded and multithreaded programs

    Jacobs, B., Bosnacki, D. & Kuiper, R., 1 aug 2018, In : ACM Transactions on Programming Languages and Systems. 40, 3, A12.

    Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

  • 2 Citaten (Scopus)


    • 1 Workshop, seminar, cursus of expositie

    11th Nordic Workshop on Programming Theory NWPT'99, Uppsala, Sweden, October 1999, Uppsala, Sweden

    Dragan Bosnacki (Organisator)
    6 okt 1999

    Activiteit: Types deelname aan of organisatie van een evenementWorkshop, seminar, cursus of expositieWetenschappelijk


    A computational biology framework: a data analysis tool to support biomedical engineers in their research

    Auteur: Beishuizen, T., 29 nov 2018

    Begeleider: Bosnacki, D. (Afstudeerdocent 1), Cheplygina, V. (Afstudeerdocent 2), Hilbers, P. (Afstudeerdocent 2), Fletcher, G. (Afstudeerdocent 2) & Vanschoren, J. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Algorithms for gene regulatory networks reconstruction

    Auteur: Maksimov, N., 31 aug 2015

    Begeleider: Bosnacki, D. (Afstudeerdocent 1)

    Scriptie/masterproef: Master


    A parallel algorithm for comparing metabolic pathways

    Auteur: Datema, R., 31 aug 2006

    Begeleider: Hilbers, P. (Afstudeerdocent 1), Bosnacki, D. (Afstudeerdocent 2), Zwaan, G. (Afstudeerdocent 2) & Mak, R. (Afstudeerdocent 2)

    Scriptie/masterproef: Master


    Causal candidate genes identification for familial hypercholesterolemia family based on whole-genome sequencing

    Auteur: Wang, Q., 31 aug 2017

    Begeleider: Hilbers, P. (Afstudeerdocent 1), van Riel, N. (Afstudeerdocent 2), Hovingh, K. (Externe persoon) (Externe coach), Bosnacki, D. (Afstudeerdocent 2) & Veta, M. (Afstudeerdocent 2)

    Scriptie/masterproef: Master

    Finding maximal frequent subgraphs

    Auteur: Wagemans, J., 30 jun 2008

    Begeleider: Zantema, H. (Afstudeerdocent 1) & Bosnacki, D. (Afstudeerdocent 2)

    Scriptie/masterproef: Master