Bogdan Tofan
Bogdan Tofan
Associated Professor of Architecture, "Ion Mincu" University of Architecture and Urbanism
Verified email at - Homepage
Cited by
Cited by
Proving linearizability with temporal logic
S Bäumler, G Schellhorn, B Tofan, W Reif
Formal aspects of computing 23 (1), 91-112, 2011
The COST IC0701 verification competition 2011
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
Formal Verification of Object-Oriented Software, 3-21, 2012
Interleaved programs and rely-guarantee reasoning with ITL
G Schellhorn, B Tofan, G Ernst, W Reif
Temporal Representation and Reasoning (TIME), 2011 Eighteenth International …, 2011
RGITL: A temporal logic framework for compositional reasoning about interleaved programs
G Schellhorn, B Tofan, G Ernst, J Pfähler, W Reif
Annals of Mathematics and Artificial Intelligence 71 (1-3), 131-174, 2014
Quiescent consistency: Defining and verifying relaxed linearizability
J Derrick, B Dongol, G Schellhorn, B Tofan, O Travkin, H Wehrheim
FM 2014: Formal Methods, 200-214, 2014
Temporal logic verification of lock-freedom
B Tofan, S Bäumler, G Schellhorn, W Reif
Mathematics of Program Construction, 377-396, 2010
Formal verification of a lock-free stack with hazard pointers
B Tofan, G Schellhorn, W Reif
Theoretical Aspects of Computing–ICTAC 2011, 239-255, 2011
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset
B Tofan, G Schellhorn, W Reif
Integrated Formal Methods, 357-372, 2014
Two approaches for proving linearizability of multiset
B Tofan, O Travkin, G Schellhorn, H Wehrheim
Science of Computer Programming 96, 297-314, 2014
Local rely-guarantee conditions for linearizability and lock-freedom
B Tofan, G Schellhorn, W Reif
Karlsruhe Reports in Informatics 26, 2011
Compositional verification of a lock-free stack with RGITL
B Tofan, G Schellhorn, G Ernst, J Pfahler, W Reif
Electronic Communications of the EASST 66, 2014
Embedding rely-guarantee reasoning in temporal logic
B Tofan, G Schellhorn, S Bäumler, W Reif
Technical Report 2010-07, Informatik, 2010
Compositional Concurrent Program Verification with RGITL
B Tofan
Verifying a stack with hazard pointers in temporal logic
B Tofan, G Schellhorn, W Reif
Technical Report 2011-08, Universität Augsburg, 2011
Verifying linearizability and lock-freedom with temporal logic
B Tofan, S Bäumler, G Schellhorn, W Reif
Technical report, Fakultät für Angewandte Informatik der Universität Augsburg, 2009
A Practical Course on KIV
G Ernst, D Haneberg, W Reif, G Schellhorn, K Stenzel, B Tofan
New river memory - River solution for the heat island
C Tofan
Bienala Nationala de Arhitectura Bucuresti 10 (2), 2, 2012
Constructive solutions of floating boards for decorating concrete-lined river banks, RO127818-A2
D Drumea, Lepadatu, Tofan B., Ciocanea A.
ISI Web of Knowledge 87955 (RO127818-A2; P87955 [02]), 1, 2012
Reabilitarea urbana a raului Dambovita - Scenariu Ambiental
Tofan, Ciocanea, Corduneanu
CCPEC 11 (17), 1, 2010
New light for new offices - World Bank Bucharest
Lightlfe 5 (04924068), 18, 2010
The system can't perform the operation now. Try again later.
Articles 1–20