Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

210 Publications


2013 | Conference Paper | LibreCat-ID: 3179
Temporal Reconfiguration Plans for Self-Adaptive Systems
S. Ziegert, H. Wehrheim, in: S. Kowalewski, B. Rumpe (Eds.), Software Engineering 2013: Fachtagung Des GI-Fachbereichs Softwaretechnik, 26. Februar - 2. M{\"{a}}rz 2013 in Aachen, 2013, pp. 271--284.
LibreCat
 

2013 | Conference Paper | LibreCat-ID: 469
Zero Overhead Runtime Monitoring
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 11th International Conference on Software Engineering and Formal Methods (SEFM), 2013, pp. 244–258.
LibreCat | Files available | DOI
 

2013 | Dissertation | LibreCat-ID: 478
Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems
N. Timm, Three-Valued Abstraction and Heuristic-Guided Refinement for Verifying Concurrent Systems, Universität Paderborn, 2013.
LibreCat | Files available
 

2013 | Conference Paper | LibreCat-ID: 498
Programs from Proofs – A PCC Alternative
D. Wonisch, A. Schremmer, H. Wehrheim, in: Proceedings of the 25th International Conference on Computer Aided Verification (CAV), 2013, pp. 912–927.
LibreCat | Files available | DOI
 

2013 | Conference Paper | LibreCat-ID: 517
Knowledge-Based Verification of Service Compositions - An SMT approach
S. Walther, H. Wehrheim, in: Proceedings of the 18th IEEE International Conference on Engineering of Complex Computer Systems (ICECCS), 2013, pp. 24–32.
LibreCat | Files available | DOI
 

2012 | Journal Article | LibreCat-ID: 3180
Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
LibreCat
 

2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 3182
How to Prove Algorithms Linearisable
G. Schellhorn, H. Wehrheim, J. Derrick, in: P. Madhusudan, S. A. Seshia (Eds.), Computer Aided Verification - 24th International Conference, {CAV} 2012, Berkeley, CA, USA, July 7-13, 2012 Proceedings, 2012, pp. 243--259.
LibreCat | DOI
 

2012 | Conference Paper | LibreCat-ID: 590
Predicate Analysis with Block-Abstraction Memoization
D. Wonisch, H. Wehrheim, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 332–347.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 608
Heuristic-Guided Abstraction Refinement for Concurrent Systems
N. Timm, H. Wehrheim, M. Czech, in: Proceedings of the 14th International Conference on Formal Engineering Methods (ICFEM), 2012, pp. 348–363.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 627
Block Abstraction Memoization for CPAchecker
D. Wonisch, in: Proceedings of the 18th International Conference on Tools and Algorithms for the Construction and Analysis of Systems (TACAS), 2012, pp. 531–533.
LibreCat | Files available | DOI
 

2012 | Conference Paper | LibreCat-ID: 565
Weaving-based configuration and modular transformation of multi-layer systems
G. Besova, S. Walther, H. Wehrheim, S. Becker, in: Proceedings of the 15th International Conference on Model Driven Engineering Languages & Systems (MoDELS), 2012, pp. 776–792.
LibreCat | Files available | DOI
 

2011 | Journal Article | LibreCat-ID: 3183
Bounded Retransmission in Event-B{\(\parallel\)}CSP: a Case Study
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 3184
Mechanically verified proof obligations for linearizability
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3185
ReL: {A} Generic Refactoring Language for Specification and Execution
T. Ruhroth, H. Wehrheim, S. Ziegert, in: 37th {EUROMICRO} Conference on Software Engineering and Advanced Applications, {SEAA} 2011, Oulu, Finland, August 30 - September 2, 2011, 2011, pp. 83--90.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3186
Verifying Linearisability with Potential Linearisation Points
J. Derrick, G. Schellhorn, H. Wehrheim, in: M. J. Butler, W. Schulte (Eds.), {FM} 2011: Formal Methods - 17th International Symposium on Formal Methods, Limerick, Ireland, June 20-24, 2011. Proceedings, 2011, pp. 323--337.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3187
Sound and Complete Abstract Graph Transformation
D. Steenken, H. Wehrheim, D. Wonisch, in: A. da Silva Sim{\~{a}}o, C. Morgan (Eds.), Formal Methods, Foundations and Applications - 14th Brazilian Symposium, {SBMF} 2011, S{\~{a}}o Paulo, Brazil, September 26-30, 2011, Revised Selected Papers, 2011, pp. 92--107.
LibreCat | DOI
 

2011 | Conference Paper | LibreCat-ID: 3188
A {CSP} Account of Event-B Refinement
S. Schneider, H. Treharne, H. Wehrheim, in: J. Derrick, E. A. Boiten, S. Reeves (Eds.), Proceedings 15th International Refinement Workshop, Refine@FM 2011, Limerick, Ireland, 20th June 2011., 2011, pp. 139--154.
LibreCat | DOI
 

2011 | Journal Article | LibreCat-ID: 647
Selected papers on Integrated Formal Methods (iFM09)
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
LibreCat | Files available | DOI
 

2011 | Journal Article | LibreCat-ID: 649
Reputation-based Reliability Prediction of Service Compositions
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
LibreCat | Files available | DOI
 

Filters and Search Terms

department=77

Search

Filter Publications

Display / Sort

Export / Embed