Title | Citations | PageRank | Year |
---|---|---|---|
Decompiling Boolean Expressions from Java™ Bytecode. | 0 | 0.34 | 2016 |
Efficient Verification of Concurrent Programs Over TSO Memory Model. | 0 | 0.34 | 2016 |
From Traces To Proofs: Proving Concurrent Program Safe | 0 | 0.34 | 2015 |
On decidability of prebisimulation for timed automata | 4 | 0.47 | 2012 |