Search the dblp DataBase

Publications of Author

1. Arjan J. Mooij, Judi Romijn, Wieger Wesselink
   Realizability Criteria for Compositional MSC. [Citation Graph (0, 0)][DBLP]
   AMAST, 2006, pp:248-262 [Conf]
   
2. Arjan J. Mooij, Nicolae Goga, Judi Romijn
   Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. [Citation Graph (0, 0)][DBLP]
   FASE, 2005, pp:273-288 [Conf]
   
3. Arjan J. Mooij, Wieger Wesselink
   Incremental Verification of Owicki/Gries Proof Outlines Using PVS. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2005, pp:390-404 [Conf]
   
4. Brijesh Dongol, Arjan J. Mooij
   Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. [Citation Graph (0, 0)][DBLP]
   MPC, 2006, pp:140-161 [Conf]
   
5. Arjan J. Mooij, Nicolae Goga
   Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. [Citation Graph (0, 0)][DBLP]
   SAM, 2004, pp:257-270 [Conf]
   
6. Judi Romijn, Wieger Wesselink, Arjan J. Mooij
   Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. [Citation Graph (0, 0)][DBLP]
   ATVA, 2007, pp:347-361 [Conf]
   
7. Arjan J. Mooij
   Calculating and Composing Progress Properties in Terms of the Leads-to Relation. [Citation Graph (0, 0)][DBLP]
   ICFEM, 2007, pp:366-386 [Conf]
   
8. 
   Trading Off Concurrency to Generate Behavioral Adapters. [Citation Graph (, )][DBLP]
   
   
9. 
   Service Interaction: Patterns, Formalization, and Analysis. [Citation Graph (, )][DBLP]
   
   
10. 
    Proof Techniques for Adapter Generation. [Citation Graph (, )][DBLP]
    
    
11. 
    Constructing and Reasoning About Security Protocols Using Invariants. [Citation Graph (, )][DBLP]