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
3322001
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1522007
Model-checking CSP-OZ specifications with FDR
C Fischer, H Wehrheim
IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999
1131999
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
1112018
Checking consistency in UML diagrams: Classes and state machines
H Rasch, H Wehrheim
International Conference on Formal Methods for Open Object-Based Distributed …, 2003
109*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
752011
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
662019
How to prove algorithms linearisable
G Schellhorn, H Wehrheim, J Derrick
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
662012
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
642001
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
632008
The behavioural semantics of Event-B refinement
S Schneider, H Treharne, H Wehrheim
Formal aspects of computing 26, 251-280, 2014
62*2014
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
622000
Verifying linearisability with potential linearisation points
J Derrick, G Schellhorn, H Wehrheim
FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011
582011
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
54*2010
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
532014
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
Verifying C11 programs operationally
S Doherty, B Dongol, H Wehrheim, J Derrick
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
522019
Just test what you cannot verify!
M Czech, MC Jakobs, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2015
512015
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
502010
The system can't perform the operation now. Try again later.
Articles 1–20