Igor B. Burdonov
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
3
Active years
1999–2021
Best venue rank
B
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2021 | ENASE | Preventive Model-based Verification and Repairing for SDN Requests. | Igor B. Burdonov, Alexandre S. Kossachev, Nina Yevtushenko, Jorge Lpez, Natalia Kushik, Djamal Zeghlache |
| 2009 | EuroSys | Virtualization-based separation of privilege: working with sensitive data in untrusted environment. | Igor B. Burdonov, Alexander S. Kosachev, Pavel Iakovenko |
| 1999 | FM | KVEST: Automated Generation of Test Suites from Formal Specifications. | Igor B. Burdonov, Alexander S. Kossatchev, Alexander K. Petrenko, Dmitri Galter |