Wolfgang Ahrendt

Wolfgang Ahrendt

Chalmers University of Technology - Göteborg / Sweden
Engineering & Technology / Computer Science
AD Scientific Index ID: 1400949
Chalmers tekniska högskola
person_outline Wolfgang Ahrendt's MOST POPULAR ARTICLES
1-) Deductive Software Verification–The KeY BookW Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M UlbrichLecture Notes in Computer Science 10001, 2016412*2016
2-) Deductive Software Verification–The KeY BookW Ahrendt, B Beckert, R Bubel, R Hähnle, PH Schmitt, M UlbrichLecture Notes in Computer Science 10001, 20164192016
3-) The KeY toolW Ahrendt, T Baar, B Beckert, R Bubel, M Giese, R Hähnle, W Menzel, ...Software & Systems Modeling 4 (1), 32-54, 20054152005
4-) A survey of challenges for runtime verification from advanced application domains (beyond software)C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...Formal Methods in System Design 54, 279-335, 20191232019
5-) A survey of challenges for runtime verification from advanced application domains (beyond software)C Sánchez, G Schneider, W Ahrendt, E Bartocci, D Bianculli, C Colombo, ...Formal Methods in System Design 54, 279-335, 20191232019