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: Oheimb:David_von
Contributed to:
2012
2006
200520032002
1998
1997Wrote 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.