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 × Cyprus
1 × Germany
2 × New Zealand
5 × USA
Collaborated with:
W.Schulte D.Balasubramanian J.Sztipanovits N.Bjørner T.Levendovszky G.Karsai K.Chen S.Abdelwahed T.Bapty S.Neema X.D.Koutsoukos A.Desai V.Gupta S.Qadeer S.K.Rajamani D.Zufferey
Talks about:
model (5) specif (4) languag (3) reason (3) transform (2) metamodel (2) automat (2) system (2) semant (2) domain (2)

♂ Person: Ethan K. Jackson

DBLP DBLP: Jackson:Ethan_K=

Facilitated 2 volumes:

MoDELS 2013StudentResearchCompetitionCh

Contributed to:

DAC 20152015
ICLP 20142014
HILT 20132013
PLDI 20132013
MoDELS 20122012
ICLP 20112011
MoDELS 20112011
MODELS 20112015
FASE 20102010
ASE 20092009
MoDELS 20072007
ECMDA-FA 20052005

Wrote 13 papers:

DAC-2015-SztipanovitsBNK #cyber-physical #design #lessons learnt
Design tool chain for cyber-physical systems: lessons learned (JS, TB, SN, XDK, EKJ), p. 6.
ICLP-J-2014-Jackson #domain-specific language
A Module System for Domain-Specific Languages (EKJ), pp. 771–785.
HILT-2013-Jackson #domain-specific language
Engineering domain-specific languages with formula 2.0 (EKJ), pp. 3–4.
PLDI-2013-DesaiGJQRZ #named #programming
P: safe asynchronous event-driven programming (AD, VG, EKJ, SQ, SKR, DZ), pp. 321–332.
MoDELS-2012-JacksonSB #constraints #declarative #detection #fault #specification
Detecting Specification Errors in Declarative Languages with Constraints (EKJ, WS, NB), pp. 399–414.
ICLP-2011-JacksonBS #canonical
Canonical Regular Types (EKJ, NB, WS), pp. 73–83.
MoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MoDELS-2011-SchulteJ #development #modelling
Finding Models in Model-Based Development — (WS, EKJ), p. 591.
MoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
FASE-2010-JacksonSBK #model transformation #reuse
Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.
ASE-2009-BalasubramanianJ #semantics
Lost in Translation: Forgetful Semantic Anchoring (DB, EKJ), pp. 645–649.
MoDELS-2007-JacksonS #reasoning
Constructive Techniques for Meta- and Model-Level Reasoning (EKJ, JS), pp. 405–419.
ECMDA-FA-2005-0003SAJ #model transformation #semantics
Semantic Anchoring with Model Transformations (KC, JS, SA, EKJ), pp. 115–129.

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.