Follow
Heike Wehrheim
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
3352001
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1492007
Model-checking CSP-OZ specifications with FDR
C Fischer, H Wehrheim
IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999
1151999
Checking consistency in UML diagrams: Classes and state machines
H Rasch, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
110*2003
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
1022018
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
752011
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
662001
How to prove algorithms linearisable
G Schellhorn, H Wehrheim, J Derrick
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
622012
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
622008
Analysis of UML activities using dynamic meta modeling
G Engels, C Soltenborn, H Wehrheim
Formal Methods for Open Object-Based Distributed Systems: 9th IFIP WG 6.1 …, 2007
622007
Behavioural subtyping relations for object-oriented formalisms
C Fischer, H Wehrheim
International Conference on Algebraic Methodology and Software Technology …, 2000
612000
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26, 251-280, 2014
58*2014
Verifying linearisability with potential linearisation points
J Derrick, G Schellhorn, H Wehrheim
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
572011
PeSCo: Predicting Sequential Combinations of Verifiers: (Competition Contribution)
C Richter, H Wehrheim
Tools and Algorithms for the Construction and Analysis of Systems: 25 Years …, 2019
542019
Showing full semantics preservation in model transformation-a comparison of techniques
M Hülsbusch, B König, A Rensink, M Semenyak, C Soltenborn, ...
Integrated Formal Methods: 8th International Conference, IFM 2010, Nancy …, 2010
53*2010
The dynamic models of UML: Towards a semantics and its application in the development process
T Gehrke, U Goltz, H Wehrheim
Inst. für Informatik, 1998
531998
A sound and complete proof technique for linearizability of concurrent data structures
G Schellhorn, J Derrick, H Wehrheim
ACM Transactions on Computational Logic (TOCL) 15 (4), 1-37, 2014
502014
Linking CSP-OZ with UML and Java: A case study
M Möller, ER Olderog, H Rasch, H Wehrheim
Integrated Formal Methods: 4th International Conference, IFM 2004 …, 2004
502004
Just test what you cannot verify!
M Czech, MC Jakobs, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2015
482015
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
472010
The system can't perform the operation now. Try again later.
Articles 1–20