Bogdan Tofan

Publication Activity (10 Years)

Years Active: 2010-2014
Publications (10 Years): 0

Top Venues

Electron. Commun. Eur. Assoc. Softw. Sci. Technol.

Ann. Math. Artif. Intell.

Sci. Comput. Program.

University of Augsburg (PHD)

Education History

University of Augsburg

PHD

Publications

John Derrick, Brijesh Dongol, Gerhard Schellhorn, Bogdan Tofan, Oleg Travkin, Heike Wehrheim
Quiescent Consistency: Defining and Verifying Relaxed Linearizability. FM (2014)
Bogdan Tofan, Oleg Travkin, Gerhard Schellhorn, Heike Wehrheim
Two approaches for proving linearizability of multiset. Sci. Comput. Program. 96 (2014)
Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset. IFM (2014)
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
RGITL: A temporal logic framework for compositional reasoning about interleaved programs. Ann. Math. Artif. Intell. 71 (1-3) (2014)
Bogdan Tofan, Gerhard Schellhorn, Gidon Ernst, Jörg Pfähler, Wolfgang Reif
Compositional Verification of a Lock-Free Stack with RGITL. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 66 (2013)
Simon Bäumler, Gerhard Schellhorn, Bogdan Tofan, Wolfgang Reif
Proving linearizability with temporal logic. Formal Aspects Comput. 23 (1) (2011)
Gerhard Schellhorn, Bogdan Tofan, Gidon Ernst, Wolfgang Reif
Interleaved Programs and Rely-Guarantee Reasoning with ITL. TIME (2011)
Bogdan Tofan, Gerhard Schellhorn, Wolfgang Reif
Formal Verification of a Lock-Free Stack with Hazard Pointers. ICTAC (2011)
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
The COST IC0701 Verification Competition 2011. FoVeOOS (2011)
Bogdan Tofan, Simon Bäumler, Gerhard Schellhorn, Wolfgang Reif
Temporal Logic Verification of Lock-Freedom. MPC (2010)

Bogdan Tofan.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Bogdan Tofan