![]() | ![]() |
2008 | ||
---|---|---|
5 | EE | Horatiu Jula, Daniel M. Tralamazza, Cristian Zamfir, George Candea: Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. OSDI 2008: 295-308 |
4 | EE | Horatiu Jula, George Candea: A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. RV 2008: 119-136 |
2006 | ||
3 | EE | Horatiu Jula: Alternative Implementation of the C# Iterator Blocks. Journal of Object Technology 5(7): (2006) |
2005 | ||
2 | EE | Horatiu Jula: ASM Semantics for C++ 2.0. Abstract State Machines 2005: 263-274 |
1 | EE | Horatiu Jula, Nicu G. Fruja: An Executable Specification of C++. Abstract State Machines 2005: 275-288 |
1 | George Candea | [4] [5] |
2 | Nicu G. Fruja | [1] |
3 | Daniel M. Tralamazza | [5] |
4 | Cristian Zamfir | [5] |