An Approach for Creating Domain Specific Visualisations of CSP Models. - Lukas Ladenberger; Ivaylo Dobrikov; Michael Leuschel (SEFM Workshops, 2014)

LTL Model Checking under Fairness in ProB. - Ivaylo Dobrikov; Michael Leuschel; Daniel Plagge (SEFM, 2016)

Optimising the ProB model checker for B using partial order reduction. - Ivaylo Dobrikov; Michael Leuschel (Formal Aspects Comput., 2016)

Enabling analysis for Event-B. - Ivaylo Dobrikov; Michael Leuschel (Sci. Comput. Program., 2018)