Arjan J. Mooij

	2012
18		Christian Gierds, Arjan J. Mooij, Karsten Wolf: Reducing Adapter Synthesis to Controller Synthesis. IEEE T. Services Computing 5(1): 72-85 (2012)
	2011
17		Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst: User-guided discovery of declarative process models. CIDM 2011: 192-199
	2010
16		Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve: Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. WS-FM 2010: 116-130
15		Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf: Soundness-Preserving Refinements of Service Compositions. WS-FM 2010: 131-145
14		Arjan J. Mooij: Invariant-based reasoning about parameterized security protocols. Formal Asp. Comput. 22(1): 63-81 (2010)
13		Arjan J. Mooij, Christian Stahl, Marc Voorhoeve: Relating fair testing and accordance for service replaceability. J. Log. Algebr. Program. 79(3-5): 233-244 (2010)
	2009
12		Arjan J. Mooij, Marc Voorhoeve: Trading Off Concurrency to Generate Behavioral Adapters. ACSD 2009: 109-118
11		Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf: Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88
	2008
10		Arjan J. Mooij, Marc Voorhoeve: Proof Techniques for Adapter Generation. WS-FM 2008: 207-223
9		Arjan J. Mooij: Constructing and Reasoning About Security Protocols Using Invariants. Electr. Notes Theor. Comput. Sci. 201: 99-126 (2008)
8		Brijesh Dongol, Arjan J. Mooij: Streamlining progress-based derivations of concurrent programs. Formal Asp. Comput. 20(2): 141-160 (2008)
	2007
7		Judi Romijn, Wieger Wesselink, Arjan J. Mooij: Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA 2007: 347-361
6		Arjan J. Mooij: Calculating and Composing Progress Properties in Terms of the Leads-to Relation. ICFEM 2007: 366-386
	2006
5		Arjan J. Mooij, Judi Romijn, Wieger Wesselink: Realizability Criteria for Compositional MSC. AMAST 2006: 248-262
4		Brijesh Dongol, Arjan J. Mooij: Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. MPC 2006: 140-161
	2005
3		Arjan J. Mooij, Nicolae Goga, Judi Romijn: Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. FASE 2005: 273-288
2		Arjan J. Mooij, Wieger Wesselink: Incremental Verification of Owicki/Gries Proof Outlines Using PVS. ICFEM 2005: 390-404
	2004
1		Arjan J. Mooij, Nicolae Goga: Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. SAM 2004: 257-270

Coauthor Index

1	Wil M. P. van der Aalst	[11] [17]
2	Brijesh Dongol	[4] [8]
3	Christian Gierds	[18]
4	Nicolae Goga	[1] [3]
5	Kees M. van Hee	[15]
6	Fabrizio Maria Maggi	[17]
7	Jarungjit Parnjai	[16]
8	Judi Romijn	[3] [5] [7]
9	Natalia Sidorova	[15]
10	Christian Stahl	[11] [13] [16]
11	Marc Voorhoeve	[10] [12] [13] [16]
12	Jan Martijn E. M. van der Werf	[15]
13	Wieger Wesselink	[2] [5] [7]
14	Karsten Wolf (Karsten Schmidt)	[11] [18]

Colors in the list of coauthors

Last update Mon Jun 4 20:40:43 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page