Bogdan Tofan
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| RGITL: a temporal logic framework for compositional reasoning about interleaved programs Annals of Mathematics and Artificial Intelligence | 2014-07-11 | Paper |
| Formal verification of a lock-free stack with hazard pointers Theoretical Aspects of Computing – ICTAC 2011 | 2012-01-06 | Paper |
| Proving linearizability with temporal logic Formal Aspects of Computing | 2011-05-27 | Paper |
| Temporal Logic Verification of Lock-Freedom Lecture Notes in Computer Science | 2010-07-26 | Paper |
Research outcomes over time
This page was built for person: Bogdan Tofan
