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

Jakobs M-C, Platzner M, Wiersema T, Wehrheim H. Integrating Software and Hardware Verification. In: Albert E, Sekerinski E, eds. Proceedings of the 11th International Conference on Integrated Formal Methods (IFM). LNCS. ; 2014:307-322. doi:10.1007/978-3-319-10181-1_19
LibreCat: /record/408
DOI: 10.1007/978-3-319-10181-1_19

Besova G, Steenke D, Wehrheim H. Grammar-based model transformations. In: Proceedings 3rd Workshop on Model Driven Approaches in System Development (MDASD). ; 2014:1601-1610. doi:10.1016/j.cl.2015.05.003
LibreCat: /record/417
DOI: 10.1016/j.cl.2015.05.003

Fla\'73skamp K, Gr\'22osbrink S, Hartmann P, et al. Development of the RailCab Vehicle. In: Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag, Heidelberg, Germany; 2014:184-190.
LibreCat: /record/25773

Isenberg T, Steenken D, Wehrheim H. Bounded Model Checking of Graph Transformation Systems via SMT Solving. In: Beyer D, Boreale M, eds. 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. Lecture Notes in Computer Science. ; 2013:178--192. doi:10.1007/978-3-642-38592-6_13
LibreCat: /record/3176
DOI: 10.1007/978-3-642-38592-6_13

Travkin O, Mütze A, Wehrheim H. SPIN as a Linearizability Checker under Weak Memory Models. In: Bertacco V, Legay A, eds. Hardware and Software: Verification and Testing - 9th International Haifa Verification Conference, HVC 2013, Haifa, Israel, November 5-7, 2013, Proceedings. Lecture Notes in Computer Science. ; 2013:311--326. doi:10.1007/978-3-319-03077-7_21
LibreCat: /record/3177
DOI: 10.1007/978-3-319-03077-7_21

Dongol B, Travkin O, Derrick J, Wehrheim H. A High-Level Semantics for Program Execution under Total Store Order Memory. In: Liu Z, Woodcock J, Zhu H, eds. Theoretical Aspects of Computing - ICTAC 2013 - 10th International Colloquium, Shanghai, China, September 4-6, 2013. Proceedings. Lecture Notes in Computer Science. ; 2013:177--194. doi:10.1007/978-3-642-39718-9_11
LibreCat: /record/3178
DOI: 10.1007/978-3-642-39718-9_11

Ziegert S, Wehrheim H. Temporal Reconfiguration Plans for Self-Adaptive Systems. In: Kowalewski S, Rumpe B, eds. Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M\'22arz 2013 in Aachen. LNI. ; 2013:271--284.
LibreCat: /record/3179

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

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

Walther S, Wehrheim H. 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:24-32. doi:10.1109/ICECCS.2013.14
LibreCat: /record/517
DOI: 10.1109/ICECCS.2013.14

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

Ruhroth T, Wehrheim H. Model evolution and refinement. Sci Comput Program. 2012;(3):270--289. doi:10.1016/j.scico.2011.04.007
LibreCat: /record/3181
DOI: 10.1016/j.scico.2011.04.007

Schellhorn G, Wehrheim H, Derrick J. How to Prove Algorithms Linearisable. In: Madhusudan P, A. Seshia S, eds. Computer Aided Verification - 24th International Conference, CAV 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings. Lecture Notes in Computer Science. ; 2012:243--259. doi:10.1007/978-3-642-31424-7_21
LibreCat: /record/3182
DOI: 10.1007/978-3-642-31424-7_21

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

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

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

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

Derrick J, Schellhorn G, Wehrheim H. Mechanically verified proof obligations for linearizability. ACM Trans Program Lang Syst. 2011;(1):4:1--4:43. doi:10.1145/1889997.1890001
LibreCat: /record/3184
DOI: 10.1145/1889997.1890001

Ruhroth T, Wehrheim H, Ziegert S. 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:83--90. doi:10.1109/SEAA.2011.22
LibreCat: /record/3185
DOI: 10.1109/SEAA.2011.22