Concepedia

Wolfgang Ahrendt

WA

Statistics

Publications

8

Citations

534

H-Index

8

Active since

2004

Affiliations

Chalmers University of Technology(Current)

University of Malta

University of Gothenburg

Wolfgang Ahrendt is an author at Chalmers University of Technology specializing in computer science, engineering, and verification.

Top concepts

EngineeringComputer ScienceVerificationFormal MethodsFormal VerificationAutomated ReasoningComputer EngineeringAutomationSystem SoftwareProgram Analysis

Publications per year

2004–2022

8

Publications

8

The KeY tool

Wolfgang Ahrendt, Thomas Baar, Bernhard Beckert et al. · Software & Systems Modeling · 2004 · 261 citations · Full text

Engineering, Input Device, Automation +8

A survey of challenges for runtime verification from advanced application domains (beyond software)

César Sánchez, Gerardo Schneider, Wolfgang Ahrendt et al. · Chalmers Research (Chalmers University of Technology) · 2019 · 95 citations

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

A system for compositional verification of asynchronous objects

Wolfgang Ahrendt, Maximilian Dylla · Science of Computer Programming · 2010 · 40 citations

Engineering, Automated Reasoning, Mechanical Verification +10

Verifying data- and control-oriented properties combining static and runtime verification: theory and tools

Wolfgang Ahrendt, Jesús Mauricio Chimento, Gordon J. Pace et al. · Formal Methods in System Design · 2017 · 33 citations · Full text

Rows per page

1–5 of 8