Mads Dam

From MaRDI portal
Person:931114

Available identifiers

zbMath Open dam.madsMaRDI QIDQ931114

List of research outcomes





PublicationDate of PublicationType
Reasoning about higher-order processes2022-08-18Paper
On the decidability of process equivalences for the π-calculus2022-08-16Paper
Hoare-style logic for unstructured programs2021-07-08Paper
https://portal.mardi4nfdi.de/entity/Q49941272021-06-17Paper
Formal verification of integrity-preserving countermeasures against cache storage side-channels2019-09-16Paper
Decidability and proof systems for language-based noninterference relations2017-08-21Paper
An epistemic predicate \(\mathrm{CTL}^{*}\) for finite control \(\pi\)-processes2016-10-07Paper
Security monitor inlining and certification for multithreaded Java2016-07-27Paper
Machine Assisted Proof of ARMv7 Instruction Level Isolation Properties2015-01-13Paper
A Data Symmetry Reduction Technique for Temporal-epistemic Logic2009-12-01Paper
Provably correct runtime monitoring2009-07-20Paper
Decentralized detection of global threshold crossings using aggregation trees2008-06-25Paper
On the secure implementation of security protocols2004-11-22Paper
On global induction mechanisms in aμ-calculus with explicit approximations2004-03-29Paper
https://portal.mardi4nfdi.de/entity/Q44178902003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44178742003-07-30Paper
https://portal.mardi4nfdi.de/entity/Q44408272003-01-01Paper
-Calculus with Explicit Points and Approximations2002-08-01Paper
https://portal.mardi4nfdi.de/entity/Q45112732000-10-30Paper
https://portal.mardi4nfdi.de/entity/Q42566531999-08-08Paper
On the decidability of process equivalences for the \(\pi\)-calculus1998-07-22Paper
Proving properties of dynamic process networks1998-04-02Paper
Model checking mobile processes1996-12-01Paper
Process-Algebraic Interpretations of Positive Linear and Relevant Logics1995-04-20Paper
CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus1994-05-15Paper
\(R\)-generability, and definability in branching time logics1993-01-16Paper
https://portal.mardi4nfdi.de/entity/Q37181271986-01-01Paper

Research outcomes over time

This page was built for person: Mads Dam