Person: Mads Dam

DBLP: Dam:Mads

Facilitated 1 volumes:

Ed

Contributed to:

2014

2009

2008

2007

2006

2003

2003

1999

1998

1998

1988

1986

1995

Wrote 13 papers:

PDP-2014-DamP #independence #network #process

Location Independent Routing in Process Network Overlays (MD, KP), pp. 715–724.

ECOOP-2009-DamJLP #java #monitoring #parallel #security #thread

Security Monitor Inlining for Multithreaded Java (MD, BJ, AL, FP), pp. 546–569.

FM-2008-AktugDG #monitoring #runtime

Provably Correct Runtime Monitoring (IA, MD, DG), pp. 262–277.

LICS-2007-CohenD #axiom #encryption

A Complete Axiomatization of Knowledge and Cryptography (MC, MD), pp. 77–88.

POPL-2006-Dam #decidability #proving

Decidability and proof systems for language-based noninterference relations (MD), pp. 67–78.

ESOP-2003-GiambiagiD #implementation #on the #protocol #security

On the Secure Implementation of Security Protocols (PG, MD), pp. 144–158.

FoSSaCS-2003-SprengerD #calculus #induction #on the #proving #reasoning #μ-calculus

On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the μ-Calculus (CS, MD), pp. 425–440.

FM-v1-1999-ArtsD #database #distributed #erlang #verification

Verifying a Distributed Database Lookup Manager Written in Erlang (TA, MD), pp. 682–700.

CADE-1998-ArtsDFG #distributed #erlang #source code #verification

System Description: Verification of Distributed Erlang Programs (TA, MD, LÅF, DG), pp. 38–41.

SAC-1998-DamF #distributed #on the #verification

On the verification of open distributed systems (MD, LÅF), pp. 532–540.

LICS-1988-Dam #composition #concurrent #logic

Relevance Logic and Concurrent Composition (MD), pp. 178–185.

ESOP-1986-DamJ #compilation #generative #relational #semantics

Compiler Generation from Relational Semantics (MD, FJ), pp. 1–29.

TAPSOFT-1995-AmadioD #higher-order #process #reasoning

Reasoning about Higher-Order Processes (RMA, MD), pp. 202–216.