Concepedia

Wolfgang Ahrendt

WA

Statistics

Publications

8

Citations

542

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 formal methods, computer science, and computing.

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

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 · 100 citations

Computing, Computer Engineering, Computer Science +12

Reasoning about Abstract State Machines: The WAM Case Study

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

Computing, Computer Science, Computer Systems +14

A system for compositional verification of asynchronous objects

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

Computing, Computer Engineering, Computer Science +14

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

Computing, Computer Engineering, Computer Science +15

1–5 of 8