Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. - Arjan J. Mooij; Nicolae Goga (SAM, 2004)

Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. - Arjan J. Mooij; Nicolae Goga; Judi Romijn (FASE, 2005)

Incremental Verification of Owicki/Gries Proof Outlines Using PVS. - Arjan J. Mooij; Wieger Wesselink (ICFEM, 2005)

Realizability Criteria for Compositional MSC. - Arjan J. Mooij; Judi Romijn; Wieger Wesselink (AMAST, 2006)

Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. - Brijesh Dongol; Arjan J. Mooij (MPC, 2006)

Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. - Judi Romijn; Wieger Wesselink; Arjan J. Mooij (ATVA, 2007)

Calculating and Composing Progress Properties in Terms of the Leads-to Relation. - Arjan J. Mooij (ICFEM, 2007)

Constructing and Reasoning About Security Protocols Using Invariants. - Arjan J. Mooij (REFINE@IFM, 2007)

Proof Techniques for Adapter Generation. - Arjan J. Mooij; Marc Voorhoeve (WS-FM, 2008)

Streamlining progress-based derivations of concurrent programs. - Brijesh Dongol; Arjan J. Mooij (Formal Aspects Comput., 2008)

Trading Off Concurrency to Generate Behavioral Adapters. - Arjan J. Mooij; Marc Voorhoeve (ACSD, 2009)

Service Interaction: Patterns, Formalization, and Analysis. - Wil M. P. van der Aalst; Arjan J. Mooij; Christian Stahl; Karsten Wolf (SFM, 2009)

Soundness-Preserving Refinements of Service Compositions. - Kees M. van Hee; Arjan J. Mooij; Natalia Sidorova; Jan Martijn E. M. van der Werf (WS-FM, 2010)

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. - Arjan J. Mooij; Jarungjit Parnjai; Christian Stahl; Marc Voorhoeve (WS-FM, 2010)

Invariant-based reasoning about parameterized security protocols. - Arjan J. Mooij (Formal Aspects Comput., 2010)

Relating fair testing and accordance for service replaceability. - Arjan J. Mooij; Christian Stahl; Marc Voorhoeve (J. Log. Algebraic Methods Program., 2010)

User-guided discovery of declarative process models. - Fabrizio Maria Maggi; Arjan J. Mooij; Wil M. P. van der Aalst (CIDM, 2011)

Early Fault Detection in Industry Using Models at Various Abstraction Levels. - Jozef Hooman; Arjan J. Mooij; Hans van Wezep (IFM, 2012)

Reducing Adapter Synthesis to Controller Synthesis. - Christian Gierds; Arjan J. Mooij; Karsten Wolf (IEEE Trans. Serv. Comput., 2012)

Analyzing Vessel Behavior Using Process Mining. - Fabrizio Maria Maggi; Arjan J. Mooij; Wil M. P. van der Aalst (Situation Awareness with Systems of Systems, 2013)

Specification and Generation of Adapters for System Integration. - Arjan J. Mooij; Marc Voorhoeve (Situation Awareness with Systems of Systems, 2013)

Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. - Arjan J. Mooij; Jozef Hooman; Rob Albers (COMPSAC Workshops, 2013)

Performance Evaluation for Collision Prevention Based on a Domain Specific Language. - Freek van den Berg; Anne Remke; Arjan J. Mooij; Boudewijn R. Haverkort (EPEW, 2013)

Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. - Arjan J. Mooij; Jozef Hooman; Rob Albers (FHIES, 2013)

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. - Sarmen Keshishzadeh; Arjan J. Mooij; Mohammad Reza Mousavi 001 (SEFM, 2013)

System integration by developing adapters using a database abstraction. - Arjan J. Mooij (Inf. Softw. Technol., 2013)

Formalizing DSL Semantics for Reasoning and Conformance Testing. - Sarmen Keshishzadeh; Arjan J. Mooij (SEFM, 2014)

Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models. - Arjan J. Mooij; Gernot Eggen; Jozef Hooman; Hans van Wezep (ICMT, 2015)

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. - Sarmen Keshishzadeh; Arjan J. Mooij; Jozef Hooman (CoRR, 2015)

Industrial Software Rejuvenation Using Open-Source Parsers. - Arjan J. Mooij; Mabel M. Joy; Gernot Eggen; P. Janson; Andrei Radulescu (ICMT, 2016)

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. - Sarmen Keshishzadeh; Arjan J. Mooij; Jozef Hooman (FESCA@ETAPS, 2016)

Formalizing and testing the consistency of DSL transformations. - Sarmen Keshishzadeh; Arjan J. Mooij (Formal Aspects Comput., 2016)

Reducing Code Duplication by Identifying Fresh Domain Abstractions. - Steven Klusener; Arjan J. Mooij; Jeroen Ketema; Hans van Wezep (ICSME, 2018)

Pitfalls in Applying Model Learning to Industrial Legacy Software. - Omar al Duhaiby; Arjan J. Mooij; Hans van Wezep; Jan Friso Groote (ISoLA (4), 2018)

Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code. - Dennis Dams; Arjan J. Mooij; Pepijn Kramer; Andrei Radulescu; Jaromir Vanhara (SANER, 2018)

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. - Arjan J. Mooij; Jeroen Ketema; Steven Klusener; Mathijs Schuts (SANER, 2020)

Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases. - Dennis Dams; Jeroen Ketema; Pepijn Kramer; Arjan J. Mooij; Andrei Radulescu (BENEVOL, 2021)

Static type checking without downcast operator. - Arjan J. Mooij (Inf. Process. Lett., 2022)

Obtaining Insights into the Interplay Between Systems and Software Engineering. - Alexandr Vasenev; Johan Lukkien; Laura van Veen; Pieter Goosen; Richard Doornbos; Arjan J. Mooij (MoDELS (Companion), 2023)

AST Matching based on Concrete Syntax Patterns: Exploration of the Specification Challenges. - Arjan J. Mooij; Piërre van de Laar (BENEVOL, 2024)

Custom static analysis to enhance insight into the usage of in-house libraries. - Piërre van de Laar; Rosilde Corvino; Arjan J. Mooij; Hans van Wezep; Raymond Rosmalen (J. Syst. Softw., 2024)

Language-Parametric Reference Synthesis. - Daniël A. A. Pelsmaeker; Aron Zwaan; Casper Bach Poulsen; Arjan J. Mooij (Proc. ACM Program. Lang., 2025)

Language-Parametric Reference Synthesis (Extended). - Daniël A. A. Pelsmaeker; Aron Zwaan; Casper Bach Poulsen; Arjan J. Mooij (CoRR, 2025)