Kirill Bogdanov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
10
Venues
6
Active years
1998–2018
Best venue rank
A*
Where they publish
Papers
10 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | CLOUD | Fast and Accurate Load Balancing for Geo-Distributed Storage Systems. | Kirill Bogdanov, Waleed Reda, Gerald Q. Maguire Jr., Dejan Kostic, Marco Canini |
| 2018 | ICST | SPYH-Method: An Improvement in Testing of Finite-State Machines. | Michal Soucha, Kirill Bogdanov |
| 2015 | CLOUD | The nearest replica can be farther than you think. | Kirill Bogdanov, Miguel Pen-Quirs, Gerald Q. Maguire Jr., Dejan Kostic |
| 2015 | ICST | Graphical editing support for QuickCheck models. | Thomas Arts, Kirill Bogdanov, Alex Gerdes, John Hughes |
| 2015 | SIGCOMM | Toward Automated Testing of Geo-Distributed Replica Selection Algorithms. | Kirill Bogdanov, Miguel Pen-Quirs, Gerald Q. Maguire Jr., Dejan Kostic |
| 2013 | IFM | Automatic Inference of Erlang Module Behaviour. | Ramsay Taylor, Kirill Bogdanov, John Derrick |
| 2011 | ICST | Test Generation for X-machines with Non-terminal States and Priorities of Operations. | Kirill Bogdanov |
| 2008 | ICST | Balanced FSM Generation for Empirical Studies. | Sarah Salahuddin, Kirill Bogdanov, Neil Walkinshaw |
| 2002 | COMPSAC | FORTEST: Formal Methods and Testing. | Jonathan P. Bowen, Kirill Bogdanov, John A. Clark, Mark Harman, Robert M. Hierons, Paul J. Krause |
| 1998 | FM | Automated Test Set Generation for Statecharts. | Kirill Bogdanov, Mike Holcombe, Harbhajan Singh |