BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Germany
1 × Hungary
1 × The Netherlands
1 × United Kingdom
Collaborated with:
R.Heckel H.Ehrig A.Boronat R.Geiß O.Kniemeyer D.Varró M.Asztalos D.Dang J.Greenyer P.V.Gorp A.Narayanan E.Rencis E.Weinell G.Täntzer E.Biermann B.Bohnet I.Boneva L.Geiger Á.Horváth T.Mens B.Ness D.Plump T.Vajk
Talks about:
transform (4) verif (3) tool (3) rule (3) architectur (2) refactor (2) extract (2) studi (2) graph (2) case (2)

Person: Dénes Bisztray

DBLP DBLP: Bisztray:D=eacute=nes

Contributed to:

ICGT 20102010
FASE 20082008
ICGT 20082008
AGTIVE 20072007
GT-VMT 20072007

Wrote 6 papers:

ICGT-2010-BisztrayH #termination
Combining Termination Criteria by Isolating Deletion (DB, RH), pp. 203–217.
FASE-2008-BisztrayHE #architecture #refactoring #verification
Verification of Architectural Refactorings by Rule Extraction (DB, RH, HE), pp. 347–361.
ICGT-2008-Bisztray #architecture #refactoring #tool support #verification
Verification of Architectural Refactorings: Rule Extraction and Tool Support (DB), pp. 475–477.
AGTIVE-2007-TaentzerBBBBBGGHKMNPV #case study #generative #graph transformation #tool support
Generation of Sierpinski Triangles: A Case Study for Graph Transformation Tools (GT, EB, DB, BB, IB, AB, LG, RG, ÁH, OK, TM, BN, DP, TV), pp. 514–539.
AGTIVE-2007-VarroABBDGGGKNRW #case study #csp #graph transformation #modelling #tool support #uml
Transformation of UML Models to CSP: A Case Study for Graph Transformation Tools (DV, MA, DB, AB, DHD, RG, JG, PVG, OK, AN, ER, EW), pp. 540–565.
GT-VMT-2007-BisztrayH #csp #process #using #verification
Rule-Level Verification of Business Process Transformations using CSP (DB, RH).

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.