Radu Banabic

Finding trojan message vulnerabilities in distributed systems

Rachid Guerraoui, George Candea, Radu Banabic, 2014, ASPLOS.

Automated vulnerability discovery in distributed systems

Rachid Guerraoui, George Candea, Radu Banabic, 2011, 2011 IEEE/IFIP 41st International Conference on Dependable Systems and Networks Workshops (DSN-W).

Mobile robot path-planning implementation in software and hardware

Lucia Vacariu, Octavian Cret, Tudor Stanciu, 2007 .

Fast black-box testing of system recovery code

George Candea, Radu Banabic, 2012, EuroSys '12.

Techniques for Identifying Elusive Corner-Case Bugs in Systems Software

Radu Banabic, Radu Banabic, 2015 .

An Extensible Technique for High-Precision Testing of Recovery Code

Radu Banabic, Paul Dan Marinescu, P. Marinescu, 2010, USENIX Annual Technical Conference.

Mobile Robot Path Planning Software and Hardware Implementations

Lucia Vacariu, Octavian Cret, Tudor Stanciu, 2007, EMCR.