Mobile Robot Path Planning Software and Hardware Implementations. - Lucia Vacariu; Flaviu Roman; Mihai Timar; Tudor Stanciu; Radu Banabic; Octavian Cret (EMCR, 2007)

An Extensible Technique for High-Precision Testing of Recovery Code. - Paul Dan Marinescu; Radu Banabic (USENIX ATC, 2010)

Automated vulnerability discovery in distributed systems. - Radu Banabic; George Candea; Rachid Guerraoui (DSN Workshops, 2011)

Fast black-box testing of system recovery code. - Radu Banabic; George Candea (EuroSys, 2012)

Finding trojan message vulnerabilities in distributed systems. - Radu Banabic; George Candea; Rachid Guerraoui (ASPLOS, 2014)

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software. - Radu Banabic (2015)