Travelled to:1 × Austria
1 × France
1 × Spain
1 × United Kingdom
3 × Italy
Collaborated with:S.Keshishzadeh J.Hooman H.v.Wezep G.Eggen M.R.Mousavi N.Goga J.Romijn W.M.P.v.d.Aalst C.Stahl K.Wolf M.M.Joy P.Janson A.Radulescu
Talks about:use (4) industri (3) softwar (2) rejuven (2) formal (2) detect (2) model (2) fault (2) earli (2) choic (2)
Person: Arjan J. Mooij
DBLP: Mooij:Arjan_J=
Contributed to:
20142013
2012
2009
2005
20152016Wrote 7 papers:
- SEFM-2014-KeshishzadehM #consistency #domain-specific language #formal method #reasoning #semantics #testing
- Formalizing DSL Semantics for Reasoning and Conformance Testing (SK, AJM), pp. 81–95.
- SEFM-2013-KeshishzadehMM #automation #debugging #detection #domain-specific language #fault #smt #using
- Early Fault Detection in DSLs Using SMT Solving and Automated Debugging (SK, AJM, MRM), pp. 182–196.
- IFM-2012-HoomanMW #abstraction #detection #fault #industrial #modelling #using
- Early Fault Detection in Industry Using Models at Various Abstraction Levels (JH, AJM, HvW), pp. 268–282.
- SFM-2009-AalstMSW #analysis #formal method #interactive
- Service Interaction: Patterns, Formalization, and Analysis (WMPvdA, AJM, CS, KW), pp. 42–88.
- FASE-2005-MooijGR
- Non-local Choice and Beyond: Intricacies of MSC Choice Nodes (AJM, NG, JR), pp. 273–288.
- ICMT-2015-MooijEHW #effectiveness #industrial #modelling #using
- Cost-Effective Industrial Software Rejuvenation Using Domain-Specific Models (AJM, GE, JH, HvW), pp. 66–81.
- ICMT-2016-MooijJEJR #industrial #open source #parsing #using
- Industrial Software Rejuvenation Using Open-Source Parsers (AJM, MMJ, GE, PJ, AR), pp. 157–172.