5 papers:
DATE-2015-CuiZSW #towards #using- Towards trustable storage using SSDs with proprietary FTL (XC, MZ, LS, KW), pp. 1213–1216.
CIKM-2013-OhKPZ #online- Trustable aggregation of online ratings (HKO, SWK, SP, MZ), pp. 1233–1236.
DAC-2010-Potkonjak #synthesis #tool support #using- Synthesis of trustable ICs using untrusted CAD tools (MP), pp. 633–634.
ICSE-2010-Gysin #code search #social- Improved social trustability of code search results (FSG), pp. 513–514.
CADE-2009-BoutonODF #named #performance- veriT: An Open, Trustable and Efficient SMT-Solver (TB, DCBdO, DD, PF), pp. 151–156.
