ASM Semantics for C++ 2.0. - Horatiu Jula (Abstract State Machines, 2005)

An Executable Specification of C++. - Horatiu Jula; Nicu G. Fruja (Abstract State Machines, 2005)

Alternative Implementation of the C# Iterator Blocks. - Horatiu Jula (J. Object Technol., 2006)

Deadlock Immunity: Enabling Systems to Defend Against Deadlocks. - Horatiu Jula; Daniel M. Tralamazza; Cristian Zamfir; George Candea (OSDI, 2008)

A Scalable, Sound, Eventually-Complete Algorithm for Deadlock Immunity. - Horatiu Jula; George Candea (RV, 2008)

iProve: A scalable technique for consumer-verifiable software guarantees. - Silviu Andrica; Horatiu Jula; George Candea (DSN, 2010)

Platform-wide deadlock immunity for mobile phones. - Horatiu Jula; Thomas Rensch; George Candea (DSN Workshops, 2011)

Communix: A framework for collaborative deadlock immunity. - Horatiu Jula; Pinar Tözün; George Candea (DSN, 2011)

Efficiency Optimizations for Implementations of Deadlock Immunity. - Horatiu Jula; Silviu Andrica; George Candea (RV, 2011)

Deadlock Immunity - Enabling General-Purpose Software to Defend Itself against Deadlocks. - Horatiu Jula (2011)