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.
189 Publications
2016 | Journal Article | LibreCat-ID: 175
On-The-Fly Construction of Provably Correct Service Compositions - Templates and Proofs
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
LibreCat
| Files available
| DOI
S. Walther, H. Wehrheim, Science of Computer Programming (2016) 2--23.
2015 | Journal Article | LibreCat-ID: 290
Grammar-based model transformations: Definition, execution, and quality properties
G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems & Structures (2015) 116–138.
LibreCat
| Files available
| DOI
G. Besova, D. Steenken, H. Wehrheim, Computer Languages, Systems & Structures (2015) 116–138.
2015 | Journal Article | LibreCat-ID: 3162
Temporal plans for software architecture reconfiguration
S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
LibreCat
| Files available
| DOI
S. Ziegert, H. Wehrheim, Computer Science - R & D (2015) 303--320.
2014 | Journal Article | LibreCat-ID: 3167
The behavioural semantics of Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
LibreCat
| DOI
S. Schneider, H. Treharne, H. Wehrheim, Formal Asp. Comput. (2014) 251--280.
2014 | Journal Article | LibreCat-ID: 3168
Two approaches for proving linearizability of multiset
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
LibreCat
| DOI
B. Tofan, O. Travkin, G. Schellhorn, H. Wehrheim, Sci. Comput. Program. (2014) 297--314.
2014 | Journal Article | LibreCat-ID: 3169
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
| DOI
G. Schellhorn, J. Derrick, H. Wehrheim, {ACM} Trans. Comput. Log. (2014) 31:1--31:37.
2014 | Journal Article | LibreCat-ID: 3174
Managing {LTL} properties in Event-B refinement
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
LibreCat
S. Schneider, H. Treharne, H. Wehrheim, D. M. Williams, CoRR (2014).
2014 | Journal Article | LibreCat-ID: 3175
Proof-Carrying Hardware via {IC3}
T. Isenberg, H. Wehrheim, CoRR (2014).
LibreCat
T. Isenberg, H. Wehrheim, CoRR (2014).
2012 | Journal Article | LibreCat-ID: 3180
Proving Linearizability of Multiset with Local Proof Obligations
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
LibreCat
O. Travkin, H. Wehrheim, G. Schellhorn, {ECEASST} (2012).
2012 | Journal Article | LibreCat-ID: 3181
Model evolution and refinement
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Sci. Comput. Program. (2012) 270--289.
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
S. Schneider, H. Treharne, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2011) 69--80.
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
J. Derrick, G. Schellhorn, H. Wehrheim, {ACM} Trans. Program. Lang. Syst. (2011) 4:1--4:43.
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
M. Leuschel, H. Wehrheim, Science of Computer Programming (2011) 835--836.
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
G. Besova, H. Wehrheim, A. Wagner, Electronic Notes in Theoretical Computer Science (2011) 3–16.
2010 | Journal Article | LibreCat-ID: 3198
Towards {A} Shape Analysis for Graph Transformation Systems
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
LibreCat
D. Steenken, H. Wehrheim, D. Wonisch, CoRR (2010).
2010 | Journal Article | LibreCat-ID: 3189
Model transformations across views
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Sci. Comput. Program. (2010) 192--210.
2009 | Journal Article | LibreCat-ID: 3199
Compositional {CSP} Traces Refinement Checking
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
LibreCat
| DOI
H. Wehrheim, D. Wonisch, Electr. Notes Theor. Comput. Sci. (2009) 135--151.
2009 | Journal Article | LibreCat-ID: 3200
Static Class Elements for Object-Z
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
LibreCat
| DOI
T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2009) 193--205.
2008 | Journal Article | LibreCat-ID: 3203
Refinement in the Presence of Unknowns
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
LibreCat
| DOI
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 255--264.
2008 | Journal Article | LibreCat-ID: 3204
Alloy as a Refactoring Checker?
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
LibreCat
| DOI
H..-}Christian Estler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2008) 331--357.
2008 | Journal Article | LibreCat-ID: 3205
Integrating a formal method into a software engineering process with {UML} and Java
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
LibreCat
| DOI
M. Möller, E.-R. Olderog, H. Rasch, H. Wehrheim, Formal Asp. Comput. (2008) 161--204.
2008 | Journal Article | LibreCat-ID: 3206
Slicing Abstractions
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
LibreCat
I. Brückner, K. Dräger, B. Finkbeiner, H. Wehrheim, Fundam. Inform. (2008) 369--392.
2007 | Journal Article | LibreCat-ID: 3211
On using data abstractions for model checking refinements
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
LibreCat
| DOI
J. Derrick, H. Wehrheim, Acta Inf. (2007) 41--71.
2007 | Journal Article | LibreCat-ID: 3212
Extending a Component Specification Language with Time
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
LibreCat
| DOI
B. Metzler, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 47--67.
2007 | Journal Article | LibreCat-ID: 3213
Modelchecking Correctness of Refactorings - Some Experiments
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
LibreCat
| DOI
H..-}Christian Estler, T. Ruhroth, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2007) 3--17.
2006 | Journal Article | LibreCat-ID: 3223
Optimizing Slicing of Formal Specifications by Deductive Verification
I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
LibreCat
I. Brückner, B. Metzler, H. Wehrheim, Nord. J. Comput. (2006) 22--45.
2005 | Journal Article | LibreCat-ID: 3227
Specification and (property) inheritance in {CSP-OZ}
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
LibreCat
| DOI
E.-R. Olderog, H. Wehrheim, Sci. Comput. Program. (2005) 227--257.
2005 | Journal Article | LibreCat-ID: 3228
Slicing techniques for verification re-use
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
LibreCat
| DOI
H. Wehrheim, Theor. Comput. Sci. (2005) 509--528.
2002 | Journal Article | LibreCat-ID: 3241
Relating State-based and Behaviour-oriented Subtyping
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
LibreCat
H. Wehrheim, Nord. J. Comput. (2002) 405--435.
2001 | Journal Article | LibreCat-ID: 3244
Process algebra with action dependencies
A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
LibreCat
| DOI
A. Rensink, H. Wehrheim, Acta Inf. (2001) 155--234.
2001 | Journal Article | LibreCat-ID: 3245
Jass - Java with Assertions
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
LibreCat
| DOI
D. Bartetzko, C. Fischer, M. Möller, H. Wehrheim, Electr. Notes Theor. Comput. Sci. (2001) 103--117.
2000 | Journal Article | LibreCat-ID: 3247
Failure-Divergence Semantics as a Formal Basis for an Object-Oriented Integrated Formal Method
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
LibreCat
C. Fischer, H. Wehrheim, Bulletin of the {EATCS} (2000) 92--101.
2000 | Journal Article | LibreCat-ID: 3248
Data Abstraction Techniques in the Validation of {CSP-OZ} Specifications
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
LibreCat
| DOI
H. Wehrheim, Formal Asp. Comput. (2000) 147--164.
1999 | Journal Article | LibreCat-ID: 3252
Partial order reductions for failures refinement
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
LibreCat
| DOI
H. Wehrheim, Electr. Notes Theor. Comput. Sci. (1999) 71--84.
1996 | Journal Article | LibreCat-ID: 3261
Modelling Causality via Action Dependencies in Branching Time Semantics
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
LibreCat
| DOI
U. Goltz, H. Wehrheim, Inf. Process. Lett. (1996) 179--184.
2020 | Preprint | LibreCat-ID: 17825
Cooperative Verification via Collective Invariant Generation
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
LibreCat
J.F. Haltermann, H. Wehrheim, ArXiv:2008.04551 (2020).
2018 | Preprint | LibreCat-ID: 2711
Do Android Taint Analysis Tools Keep their Promises?
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
LibreCat
| Files available
F. Pauck, E. Bodden, H. Wehrheim, ArXiv:1804.02903 (2018).
2017 | Report | LibreCat-ID: 72
Predicting Rankings of Software Verification Competitions
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
LibreCat
| Files available
M. Czech, E. Hüllermeier, M.-C. Jakobs, H. Wehrheim, Predicting Rankings of Software Verification Competitions, 2017.
2010 | Report | LibreCat-ID: 8220
Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.
LibreCat
M. Hülsbusch, B. König, A. Rensink, M. Semenyak, C. Soltenborn, H. Wehrheim, Full Semantics Preservation in Model Transformation - A Comparison of Proof Techniques, Centre for Telematics and Information Technology of the University of Twente, Enschede, The Netherlands, 2010.