Arjan J. Mooij

According to our database, Arjan J. Mooij authored at least 40 papers between 2004 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

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

2023

Obtaining Insights into the Interplay Between Systems and Software Engineering.

Alexandr Vasenev, Johan Lukkien, Laura van Veen, Pieter Goosen, Richard Doornbos, Arjan J. Mooij

Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

2022

Static type checking without downcast operator.

Arjan J. Mooij

Inf. Process. Lett., 2022

2021

Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases.

Dennis Dams, Jeroen Ketema, Pepijn Kramer, Arjan J. Mooij, Andrei Radulescu

Proceedings of the 20th Belgium-Netherlands Software Evolution Workshop, 2021

2020

Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation.

Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts

Proceedings of the 27th IEEE International Conference on Software Analysis, 2020

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

Proceedings of the 25th International Conference on Software Analysis, 2018

Pitfalls in Applying Model Learning to Industrial Legacy Software.

Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

Reducing Code Duplication by Identifying Fresh Domain Abstractions.

Steven Klusener, Arjan J. Mooij, Jeroen Ketema, Hans van Wezep

Proceedings of the 2018 IEEE International Conference on Software Maintenance and Evolution, 2018

2016

Formalizing and testing the consistency of DSL transformations.

Sarmen Keshishzadeh, Arjan J. Mooij

Formal Aspects Comput., 2016

Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts.

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

Proceedings of the 13th International Workshop on Formal Engineering Approaches to Software Components and Architectures, 2016

Industrial Software Rejuvenation Using Open-Source Parsers.

Arjan J. Mooij, Mabel M. Joy, Gernot Eggen, P. Janson, Andrei Radulescu

Proceedings of the Theory and Practice of Model Transformations, 2016

2015

Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations.

Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman

CoRR, 2015

Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models.

Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep

Proceedings of the Theory and Practice of Model Transformations, 2015

2014

Formalizing DSL Semantics for Reasoning and Conformance Testing.

Sarmen Keshishzadeh, Arjan J. Mooij

Proceedings of the Software Engineering and Formal Methods - 12th International Conference, 2014

2013

System integration by developing adapters using a database abstraction.

Arjan J. Mooij

Inf. Softw. Technol., 2013

Early Fault Detection in DSLs Using SMT Solving and Automated Debugging.

Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi

Proceedings of the Software Engineering and Formal Methods - 11th International Conference, 2013

Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment.

Arjan J. Mooij, Jozef Hooman, Rob Albers

Proceedings of the Foundations of Health Information Engineering and Systems, 2013

Performance Evaluation for Collision Prevention Based on a Domain Specific Language.

Freek van den Berg, Anne Remke, Arjan J. Mooij, Boudewijn R. Haverkort

Proceedings of the Computer Performance Engineering - 10th European Workshop, 2013

Gaining Industrial Confidence for the Introduction of Domain-Specific Languages.

Arjan J. Mooij, Jozef Hooman, Rob Albers

Proceedings of the IEEE 37th Annual Computer Software and Applications Conference, 2013

Specification and Generation of Adapters for System Integration.

Arjan J. Mooij, Marc Voorhoeve

Proceedings of the Situation Awareness with Systems of Systems, 2013

Analyzing Vessel Behavior Using Process Mining.

Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst

Proceedings of the Situation Awareness with Systems of Systems, 2013

2012

Reducing Adapter Synthesis to Controller Synthesis.

Christian Gierds, Arjan J. Mooij, Karsten Wolf

IEEE Trans. Serv. Comput., 2012

Early Fault Detection in Industry Using Models at Various Abstraction Levels.

Jozef Hooman, Arjan J. Mooij, Hans van Wezep

Proceedings of the Integrated Formal Methods - 9th International Conference, 2012

2011

User-guided discovery of declarative process models.

Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst

Proceedings of the IEEE Symposium on Computational Intelligence and Data Mining, 2011

2010

Relating fair testing and accordance for service replaceability.

Arjan J. Mooij, Christian Stahl, Marc Voorhoeve

J. Log. Algebraic Methods Program., 2010

Invariant-based reasoning about parameterized security protocols.

Arjan J. Mooij

Formal Aspects Comput., 2010

Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers.

Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

Soundness-Preserving Refinements of Service Compositions.

Kees M. van Hee, Arjan J. Mooij, Natalia Sidorova, Jan Martijn E. M. van der Werf

Proceedings of the Web Services and Formal Methods - 7th International Workshop, 2010

2009

Service Interaction: Patterns, Formalization, and Analysis.

Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf

Proceedings of the Formal Methods for Web Services, 2009

Trading Off Concurrency to Generate Behavioral Adapters.

Arjan J. Mooij, Marc Voorhoeve

Proceedings of the Ninth International Conference on Application of Concurrency to System Design, 2009

2008

Streamlining progress-based derivations of concurrent programs.

Brijesh Dongol, Arjan J. Mooij

Formal Aspects Comput., 2008

Proof Techniques for Adapter Generation.

Arjan J. Mooij, Marc Voorhoeve

Proceedings of the Web Services and Formal Methods, 5th International Workshop, 2008

2007

Constructing and Reasoning About Security Protocols Using Invariants.

Arjan J. Mooij

Proceedings of the BCS-FACS Refinement Workshop, 2007

Calculating and Composing Progress Properties in Terms of the Leads-to Relation.

Arjan J. Mooij

Proceedings of the Formal Methods and Software Engineering, 2007

Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS.

Judi Romijn, Wieger Wesselink, Arjan J. Mooij

Proceedings of the Automated Technology for Verification and Analysis, 2007

2006

Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards.

Brijesh Dongol, Arjan J. Mooij

Proceedings of the Mathematics of Program Construction, 8th International Conference, 2006

Realizability Criteria for Compositional MSC.

Arjan J. Mooij, Judi Romijn, Wieger Wesselink

Proceedings of the Algebraic Methodology and Software Technology, 2006

2005

Incremental Verification of Owicki/Gries Proof Outlines Using PVS.

Arjan J. Mooij, Wieger Wesselink

Proceedings of the Formal Methods and Software Engineering, 2005

Non-local Choice and Beyond: Intricacies of MSC Choice Nodes.

Arjan J. Mooij, Nicolae Goga, Judi Romijn

Proceedings of the Fundamental Approaches to Software Engineering, 2005

2004

Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control.

Arjan J. Mooij, Nicolae Goga

Proceedings of the System Analysis and Modeling, 4th International SDL and MSC Workshop, 2004