Travelled to:1 × Italy
1 × Russia
1 × USA
Collaborated with:R.Bloem S.Jacobs B.Aminof S.Rubin
Talks about:parameter (3) synthesi (3) token (2) streett (1) toward (1) system (1) effici (1) rabin (1) parti (1) model (1)
Person: Ayrat Khalimov
DBLP: Khalimov:Ayrat
Contributed to:
2014
201320132017Wrote 4 papers:
- VMCAI-2014-AminofJKR #model checking
- Parameterized Model Checking of Token-Passing Systems (BA, SJ, AK, SR), pp. 262–281.
- CAV-2013-KhalimovJB #synthesis
- PARTY Parameterized Synthesis of Token Rings (AK, SJ, RB), pp. 928–933.
- VMCAI-2013-KhalimovJB #performance #synthesis #towards
- Towards Efficient Parameterized Synthesis (AK, SJ, RB), pp. 108–127.
- CAV-2017-KhalimovB #bound #synthesis
- Bounded Synthesis for Streett, Rabin, and CTL* (AK, RB), pp. 333–352.