Towards the Combination of Clustering-based and Pattern-based Reverse Engineering Approaches. - Oleg Travkin 001; Markus von Detten; Steffen Becker 001 (Software Engineering (Workshops), 2011)

Proving Linearizability of Multiset with Local Proof Obligations. - Oleg Travkin 001; Heike Wehrheim; Gerhard Schellhorn (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2012)

SPIN as a Linearizability Checker under Weak Memory Models. - Oleg Travkin 001; Annika Mütze; Heike Wehrheim (Haifa Verification Conference, 2013)

A High-Level Semantics for Program Execution under Total Store Order Memory. - Brijesh Dongol; Oleg Travkin 001; John Derrick; Heike Wehrheim (ICTAC, 2013)

Quiescent Consistency: Defining and Verifying Relaxed Linearizability. - John Derrick; Brijesh Dongol; Gerhard Schellhorn; Bogdan Tofan; Oleg Travkin 001; Heike Wehrheim (FM, 2014)

Handling TSO in Mechanized Linearizability Proofs. - Oleg Travkin 001; Heike Wehrheim (Haifa Verification Conference, 2014)

Two approaches for proving linearizability of multiset. - Bogdan Tofan; Oleg Travkin 001; Gerhard Schellhorn; Heike Wehrheim (Sci. Comput. Program., 2014)

Verifying Opacity of a Transactional Mutex Lock. - John Derrick; Brijesh Dongol; Gerhard Schellhorn; Oleg Travkin 001; Heike Wehrheim (FM, 2015)

TSO to SC via Symbolic Execution. - Heike Wehrheim; Oleg Travkin 001 (Haifa Verification Conference, 2015)

Verification of Concurrent Programs on Weak Memory Models. - Oleg Travkin 001; Heike Wehrheim (ICTAC, 2016)

Towards a Thread-Local Proof Technique for Starvation Freedom. - Gerhard Schellhorn; Oleg Travkin 001; Heike Wehrheim (IFM, 2016)

Verifying concurrent programs under weak memory models. - Oleg Travkin 001 (2017)

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity. - Gerhard Schellhorn; Monika Wedel; Oleg Travkin 001; Jürgen König; Heike Wehrheim (SEFM, 2018)

Mechanized proofs of opacity: a comparison of two techniques. - John Derrick; Simon Doherty; Brijesh Dongol; Gerhard Schellhorn; Oleg Travkin 001; Heike Wehrheim (Formal Aspects Comput., 2018)