Oleg Travkin

According to our database, Oleg Travkin authored at least 14 papers between 2011 and 2018.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2018

Mechanized proofs of opacity: a comparison of two techniques.

John Derrick, Simon Doherty, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim

Formal Aspects Comput., 2018

FastLane Is Opaque - a Case Study in Mechanized Proofs of Opacity.

Gerhard Schellhorn, Monika Wedel, Oleg Travkin, Jürgen König, Heike Wehrheim

Proceedings of the Software Engineering and Formal Methods - 16th International Conference, 2018

2017

Verifying concurrent programs under weak memory models.

Oleg Travkin

PhD thesis, 2017

2016

Towards a Thread-Local Proof Technique for Starvation Freedom.

Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Verification of Concurrent Programs on Weak Memory Models.

Oleg Travkin, Heike Wehrheim

Proceedings of the Theoretical Aspects of Computing - ICTAC 2016, 2016

2015

TSO to SC via Symbolic Execution.

Heike Wehrheim, Oleg Travkin

Proceedings of the Hardware and Software: Verification and Testing, 2015

Verifying Opacity of a Transactional Mutex Lock.

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Oleg Travkin, Heike Wehrheim

Proceedings of the FM 2015: Formal Methods, 2015

2014

Two approaches for proving linearizability of multiset.

Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim

Sci. Comput. Program., 2014

Handling TSO in Mechanized Linearizability Proofs.

Oleg Travkin, Heike Wehrheim

Proceedings of the Hardware and Software: Verification and Testing, 2014

Quiescent Consistency: Defining and Verifying Relaxed Linearizability.

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim

Proceedings of the FM 2014: Formal Methods, 2014

2013

A High-Level Semantics for Program Execution under Total Store Order Memory.

Brijesh Dongol, Oleg Travkin, John Derrick, Heike Wehrheim

Proceedings of the Theoretical Aspects of Computing - ICTAC 2013, 2013

SPIN as a Linearizability Checker under Weak Memory Models.

Oleg Travkin, Annika Mütze, Heike Wehrheim

Proceedings of the Hardware and Software: Verification and Testing, 2013

2012

Proving Linearizability of Multiset with Local Proof Obligations.

Oleg Travkin, Heike Wehrheim, Gerhard Schellhorn

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

2011

Towards the Combination of Clustering-based and Pattern-based Reverse Engineering Approaches.

Oleg Travkin, Markus von Detten, Steffen Becker

Proceedings of the Software Engineering 2011, 2011