Heike Wehrheim
Heike Wehrheim
University of Oldenburg
No verified email
Title
Cited by
Cited by
Year
Jass—Java with assertions
D Bartetzko, C Fischer, M Möller, H Wehrheim
Electronic Notes in Theoretical Computer Science 55 (2), 103-117, 2001
3232001
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1422007
Model-checking CSP-OZ specifications with FDR
C Fischer, H Wehrheim
IFM’99, 315-334, 1999
1141999
Checking consistency in UML diagrams: Classes and state machines
H Rasch, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
102*2003
Road vehicle automation 5
G Meyer, S Beiker
Springer International Publishing, 2019
832019
Mechanically verified proof obligations for linearizability
J Derrick, G Schellhorn, H Wehrheim
ACM Transactions on Programming Languages and Systems (TOPLAS) 33 (1), 1-43, 2011
732011
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
632001
Behavioural subtyping relations for object-oriented formalisms
C Fischer, H Wehrheim
International Conference on Algebraic Methodology and Software Technology …, 2000
602000
Analysis of UML activities using dynamic meta modeling
G Engels, C Soltenborn, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2007
592007
Verifying linearisability with potential linearisation points
J Derrick, G Schellhorn, H Wehrheim
International Symposium on Formal Methods, 323-337, 2011
562011
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
562008
Linking CSP-OZ with UML and Java: A case study
M Möller, ER Olderog, H Rasch, H Wehrheim
International Conference on Integrated Formal Methods, 267-286, 2004
542004
The dynamic models of UML: Towards a semantics and its application in the development process
T Gehrke, U Goltz, H Wehrheim
531998
How to prove algorithms linearisable
G Schellhorn, H Wehrheim, J Derrick
International Conference on Computer Aided Verification, 243-259, 2012
502012
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26 (2), 251-280, 2014
49*2014
Do android taint analysis tools keep their promises?
F Pauck, E Bodden, H Wehrheim
Proceedings of the 2018 26th ACM Joint Meeting on European Software …, 2018
462018
Showing full semantics preservation in model transformation-a comparison of techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
International Conference on Integrated Formal Methods, 183-198, 2010
45*2010
Integrating a formal method into a software engineering process with UML and Java
M Möller, ER Olderog, H Rasch, H Wehrheim
Formal Aspects of Computing 20 (2), 161-204, 2008
452008
A CSP approach to control in Event-B
S Schneider, H Treharne, H Wehrheim
International Conference on Integrated Formal Methods, 260-274, 2010
442010
SLAB: A certifying model checker for infinite-state concurrent systems
K Dräger, A Kupriyanov, B Finkbeiner, H Wehrheim
International Conference on Tools and Algorithms for the Construction and …, 2010
432010
The system can't perform the operation now. Try again later.
Articles 1–20