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 × Canada
1 × Cyprus
1 × Germany
1 × Italy
1 × Norway
1 × Portugal
6 × USA
Collaborated with:
A.Narayanan D.Balasubramanian J.Sztipanovits T.Saxena T.Levendovszky A.Agrawal C.S.Pasareanu M.R.Lowry S.Neema F.Shi R.Thibodeaux A.Kavimandan A.S.Gokhale J.Gray E.K.Jackson W.Schulte M.W.Whalen A.Misra M.Moore Á.Lédeczi B.Ness
Talks about:
model (10) transform (8) system (3) architectur (2) statechart (2) polyglot (2) approach (2) program (2) multipl (2) generat (2)

♂ Person: Gabor Karsai

DBLP DBLP: Karsai:Gabor

Facilitated 7 volumes:

MoDELS 2013PrCo
ICMT 2012PrCo
MoDELS 2012PrCo
MoDELS 2011PrCo
ICMT 2008PrCo
GPCE 2004Ed

Contributed to:

TACAS 20132013
ISSTA 20112011
QoSA/ISARCS 20112011
FASE 20102010
MoDELS (1) 20102010
MoDELS 20092009
SLE 20092009
GT-VMT 20082008
AGTIVE 20072007
GT-VMT 20072007
GT-VMT 20062008
AGTIVE 20032003
GPCE 20022002
PPDP 20022002
ICEIS 19991999

Wrote 15 papers:

TACAS-2013-BalasubramanianPKL #analysis #multi #named #statechart
Polyglot: Systematic Analysis for Multiple Statechart Formalisms (DB, CSP, GK, MRL), pp. 523–529.
ISSTA-2011-BalasubramanianPWKL #analysis #modelling #multi #named #statechart
Polyglot: modeling and analysis for multiple Statechart formalisms (DB, CSP, MWW, GK, MRL), pp. 45–55.
QoSA-ISARCS-2011-KavimandanGKG #architecture #model transformation #product line #quality #reuse
Managing the quality of software product line architectures through reusable model transformations (AK, ASG, GK, JG), pp. 13–22.
FASE-2010-JacksonSBK #model transformation #reuse
Reusing Model Transformations While Preserving Properties (EKJ, WS, DB, GK), pp. 44–58.
MoDELS-v1-2010-SaxenaK #approach #design
MDE-Based Approach for Generalizing Design Space Exploration (TS, GK), pp. 46–60.
MoDELS-2009-NarayananLBK #automation #domain model #evolution #metamodelling #migration
Automatic Domain Model Migration to Manage Metamodel Evolution (AN, TL, DB, GK), pp. 706–711.
SLE-2009-LevendovszkyBNK #approach #automation #domain-specific language #evolution #model transformation #novel
A Novel Approach to Semi-automated Evolution of DSML Model Transformation (TL, DB, AN, GK), pp. 23–41.
GT-VMT-2008-NarayananK #model transformation #verification
Verifying Model Transformations by Structural Correspondence (AN, GK).
AGTIVE-2007-BalasubramanianNNNSTK #model transformation
Applying a Grouping Operator in Model Transformations (DB, AN, SN, BN, FS, RT, GK), pp. 410–425.
GT-VMT-2007-BalasubramanianNNSTK #graph transformation #model transformation #transformation language
A Subgraph Operator for Graph Transformation Languages (DB, AN, SN, FS, RT, GK).
GT-VMT-2006-NarayananK08 #model transformation #towards #verification
Towards Verifying Model Transformations (AN, GK), pp. 191–200.
AGTIVE-2003-KarsaiA #architecture #graph transformation #modelling
Graph Transformations in OMG’s Model-Driven Architecture: (GK, AA), pp. 243–259.
GPCE-2002-SztipanovitsK #embedded #generative #programming
Generative Programming for Embedded Systems (JS, GK), pp. 32–49.
PPDP-2002-SztipanovitsK #embedded #generative #programming
Generative programming for embedded systems (JS, GK), p. 180.
ICEIS-1999-MisraSKML #enterprise #information management #integration #scalability #using
Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing (AM, JS, GK, MM, ÁL), pp. 485–492.
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.