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

Arjan J. Mooij Vis

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

*2009
11EEWil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
2008
10EEArjan J. Mooij, Marc Voorhoeve: Proof Techniques for Adapter Generation. WS-FM 2008: 207-223
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)
2007
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
2006
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
2005
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
2004
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

1Wil M. P. van der Aalst [11]
2Brijesh Dongol [4] [8]
3Nicolae Goga [1] [3]
4Judi Romijn [3] [5] [7]
5Christian Stahl [11]
6Marc Voorhoeve [10]
7Wieger Wesselink [2] [5] [7]
8Karsten Wolf (Karsten Schmidt) [11]

Colors in the list of coauthors

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