Bogdan Tofan
Bogdan Tofan
Associated Professor of Architecture, "Ion Mincu" University of Architecture and Urbanism
Verified email at iaim.ro - Homepage
Title
Cited by
Cited by
Year
Proving linearizability with temporal logic
S Bäumler, G Schellhorn, B Tofan, W Reif
Formal aspects of computing 23 (1), 91-112, 2011
412011
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
382012
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
372011
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
242014
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
212014
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
212011
Temporal logic verification of lock-freedom
B Tofan, S Bäumler, G Schellhorn, W Reif
Mathematics of Program Construction, 377-396, 2010
212010
A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset
B Tofan, G Schellhorn, W Reif
Integrated Formal Methods, 357-372, 2014
92014
Two approaches for proving linearizability of multiset
B Tofan, O Travkin, G Schellhorn, H Wehrheim
Science of Computer Programming 96, 297-314, 2014
72014
Local rely-guarantee conditions for linearizability and lock-freedom
B Tofan, G Schellhorn, W Reif
Karlsruhe Reports in Informatics 26, 2011
42011
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
32014
Embedding rely-guarantee reasoning in temporal logic
B Tofan, G Schellhorn, S Bäumler, W Reif
Technical Report 2010-07, Informatik, 2010
32010
Compositional Concurrent Program Verification with RGITL
B Tofan
22014
Verifying a stack with hazard pointers in temporal logic
B Tofan, G Schellhorn, W Reif
Technical Report 2011-08, Universität Augsburg, 2011
12011
A Practical Course on KIV
G Ernst, D Haneberg, W Reif, G Schellhorn, K Stenzel, B Tofan
1
New river memory - River solution for the heat island
C Tofan
Bienala Nationala de Arhitectura Bucuresti 10 (2), 2, 2012
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
2012
Reabilitarea urbana a raului Dambovita - Scenariu Ambiental
Tofan, Ciocanea, Corduneanu
CCPEC 11 (17), 1, 2010
2010
New light for new offices - World Bank Bucharest
Tofan
Lightlfe 5 (04924068), 18, 2010
2010
The COST IC0701 Verification Competition 2011 Extended Version⋆
T Bormer, M Brockschmidt, D Distefano, G Ernst, JC Filliâtre, R Grigore, ...
International Conference, FoVeOOS 7421 (2011), 2010
2010
The system can't perform the operation now. Try again later.
Articles 1–20