Heike Wehrheim
Heike Wehrheim
Verified email at upb.de
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
3112001
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1282007
Model-checking CSP-OZ specifications with FDR
C Fischer, H Wehrheim
IFM’99, 315-334, 1999
1071999
Checking consistency in UML diagrams: Classes and state machines
H Rasch, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
99*2003
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
Road vehicle automation
G Meyer, S Beiker
Springer International Publishing, 2019
612019
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
612001
Behavioural subtyping relations for object-oriented formalisms
C Fischer, H Wehrheim
International Conference on Algebraic Methodology and Software Technology …, 2000
592000
Verifying linearisability with potential linearisation points
J Derrick, G Schellhorn, H Wehrheim
International Symposium on Formal Methods, 323-337, 2011
572011
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
562007
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
542008
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
522004
How to prove algorithms linearisable
G Schellhorn, H Wehrheim, J Derrick
International Conference on Computer Aided Verification, 243-259, 2012
512012
The dynamic models of UML: Towards a semantics and its application in the development process
T Gehrke, U Goltz, H Wehrheim
491998
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26 (2), 251-280, 2014
44*2014
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
43*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
432008
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
422010
A CSP approach to control in Event-B
S Schneider, H Treharne, H Wehrheim
International Conference on Integrated Formal Methods, 260-274, 2010
412010
Weak sequential composition in process algebras
A Rensink, H Wehrheim
International Conference on Concurrency Theory, 226-241, 1994
411994
The system can't perform the operation now. Try again later.
Articles 1–20