Gerhard Schellhorn - Concepedia

Author

Gerhard Schellhorn

University of Augsburg ORCID

Also Known As

(:Unkn) Unknown, G. Schellhorn, Gerhard Schellhorn, Jürgen Ruf, Schellhorn, Gerhard

148

Publications

2.1K

Citations

H-Index

Concepts

All Affiliations

University of Augsburg University of Sheffield Paderborn University Augsburg University Universität Ulm

About

Gerhard Schellhorn is an author at University of Augsburg specializing in engineering, formal methods, and formal verification.

Top Concepts

#	Concept	H-Index	Publications	Citations
1	Engineering	13	17	582
2	Computer Engineering	3	3	45
3	Management	2	2	120
4	Law	1	1	42
5	Public Health	1	1	42

Gerhard Schellhorn

Publications

872

Citations

H-Index

Page 1

	Year	Citations
Verification of ASM Refinements Using Generalized Forward Simulation Gerhard Schellhorn	2020	69
Reasoning about Abstract State Machines: The WAM Case Study Gerhard Schellhorn, Wolfgang Ahrendt Zenodo (CERN European Organization for Nuclear Research) Abstract MachineEngineeringAutomated ReasoningVerificationFormal Methods	2020	66
Formal Fault Tree Analysis - Practical Experiences Frank Ortmeier, Gerhard Schellhorn Electronic Notes in Theoretical Computer Science Software MaintenanceEngineeringVerificationSafety ScienceModel Checking	2007	64
ASM refinement and generalizations of forward simulation in data refinement: a comparison Gerhard Schellhorn Theoretical Computer Science Simulation MethodologyRefinement TechniqueEngineeringData ScienceData Refinement	2004	61
KIV: overview and VerifyThis competition Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn, International Journal on Software Tools for Technology Transfer Trustworthy ComputingEngineeringMechanical VerificationVerificationManagement	2014	59
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
Formal Fault Tree Semantics Gerhard Schellhorn, Andreas Thums, Wolfgang Reif Lehrstuhl	2002	47
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
DEDUCTIVE CAUSE-CONSEQUENCE ANALYSIS (DCCA) Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn IFAC Proceedings Volumes EngineeringDeductive MethodAutomated ReasoningSoftware TestingDeductive Cause-consequence Analysis	2005	42
Parallel Model Checking for the Alternation-Free Mu-Calculus Martin Leucker, Gerhard Schellhorn, Wolfgang Reif RWTH Publications (RWTH Aachen) Parallel Model CheckingEngineeringAutomated ReasoningVerificationFormal Methods	2000	34

Page 1