BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Mooij:Arjan_J=

Contributed to:

SEFM 20142014
SEFM 20132013
IFM 20122012
SFM 20092009
FASE 20052005
ICMT 20152015
ICMT 20162016

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.