default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDArjan J. Mooij
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2024
[j8]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: 112028 (2024)- 2023
- [c29]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: 87-88 - 2022
- [j7]Arjan J. Mooij:
Static type checking without downcast operator. Inf. Process. Lett. 178: 106285 (2022) - 2021
- [c28]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 - 2020
- [c27]Arjan J. Mooij, Jeroen Ketema, Steven Klusener, Mathijs Schuts:
Reducing Code Complexity through Code Refactoring and Model-Based Rejuvenation. SANER 2020: 617-621
2010 – 2019
- 2018
- [c26]Steven Klusener, Arjan J. Mooij, Jeroen Ketema, Hans van Wezep:
Reducing Code Duplication by Identifying Fresh Domain Abstractions. ICSME 2018: 569-578 - [c25]Omar al Duhaiby, Arjan J. Mooij, Hans van Wezep, Jan Friso Groote:
Pitfalls in Applying Model Learning to Industrial Legacy Software. ISoLA (4) 2018: 121-138 - [c24]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: 552-556 - 2016
- [j6]Sarmen Keshishzadeh, Arjan J. Mooij:
Formalizing and testing the consistency of DSL transformations. Formal Aspects Comput. 28(2): 181-206 (2016) - [c23]Arjan J. Mooij, Mabel M. Joy, Gernot Eggen, P. Janson, Andrei Radulescu:
Industrial Software Rejuvenation Using Open-Source Parsers. ICMT 2016: 157-172 - [c22]Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman:
Industrial Experiences with a Formal DSL Semantics to Check the Correctness of DSL Artifacts. FESCA@ETAPS 2016: 16-30 - 2015
- [c21]Arjan J. Mooij, Gernot Eggen, Jozef Hooman, Hans van Wezep:
Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models. ICMT 2015: 66-81 - [i1]Sarmen Keshishzadeh, Arjan J. Mooij, Jozef Hooman:
Industrial Experiences with a Formal DSL Semantics to Check Correctness of DSL Transformations. CoRR abs/1511.08049 (2015) - 2014
- [c20]Sarmen Keshishzadeh, Arjan J. Mooij:
Formalizing DSL Semantics for Reasoning and Conformance Testing. SEFM 2014: 81-95 - 2013
- [j5]Arjan J. Mooij:
System integration by developing adapters using a database abstraction. Inf. Softw. Technol. 55(2): 357-364 (2013) - [c19]Arjan J. Mooij, Jozef Hooman, Rob Albers:
Gaining Industrial Confidence for the Introduction of Domain-Specific Languages. COMPSAC Workshops 2013: 662-667 - [c18]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: 276-287 - [c17]Arjan J. Mooij, Jozef Hooman, Rob Albers:
Early Fault Detection Using Design Models for Collision Prevention in Medical Equipment. FHIES 2013: 170-187 - [c16]Sarmen Keshishzadeh, Arjan J. Mooij, Mohammad Reza Mousavi:
Early Fault Detection in DSLs Using SMT Solving and Automated Debugging. SEFM 2013: 182-196 - [p2]Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst:
Analyzing Vessel Behavior Using Process Mining. Situation Awareness with Systems of Systems 2013: 133-148 - [p1]Arjan J. Mooij, Marc Voorhoeve:
Specification and Generation of Adapters for System Integration. Situation Awareness with Systems of Systems 2013: 173-187 - 2012
- [j4]Christian Gierds, Arjan J. Mooij, Karsten Wolf:
Reducing Adapter Synthesis to Controller Synthesis. IEEE Trans. Serv. Comput. 5(1): 72-85 (2012) - [c15]Jozef Hooman, Arjan J. Mooij, Hans van Wezep:
Early Fault Detection in Industry Using Models at Various Abstraction Levels. IFM 2012: 268-282 - 2011
- [c14]Fabrizio Maria Maggi, Arjan J. Mooij, Wil M. P. van der Aalst:
User-guided discovery of declarative process models. CIDM 2011: 192-199 - 2010
- [j3]Arjan J. Mooij:
Invariant-based reasoning about parameterized security protocols. Formal Aspects Comput. 22(1): 63-81 (2010) - [j2]Arjan J. Mooij, Christian Stahl, Marc Voorhoeve:
Relating fair testing and accordance for service replaceability. J. Log. Algebraic Methods Program. 79(3-5): 233-244 (2010) - [c13]Arjan J. Mooij, Jarungjit Parnjai, Christian Stahl, Marc Voorhoeve:
Constructing Replaceable Services Using Operating Guidelines and Maximal Controllers. WS-FM 2010: 116-130 - [c12]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: 131-145
2000 – 2009
- 2009
- [c11]Arjan J. Mooij, Marc Voorhoeve:
Trading Off Concurrency to Generate Behavioral Adapters. ACSD 2009: 109-118 - [c10]Wil M. P. van der Aalst, Arjan J. Mooij, Christian Stahl, Karsten Wolf:
Service Interaction: Patterns, Formalization, and Analysis. SFM 2009: 42-88 - 2008
- [j1]Brijesh Dongol, Arjan J. Mooij:
Streamlining progress-based derivations of concurrent programs. Formal Aspects Comput. 20(2): 141-160 (2008) - [c9]Arjan J. Mooij, Marc Voorhoeve:
Proof Techniques for Adapter Generation. WS-FM 2008: 207-223 - 2007
- [c8]Judi Romijn, Wieger Wesselink, Arjan J. Mooij:
Assertion-Based Proof Checking of Chang-Roberts Leader Election in PVS. ATVA 2007: 347-361 - [c7]Arjan J. Mooij:
Calculating and Composing Progress Properties in Terms of the Leads-to Relation. ICFEM 2007: 366-386 - [c6]Arjan J. Mooij:
Constructing and Reasoning About Security Protocols Using Invariants. REFINE@IFM 2007: 99-126 - 2006
- [c5]Arjan J. Mooij, Judi Romijn, Wieger Wesselink:
Realizability Criteria for Compositional MSC. AMAST 2006: 248-262 - [c4]Brijesh Dongol, Arjan J. Mooij:
Progress in Deriving Concurrent Programs: Emphasizing the Role of Stable Guards. MPC 2006: 140-161 - 2005
- [c3]Arjan J. Mooij, Nicolae Goga, Judi Romijn:
Non-local Choice and Beyond: Intricacies of MSC Choice Nodes. FASE 2005: 273-288 - [c2]Arjan J. Mooij, Wieger Wesselink:
Incremental Verification of Owicki/Gries Proof Outlines Using PVS. ICFEM 2005: 390-404 - 2004
- [c1]Arjan J. Mooij, Nicolae Goga:
Dealing with Non-local Choice in IEEE 1073.2's Standard for Remote Control. SAM 2004: 257-270
Coauthor Index
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from 
to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the 
of the Internet Archive (if available).
Privacy notice: By enabling the option above, your browser will contact the API of archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from 
, 
, and 
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from 
.
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2024-06-10 20:32 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
