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