Heike Wehrheim 个人学术档案

引用次数

	总计	2019 年至今
引用	3926	1322
h 指数	35	19
i10 指数	104	42

320

160

240

199719981999200020012002200320042005200620072008200920102011201220132014201520162017201820192020202120222023202410 11 20 27 64 67 75 81 127 98 123 142 156 145 176 187 144 187 184 173 174 158 194 197 214 269 306 137

开放获取的出版物数量

查看全部

52 篇文章

23 篇文章

可查看的文章

无法查看的文章

根据资助方的强制性开放获取政策

合著作者

John DerrickUniversity of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Brijesh DongolUniversity of Surrey在 surrey.ac.uk 的电子邮件经过验证
Marie-Christine JakobsLMU München在 sosy.ifi.lmu.de 的电子邮件经过验证
Simon DohertyUniversity of Sheffield在 sheffield.ac.uk 的电子邮件经过验证
Cedric RichterUniversity of Oldenburg在 uol.de 的电子邮件经过验证
Felix PauckPaderborn University在 foellix.de 的电子邮件经过验证
Arend RensinkProfessor in Computer Science, University of Twente在 utwente.nl 的电子邮件经过验证
Oleg TravkinPhD Student, Universität Paderborn在 zitmail.uni-paderborn.de 的电子邮件经过验证
Jan HaltermannPhD Student, Computer Science Department, Carl von Ossietzky Universität Oldenburg在 uol.de 的电子邮件经过验证
Arnab SharmaUniversity of Oldenburg在 uni-oldenburg.de 的电子邮件经过验证
Christian SoltenbornResearch and Teaching Assistant在 uni-paderborn.de 的电子邮件经过验证
Ernst-Ruediger OlderogProfessor für Informatik, Universität Oldenburg在 informatik.uni-oldenburg.de 的电子邮件经过验证
Helen TreharneProfessor, Surrey Centre for Cyber Security在 surrey.ac.uk 的电子邮件经过验证
Steve SchneiderDirector of Computer Science Research Centre; Professor of Computing, University of Surrey在 surrey.ac.uk 的电子邮件经过验证
Wilhelm SchaeferProfessor für Informatik Universität Paderborn在 upb.de 的电子邮件经过验证
Gregor EngelsProfessor Computer Science, Paderborn University; Head SICP (Software Innovation Campus Paderborn)在 upb.de 的电子邮件经过验证
Michaela HuhnOstfalia, University of Applied Sciences, Computer Science Faculty在 ostfalia.de 的电子邮件经过验证
Dirk BeyerProfessor of Computer Science, LMU Munich, Germany在 lmu.de 的电子邮件经过验证
Eyke HüllermeierProfessor of Computer Science, Paderborn University在 upb.de 的电子邮件经过验证
Bernd FinkbeinerProfessor of Computer Science, CISPA Helmholtz Center for Information Security在 cispa.de 的电子邮件经过验证

关注

Heike Wehrheim

University of Oldenburg

在 uni-oldenburg.de 的电子邮件经过验证

Formal methods software verification weak memory models


标题按引用次数排序按年份排序按标题排序	引用次数引用次数	年份
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	148	2007
Model-checking CSP-OZ specifications with FDR C Fischer, H Wehrheim IFM’99: Proceedings of the 1st International Conference on Integrated Formal …, 1999	113	1999
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
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	103	2018
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	75	2011
How to prove algorithms linearisable G Schellhorn, H Wehrheim, J Derrick Computer Aided Verification: 24th International Conference, CAV 2012 …, 2012	65	2012
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
Slicing abstractions I Brückner, K Dräger, B Finkbeiner, H Wehrheim Fundamenta Informaticae 89 (4), 369-392, 2008	63	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	62	2007
Behavioural subtyping relations for object-oriented formalisms C Fischer, H Wehrheim International Conference on Algebraic Methodology and Software Technology …, 2000	62	2000
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	59	2019
The behavioural semantics of Event-B refinement S Schneider, H Treharne, H Wehrheim Formal aspects of computing 26, 251-280, 2014	59*	2014
Verifying linearisability with potential linearisation points J Derrick, G Schellhorn, H Wehrheim FM 2011: Formal Methods: 17th International Symposium on Formal Methods …, 2011	58	2011
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
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	53	1998
Just test what you cannot verify! M Czech, MC Jakobs, H Wehrheim International Conference on Fundamental Approaches to Software Engineering …, 2015	50	2015
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	50	2010
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	50	2004

系统目前无法执行此操作，请稍后再试。

文章 1–20

每年引用数

重复的引用

合并的引用

添加合著者合著作者

上传 PDF

关注此作者

引用次数

合著作者

引用