| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Dimitar P. Guelev, Mads Dam |
An Epistemic Predicate CTL* for Finite Control π-Processes.  |
Electr. Notes Theor. Comput. Sci.  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Frank Piessens |
Provably correct inline monitoring for multithreaded Java-like programs. |
Journal of Computer Security |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fetahi Wuhib, Mads Dam, Rolf Stadler |
A gossiping protocol for detecting global threshold crossings. |
IEEE Transactions on Network and Service Management |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Supriya Krishnamurthy, John Ardelius, Erik Aurell, Mads Dam, Rolf Stadler, Fetahi Wuhib |
The Accuracy of Tree-based Counting in Dynamic Networks |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Mads Dam, Andreas Lundblad |
A Proof Carrying Code Framework for Inlined Reference Monitors in Java Bytecode |
CoRR |
2010 |
DBLP BibTeX RDF |
|
| 1 | Supriya Krishnamurthy, John Ardelius, Erik Aurell, Mads Dam, Rolf Stadler, Fetahi Zebenigus Wuhib |
Brief announcement: the accuracy of tree-based counting in dynamic networks. |
PODC |
2010 |
DBLP DOI BibTeX RDF |
distributed spanning tree, markov model |
| 1 | Gunnar Kreitz, Mads Dam, Douglas Wikström |
Practical Private Information Aggregation in Large Networks. |
NordSec |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Fetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm |
Robust monitoring of network-wide aggregates through gossiping. |
IEEE Transactions on Network and Service Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Irem Aktug, Mads Dam, Dilian Gurov |
Provably correct runtime monitoring. |
J. Log. Algebr. Program. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. |
IJCAI |
2009 |
DBLP BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu |
A Data Symmetry Reduction Technique for Temporal-epistemic Logic. |
ATVA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fetahi Wuhib, Rolf Stadler, Mads Dam |
Gossiping for threshold detection. |
Integrated Network Management |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo |
Abstraction in model checking multi-agent systems. |
AAMAS |
2009 |
DBLP DOI BibTeX RDF |
model checking, abstraction, epistemic logic |
| 1 | Mads Dam, Bart Jacobs 0002, Andreas Lundblad, Frank Piessens |
Security Monitor Inlining for Multithreaded Java. |
ECOOP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Fetahi Wuhib, Mads Dam, Rolf Stadler |
Decentralized detection of global threshold crossings using aggregation trees. |
Computer Networks |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Irem Aktug, Mads Dam, Dilian Gurov |
Provably Correct Runtime Monitoring. |
FM |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Fetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm |
Robust Monitoring of Network-wide Aggregates through Gossiping. |
Integrated Network Management |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mika Cohen, Mads Dam |
A Complete Axiomatization of Knowledge and Cryptography. |
LICS |
2007 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Decidability and proof systems for language-based noninterference relations. |
POPL |
2006 |
DBLP DOI BibTeX RDF |
intransitive noninterference, information flow, language-based security, noninterference, multi-level security |
| 1 | Fetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm |
Decentralized Computation of Threshold Crossing Alerts. |
DSOM |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Giambiagi, Mads Dam |
On the secure implementation of security protocols. |
Sci. Comput. Program. |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Sprenger, Mads Dam |
On global induction mechanisms in a µ-calculus with explicit approximations. |
ITA |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam, Lars-Åke Fredlund, Dillian Guruv |
Formal Methods Research at SICS and KTH: An Overview. |
Electr. Notes Theor. Comput. Sci. |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Lars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov |
A verification tool for ERLANG. |
STTT |
2003 |
DBLP DOI BibTeX RDF |
Formal methods, Theorem proving, Software verification |
| 1 | Mads Dam |
Regular SPKI. |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Regular SPKI (Discussion). |
Security Protocols Workshop |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Sprenger, Mads Dam |
On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. |
FoSSaCS |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Pablo Giambiagi, Mads Dam |
On the Secure Implementation of Security Protocols. |
ESOP |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam, Dilian Gurov |
µ-Calculus with Explicit Points and Approximations. |
J. Log. Comput. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Olav L. Bandmann, Babak Sadighi Firozabadi, Mads Dam |
Constrained Delegation. (PDF / PS) |
IEEE Symposium on Security and Privacy |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Sprenger, Mads Dam |
A note on global induction in a mu-calculus with explicit approximations. |
FICS |
2002 |
DBLP BibTeX RDF |
|
| 1 | Mads Dam, Pablo Giambiagi |
Confidentiality for Mobile Code: The Case of a Simple Payment Protocol. (PDF / PS) |
CSFW |
2000 |
DBLP DOI BibTeX RDF |
information flow, confidentiality, Mobile code |
| 1 | Mads Dam, Dilian Gurov |
Compositional Verification of CCS Processes. |
Ershov Memorial Conference |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Mads Dam |
Verifying a Distributed Database Lookup Manager Written in Erlang. |
World Congress on Formal Methods |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Proving Properties of Dynamic Process Networks. |
Inf. Comput. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | José-Luis Vivas, Mads Dam |
From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. |
CONCUR |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov |
System Description: Verification of Distributed Erlang Programs. |
CADE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Mads Dam, Lars-Åke Fredlund |
On the verification of open distributed systems. |
SAC |
1998 |
DBLP DOI BibTeX RDF |
agents, program verification, Erlang, open distributed systems, parametric verification |
| 1 | Mads Dam |
On the Decidability of Process Equivalences for the pi-Calculus. |
Theor. Comput. Sci. |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam, Lars-Åke Fredlund, Dilian Gurov |
Toward Parametric Verification of Open Distributed Systems. |
COMPOS |
1997 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam (eds.) |
Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers |
LOMAPS |
1997 |
DBLP BibTeX RDF |
|
| 1 | Mads Dam |
Model Checking Mobile Processes. |
Inf. Comput. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Modalities in Analysis and Verification. |
ACM Comput. Surv. |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Flemming Nielson, Patrick Cousot, Mads Dam, Pierpaolo Degano, Pierre Jouvelot, Alan Mycroft, Bent Thomsen |
Logical and Operational Methods in the Analysis of Programs and Systems. |
LOMAPS |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Mads Dam |
Toward a Modal Theory of Types for the pi-Calculus. |
FTRTFT |
1996 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Compositional Proof Systems for Model Checking Infinite State Processes. |
CONCUR |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Roberto M. Amadio, Mads Dam |
Reasoning about Higher-Order Processes. |
TAPSOFT |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
On the Decidability of Process Equivalences for the pi-calculus. |
AMAST |
1995 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
CTL* and ECTL* as Fragments of the Modal mu-Calculus. |
Theor. Comput. Sci. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Process-Algebraic Interpretations of Positive Linear and Relevant Logics. |
J. Log. Comput. |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Model Checking Mobile Processes. |
CONCUR |
1993 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
R-Generability, and Definability in Branching Time Logics. |
Inf. Process. Lett. |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
CTL* and ECTL* as Fragments of the Modal µ-Calculus. |
CAAP |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Fixed Points of Büchi Automata. |
FSTTCS |
1992 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam |
Relevance Logic and Concurrent Composition |
LICS |
1988 |
DBLP DOI BibTeX RDF |
|
| 1 | Mads Dam, Frank Jensen |
Compiler Generation from Relational Semantics. |
ESOP |
1986 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")