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