Arjan J. Mooij

Publication Activity (10 Years)

Years Active: 2004-2024
Publications (10 Years): 11

Top Topics

Abstract Interpretation

Static Analysis

Legacy Software

Top Venues

Inf. Process. Lett.

Publications

Piërre van de Laar, Rosilde Corvino, Arjan J. Mooij, Hans van Wezep, Raymond Rosmalen
Custom static analysis to enhance insight into the usage of in-house libraries. J. Syst. Softw. 212 (2024)
Alexandr Vasenev, Johan Lukkien, Laura van Veen, Pieter Goosen, Richard Doornbos, Arjan J. Mooij
Obtaining Insights into the Interplay Between Systems and Software Engineering. MoDELS (Companion) (2023)
Arjan J. Mooij
Static type checking without downcast operator. Inf. Process. Lett. 178 (2022)
Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu
Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases. BENEVOL (2021)
Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts
Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. SANER (2020)
Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote
Pitfalls in Applying Model Learning to Industrial Legacy Software. ISoLA (4) (2018)
Steven Klusener, Arjan J. Mooij, Jeroen Ketema, Hans van Wezep
Reducing Code Duplication by Identifying Fresh Domain Abstractions. ICSME (2018)
Dennis Dams, Arjan J. Mooij, Pepijn Kramer, Andrei Radulescu, Jaromir Vanhara
Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code. SANER (2018)
Sarmen Keshishzadeh, Arjan J. Mooij
Formalizing and testing the consistency of DSL transformations. Formal Aspects Comput. 28 (2) (2016)
Arjan J. Mooij, Mabel M. Joy, Gernot Eggen, P. Janson, Andrei Radulescu
Industrial Software Rejuvenation Using Open-Source Parsers. ICMT (2016)
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. FESCA@ETAPS (2016)
Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep
Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models. ICMT (2015)
Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. CoRR (2015)
Sarmen Keshishzadeh, Arjan J. Mooij
Formalizing DSL Semantics for Reasoning and Conformance Testing. SEFM (2014)
Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort
Performance Evaluation for Collision Prevention Based on a Domain Specific Language. EPEW (2013)
Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. SEFM (2013)
Arjan J. Mooij, Jozef Hooman, Rob Albers
Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. COMPSAC Workshops (2013)
Arjan J. Mooij, Jozef Hooman, Rob Albers
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. FHIES (2013)
Arjan J. Mooij
System integration by developing adapters using a database abstraction. Inf. Softw. Technol. 55 (2) (2013)
Jozef Hooman, Arjan J. Mooij, Hans van Wezep
Early Fault Detection in Industry Using Models at Various Abstraction Levels. IFM (2012)
Christian Gierds, Arjan J. Mooij, Karsten Wolf
Reducing Adapter Synthesis to Controller Synthesis. IEEE Trans. Serv. Comput. 5 (1) (2012)
Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst
User-guided discovery of declarative process models. CIDM (2011)
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)
Arjan J. Mooij
Invariant-based reasoning about parameterized security protocols. Formal Aspects Comput. 22 (1) (2010)
Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. WS-FM (2010)
Arjan J. Mooij, Christian Stahl, Marc Voorhoeve
Relating fair testing and accordance for service replaceability. J. Log. Algebraic Methods Program. 79 (3-5) (2010)
Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf
Service Interaction: Patterns, Formalization, and Analysis. SFM (2009)
Arjan J. Mooij, Marc Voorhoeve
Trading Off Concurrency to Generate Behavioral Adapters. ACSD (2009)
Arjan J. Mooij, Marc Voorhoeve
Proof Techniques for Adapter Generation. WS-FM (2008)
Brijesh Dongol, Arjan J. Mooij
Streamlining progress-based derivations of concurrent programs. Formal Aspects Comput. 20 (2) (2008)
Arjan J. Mooij
Constructing and Reasoning About Security Protocols Using Invariants. Electron. Notes Theor. Comput. Sci. 201 (2008)
Arjan J. Mooij
Calculating and Composing Progress Properties in Terms of the Leads-to Relation. ICFEM (2007)
Judi Romijn, Wieger Wesselink, Arjan J. Mooij
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA (2007)
Arjan J. Mooij, Judi Romijn, Wieger Wesselink
Realizability Criteria for Compositional MSC. AMAST (2006)
Brijesh Dongol, Arjan J. Mooij
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. MPC (2006)
Arjan J. Mooij, Wieger Wesselink
Incremental Verification of Owicki/Gries Proof Outlines Using PVS. ICFEM (2005)
Arjan J. Mooij, Nicolae Goga, Judi Romijn
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. FASE (2005)
Arjan J. Mooij, Nicolae Goga
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. SAM (2004)