Heike Wehrheim - Concepedia

Author

Heike Wehrheim

Paderborn University ORCID

Also Known As

Devismes, Stéphane, HEIKE WEHRHEIM, Heike Wehrheim, Pandu Rangan, C, Wehrheim, Heike

259

Publications

2.5K

Citations

H-Index

Concepts

All Affiliations

Paderborn University Carl von Ossietzky Universität Oldenburg University of Sheffield University of Surrey University of Augsburg

About

Heike Wehrheim is an author at Paderborn University specializing in engineering, computer science, and formal methods.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	15	23	797
2	Computer Science	15	20	753
3	Computer Engineering	6	6	211
4	Business	1	1	12
5	Social Sciences	1	1	101

Heike Wehrheim

Publications

951

Citations

H-Index

Page 1

	Year	Citations
Jass — Java with Assertions1 1This work was partially funded by the German Research Council (DFG) under grant OL 98/3-1. Detlef Bartetzko, Clemens Fischer, Michael Möller, Electronic Notes in Theoretical Computer Science Software MaintenanceEngineeringVerificationSoftware EngineeringContract Extension	2001	186
The Challenges of Building Advanced Mechatronic Systems Wilhelm Schäfer, Heike Wehrheim EngineeringSoftware EngineeringAdvanced DesignSoftware AnalysisMechatronic System	2007	101
Mechanically verified proof obligations for linearizability John Derrick, Gerhard Schellhorn, Heike Wehrheim ACM Transactions on Programming Languages and Systems EngineeringVerificationConcurrent ImplementationsAutomated ProofConcurrent System	2011	55
Algorithm selection for software validation based on graph kernels Cedric Richter, Eyke Hüllermeier, Marie-Christine Jakobs, Automated Software Engineering Software MaintenanceEngineeringMachine LearningMachine Learning ToolVerification	2020	46
A Sound and Complete Proof Technique for Linearizability of Concurrent Data Structures Gerhard Schellhorn, John Derrick, Heike Wehrheim ACM Transactions on Computational Logic Linearizability ProofsEngineeringVerificationConcurrent SystemData Structure	2014	44
Reducer-based construction of conditional verifiers Dirk Beyer, Marie-Christine Jakobs, Thomas R. Lemberger, Mathematical ProgrammingReduced Order ModelingEngineeringVerificationComputer-aided Verification	2018	40
Verifying C11 programs operationally Simon Doherty, Brijesh Dongol, Heike Wehrheim, Software MaintenanceC11 ProgramsC11 Memory ModelEngineeringProgram Checking	2019	34
Testing Machine Learning Algorithms for Balanced Data Usage Arnab Sharma, Heike Wehrheim Artificial IntelligenceEngineeringMachine LearningMachine Learning AlgorithmsMl Algorithm	2019	31
The behavioural semantics of Event-B refinement Steve Schneider, Helen Treharne, Heike Wehrheim Formal Aspects of Computing	2012	28
Predicting rankings of software verification tools Mike Czech, Eyke Hüllermeier, Marie-Christine Jakobs, Software MaintenanceProgram CheckingEngineeringVerificationSoftware Engineering	2017	28

Page 1