Ivaylo Dobrikov

According to our database, Ivaylo Dobrikov authored at least 4 papers between 2014 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

2018

Enabling analysis for Event-B.

Ivaylo Dobrikov, Michael Leuschel

Sci. Comput. Program., 2018

2016

Optimising the ProB model checker for B using partial order reduction.

Ivaylo Dobrikov, Michael Leuschel

Formal Aspects Comput., 2016

LTL Model Checking under Fairness in ProB.

Ivaylo Dobrikov, Michael Leuschel, Daniel Plagge

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

2014

An Approach for Creating Domain Specific Visualisations of CSP Models.

Lukas Ladenberger, Ivaylo Dobrikov, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods, 2014