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 | 52 | 2012 |
An Extensible Technique for {High-Precision} Testing of Recovery Code PD Marinescu, R Banabic 2010 USENIX Annual Technical Conference (USENIX ATC 10), 2010 | 43 | 2010 |
Finding trojan message vulnerabilities in distributed systems R Banabic, G Candea, R Guerraoui ACM SIGARCH Computer Architecture News 42 (1), 113-126, 2014 | 19 | 2014 |
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 | 18 | 2007 |
Automated vulnerability discovery in distributed systems R Banabic, G Candea, R Guerraoui 2011 IEEE/IFIP 41st International Conference on Dependable Systems and …, 2011 | 10 | 2011 |
Techniques for identifying elusive corner-case bugs in systems software R Banabic EPFL, 2015 | 9 | 2015 |
Mobile Robot Path Planning Software and Hardware Implementations. L Vacariu, F Roman, M Timar, T Stanciu, R Banabic, O Cret EMCR, 2007 | 5 | 2007 |
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 | 2 | 2007 |
Group ID U11275 Affiliated authors Andrica, Silviu R Banabic, AEW Bique, P Borsò-Tan, CM Brzak, S Bucur, G Candea, ... | | |
DCL Y Allouah, K Antoniadis, OM Balmau, R Banabic, PF Blanchard, R Boichat, ... | | |