Volgen
Oleg Travkin
Oleg Travkin
Geverifieerd e-mailadres voor zitmail.uni-paderborn.de
Titel
Geciteerd door
Geciteerd door
Jaar
SPIN as a linearizability checker under weak memory models
O Travkin, A Mütze, H Wehrheim
Haifa Verification Conference, 311-326, 2013
332013
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
262014
Verification of concurrent programs on weak memory models
O Travkin, H Wehrheim
Theoretical Aspects of Computing–ICTAC 2016: 13th International Colloquium …, 2016
222016
Handling TSO in mechanized linearizability proofs
O Travkin, H Wehrheim
Hardware and Software: Verification and Testing: 10th International Haifa …, 2014
142014
TSO to SC via symbolic execution
H Wehrheim, O Travkin
Haifa Verification Conference, 104-119, 2015
132015
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
132015
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
112013
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
92018
Towards a thread-local proof technique for starvation freedom
G Schellhorn, O Travkin, H Wehrheim
Integrated Formal Methods: 12th International Conference, IFM 2016 …, 2016
82016
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
82008
Two approaches for proving linearizability of multiset
B Tofan, O Travkin, G Schellhorn, H Wehrheim
Science of Computer Programming 96, 297-314, 2014
62014
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
62009
Towards the combination of clustering-based and pattern-based reverse engineering approaches
O Travkin, M Detten, S Becker
Gesellschaft für Informatik eV, 2011
52011
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
22018
Kombination von Clustering-und musterbasierten Reverse-Engineering-Verfahren
O Travkin
Master's thesis, University of Paderborn (June 2011)(in German), 2011
22011
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–18