| Proving linearizability with temporal logic S Bäumler, G Schellhorn, B Tofan, W Reif Formal aspects of computing 23 (1), 91-112, 2011 | 47 | 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 | 46 | 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 | 43 | 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 | 38 | 2014 |
| 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 | 31 | 2011 |
| 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 | 30 | 2014 |
| Temporal logic verification of lock-freedom B Tofan, S Bäumler, G Schellhorn, W Reif Mathematics of Program Construction, 377-396, 2010 | 24 | 2010 |
| A Compositional Proof Method for Linearizability Applied to a Wait-Free Multiset B Tofan, G Schellhorn, W Reif Integrated Formal Methods, 357-372, 2014 | 8 | 2014 |
| Two approaches for proving linearizability of multiset B Tofan, O Travkin, G Schellhorn, H Wehrheim Science of Computer Programming 96, 297-314, 2014 | 7 | 2014 |
| Local rely-guarantee conditions for linearizability and lock-freedom B Tofan, G Schellhorn, W Reif Karlsruhe Reports in Informatics 26, 2011 | 6 | 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 | 4 | 2014 |
| Compositional Concurrent Program Verification with RGITL B Tofan | 3 | 2014 |
| Embedding rely-guarantee reasoning in temporal logic B Tofan, G Schellhorn, S Bäumler, W Reif Technical Report 2010-07, Informatik, 2010 | 3 | 2010 |
| Verifying a stack with hazard pointers in temporal logic B Tofan, G Schellhorn, W Reif Technical Report 2011-08, Universität Augsburg, 2011 | 1 | 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 | 1 | 2009 |
| 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 |
