Oleg Travkin
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2013–2018
Best venue rank
C
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | SEFM | FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. | Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jrgen Knig, Heike Wehrheim |
| 2016 | ICTAC | Verification of Concurrent Programs on Weak Memory Models. | Oleg Travkin, Heike Wehrheim |
| 2016 | IFM | Towards a Thread-Local Proof Technique for Starvation Freedom. | Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2015 | FM | Verifying Opacity of a Transactional Mutex Lock. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim |
| 2014 | FM | Quiescent Consistency: Defining and Verifying Relaxed Linearizability. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim |
| 2013 | ICTAC | A High-Level Semantics for Program Execution under Total Store Order Memory. | Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim |