Concepedia

Arjan J. Mooij

AJ

9

Publications

309

Citations

9

H-Index

2003

Active since

Affiliations

Eindhoven University of Technology(Current)

Philips (Netherlands)

Arjan J. Mooij is an author at Eindhoven University of Technology specializing in engineering, formal methods, and computer science.

Top concepts

EngineeringFormal MethodsComputer ScienceVerificationSystem SoftwareFormal VerificationSystems EngineeringAutomationSoftware DesignProgram Analysis

Publications per year

2003–2020

9

Publications

9

User-guided discovery of declarative process models

Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst · 2011 · 157 citations · Full text

Reducing Adapter Synthesis to Controller Synthesis

Christian Gierds, Arjan J. Mooij, Karsten Wolf · IEEE Transactions on Services Computing · 2010 · 57 citations

Engineering, Behavioral Adapters, Software Engineering +17

Relating fair testing and accordance for service replaceability

Arjan J. Mooij, Christian Stahl, Marc Voorhoeve · The Journal of Logic and Algebraic Programming · 2010 · 18 citations · Full text

Total Quality Management, Software Maintenance, Reliability +9

Gaining Industrial Confidence for the Introduction of Domain-Specific Languages

Arjan J. Mooij, Jozef Hooman, Rob Albers · 2013 · 17 citations · Full text

Engineering, Software Engineering, Software Analysis +26

A distributed spanning tree algorithm for topology-aware networks

Arjan J. Mooij, Nicolae Goga, J.W. Wesselink · Data Archiving and Networked Services (DANS) · 2003 · 15 citations · Full text

Rows per page

1–5 of 9