Alexandre Boulgakov

According to our database, Alexandre Boulgakov authored at least 5 papers between 2014 and 2016.

Collaborative distances:

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

2016

Improving scalability of exploratory model checking.

Alexandre Boulgakov

PhD thesis, 2016

FDR3: a parallel refinement checker for CSP.

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe

Int. J. Softw. Tools Technol. Transf., 2016

Computing maximal weak and other bisimulations.

Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe

Formal Aspects Comput., 2016

2014

FDR3 - A Modern Refinement Checker for CSP.

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Computing Maximal Bisimulations.

Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Formal Methods and Software Engineering, 2014