Alexandre Boulgakov
Alexandre Boulgakov
Department of Computer Science, University of Oxford
Verifierad e-postadress på cs.ox.ac.uk
TitelCiteras avÅr
FDR3 — A Modern Refinement Checker for CSP
T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe
Tools and Algorithms for the Construction and Analysis of Systems, 187-201, 2014
2092014
FDR3: a parallel refinement checker for CSP
T Gibson-Robinson, P Armstrong, A Boulgakov, AW Roscoe
International Journal on Software Tools for Technology Transfer 18 (2), 149-167, 2016
352016
Computing maximal weak and other bisimulations
A Boulgakov, T Gibson-Robinson, AW Roscoe
Formal Aspects of Computing 28 (3), 381-407, 2016
92016
Computing maximal bisimulations
A Boulgakov, T Gibson-Robinson, AW Roscoe
International Conference on Formal Engineering Methods, 11-26, 2014
52014
Improving scalability of exploratory model checking
A Boulgakov
University of Oxford, 2016
42016
FDR3—A Modern Refinement Checker for CSP
T Gibson, P Armstrong, A Boulgakov, AW Roscoe
32014
Efficient multi-graph or rooted subgraph matching via merging
A Boulgakov
22018
Matching a graph with a non-deterministic finite automaton
A Boulgakov
12018
Static system-call graph generation
A Boulgakov
2018
Flow-graph analysis of system calls for exploit detection
A Desnos, E Petrova, A Boulgakov, R Neal, Z Mithra
2018
Computing maximal weak and other bisimulations
AW Roscoe, A Boulgakov, T Gibson-Robinson
Formal Aspects of Computing: applicable formal methods, 2015
2015
SIPping Wikipedia
A Boulgakov, G Stark
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–12