Oleg Travkin
Oleg Travkin
Потвърден имейл адрес: zitmail.uni-paderborn.de
Заглавие
Позовавания
Позовавания
Година
SPIN as a linearizability checker under weak memory models
O Travkin, A Mütze, H Wehrheim
Haifa Verification Conference, 311-326, 2013
302013
Verification of concurrent programs on weak memory models
O Travkin, H Wehrheim
International Colloquium on Theoretical Aspects of Computing, 3-24, 2016
212016
Quiescent consistency: Defining and verifying relaxed linearizability
J Derrick, B Dongol, G Schellhorn, B Tofan, O Travkin, H Wehrheim
International Symposium on Formal Methods, 200-214, 2014
212014
TSO to SC via symbolic execution
H Wehrheim, O Travkin
Haifa Verification Conference, 104-119, 2015
112015
Verifying opacity of a transactional mutex lock
J Derrick, B Dongol, G Schellhorn, O Travkin, H Wehrheim
International Symposium on Formal Methods, 161-177, 2015
112015
A high-level semantics for program execution under total store order memory
B Dongol, O Travkin, J Derrick, H Wehrheim
International Colloquium on Theoretical Aspects of Computing, 177-194, 2013
112013
Handling TSO in mechanized linearizability proofs
O Travkin, H Wehrheim
Haifa Verification Conference, 132-147, 2014
102014
TGGs for Transforming UML to CSP: Contribution to the ACTIVE 2007 Graph Transformation Tools Contest
J Greenyer, J Rieke, O Travkin, E Kindler
82008
Two approaches for proving linearizability of multiset
B Tofan, O Travkin, G Schellhorn, H Wehrheim
Science of Computer Programming 96, 297-314, 2014
72014
Proving linearizability of multiset with local proof obligations
O Travkin, H Wehrheim, G Schellhorn
Electronic Communications of the EASST 53, 2013
7*2013
Towards a thread-local proof technique for starvation freedom
G Schellhorn, O Travkin, H Wehrheim
International Conference on Integrated Formal Methods, 193-209, 2016
62016
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
Software Engineering 2011–Workshopband, 2011
42011
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 (5), 597-625, 2018
22018
Kombination von Clustering-und musterbasierten Reverse-Engineering-Verfahren
O Travkin
Master's thesis, University of Paderborn (June 2011)(in German), 2011
22011
FastLane Is Opaque – a Case Study in Mechanized Proofs of Opacity
G Schellhorn, M Wedel, O Travkin, J König, H Wehrheim
International Conference on Software Engineering and Formal Methods, 105-120, 2018
2018
Verifying Concurrent Programs Under Weak Memory Models: Verifikation Nebenläufiger Programme Unter Schwachen Speichermodellen
O Travkin
Universität Paderborn, 2017
2017
Verifying concurrent programs under weak memory models.
O Travkin
Paderborn, Universität Paderborn, 2017
2017
12th International Workshop on Automated Verification of Critical Systems (AVoCS 2012)
H Hatefi, H Hermanns
Electronic Communications of the EASST 53, 2012
2012
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
Системата не може да изпълни операцията сега. Опитайте отново по-късно.
Статии 1–20