Alexandre Boulgakov
Alexandre Boulgakov
Department of Computer Science, University of Oxford
Verifierad e-postadress på cs.ox.ac.uk
Titel
Citeras av
Citeras 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
2302014
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
422016
Computing maximal weak and other bisimulations
A Boulgakov, T Gibson-Robinson, AW Roscoe
Formal Aspects of Computing 28 (3), 381-407, 2016
112016
Improving scalability of exploratory model checking
A Boulgakov
University of Oxford, 2016
52016
Computing maximal bisimulations
A Boulgakov, T Gibson-Robinson, AW Roscoe
International Conference on Formal Engineering Methods, 11-26, 2014
52014
FDR3—A Modern Refinement Checker for CSP
T Gibson, P Armstrong, A Boulgakov, AW Roscoe
42014
Efficient multi-graph or rooted subgraph matching via merging
A Boulgakov
32018
Static system-call graph generation
A Boulgakov
12018
Flow-graph analysis of system calls for exploit detection
A Desnos, E Petrova, A Boulgakov, R Neal, Z Mithra
12018
Matching a graph with a non-deterministic finite automaton
A Boulgakov
12018
A Machine-Learned Model To Detect Malicious Code Using API-call N-grams From Static Analysis
A Boulgakov, C Ren
2020
Neural Network Security: Hiding CNN Parameters with Guided Grad-CAM.
L Guiga, AW Roscoe, P Antonino, AW Roscoe, D Mestel, AW Roscoe, ...
ICISSP, 611-618, 2020
2020
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–14