DOI,IST REx ID,Research Group,Title of publication
10.1145/2837614.2837650,1439,ToHe,PSYNC: A partially synchronous language for fault-tolerant distributed algorithms
10.4230/LIPIcs.SNAPL.2015.90,1498,ToHe,The need for language support for fault-tolerant distributed systems
10.1007/978-3-642-54013-4_10,1392,ToHe,A logic-based framework for verifying consensus algorithms
10.1007/978-3-642-39799-8_11,5747,ToHe,Automatic Linearizability Proofs of Concurrent Objects with Cooperating Updates
10.1007/978-3-642-38856-9_10,2298,ToHe,Local shape analysis for overlaid data structures
10.1007/978-3-642-33386-6_14,10903,ToHe,Accurate invariant checking for programs manipulating lists and arrays with infinite data
10.1007/978-3-642-27940-9_1,3253,ToHe,Abstract domains for automated reasoning about list manipulating programs with infinite data