Oleg Travkin

Publication Activity (10 Years)

Years Active: 2011-2018
Publications (10 Years): 6

Top Venues

Haifa Verification Conference

ICTAC

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

University of Paderborn, Germany (PHD)

Education History

University of Paderborn, Germany

PHD

Publications

Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim
FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. SEFM (2018)
John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
Mechanized proofs of opacity: a comparison of two techniques. Formal Aspects Comput. 30 (5) (2018)
Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
Towards a Thread-Local Proof Technique for Starvation Freedom. IFM (2016)
Oleg Travkin, Heike Wehrheim
Verification of Concurrent Programs on Weak Memory Models. ICTAC (2016)
Heike Wehrheim, Oleg Travkin
TSO to SC via Symbolic Execution. Haifa Verification Conference (2015)
John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim
Verifying Opacity of a Transactional Mutex Lock. FM (2015)
John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim
Quiescent Consistency: Defining and Verifying Relaxed Linearizability. FM (2014)
Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim
Two approaches for proving linearizability of multiset. Sci. Comput. Program. 96 (2014)
Oleg Travkin, Heike Wehrheim
Handling TSO in Mechanized Linearizability Proofs. Haifa Verification Conference (2014)
Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim
A High-Level Semantics for Program Execution under Total Store Order Memory. ICTAC (2013)
Oleg Travkin, Annika Mütze, Heike Wehrheim
SPIN as a Linearizability Checker under Weak Memory Models. Haifa Verification Conference (2013)
Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn
Proving Linearizability of Multiset with Local Proof Obligations. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 53 (2012)
Oleg Travkin, Markus von Detten, Steffen Becker
Towards the Combination of Clustering-based and Pattern-based Reverse Engineering Approaches. Software Engineering (Workshops) (2011)

Oleg Travkin.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Oleg Travkin