@articleSchneider_Treharne_Wehrheim_2014, title=The behavioural semantics of Event-B refinement, DOI=10.1007/s00165-012-0265-0, number=2, journal=Formal Asp. Comput., author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike, year=2014, pages=251--280 
LibreCat: /record/3167
DOI: 10.1007/s00165-012-0265-0

@articleTofan_Travkin_Schellhorn_Wehrheim_2014, title=Two approaches for proving linearizability of multiset, DOI=10.1016/j.scico.2014.04.001, journal=Sci. Comput. Program., author=Tofan, Bogdan and Travkin, Oleg and Schellhorn, Gerhard and Wehrheim, Heike, year=2014, pages=297--314 
LibreCat: /record/3168
DOI: 10.1016/j.scico.2014.04.001

@articleSchellhorn_Derrick_Wehrheim_2014, title=A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures, DOI=10.1145/2629496, number=4, journal=ACM Trans. Comput. Log., author=Schellhorn, Gerhard and Derrick, John and Wehrheim, Heike, year=2014, pages=31:1--31:37 
LibreCat: /record/3169
DOI: 10.1145/2629496

@inproceedingsDerrick_Dongol_Schellhorn_Tofan_Travkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Quiescent Consistency: Defining and Verifying Relaxed Linearizability, DOI=10.1007/978-3-319-06410-9_15, booktitle=FM 2014: Formal Methods - 19th International Symposium, Singapore, May 12-16, 2014. Proceedings, author=Derrick, John and Dongol, Brijesh and Schellhorn, Gerhard and Tofan, Bogdan and Travkin, Oleg and Wehrheim, Heike, editor=B. Jones, Cliff and Pihlajasaari, Pekka and Sun, JunEditors, year=2014, pages=200--214, collection=Lecture Notes in Computer Science 
LibreCat: /record/3170
DOI: 10.1007/978-3-319-06410-9_15

@inproceedingsTravkin_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Handling TSO in Mechanized Linearizability Proofs, DOI=10.1007/978-3-319-13338-6_11, booktitle=Hardware and Software: Verification and Testing - 10th International Haifa Verification Conference, HVC 2014, Haifa, Israel, November 18-20, 2014. Proceedings, author=Travkin, Oleg and Wehrheim, Heike, editor=Yahav, EranEditor, year=2014, pages=132--147, collection=Lecture Notes in Computer Science 
LibreCat: /record/3171
DOI: 10.1007/978-3-319-13338-6_11

@inproceedingsIsenberg_Wehrheim_2014, series=Lecture Notes in Computer Science, title=Timed Automata Verification via I with Zones, DOI=10.1007/978-3-319-11737-9_14, booktitle=Formal Methods and Software Engineering - 16th International Conference on Formal Engineering Methods, ICFEM 2014, Luxembourg, Luxembourg, November 3-5, 2014. Proceedings, author=Isenberg, Tobias and Wehrheim, Heike, editor=Merz, Stephan and Pang, JunEditors, year=2014, pages=203--218, collection=Lecture Notes in Computer Science 
LibreCat: /record/3172
DOI: 10.1007/978-3-319-11737-9_14

@inproceedingsA. Schneider_Treharne_Wehrheim_M. Williams_2014, series=Lecture Notes in Computer Science, title=Managing LTL Properties in Event-B Refinement, DOI=10.1007/978-3-319-10181-1_14, booktitle=Integrated Formal Methods - 11th International Conference, IFM 2014, Bertinoro, Italy, September 9-11, 2014, Proceedings, author=A. Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David, editor=Albert, Elvira and Sekerinski, EmilEditors, year=2014, pages=221--237, collection=Lecture Notes in Computer Science 
LibreCat: /record/3173
DOI: 10.1007/978-3-319-10181-1_14

@articleSchneider_Treharne_Wehrheim_M. Williams_2014, title=Managing LTL properties in Event-B refinement, journal=CoRR, author=Schneider, Steve and Treharne, Helen and Wehrheim, Heike and M. Williams, David, year=2014 
LibreCat: /record/3174

@articleIsenberg_Wehrheim_2014, title=Proof-Carrying Hardware via I, journal=CoRR, author=Isenberg, Tobias and Wehrheim, Heike, year=2014 
LibreCat: /record/3175

@inproceedingsJakobs_Wehrheim_2014, series=SPIN 2014, title=Certification for Configurable Program Analysis, DOI=10.1145/2632362.2632372, booktitle=Proceedings of the 21st International Symposium on Model Checking of Software (SPIN), author=Jakobs, Marie-Christine and Wehrheim, Heike, year=2014, pages=30–39, collection=SPIN 2014 
LibreCat: /record/450
DOI: 10.1145/2632362.2632372