Arjan J. Mooij

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

9EEArjan J. Mooij: Constructing and Reasoning About Security Protocols Using Invariants. Electr. Notes Theor. Comput. Sci. 201: 99-126 (2008)
8EEBrijesh Dongol, Arjan J. Mooij: Streamlining progress-based derivations of concurrent programs. Formal Asp. Comput. 20(2): 141-160 (2008)
7EEJudi Romijn, Wieger Wesselink, Arjan J. Mooij: Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA 2007: 347-361
6EEArjan J. Mooij: Calculating and Composing Progress Properties in Terms of the Leads-to Relation. ICFEM 2007: 366-386
5EEArjan J. Mooij, Judi Romijn, Wieger Wesselink: Realizability Criteria for Compositional MSC. AMAST 2006: 248-262
4EEBrijesh Dongol, Arjan J. Mooij: Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. MPC 2006: 140-161
3EEArjan J. Mooij, Nicolae Goga, Judi Romijn: Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. FASE 2005: 273-288
2EEArjan J. Mooij, Wieger Wesselink: Incremental Verification of Owicki/Gries Proof Outlines Using PVS. ICFEM 2005: 390-404
1EEArjan J. Mooij, Nicolae Goga: Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. SAM 2004: 257-270

Coauthor Index

1Brijesh Dongol [4] [8]
2Nicolae Goga [1] [3]
3Judi Romijn [3] [5] [7]
4Wieger Wesselink [2] [5] [7]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)