Concepedia

Gerhard Schellhorn

GS

28

Publications

872

Citations

17

H-Index

2000

Active since

Affiliations

University of Augsburg(Current)

University of Sheffield

Paderborn University

Augsburg University

Universität Ulm

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

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationAutomated ReasoningProgram AnalysisSoftware AnalysisSystem SoftwareSystems Engineering

Publications per year

2000–2021

28

Publications

28

Verification of ASM Refinements Using Generalized Forward Simulation

Gerhard Schellhorn · 2020 · 69 citations · Full text

Reasoning about Abstract State Machines: The WAM Case Study

Gerhard Schellhorn, Wolfgang Ahrendt · Zenodo (CERN European Organization for Nuclear Research) · 2020 · 66 citations · Full text

Abstract Machine, Engineering, Automated Reasoning +7

Formal Fault Tree Analysis - Practical Experiences

Frank Ortmeier, Gerhard Schellhorn · Electronic Notes in Theoretical Computer Science · 2007 · 64 citations · Full text

Software Maintenance, Engineering, Verification +20

ASM refinement and generalizations of forward simulation in data refinement: a comparison

Gerhard Schellhorn · Theoretical Computer Science · 2004 · 61 citations

Simulation Methodology, Refinement Technique, Engineering +15

KIV: overview and VerifyThis competition

Gidon Ernst, Jörg Pfähler, Gerhard Schellhorn et al. · International Journal on Software Tools for Technology Transfer · 2014 · 59 citations

Trustworthy Computing, Engineering, Mechanical Verification +9

Rows per page

1–5 of 28