The SCEAS System
Navigation Menu

Search the dblp DataBase


Arjan J. Mooij: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]

Search in 0.003secs, Finished in 0.004secs
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
System created by [] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002