SPIN as a linearizability checker under weak memory models O Travkin, A Mütze, H Wehrheim Haifa Verification Conference, 311-326, 2013 | 33 | 2013 |
Quiescent consistency: Defining and verifying relaxed linearizability J Derrick, B Dongol, G Schellhorn, B Tofan, O Travkin, H Wehrheim FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014 | 26 | 2014 |
Verification of concurrent programs on weak memory models O Travkin, H Wehrheim Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016 | 22 | 2016 |
Handling TSO in mechanized linearizability proofs O Travkin, H Wehrheim Hardware and Software: Verification and Testing: 10th International Haifa …, 2014 | 14 | 2014 |
TSO to SC via symbolic execution H Wehrheim, O Travkin Haifa Verification Conference, 104-119, 2015 | 13 | 2015 |
Verifying opacity of a transactional mutex lock J Derrick, B Dongol, G Schellhorn, O Travkin, H Wehrheim FM 2015: Formal Methods: 20th International Symposium, Oslo, Norway, June 24 …, 2015 | 13 | 2015 |
A high-level semantics for program execution under total store order memory B Dongol, O Travkin, J Derrick, H Wehrheim Theoretical Aspects of Computing–ICTAC 2013: 10th International Colloquium …, 2013 | 11 | 2013 |
Mechanized proofs of opacity: a comparison of two techniques J Derrick, S Doherty, B Dongol, G Schellhorn, O Travkin, H Wehrheim Formal Aspects of Computing 30, 597-625, 2018 | 10 | 2018 |
Towards a thread-local proof technique for starvation freedom G Schellhorn, O Travkin, H Wehrheim Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016 | 8 | 2016 |
Proving linearizability of multiset with local proof obligations O Travkin, H Wehrheim, G Schellhorn Electronic Communications of the EASST 53, 2012 | 8* | 2012 |
TGGs for transforming UML to CSP: Contribution to the AGTIVE 2007 graph transformation tools contest J Greenyer, E Kindler, J Rieke, O Travkin Department of Computer Science, University of Paderborn, 2008 | 8 | 2008 |
Two approaches for proving linearizability of multiset B Tofan, O Travkin, G Schellhorn, H Wehrheim Science of Computer Programming 96, 297-314, 2014 | 6 | 2014 |
fritsCab: Fujaba re-engineering tool suite for mechatronic systems S Henkler, M Breit, C Brink, M Böger, C Brenner, K Bröker, U Pohlmann, ... Proceedings of the 7th International Fujaba Days 10, 14-15, 2009 | 6 | 2009 |
Towards the combination of clustering-based and pattern-based reverse engineering approaches O Travkin, M Detten, S Becker Gesellschaft für Informatik eV, 2011 | 5 | 2011 |
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity G Schellhorn, M Wedel, O Travkin, J König, H Wehrheim Software Engineering and Formal Methods: 16th International Conference, SEFM …, 2018 | 2 | 2018 |
Kombination von Clustering-und musterbasierten Reverse-Engineering-Verfahren O Travkin Master's thesis, University of Paderborn (June 2011)(in German), 2011 | 2 | 2011 |
Verifying Concurrent Programs Under Weak Memory Models O Travkin University of Paderborn, Germany, 2017 | | 2017 |
TGGs for Transforming UML to CSP: Contribution to the ACTIVE 2007 Graph Transformation Tools Contest Technical Report tr-ri-08-287 J Greenyer, J Rieke, O Travkin, E Kindler | | 2008 |