Concepedia

Wolfgang Reif

WR

65

Publications

1.6K

Citations

24

H-Index

1970

Active since

Affiliations

University of Augsburg(Current)

Augsburg University

Deutsches Zentrum für Luft- und Raumfahrt e. V. (DLR)

Wolfgang Reif is an author at University of Augsburg specializing in engineering, computer science, and systems engineering.

Top concepts

EngineeringSystems EngineeringComputer ScienceFormal VerificationAutomationComputer EngineeringSoftware EngineeringFormal MethodsDesignSoftware Design

Publications per year

1970–2020

65

Publications

65

Improving medical protocols by formal methods

Annette ten Teije, Mar Marcos, Michel Balser et al. · Artificial Intelligence in Medicine · 2006 · 115 citations · Full text

Engineering, Patient Safety, Verification +9

The SCALEX Campaign: Scale-Crossing Land Surface and Boundary Layer Processes in the TERENO-preAlpine Observatory

Benjamin Wolf, Christian Chwala, Benjamin Fersch et al. · Bulletin of the American Meteorological Society · 2016 · 79 citations · Full text

Earth Observation, Environmental Monitoring, Engineering +27

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

A Specification and Construction Paradigm for Organic Computing Systems

Matthias Güdemann, Florian Nafz, Frank Ortmeier et al. · 2008 · 48 citations

Engineering, Organic Computing Systems, Software Engineering +17

DEDUCTIVE CAUSE-CONSEQUENCE ANALYSIS (DCCA)

Frank Ortmeier, Wolfgang Reif, Gerhard Schellhorn · IFAC Proceedings Volumes · 2005 · 42 citations

Engineering, Deductive Method, Automated Reasoning +7

Rows per page

1–5 of 65