Radu Banabic
Radu Banabic
Cyberhaven
Verified email at alumni.epfl.ch - Homepage
Title
Cited by
Cited by
Year
Fast black-box testing of system recovery code
R Banabic, G Candea
Proceedings of the 7th ACM european conference on Computer Systems, 281-294, 2012
402012
An extensible technique for high-precision testing of recovery code
P Marinescu, R Banabic, G Candea
Proceedings of the USENIX annual technical conference, 2010
392010
Mobile robot path-planning implementation in software and hardware
L Vacariu, F Roman, M Timar, T Stanciu, R Banabic, O Cret
Proceedings of the 6th WSEAS International Conference on Signal Processing …, 2007
172007
Finding trojan message vulnerabilities in distributed systems
R Banabic, G Candea, R Guerraoui
ACM SIGARCH Computer Architecture News 42 (1), 113-126, 2014
162014
Automated vulnerability discovery in distributed systems
R Banabic, G Candea, R Guerraoui
2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011
82011
Techniques for identifying elusive corner-case bugs in systems software
R Banabic
EPFL, 2015
42015
Mobile Robot Path Planning Software and Hardware Implementations.
L Vacariu, F Roman, M Timar, T Stanciu, R Banabic, O Cret
EMCR, 2007
42007
Software and Hardware Implementation of Mobile Robot Path-planning
L Vacariu, F Roman, M Timar, T Stanciu, R Banabic, O Cret
WSEAS Transactions on Systems and Control 2 (2), 141, 2007
22007
The system can't perform the operation now. Try again later.
Articles 1–8