×
Compute Distance To:
Author ID: reif.wolfgang Recent zbMATH articles by "Reif, Wolfgang"
Published as: Reif, Wolfgang; Reif, W.

Publications by Year

Citations contained in zbMATH Open

20 Publications have been cited 75 times in 44 Documents Cited by Year
Structured specifications and interactive proofs with KIV. Zbl 0970.68149
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt; Balser, Michael
16
1998
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
Interactive verification of concurrent systems using symbolic execution. Zbl 1205.68217
Bäumler, Simon; Balser, Michael; Nafz, Florian; Reif, Wolfgang; Schellhorn, Gerhard
7
2010
Theorem proving in large theories. Zbl 0972.68520
Reif, Wolfgang; Schellhorn, Gerhard
6
1998
Proving linearizability with temporal logic. Zbl 1214.68209
Bäumler, Simon; Schellhorn, Gerhard; Tofan, Bogdan; Reif, Wolfgang
6
2011
RGITL: a temporal logic framework for compositional reasoning about interleaved programs. Zbl 1329.68172
Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pfähler, Jörg; Reif, Wolfgang
5
2014
Temporal logic verification of lock-freedom. Zbl 1286.68322
Tofan, Bogdan; Bäumler, Simon; Schellhorn, Gerhard; Reif, Wolfgang
4
2010
Flaw detection in formal specifications. Zbl 0988.68107
Reif, Wolfgang; Schellhorn, G.; Thums, Andreas
4
2001
Program verification by symbolic execution and induction. Zbl 0629.68012
Heisel, M.; Reif, W.; Stephan, W.
3
1987
Formal verification of a lock-free stack with hazard pointers. Zbl 1350.68081
Tofan, Bogdan; Schellhorn, Gerhard; Reif, Wolfgang
3
2011
A dynamic logic for program verification. Zbl 0673.03020
Heisel, M.; Reif, W.; Stephan, W.
2
1989
Bounded relational analysis of free data types. Zbl 1138.68446
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang
2
2008
Partial valuation structures for qualitative soft constraints. Zbl 1453.68157
Schiendorfer, Alexander; Knapp, Alexander; Steghöfer, Jan-Philipp; Anders, Gerrit; Siefert, Florian; Reif, Wolfgang
2
2015
Reuse of proofs in software verification. Zbl 1058.68525
Reif, Wolfgang; Stenzel, Kurt
2
1996
Program verification using dynamic logic. Zbl 0665.68008
Heisel, M.; Reif, W.; Stephan, W.
1
1988
Tactics in KIV. Zbl 0838.68099
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
1
1994
An interactive verification system based on dynamic logic. Zbl 0642.68168
Hähnle, R.; Heisel, M.; Reif, W.; Stephan, W.
1
1986
Verifying concurrent systems with symbolic execution. Zbl 1001.68085
Balser, Michael; Duelli, Christoph; Reif, Wolfgang; Schellhorn, Gerhard
1
2002
Automating algebraic specifications of non-freely generated data types. Zbl 1183.68368
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang
1
2008
Automated flaw detection in algebraic specifications. Zbl 1207.68337
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang
1
2010
Partial valuation structures for qualitative soft constraints. Zbl 1453.68157
Schiendorfer, Alexander; Knapp, Alexander; Steghöfer, Jan-Philipp; Anders, Gerrit; Siefert, Florian; Reif, Wolfgang
2
2015
RGITL: a temporal logic framework for compositional reasoning about interleaved programs. Zbl 1329.68172
Schellhorn, Gerhard; Tofan, Bogdan; Ernst, Gidon; Pfähler, Jörg; Reif, Wolfgang
5
2014
Proving linearizability with temporal logic. Zbl 1214.68209
Bäumler, Simon; Schellhorn, Gerhard; Tofan, Bogdan; Reif, Wolfgang
6
2011
Formal verification of a lock-free stack with hazard pointers. Zbl 1350.68081
Tofan, Bogdan; Schellhorn, Gerhard; Reif, Wolfgang
3
2011
Interactive verification of concurrent systems using symbolic execution. Zbl 1205.68217
Bäumler, Simon; Balser, Michael; Nafz, Florian; Reif, Wolfgang; Schellhorn, Gerhard
7
2010
Temporal logic verification of lock-freedom. Zbl 1286.68322
Tofan, Bogdan; Bäumler, Simon; Schellhorn, Gerhard; Reif, Wolfgang
4
2010
Automated flaw detection in algebraic specifications. Zbl 1207.68337
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang
1
2010
Bounded relational analysis of free data types. Zbl 1138.68446
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang
2
2008
Automating algebraic specifications of non-freely generated data types. Zbl 1183.68368
Dunets, Andriy; Schellhorn, Gerhard; Reif, Wolfgang
1
2008
Verifying concurrent systems with symbolic execution. Zbl 1001.68085
Balser, Michael; Duelli, Christoph; Reif, Wolfgang; Schellhorn, Gerhard
1
2002
Flaw detection in formal specifications. Zbl 0988.68107
Reif, Wolfgang; Schellhorn, G.; Thums, Andreas
4
2001
Structured specifications and interactive proofs with KIV. Zbl 0970.68149
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt; Balser, Michael
16
1998
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
Theorem proving in large theories. Zbl 0972.68520
Reif, Wolfgang; Schellhorn, Gerhard
6
1998
Reuse of proofs in software verification. Zbl 1058.68525
Reif, Wolfgang; Stenzel, Kurt
2
1996
Tactics in KIV. Zbl 0838.68099
Reif, Wolfgang; Schellhorn, Gerhard; Stenzel, Kurt
1
1994
A dynamic logic for program verification. Zbl 0673.03020
Heisel, M.; Reif, W.; Stephan, W.
2
1989
Program verification using dynamic logic. Zbl 0665.68008
Heisel, M.; Reif, W.; Stephan, W.
1
1988
Program verification by symbolic execution and induction. Zbl 0629.68012
Heisel, M.; Reif, W.; Stephan, W.
3
1987
An interactive verification system based on dynamic logic. Zbl 0642.68168
Hähnle, R.; Heisel, M.; Reif, W.; Stephan, W.
1
1986
all top 5

Cited by 79 Authors

14 Schellhorn, Gerhard
7 Reif, Wolfgang
4 Moszkowski, Ben C.
4 Paulson, Lawrence Charles
3 Beckert, Bernhard
3 Blanchette, Jasmin Christian
3 Hähnle, Reiner
3 Tofan, Bogdan
2 Böhme, Sascha
2 Derrick, John
2 Dunets, Andriy
2 Gadducci, Fabio
2 Guelev, Dimitar P.
2 Meng, Jia
2 Santini, Francesco
2 Wehrheim, Heike
1 Aehlig, Klaus
1 Ahrendt, Wolfgang
1 Amani, Sidney
1 Amighi, Afshin
1 Banach, Richard
1 Bäumler, Simon
1 Bitterlich, Martin
1 Blom, Stefan
1 Bodenmüller, Stefan
1 Boiten, Eerke A.
1 Bubel, Richard
1 Cantone, Domenico
1 Chen, Zilin
1 Cruanes, Simon
1 Darabi, Saeed
1 Dietrich, Dominik
1 Ernst, Gidon
1 Ferrarotti, Flavio Antonio
1 Haftmann, Florian
1 Honsell, Furio
1 Huisman, Marieke
1 Jackson, Vincent
1 Ji, Ran
1 Keller, Gabriele Cornelia
1 Klebanov, Vladimir
1 Klein, Gerwin
1 Klumpp, Dominik
1 Kolbe, Thomas H.
1 Lenzen, Philip
1 Leucker, Martin
1 Melis, Erica
1 Miculan, Marino
1 Mostowski, Wojciech I.
1 Murray, Toby
1 Nerode, Anil
1 Nicolosi Asmundo, Marianna
1 Nipkow, Tobias
1 O’Connor, Liam
1 Oel, Peter
1 Ortmeier, Frank
1 Pfähler, Jörg
1 Plaisted, David Alan
1 Quigley, Claire
1 Reynolds, Andrew
1 Rizkallah, Christine
1 Ruijters, Enno
1 Schewe, Klaus-Dieter
1 Schmitt, Peter H.
1 Schulz, Ewaryst
1 Sewell, Thomas D.
1 Smith, Graeme
1 Stenzel, Kurt
1 Stoelinga, Mariëlle
1 Sulzmann, Martin
1 Tec, Loredana
1 Tinelli, Cesare
1 Travkin, Oleg
1 Walther, Christoph
1 Wang, Qing
1 Whittle, Jon
1 Wijesekera, Duminda
1 Yahya, Adnan H.
1 Zaharieva-Stojanovski, Marina

Citations by Year