 |
研究生—Alexey Bakhirkin工程师（Bauman MSTU）
|
G2级肯·爱德华兹大厦
计算与数学科学学院，
莱斯特大学，
大学路，
莱斯特，
LE1 7右侧。
T： +44（0）116 252 3883
电子邮箱：ab643（at）le.ac.uk（英国）
|
程序分析/抽象解释、（非）终止、模型检查。
如果你对这个部门感兴趣博士研讨会活动，请给我留言。
在莱斯特：
使用反向分析和跟踪分区查找递归集（A.Bakhirkin，N.Piterman），出现在TACAS公司, 2016.[pdf格式][幻灯片]
递归集的正向分析（A.Bakhirkin，J.Berdine，N.Piterman），inSAS公司, 2015.[tr pdf格式][最终的][幻灯片]
通过过近似抽象和欠近似减法进行反向分析（A.Bakhirkin，J.Berdine，N.Piterman），年SAS公司, 2014.[tr pdf格式][最终的][幻灯片]
之前：基于对象的软件事务存储器（A.Bakhirkin）中块同步和非块同步的比较太平洋海岸, 2010. 俄语。[pdf格式]
2015年莱斯特BCS活动幻灯片我的节目结束了吗？
个人简历[pdf格式][html格式]
| 