The behavioural semantics of Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

Two approaches for proving linearizability of multiset
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures
G. Schellhorn, J. Derrick, H. Wehrheim, ACM Trans. Comput. Log. (2014) 31:1--31:37.
LibreCat: /record/3169
DOI: 10.1145/2629496

Quiescent Consistency: Defining and Verifying Relaxed Linearizability
J. Derrick, B. Dongol, G. Schellhorn, B. Tofan, O. Travkin, H. Wehrheim, in: C. B. Jones, P. Pihlajasaari, J. Sun (Eds.), FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, 2014, pp. 200--214.
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

Handling TSO in Mechanized Linearizability Proofs
O. Travkin, H. Wehrheim, in: E. Yahav (Ed.), Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, 2014, pp. 132--147.
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

Timed Automata Verification via I with Zones
T. Isenberg, H. Wehrheim, in: S. Merz, J. Pang (Eds.), Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, 2014, pp. 203--218.
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

Managing LTL Properties in Event-B Refinement
S. A. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, in: E. Albert, E. Sekerinski (Eds.), Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, 2014, pp. 221--237.
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

Managing LTL properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat: /record/3174

Proof-Carrying Hardware via I
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat: /record/3175

Certification for Configurable Program Analysis
M.-C. Jakobs, H. Wehrheim, in: Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), 2014, pp. 30–39.
LibreCat: /record/450
DOI: 10.1145/2632362.2632372