×

zbMATH — the first resource for mathematics

von Oheimb, David

Compute Distance To:
Author ID: von-oheimb.david Recent zbMATH articles by "von Oheimb, David"
Published as: von Oheimb, D.; von Oheimb, David
External Links: MGP
Documents Indexed: 8 Publications since 1997

Publications by Year

Citations contained in zbMATH Open

6 Publications have been cited 92 times in 81 Documents Cited by Year
The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523
Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L.
42
2005
Hoare logic for Java in Isabelle/HOL. Zbl 0997.68019
von Oheimb, David
21
2001
HOLCF=HOL+LCF. Zbl 0933.03028
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar
11
1999
Hoare logic for NanoJava: Auxiliary variables, side effects, and virtual methods revisited. Zbl 1064.68543
von Oheimb, David; Nipkow, Tobias
10
2002
\(\mu\)Java: Embedding a programming language in a theorem prover. Zbl 0995.68019
Nipkow, Tobias; von Oheimb, David; Pusch, Cornelia
5
2000
Hoare logic for mutual recursion and local variables. Zbl 0956.68086
von Oheimb, David
3
1999
The AVISPA tool for the automated validation of internet security protocols and applications. Zbl 1081.68523
Armando, A.; Basin, D.; Boichut, Y.; Chevalier, Y.; Compagna, L.; Cuellar, J.; Hankes Drielsma, P.; Heám, P. C.; Kouchnarenko, O.; Mantovani, J.; Mödersheim, S.; von Oheimb, D.; Rusinowitch, M.; Santiago, J.; Turuani, M.; Viganò, L.; Vigneron, L.
42
2005
Hoare logic for NanoJava: Auxiliary variables, side effects, and virtual methods revisited. Zbl 1064.68543
von Oheimb, David; Nipkow, Tobias
10
2002
Hoare logic for Java in Isabelle/HOL. Zbl 0997.68019
von Oheimb, David
21
2001
\(\mu\)Java: Embedding a programming language in a theorem prover. Zbl 0995.68019
Nipkow, Tobias; von Oheimb, David; Pusch, Cornelia
5
2000
HOLCF=HOL+LCF. Zbl 0933.03028
Müller, Olaf; Nipkow, Tobias; von Oheimb, David; Slotosch, Oscar
11
1999
Hoare logic for mutual recursion and local variables. Zbl 0956.68086
von Oheimb, David
3
1999
all top 5

Cited by 166 Authors

8 Delaune, Stéphanie
6 Cortier, Véronique
5 Kremer, Steve
4 Basin, David A.
4 Cremers, Cas J. F.
4 Klein, Gerwin
3 Brucker, Achim D.
3 Cheval, Vincent
3 de Boer, Frank S.
3 Meadows, Catherine A.
3 Nipkow, Tobias
3 Viganò, Luca
3 Wolff, Burkhart
2 Apt, Krzysztof Rafal
2 Arnaud, Mathilde
2 Ayala-Rincón, Mauricio
2 Bulwahn, Lukas
2 Caleiro, Carlos
2 Ciobâcă, Ştefan
2 Colvin, Robert J.
2 Haftmann, Florian
2 Hayes, Ian J.
2 Krauss, Alexander
2 Lafourcade, Pascal
2 Liu, Zhiming
2 Mauw, Sjouke
2 Mödersheim, Sebastian Alexander
2 Olderog, Ernst-Rüdiger
2 Paulson, Lawrence Charles
2 Popescu, Andrei
2 Radomirović, Saša
2 Sasse, Ralf
2 Steffen, Martin
2 Varming, Carsten
1 Ábrahám, Erika
1 Andova, Suzana
1 Anureev, Igor S.
1 Arsac, Wihem
1 Aspinall, David
1 Avigad, Jeremy
1 Babel, Kushal
1 Beckert, Bernhard
1 Belardinelli, Francesco
1 Bella, Giampaolo
1 Ben Rajeb, Narjes
1 Benton, Nick
1 Berger, Martin J.
1 Berghofer, Stefan
1 Beringer, Lennart
1 Berrima, Mouhebeddine
1 Birkedal, Lars
1 Blanchet, Bruno
1 Blanchette, Jasmin Christian
1 Boichut, Yohan
1 Bove, Ana
1 Bsaïes, Khaled
1 Bubel, Richard
1 Cervesato, Iliano
1 Chantry, Xavier
1 Chaudhari, Narendra S.
1 Chevalier, Céline
1 Chevalier, Yannick
1 Comon-Lundh, Hubert
1 Compagna, Luca
1 Datta, Anupam
1 De Gouw, Stijn
1 de Roever, Willem-Paul
1 de Vink, Erik P.
1 Derek, Ante
1 Dovland, Johan
1 Dreier, Jannik
1 Dubranovsky, I. V.
1 Duménil, Charles
1 Erbatur, Serdar
1 Erkök, Levent
1 Escobar, Santiago
1 Falcone, Yliès
1 Fallah, Mehran S.
1 Fernández, Maribel
1 Focardi, Riccardo
1 Frade, Maria João
1 Gammie, Peter
1 Gast, Holger
1 Genet, Thomas
1 Ghardallou, Wided
1 Gjøsteen, Kristian
1 Goncharov, Sergeĭ Savost’yanovich
1 Gupta, Shubham
1 He, Jifeng
1 Héam, Pierre-Cyrille
1 Hofmann, Martin
1 Honda, Kohei
1 Hördegen, Heinrich
1 Horozal, Fulya
1 Huffman, Brian
1 Jaggard, Aaron D.
1 Janvier, Romain
1 Johnsen, Einar Broch
1 Kassem, Ali
1 Keller, Michel
...and 66 more Authors

Citations by Year