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 × France
1 × Germany
1 × New Zealand
4 × USA
Collaborated with:
T.Mészáros D.Balasubramanian E.K.Jackson L.Lengyel A.Narayanan G.Karsai M.Asztalos G.Mezei G.Simko D.Lindecker S.Neema J.Sztipanovits
Talks about:
model (4) transform (3) metamodel (3) automat (3) formal (3) specif (2) reason (2) evolut (2) autom (2) about (2)

♂ Person: Tihamer Levendovszky

DBLP DBLP: Levendovszky:Tihamer

Facilitated 9 volumes:

ICMT 2015PrCo
ICMT 2014PrCo
MoDELS 2014PracticalTrackPrCo
MoDELS 2014PrCo
ICMT 2013PrCo
MoDELS 2013PracticalTrackPrCo
MoDELS 2013PrCo

Contributed to:

MoDELS 20132013
ICST 20122012
MoDELS 20112011
MODELS 20112015
ICST 20102010
HCI p2 20092009
MoDELS 20092009
SLE 20092009
AGTIVE 20072007

Wrote 9 papers:

MoDELS-2013-SimkoLLNS #component #composition #cyber-physical #integration #semantics #specification
Specification of Cyber-Physical Components with Formal Semantics — Integration and Composition (GS, DL, TL, SN, JS), pp. 471–487.
ICST-2012-MeszarosL #graph transformation
Verified Operational Patterns with Graph Transformation (TM, TL), pp. 954–961.
MoDELS-2011-JacksonLB #automation #metamodelling #proving #reasoning #specification
Reasoning about Metamodeling with Formal Specifications and Automatic Proofs (EKJ, TL, DB), pp. 653–667.
MoDELS-J-2011-JacksonLB15 #automation #metamodelling #reasoning
Automatically reasoning about metamodeling (EKJ, TL, DB), pp. 271–285.
ICST-2010-AsztalosLL #automation #model transformation #towards #verification
Towards Automated, Formal Verification of Model Transformations (MA, LL, TL), pp. 15–24.
HCI-NIMT-2009-LevendovszkyM #behaviour #domain-specific language #modelling #visual notation
Tooling the Dynamic Behavior Models of Graphical DSLs (TL, TM), pp. 830–839.
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.
AGTIVE-2007-LevendovszkyLMM #mobile #tool support
Introducing the VMTS Mobile Toolkit (TL, LL, GM, TM), pp. 587–592.

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.