×

zbMATH — the first resource for mathematics

Ahrendt, Wolfgang

Compute Distance To:
Author ID: ahrendt.wolfgang Recent zbMATH articles by "Ahrendt, Wolfgang"
Published as: Ahrendt, Wolfgang
External Links: MGP · ORCID
Documents Indexed: 17 Publications since 1997, including 2 Books

Publications by Year

Citations contained in zbMATH Open

11 Publications have been cited 44 times in 37 Documents Cited by Year
A system for compositional verification of asynchronous objects. Zbl 1264.68050
Ahrendt, Wolfgang; Dylla, Maximilian
8
2012
Automatic validation of transformation rules for Java verification against a rewriting semantics. Zbl 1143.68348
Ahrendt, Wolfgang; Roth, Andreas; Sasse, Ralf
7
2005
Integrating automated and interactive theorem proving. Zbl 0970.68151
Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Menzel, Wolfram; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, Peter H.
7
1998
Hilbert’s \(\epsilon\)-terms in automated theorem proving. Zbl 0931.03016
Giese, Martin; Ahrendt, Wolfgang
6
1999
The WAM case study: Verifying compiler correctness for Prolog with KIV. Zbl 0977.68017
Schellhorn, Gerhard; Ahrendt, Wolfgang
5
1998
Reasoning about abstract state machines: The WAM case study. Zbl 0960.68090
Schellhorn, Gerhard; Ahrendt, Wolfgang
5
1997
Deductive search for errors in free data type specifications using model generation. Zbl 1072.68558
Ahrendt, Wolfgang
2
2002
A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
1
2019
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Zbl 1370.68195
Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
1
2017
KeY: A formal method for object-oriented systems. Zbl 1202.68092
Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
1
2007
Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Zbl 1271.68015
Ahrendt, Wolfgang (ed.); Baumgartner, P. (ed.); de Nivelle, H. (ed.); Ranise, S. (ed.); Tinelli, C. (ed.)
1
2005
A survey of challenges for runtime verification from advanced application domains (beyond software). Zbl 1425.68268
Sánchez, César; Schneider, Gerardo; Ahrendt, Wolfgang; Bartocci, Ezio; Bianculli, Domenico; Colombo, Christian; Falcone, Yliès; Francalanza, Adrian; Krstić, Srđan; Lourenço, João M.; Nickovic, Dejan; Pace, Gordon J.; Rufino, Jose; Signoles, Julien; Traytel, Dmitriy; Weiss, Alexander
1
2019
Verifying data- and control-oriented properties combining static and runtime verification: theory and tools. Zbl 1370.68195
Ahrendt, Wolfgang; Chimento, Jesús Mauricio; Pace, Gordon J.; Schneider, Gerardo
1
2017
A system for compositional verification of asynchronous objects. Zbl 1264.68050
Ahrendt, Wolfgang; Dylla, Maximilian
8
2012
KeY: A formal method for object-oriented systems. Zbl 1202.68092
Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Schmitt, Peter H.
1
2007
Automatic validation of transformation rules for Java verification against a rewriting semantics. Zbl 1143.68348
Ahrendt, Wolfgang; Roth, Andreas; Sasse, Ralf
7
2005
Selected papers from the workshops on disproving and the second international workshop on pragmatics of decision procedures (PDPAR 2004), Cork, Ireland, 2004. Zbl 1271.68015
Ahrendt, Wolfgang (ed.); Baumgartner, P. (ed.); de Nivelle, H. (ed.); Ranise, S. (ed.); Tinelli, C. (ed.)
1
2005
Deductive search for errors in free data type specifications using model generation. Zbl 1072.68558
Ahrendt, Wolfgang
2
2002
Hilbert’s \(\epsilon\)-terms in automated theorem proving. Zbl 0931.03016
Giese, Martin; Ahrendt, Wolfgang
6
1999
Integrating automated and interactive theorem proving. Zbl 0970.68151
Ahrendt, Wolfgang; Beckert, Bernhard; Hähnle, Reiner; Menzel, Wolfram; Reif, Wolfgang; Schellhorn, Gerhard; Schmitt, Peter H.
7
1998
The WAM case study: Verifying compiler correctness for Prolog with KIV. Zbl 0977.68017
Schellhorn, Gerhard; Ahrendt, Wolfgang
5
1998
Reasoning about abstract state machines: The WAM case study. Zbl 0960.68090
Schellhorn, Gerhard; Ahrendt, Wolfgang
5
1997

Citations by Year