Oleg Travkin

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