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: Bisztray:D=eacute=nes
Contributed to:
2010
20082008
2007
2007Wrote 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).