Alexandre Boulgakov

Alexandre Boulgakov

University of Oxford - Oxford / United Kingdom
Engineering & Technology / Computer Science
AD Scientific Index ID: 1056735
person_outline Alexandre Boulgakov's MOST POPULAR ARTICLES
1-) FDR3 — A Modern Refinement Checker for CSPT Gibson-Robinson, P Armstrong, A Boulgakov, AW RoscoeTools and Algorithms for the Construction and Analysis of Systems, 187-201, 20142872014
2-) FDR3: a parallel refinement checker for CSPT Gibson-Robinson, P Armstrong, A Boulgakov, AW RoscoeInternational Journal on Software Tools for Technology Transfer 18 (2), 149-167, 2016612016
3-) Computing maximal weak and other bisimulationsA Boulgakov, T Gibson-Robinson, AW RoscoeFormal Aspects of Computing 28 (3), 381-407, 2016152016
4-) Computing maximal bisimulationsA Boulgakov, T Gibson-Robinson, AW RoscoeInternational Conference on Formal Engineering Methods, 11-26, 201462014
5-) Improving scalability of exploratory model checkingA BoulgakovUniversity of Oxford, 201652016