BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × Canada
1 × Denmark
1 × Estonia
1 × Italy
1 × USA
1 × United Kingdom
Collaborated with:
T.Nipkow T.A.Kuhn T.F.Gritzner A.Armando Y.Chevalier L.Compagna J.Cuéllar S.Mödersheim M.Rusinowitch M.Turuani L.Viganò D.A.Basin Y.Boichut P.H.Drielsma P.Héam O.Kouchnarenko J.Mantovani J.Santiago L.Vigneron W.Arsac T.Avanesov M.Barletta A.Calvi A.Cappai R.Carbone G.Erzse S.Frau M.Minea G.Pellegrino S.E.Ponta M.Rocchetto M.T.Dashti
Talks about:
secur (3) method (2) machin (2) valid (2) autom (2) java (2) architectur (1) avantssar (1) auxiliari (1) protocol (1)

Person: David von Oheimb

DBLP DBLP: Oheimb:David_von

Contributed to:

TACAS 20122012
FM 20062006
CAV 20052005
FME 20032003
FME 20022002
POPL 19981998
CADE 19971997

Wrote 7 papers:

TACAS-2012-ArmandoAABCCCCCCEFMMOPPRRDTV #architecture #automation #framework #platform #security #trust #validation
The AVANTSSAR Platform for the Automated Validation of Trust and Security of Service-Oriented Architectures (AA, WA, TA, MB, AC, AC, RC, YC, LC, JC, GE, SF, MM, SM, DvO, GP, SEP, MR, MR, MTD, MT, LV), pp. 267–282.
FM-2006-Oheimb #formal method #security
Formal Methods in the Security Business: Exotic Flowers Thriving in an Expanding Niche (DvO), pp. 592–597.
CAV-2005-ArmandoBBCCCDHKMMORSTVV #automation #internet #protocol #security #validation
The AVISPA Tool for the Automated Validation of Internet Security Protocols and Applications (AA, DAB, YB, YC, LC, JC, PHD, PCH, OK, JM, SM, DvO, MR, JS, MT, LV, LV), pp. 281–285.
FME-2003-KuhnO #state machine
Interacting State Machines for Mobility (TAK, DvO), pp. 698–718.
FME-2002-OheimbN #hoare #logic #revisited
Hoare Logic for NanoJava: Auxiliary Variables, Side Effects, and Virtual Methods Revisited (DvO, TN), pp. 89–105.
POPL-1998-NipkowO #java #type safety
JavaNone is Type-Safe — Definitely (TN, DvO), pp. 161–170.
CADE-1997-OheimbG #algebra #named #proving
RALL: Machine-Supported Proofs for Relation Algebra (DvO, TFG), pp. 380–394.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.