Ivaylo Dobrikov

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

Collaborative distances:

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

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

Enabling Analysis for Event-B.

Ivaylo Dobrikov, Michael Leuschel

Proceedings of the Abstract State Machines, Alloy, B, TLA, VDM, and Z, 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

Optimising the ProB Model Checker for B Using Partial Order Reduction.

Ivaylo Dobrikov, Michael Leuschel

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014