TLM.open: a SystemC/TLM Frontend for the CADP Verification Toolbox Claude Helmstetter 02:1-02:18 2014-04-25
Quantitative Analysis of Consistency in NoSQL Key-Value Stores Si Liu, Jatin Ganhotra, Muntasir Raihan Rahman, Son Nguyen, Indranil Gupta, José Meseguer 03:1-03:26 2017-02-28