Bogdan Tofan
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2010–2014
Best venue rank
B
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2014 | FM | Quiescent Consistency: Defining and Verifying Relaxed Linearizability. | John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim |
| 2014 | IFM | A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | ICTAC | Formal Verification of a Lock-Free Stack with Hazard Pointers. | Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif |
| 2011 | TIME | Interleaved Programs and Rely-Guarantee Reasoning with ITL. | Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif |
| 2010 | MPC | Temporal Logic Verification of Lock-Freedom. | Bogdan Tofan, Simon Bumler, Gerhard Schellhorn, Wolfgang Reif |