Seguir
Heike Wehrheim
Heike Wehrheim
Dirección de correo verificada de uni-oldenburg.de
Título
Citado por
Citado por
Año
Jass—Java with assertions
D Bartetzko, C Fischer, M Möller, H Wehrheim
Electronic Notes in Theoretical Computer Science 55 (2), 103-117, 2001
3332001
The challenges of building advanced mechatronic systems
W Schafer, H Wehrheim
Future of Software Engineering (FOSE'07), 72-84, 2007
1502007
Model-checking CSP-OZ specifications with FDR
C Fischer, H Wehrheim
IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 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
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
1012018
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
How to prove algorithms linearisable
G Schellhorn, H Wehrheim, J Derrick
Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012
652012
A CSP view on UML-RT structure diagrams
C Fischer, ER Olderog, H Wehrheim
International Conference on Fundamental Approaches to Software Engineering …, 2001
652001
Slicing abstractions
I Brückner, K Dräger, B Finkbeiner, H Wehrheim
Fundamenta Informaticae 89 (4), 369-392, 2008
632008
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
632007
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
582011
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
562019
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
541998
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
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
522014
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
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
Verifying C11 programs operationally
S Doherty, B Dongol, H Wehrheim, J Derrick
Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019
482019
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20