Computing Maximal Bisimulations. - Alexandre Boulgakov; Thomas Gibson-Robinson; A. W. Roscoe 001 (ICFEM, 2014)

FDR3 - A Modern Refinement Checker for CSP. - Thomas Gibson-Robinson; Philip J. Armstrong; Alexandre Boulgakov; A. W. Roscoe 001 (TACAS, 2014)

Computing maximal weak and other bisimulations. - Alexandre Boulgakov; Thomas Gibson-Robinson; A. W. Roscoe 001 (Formal Aspects Comput., 2016)

FDR3: a parallel refinement checker for CSP. - Thomas Gibson-Robinson; Philip J. Armstrong; Alexandre Boulgakov; A. W. Roscoe 001 (Int. J. Softw. Tools Technol. Transf., 2016)

Improving scalability of exploratory model checking. - Alexandre Boulgakov (2016)