dblp.uni-trier.dewww.uni-trier.de

Mads Dam Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo
Home Page

*2009
46EEMika Cohen, Mads Dam, Alessio Lomuscio, Francesco Russo: Abstraction in model checking multi-agent systems. AAMAS (2) 2009: 945-952
45EEMika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Data Symmetry Reduction Technique for Temporal-epistemic Logic. ATVA 2009: 69-83
44EEMads Dam, Bart Jacobs, Andreas Lundblad, Frank Piessens: Security Monitor Inlining for Multithreaded Java. ECOOP 2009: 546-569
43EEMika Cohen, Mads Dam, Alessio Lomuscio, Hongyang Qu: A Symmetry Reduction Technique for Model Checking Temporal-Epistemic Logic. IJCAI 2009: 721-726
2008
42EEIrem Aktug, Mads Dam, Dilian Gurov: Provably Correct Runtime Monitoring. FM 2008: 262-277
41EEFetahi Wuhib, Mads Dam, Rolf Stadler: Decentralized detection of global threshold crossings using aggregation trees. Computer Networks 52(9): 1745-1761 (2008)
2007
40EEFetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm: Robust Monitoring of Network-wide Aggregates through Gossiping. Integrated Network Management 2007: 226-235
39EEMika Cohen, Mads Dam: A Complete Axiomatization of Knowledge and Cryptography. LICS 2007: 77-88
2006
38EEMads Dam: Decidability and proof systems for language-based noninterference relations. POPL 2006: 67-78
2005
37EEFetahi Wuhib, Mads Dam, Rolf Stadler, Alexander Clemm: Decentralized Computation of Threshold Crossing Alerts. DSOM 2005: 220-232
2004
36EEPablo Giambiagi, Mads Dam: On the secure implementation of security protocols. Sci. Comput. Program. 50(1-3): 73-99 (2004)
2003
35EEPablo Giambiagi, Mads Dam: On the Secure Implementation of Security Protocols. ESOP 2003: 144-158
34EEChristoph Sprenger, Mads Dam: On the Structure of Inductive Reasoning: Circular and Tree-Shaped Proofs in the µ-Calculus. FoSSaCS 2003: 425-440
33EEMads Dam: Regular SPKI. Security Protocols Workshop 2003: 134-150
32EEMads Dam: Regular SPKI (Discussion). Security Protocols Workshop 2003: 151-152
31EEMads Dam, Lars-Åke Fredlund, Dillian Guruv: Formal Methods Research at SICS and KTH: An Overview. Electr. Notes Theor. Comput. Sci. 80: (2003)
30EEChristoph Sprenger, Mads Dam: On global induction mechanisms in a µ-calculus with explicit approximations. ITA 37(4): 365-391 (2003)
29EELars-Åke Fredlund, Dilian Gurov, Thomas Noll, Mads Dam, Thomas Arts, Gennady Chugunov: A verification tool for ERLANG. STTT 4(4): 405-420 (2003)
2002
28 Christoph Sprenger, Mads Dam: A note on global induction in a mu-calculus with explicit approximations. FICS 2002: 22-24
27EEOlav L. Bandmann, Babak Sadighi Firozabadi, Mads Dam: Constrained Delegation. IEEE Symposium on Security and Privacy 2002: 131-
26EEMads Dam, Dilian Gurov: µ-Calculus with Explicit Points and Approximations. J. Log. Comput. 12(2): 255-269 (2002)
2000
25EEMads Dam, Pablo Giambiagi: Confidentiality for Mobile Code: The Case of a Simple Payment Protocol. CSFW 2000: 233-244
1999
24EEMads Dam, Dilian Gurov: Compositional Verification of CCS Processes. Ershov Memorial Conference 1999: 247-256
23EEThomas Arts, Mads Dam: Verifying a Distributed Database Lookup Manager Written in Erlang. World Congress on Formal Methods 1999: 682-700
1998
22EEThomas Arts, Mads Dam, Lars-Åke Fredlund, Dilian Gurov: System Description: Verification of Distributed Erlang Programs. CADE 1998: 38-41
21EEJosé-Luis Vivas, Mads Dam: From Higher-Order pi-Calculus to pi-Calculus in the Presence of Static Operators. CONCUR 1998: 115-130
20EEMads Dam, Lars-Åke Fredlund: On the verification of open distributed systems. SAC 1998: 532-540
19 Mads Dam: Proving Properties of Dynamic Process Networks. Inf. Comput. 140(2): 95-114 (1998)
1997
18 Mads Dam: Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers Springer 1997
17EEMads Dam, Lars-Åke Fredlund, Dilian Gurov: Toward Parametric Verification of Open Distributed Systems. COMPOS 1997: 150-185
16EEMads Dam: On the Decidability of Process Equivalences for the pi-Calculus. Theor. Comput. Sci. 183(2): 215-228 (1997)
1996
15 Roberto M. Amadio, Mads Dam: Toward a Modal Theory of Types for the pi-Calculus. FTRTFT 1996: 347-365
14EEFlemming 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: 1-21
13 Mads Dam: Modalities in Analysis and Verification. ACM Comput. Surv. 28(2): 346-348 (1996)
12 Mads Dam: Model Checking Mobile Processes. Inf. Comput. 129(1): 35-51 (1996)
1995
11 Mads Dam: On the Decidability of Process Equivalences for the pi-calculus. AMAST 1995: 169-183
10EEMads Dam: Compositional Proof Systems for Model Checking Infinite State Processes. CONCUR 1995: 12-26
9EERoberto M. Amadio, Mads Dam: Reasoning about Higher-Order Processes. TAPSOFT 1995: 202-216
1994
8 Mads Dam: Process-Algebraic Interpretations of Positive Linear and Relevant Logics. J. Log. Comput. 4(6): 939-973 (1994)
7 Mads Dam: CTL* and ECTL* as Fragments of the Modal mu-Calculus. Theor. Comput. Sci. 126(1): 77-96 (1994)
1993
6EEMads Dam: Model Checking Mobile Processes. CONCUR 1993: 22-36
1992
5EEMads Dam: CTL* and ECTL* as Fragments of the Modal µ-Calculus. CAAP 1992: 145-164
4EEMads Dam: Fixed Points of Büchi Automata. FSTTCS 1992: 39-50
3 Mads Dam: R-Generability, and Definability in Branching Time Logics. Inf. Process. Lett. 41(5): 281-287 (1992)
1988
2 Mads Dam: Relevance Logic and Concurrent Composition LICS 1988: 178-185
1986
1EEMads Dam, Frank Jensen: Compiler Generation from Relational Semantics. ESOP 1986: 1-29

Coauthor Index

1Irem Aktug [42]
2Roberto M. Amadio [9] [15]
3Thomas Arts [22] [23] [29]
4Olav L. Bandmann [27]
5Gennady Chugunov [29]
6Alexander Clemm [37] [40]
7Mika Cohen [39] [43] [45] [46]
8Patrick Cousot [14]
9Pierpaolo Degano [14]
10Babak Sadighi Firozabadi [27]
11Lars-Åke Fredlund (Lars-åke Fredlund) [17] [20] [22] [29] [31]
12Pablo Giambiagi [25] [35] [36]
13Dilian Gurov [17] [22] [24] [26] [29] [42]
14Dillian Guruv [31]
15Bart Jacobs [44]
16Frank Jensen [1]
17Pierre Jouvelot [14]
18Alessio Lomuscio [43] [45] [46]
19Andreas Lundblad [44]
20Alan Mycroft [14]
21Flemming Nielson [14]
22Thomas Noll [29]
23Frank Piessens [44]
24Hongyang Qu [43] [45]
25Francesco Russo [46]
26Christoph Sprenger [28] [30] [34]
27Rolf Stadler [37] [40] [41]
28Bent Thomsen [14]
29José-Luis Vivas [21]
30Fetahi Wuhib [37] [40] [41]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)