| From animation to data validation: the ProB constraint solver 10 years on M Leuschel, J Bendisposto, I Dobrikov, S Krings, D Plagge Formal Methods Applied to Complex Systems: Implementation of the B Method …, 2014 | 45 | 2014 |
| An approach for creating domain specific visualisations of CSP models L Ladenberger, I Dobrikov, M Leuschel Software Engineering and Formal Methods: SEFM 2014 Collocated Workshops …, 2015 | 15 | 2015 |
| ProB 2.0 Tutorial J Bendisposto, J Clark, I Dobrikov, P Karner, S Krings, L Ladenberger, ... Proceedings of the 4th Rodin User and Developer Workshop, TUCS Lecture Notes …, 2013 | 15 | 2013 |
| Optimising the ProB model checker for B using partial order reduction I Dobrikov, M Leuschel Formal Aspects of Computing 28, 295-323, 2016 | 9 | 2016 |
| Optimising the ProB model checker for B using partial order reduction I Dobrikov, M Leuschel International Conference on Software Engineering and Formal Methods, 220-234, 2014 | 9 | 2014 |
| Enabling analysis for Event-B I Dobrikov, M Leuschel Science of Computer Programming 158, 81-99, 2018 | 8 | 2018 |
| LTL Model Checking under Fairness in ProB I Dobrikov, M Leuschel, D Plagge International Conference on Software Engineering and Formal Methods, 204-211, 2016 | 8 | 2016 |
| Improving explicit-state model checking for B and Event-B IM Dobrikov Dissertation, Düsseldorf, Heinrich-Heine-Universität, 2017, 2018 | 2 | 2018 |
| Grundlagen der Gruppentheorie: Lagrange-Satz, drei Homomorphismussätze, Cayley-Satz, Poincare-Satz, direkte Produkte. Semidirekte Produkte I Dobrikov | | 2010 |
| HOFM 2014 B Beckert, S Grebing, F Böhl, L Ladenberger, I Dobrikov, M Leuschel, ... | | |
| B constrained S Krings, J Bendisposto, I Dobrikov, M Leuschel | | |
| Optimising the ProB Model Checker for B using Partial Order Reduction (technical report) I Dobrikov, M Leuschel | | |