| 2023 | MODELS | Obtaining Insights into the Interplay Between Systems and Software Engineering. | Alexandr Vasenev, Johan Lukkien, Laura van Veen, Pieter Goosen, Richard Doornbos, Arjan J. Mooij |
| 2018 | ISoLA | Pitfalls in Applying Model Learning to Industrial Legacy Software. | Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote |
| 2014 | SEFM | Formalizing DSL Semantics for Reasoning and Conformance Testing. | Sarmen Keshishzadeh, Arjan J. Mooij |
| 2013 | COMPSAC | Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. | Arjan J. Mooij, Jozef Hooman, Rob Albers |
| 2013 | SEFM | Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. | Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi |
| 2012 | IFM | Early Fault Detection in Industry Using Models at Various Abstraction Levels. | Jozef Hooman, Arjan J. Mooij, Hans van Wezep |
| 2011 | CIDM | User-guided discovery of declarative process models. | Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst |
| 2007 | ATVA | Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. | Judi Romijn, Wieger Wesselink, Arjan J. Mooij |
| 2007 | ICFEM | Calculating and Composing Progress Properties in Terms of the Leads-to Relation. | Arjan J. Mooij |
| 2006 | MPC | Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. | Brijesh Dongol, Arjan J. Mooij |
| 2005 | FASE | Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. | Arjan J. Mooij, Nicolae Goga, Judi Romijn |
| 2005 | ICFEM | Incremental Verification of Owicki/Gries Proof Outlines Using PVS. | Arjan J. Mooij, Wieger Wesselink |