Ivaylo Dobrikov

Publication Activity (10 Years)

Years Active: 2014-2018
Publications (10 Years): 4

Top Topics

Temporally Extended Goals

Domain Specific

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Ivaylo Dobrikov, Michael Leuschel
Enabling analysis for Event-B. Sci. Comput. Program. 158 (2018)
Ivaylo Dobrikov, Michael Leuschel
Optimising the ProB model checker for B using partial order reduction. Formal Aspects Comput. 28 (2) (2016)
Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge
LTL Model Checking under Fairness in ProB. SEFM (2016)
Ivaylo Dobrikov, Michael Leuschel
Enabling Analysis for Event-B. ABZ (2016)
Ivaylo Dobrikov, Michael Leuschel
Optimising the ProB Model Checker for B Using Partial Order Reduction. SEFM (2014)
Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel
An Approach for Creating Domain Specific Visualisations of CSP Models. SEFM Workshops (2014)