Heike Wehrheim

Citeret af

	Alle	Siden 2020
Henvisninger	4157	1341
h-index	37	18
i10-indeks	108	42

320

160

240

1997199819992000200120022003200420052006200720082009201020112012201320142015201620172018201920202021202220232024202511 11 20 27 63 75 69 80 125 95 120 148 157 146 181 192 139 185 187 173 175 164 194 199 216 268 300 306 49

Offentlig adgang

Se alle

56 artikler

24 artikler

tilgængelige

ikke tilgængelige

Baseret på krav i forbindelse med finansiering

Medforfattere

John DerrickUniversity of SheffieldVerificeret mail på sheffield.ac.uk
Brijesh DongolUniversity of SurreyVerificeret mail på surrey.ac.uk
Marie-Christine JakobsLMU MünchenVerificeret mail på sosy.ifi.lmu.de
Cedric RichterUniversity of OldenburgVerificeret mail på uol.de
Simon DohertyUniversity of SheffieldVerificeret mail på sheffield.ac.uk
Arend RensinkProfessor in Computer Science, University of TwenteVerificeret mail på utwente.nl
Felix PauckPaderborn UniversityVerificeret mail på foellix.de
Oleg TravkinPhD Student, Universität PaderbornVerificeret mail på zitmail.uni-paderborn.de
Jan HaltermannPhD Student, Computer Science Department, Carl von Ossietzky Universität OldenburgVerificeret mail på uol.de
Arnab SharmaUniversity of PaderbornVerificeret mail på uni-paderborn.de
Christian SoltenbornResearch and Teaching AssistantVerificeret mail på uni-paderborn.de
Helen TreharneProfessor, Surrey Centre for Cyber SecurityVerificeret mail på surrey.ac.uk
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of SurreyVerificeret mail på surrey.ac.uk
Ernst-Ruediger OlderogProfessor für Informatik, Universität OldenburgVerificeret mail på informatik.uni-oldenburg.de
Wilhelm SchaeferProfessor für Informatik Universität PaderbornVerificeret mail på upb.de
Michaela HuhnOstfalia, University of Applied Sciences, Computer Science FacultyVerificeret mail på ostfalia.de
Gregor EngelsProfessor Computer Science, Paderborn University; Head SICP (Software Innovation Campus Paderborn)Verificeret mail på upb.de
Dirk BeyerProfessor of Computer Science, LMU Munich, GermanyVerificeret mail på lmu.de
Eyke HüllermeierProfessor of Computer Science, Paderborn UniversityVerificeret mail på upb.de
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information SecurityVerificeret mail på cispa.de

Følg

Heike Wehrheim

University of Oldenburg

Verificeret mail på uni-oldenburg.de

Formal methods software verification weak memory models


Titel Sortér efter henvisninger Sortér efter årstal Sortér efter titel	Citeret af Citeret af	År
Jass—Java with assertions D Bartetzko, C Fischer, M Möller, H Wehrheim Electronic Notes in Theoretical Computer Science 55 (2), 103-117, 2001	332	2001
The challenges of building advanced mechatronic systems W Schafer, H Wehrheim Future of Software Engineering (FOSE'07), 72-84, 2007	151	2007
Model-checking CSP-OZ specifications with FDR C Fischer, H Wehrheim IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999	114	1999
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	113	2018
Checking consistency in UML diagrams: Classes and state machines H Rasch, H Wehrheim International Conference on Formal Methods for Open Object-Based Distributed …, 2003	111*	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	77	2011
PeSCo: Predicting Sequential Combinations of Verifiers: (Competition Contribution) C Richter, H Wehrheim International Conference on Tools and Algorithms for the Construction and …, 2019	68	2019
How to prove algorithms linearisable G Schellhorn, H Wehrheim, J Derrick Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	66	2012
Slicing abstractions I Brückner, K Dräger, B Finkbeiner, H Wehrheim Fundamenta Informaticae 89 (4), 369-392, 2008	64	2008
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	64	2007
A CSP view on UML-RT structure diagrams C Fischer, ER Olderog, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2001	64	2001
The behavioural semantics of Event-B refinement S Schneider, H Treharne, H Wehrheim Formal aspects of computing 26, 251-280, 2014	63*	2014
Behavioural subtyping relations for object-oriented formalisms C Fischer, H Wehrheim International Conference on Algebraic Methodology and Software Technology …, 2000	61	2000
Verifying linearisability with potential linearisation points J Derrick, G Schellhorn, H Wehrheim FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011	59	2011
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	57*	2010
Verifying C11 programs operationally S Doherty, B Dongol, H Wehrheim, J Derrick Proceedings of the 24th Symposium on Principles and Practice of Parallel …, 2019	54	2019
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	54	1998
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	53	2014
Reducer-based construction of conditional verifiers D Beyer, MC Jakobs, T Lemberger, H Wehrheim Proceedings of the 40th International Conference on Software Engineering …, 2018	51	2018
Just test what you cannot verify! M Czech, MC Jakobs, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2015	51	2015

Systemet kan ikke foretage handlingen nu. Prøv igen senere.

Artikler 1–20

Henvisninger pr. år

Dublerede henvisninger

Flettede henvisninger

Tilføj medforfattereMedforfattere

Følg

Citeret af

Medforfattere