Arjan J. Mooij

43 papers A 3B 6C 3Journal 11Unranked 18

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