T. Isenberg, D. Steenken, and H. Wehrheim, “Bounded Model Checking of Graph Transformation Systems via SMT Solving,” in Formal Techniques for Distributed Systems - Joint IFIP WG 6.1 International Conference, FMOODS/FORTE 2013, Held as Part of the 8th International Federated Conference on Distributed Computing Techniques, DisCoTec 2013, Florence, Italy, June 3-5, 2013. Proceedings, 2013, pp. 178--192.
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

O. Travkin, A. Mütze, and H. Wehrheim, “SPIN as a Linearizability Checker under Weak Memory Models,” in Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings, 2013, pp. 311--326.
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

B. Dongol, O. Travkin, J. Derrick, and H. Wehrheim, “A High-Level Semantics for Program Execution under Total Store Order Memory,” in Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings, 2013, pp. 177--194.
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

S. Ziegert and H. Wehrheim, “Temporal Reconfiguration Plans for Self-Adaptive Systems,” in Software Engineering 2013: Fachtagung des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen, 2013, pp. 271--284.
LibreCat: /record/3179

D. Wonisch, A. Schremmer, and H. Wehrheim, “Zero Overhead Runtime Monitoring,” in Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
LibreCat: /record/469
DOI: 10.1007/978-3-642-40561-7_17

D. Wonisch, A. Schremmer, and H. Wehrheim, “Programs from Proofs – A PCC Alternative,” in Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat: /record/498
DOI: 10.1007/978-3-642-39799-8_65

S. Walther and H. Wehrheim, “Knowledge-Based Verification of Service Compositions - An SMT approach,” in Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

O. Travkin, H. Wehrheim, and G. Schellhorn, “Proving Linearizability of Multiset with Local Proof Obligations,” ECEASST, 2012.
LibreCat: /record/3180

T. Ruhroth and H. Wehrheim, “Model evolution and refinement,” Sci. Comput. Program., no. 3, pp. 270--289, 2012.
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

G. Schellhorn, H. Wehrheim, and J. Derrick, “How to Prove Algorithms Linearisable,” in Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

D. Wonisch and H. Wehrheim, “Predicate Analysis with Block-Abstraction Memoization,” in Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat: /record/590
DOI: 10.1007/978-3-642-34281-3_24

N. Timm, H. Wehrheim, and M. Czech, “Heuristic-Guided Abstraction Refinement for Concurrent Systems,” in Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat: /record/608
DOI: 10.1007/978-3-642-34281-3_25

G. Besova, S. Walther, H. Wehrheim, and S. Becker, “Weaving-based configuration and modular transformation of multi-layer systems,” in Proceedings of the 15th International Conference on Model Driven Engineering Languages &; Systems (MoDELS), 2012, pp. 776–792.
LibreCat: /record/565
DOI: 10.1007/978-3-642-33666-9_49

S. Schneider, H. Treharne, and H. Wehrheim, “Bounded Retransmission in Event-B\'70arallelCSP: a Case Study,” Electr. Notes Theor. Comput. Sci., pp. 69--80, 2011.
LibreCat: /record/3183
DOI: 10.1016/j.entcs.2011.11.019

J. Derrick, G. Schellhorn, and H. Wehrheim, “Mechanically verified proof obligations for linearizability,” ACM Trans. Program. Lang. Syst., no. 1, pp. 4:1--4:43, 2011.
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

T. Ruhroth, H. Wehrheim, and S. Ziegert, “ReL: A Generic Refactoring Language for Specification and Execution,” in 37th EUROMICRO Conference on Software Engineering and Advanced Applications, SEAA 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22

J. Derrick, G. Schellhorn, and H. Wehrheim, “Verifying Linearisability with Potential Linearisation Points,” in FM 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat: /record/3186
DOI: 10.1007/978-3-642-21437-0_25

D. Steenken, H. Wehrheim, and D. Wonisch, “Sound and Complete Abstract Graph Transformation,” in Formal Methods, Foundations and Applications - 14th Brazilian Symposium, SBMF 2011, S\'7eao Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat: /record/3187
DOI: 10.1007/978-3-642-25032-3_7

S. Schneider, H. Treharne, and H. Wehrheim, “A CSP Account of Event-B Refinement,” in Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat: /record/3188
DOI: 10.4204/EPTCS.55.9

M. Leuschel and H. Wehrheim, “Selected papers on Integrated Formal Methods (iFM09),” Science of Computer Programming, no. 10, pp. 835--836, 2011.
LibreCat: /record/647
DOI: 10.1016/j.scico.2011.01.009