Travelled to:1 × Norway
1 × Singapore
Collaborated with:J.Derrick B.Dongol G.Schellhorn H.Wehrheim B.Tofan
Talks about:verifi (2) quiescent (1) transact (1) lineariz (1) consist (1) relax (1) mutex (1) defin (1) opac (1) lock (1)
Person: Oleg Travkin
DBLP: Travkin:Oleg
Contributed to:
20152014Wrote 2 papers:
- FM-2015-DerrickDSTW #transaction #verification
- Verifying Opacity of a Transactional Mutex Lock (JD, BD, GS, OT, HW), pp. 161–177.
- FM-2014-DerrickDSTTW #consistency #verification
- Quiescent Consistency: Defining and Verifying Relaxed Linearizability (JD, BD, GS, BT, OT, HW), pp. 200–214.