A. Mooij

Most-cited papers

User-guided discovery of declarative process models
F. Maggi, A. Mooij, Wil M.P. van der Aalst
2011IEEE Symposium on Computational Intelligence and Data Mining200 citations Open access
Semantic Scholar
Service Interaction: Patterns, Formalization, and Analysis
Wil M.P. van der Aalst, A. Mooij, C. Stahl, K. Wolf
2009International School on Formal Methods for the Design of Computer, Communication and Software Systems121 citations
Semantic Scholar
Reducing Adapter Synthesis to Controller Synthesis
Christian Gierds, A. Mooij, K. Wolf
2012IEEE Transactions on Services Computing76 citations
Semantic Scholar
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes
A. Mooij, N. Goga, J. Romijn
2005Fundamental Approaches to Software Engineering31 citations Open access
Semantic Scholar
Specifying and generating behavioral service adapters based on transformation rules
Christian Gierds, A. Mooij, K. Wolf
200828 citations
Semantic Scholar
Analyzing Vessel Behavior Using Process Mining
F. Maggi, A. Mooij, Wil M.P. van der Aalst
2013Situation Awareness with Systems of Systems27 citations
Semantic Scholar
A distributed spanning tree algorithm for topology-aware networks
A. Mooij, N. Goga, J. Wesselink
200322 citations
Semantic Scholar
Relating fair testing and accordance for service replaceability
A. Mooij, C. Stahl, M. Voorhoeve
2010J. Log. Algebraic Methods Program.21 citations Open access
Semantic Scholar
Gaining Industrial Confidence for the Introduction of Domain-Specific Languages
A. Mooij, J. Hooman, R. Albers
20132013 IEEE 37th Annual Computer Software and Applications Conference Workshops19 citations Open access
Semantic Scholar
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers
A. Mooij, Jarungjit Parnjai, C. Stahl, M. Voorhoeve
2010Web Services and Formal Methods19 citations
Semantic Scholar
Proof Techniques for Adapter Generation
A. Mooij, M. Voorhoeve
2009Web Services and Formal Methods18 citations
Semantic Scholar
Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation
A. Mooij, J. Ketema, Steven Klusener, M. Schuts
2020IEEE International Conference on Software Analysis, Evolution, and Reengineering14 citations
Semantic Scholar
Soundness-Preserving Refinements of Service Compositions
K. V. van Hee, A. Mooij, N. Sidorova, J. V. D. van der Werf
2010Web Services and Formal Methods14 citations Open access
Semantic Scholar
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards
Brijesh Dongol, A. Mooij
2006International Conference on Mathematics of Program Construction14 citations Open access
Semantic Scholar
Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models
A. Mooij, Gernot Eggen, J. Hooman, Hans van Wezep
2015International Conference on Model Transformation13 citations
Semantic Scholar
Early Fault Detection in Industry Using Models at Various Abstraction Levels
J. Hooman, A. Mooij, Hans van Wezep
2012International Conference on Integrated Formal Methods13 citations
Semantic Scholar
Realizability Criteria for Compositional MSC
A. Mooij, J. Romijn, W. Wesselink
2006International Conference on Algebraic Methodology and Software Technology13 citations Open access
Semantic Scholar
A formal analysis of a dynamic distributed spanning tree algorithm
A. Mooij, J. Wesselink
200313 citations
Semantic Scholar
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging
S. Keshishzadeh, A. Mooij, M. Mousavi
2013IEEE International Conference on Software Engineering and Formal Methods12 citations Open access
Semantic Scholar
An analysis of medical device communication standard IEEE 1073.2
A. Mooij, N. Goga, J. Wesselink, D. Bošnački
200312 citations
Semantic Scholar
Performance Evaluation for Collision Prevention Based on a Domain Specific Language
Freek van den Berg, A. Remke, A. Mooij, B. Haverkort
2013European Performance Engineering Workshop11 citations
Semantic Scholar
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control
A. Mooij, N. Goga
2004International Conference on Security and Management10 citations Open access
Semantic Scholar
Pitfalls in Applying Model Learning to Industrial Legacy Software
Omar al Duhaiby, A. Mooij, Hans van Wezep, J. F. Groote
2018Leveraging Applications of Formal Methods9 citations
Semantic Scholar
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment
A. Mooij, J. Hooman, R. Albers
2013International Symposium on Foundations of Health Informatics Engineering and Systems9 citations
Semantic Scholar
Model-based software restructuring: Lessons from cleaning up COM interfaces in industrial legacy code
D. Dams, A. Mooij, Pepijn Kramer, A. Radulescu +1 more
2018IEEE International Conference on Software Analysis, Evolution, and Reengineering8 citations
Semantic Scholar
Industrial Software Rejuvenation Using Open-Source Parsers
A. Mooij, Mabel M. Joy, Gernot Eggen, P. Janson +1 more
2016International Conference on Model Transformation8 citations
Semantic Scholar
Incremental Verification of Owicki/Gries Proof Outlines Using PVS
A. Mooij, W. Wesselink
2005IEEE International Conference on Formal Engineering Methods8 citations Open access
Semantic Scholar
Trading Off Concurrency to Generate Behavioral Adapters
A. Mooij, M. Voorhoeve
20092009 Ninth International Conference on Application of Concurrency to System Design7 citations
Semantic Scholar
Formal derivations of non-blocking multiprograms
A. Mooij
20027 citations
Semantic Scholar
Custom static analysis to enhance insight into the usage of in-house libraries
P. van de Laar, Rosilde Corvino, A. Mooij, Hans van Wezep +1 more
2024Journal of Systems and Software5 citations Open access
Semantic Scholar
Reducing Code Duplication by Identifying Fresh Domain Abstractions
Steven Klusener, A. Mooij, J. Ketema, Hans van Wezep
2018IEEE International Conference on Software Maintenance and Evolution5 citations
Semantic Scholar
Formalizing and testing the consistency of DSL transformations
S. Keshishzadeh, A. Mooij
2016Formal Aspects of Computing5 citations Open access
Semantic Scholar
Formalizing DSL Semantics for Reasoning and Conformance Testing
S. Keshishzadeh, A. Mooij
2014IEEE International Conference on Software Engineering and Formal Methods5 citations
Semantic Scholar
Specification and Generation of Adapters for System Integration
A. Mooij, M. Voorhoeve
2013Situation Awareness with Systems of Systems5 citations
Semantic Scholar
Constructing and Reasoning About Security Protocols Using Invariants
A. Mooij
2008REFINE@IFM4 citations Open access
Semantic Scholar
Formal methods impact on ANSI standard HL7/IM - filling gaps in MSC theory
W. Wesselink, N. Goga, A. Mooij, R. Spronk
2005Canadian Conference on Electrical and Computer Engineering4 citations
Semantic Scholar
Improving the quality of protocol standards
J. F. Groote, N. Goga, J. Wesselink, J. Romijn +1 more
20014 citations
Semantic Scholar
Developing and Applying Custom Static Analysis Tools for Industrial Multi-Language Code Bases
D. Dams, J. Ketema, Pepijn Kramer, A. Mooij +1 more
2021BElgian-NEtherlands software eVOLution symposium3 citations
Semantic Scholar
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations
S. Keshishzadeh, A. Mooij, J. Hooman
2015arXiv.org3 citations
Semantic Scholar
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS
J. Romijn, W. Wesselink, A. Mooij
2007Automated Technology for Verification and Analysis3 citations Open access
Semantic Scholar
AST Matching based on Concrete Syntax Patterns: Exploration of the Specification Challenges
A. Mooij, P. van de Laar
2024BElgian-NEtherlands software eVOLution symposium1 citations
Semantic Scholar
Obtaining Insights into the Interplay Between Systems and Software Engineering
Alexandr Vasenev, J. Lukkien, Laura van Veen, Pieter Goosen +2 more
20232023 ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)1 citations Open access
Semantic Scholar
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts
S. Keshishzadeh, A. Mooij, J. Hooman
2016FESCA@ETAPS1 citations Open access
Semantic Scholar
Analyzing vessel behavior using process mining (Chapter 9)
F. Maggi, A. Mooij, Wil M.P. van der Aalst
20131 citations
Semantic Scholar
System integration by developing adapters using a database abstraction
A. Mooij
2013Information and Software Technology1 citations
Semantic Scholar
Language-Parametric Reference Synthesis
Daniël A. A. Pelsmaeker, Aron Zwaan, Casper Bach, A. Mooij
2025Proc. ACM Program. Lang.0 citations Open access
Semantic Scholar
Static type checking without downcast operator
A. Mooij
2022Information Processing Letters0 citations Open access
Semantic Scholar
MRCOG Ortho Imagery
A. Mooij
20160 citations
Semantic Scholar
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of Generated DSL Artifacts∗
S. Keshishzadeh, A. Mooij, J. Hooman
20160 citations
Semantic Scholar
Invariant-based reasoning about parameterized security protocols
A. Mooij
2010Formal Aspects of Computing0 citations Open access
Semantic Scholar