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 × Belgium
1 × Brazil
1 × Canada
1 × Czech Republic
1 × Estonia
1 × Finland
1 × Hungary
1 × Korea
1 × Portugal
1 × The Netherlands
2 × Austria
2 × Denmark
2 × France
2 × Norway
2 × Spain
2 × Sweden
3 × Switzerland
4 × Germany
4 × United Kingdom
5 × Italy
6 × USA
Collaborated with:
I.Ráth Á.Horváth G.Bergmann O.Semeráth Z.Ujhelyi A.Pataricza Á.Hegedüs C.Debreceni R.Heckel A.Balogh G.Varró Á.Schmidt L.Baresi S.Thöne M.Búr Z.Balogh A.V.0001 I.Dávid T.Szabó G.Szárnyas A.Ökrös S.Varró-Gyapay H.Ehrig G.Täntzer L.Gönczy A.Darabos A.Rensink S.Gyapay K.Marussy M.Jukss C.Verbrugge H.Vangheluwe Z.Kovári Á.Salánki Á.H.0001 G.Szilágyi P.Torrini U.Prange B.Izsó D.Harmath K.Ehrig J.d.Lara G.Csertán G.Huszerl I.Majzik Z.Pap X.D.Carlos X.Mendialdua S.Trujillo H.Abdeen H.A.Sahraoui A.S.Nagy N.I.Csiszar G.Szoke L.Vidács R.Ferenc M.Asztalos D.Bisztray A.Boronat D.Dang R.Geiß J.Greenyer P.V.Gorp O.Kniemeyer A.Narayanan E.Rencis E.Weinell
Talks about:
model (54) transform (30) queri (15) graph (14) increment (10) pattern (9) emf (9) match (8) base (8) framework (6)

♂ Person: Dániel Varró

DBLP DBLP: Varr=oacute=:D=aacute=niel

Facilitated 34 volumes:

ICMT 2015SCo
MoDELS 2015PrCo
MoDELS 2015TuCh
SLE 2015PrCo
ASE 2014PrCo
ICMT 2014Ed
ICMT 2014PrCh
MoDELS 2014PrCo
FASE 2013Ed
FASE 2013PrCh
ICMT 2013GCh
MoDELS 2013PrCo
AMT 2012Ed
ASE 2012DemoTrackPrCo
ASE 2012PrCo
ASE 2012ToCo
ICMT 2012PrCo
MoDELS 2012DemoTrackCh
MoDELS 2012PrCo
AGTIVE 2011Ed
ASE 2011ExpertReviewPa
ASE 2011PrBoard
GTTSE 2011SciCo
ICMT 2011PrCo
MoDELS 2011PrCo
ASE 2010PrCo
ICMT 2010PrCo
ICMT 2009PrCo
ICMT 2008PrCo
GT-VMT 2006Ed
SLE 2016Ed
MoDELS 2016PrBoard

Contributed to:

ICGT 20152015
ASE 20142014
CSMR-WCRE 20142014
MoDELS 20142014
SLE 20142014
MoDELS 20132013
AMT 20122012
CSMR 20122012
ECMFA 20122012
ICGT 20122012
ICST 20122012
MoDELS 20122012
TOOLS Europe 20122012
ASE 20112011
ECMFA 20112011
ICMT 20112011
MoDELS (1) 20102010
SEFM 20102010
GT-VMT 20092009
ICMT 20092009
MoDELS 20092009
ICGT 20082008
ICMT 20082008
AGTIVE 20072007
GT-VMT 20072007
SAC 20072007
TestCom/FATES 20072007
GT-VMT 20062008
ICGT 20062006
MoDELS 20062006
SAC 20062006
SAC 20062007
FASE 20052005
ICGT 20042004
UML 20042004
WICSA 20042004
CBSE 20032002
ESEC/FSE 20032003
UML 20032003
ASE 20022002
ICGT 20022002
UML 20022002
ICMT 20152015
MoDELS 20162016
ICMT 20172017
MoDELS 20172017
MoDELS 20182018
BX 20162016
ESEC/FSE 20172017
FASE 20162016
FASE 20182018

Wrote 62 papers:

ICGT-2015-BurUHV #pattern matching #search-based
Local Search-Based Pattern Matching Features in EMF-IncQuery (MB, ZU, ÁH, DV), pp. 275–282.
ASE-2014-AbdeenVSNDHH #design #multi #optimisation #rule-based
Multi-objective optimization in rule-based design space exploration (HA, DV, HAS, ASN, CD, ÁH, ÁH), pp. 289–300.
CSMR-WCRE-2014-UjhelyiHVCSVF #comparison #detection #query
Anti-pattern detection with model queries: A comparison of approaches (ZU, ÁH, DV, NIC, GS, LV, RF), pp. 293–302.
MoDELS-2014-DavidRV #model transformation #streaming
Streaming Model Transformations By Complex Event Processing (ID, IR, DV), pp. 68–83.
MoDELS-2014-SzarnyasIRHBV #distributed #framework #in the cloud #incremental #named #query
IncQuery-D: A Distributed Incremental Model Query Framework in the Cloud (GS, BI, IR, DH, GB, DV), pp. 653–669.
SLE-2014-JukssVVV #model transformation
Dynamic Scope Discovery for Model Transformations (MJ, CV, DV, HV), pp. 302–321.
MoDELS-2013-SemerathHV #constraints #domain-specific language #graph #query #validation
Validation of Derived Features and Well-Formedness Constraints in DSLs — By Mapping Graph Queries to an SMT-Solver (OS, ÁH, DV), pp. 538–554.
AMT-2012-UjhelyiSRV #query #visualisation
Developing and visualizing live model queries (ZU, TS, IR, DV), pp. 35–40.
CSMR-2012-Varro #maintenance #model transformation
Keynote 2: A Bridge Over Troubled Water — Synergies between Model Transformation and Software Maintenance Techniques (DV), pp. 5–6.
ECMFA-2012-RathHV #emf #query
Derived Features for EMF by Integrating Advanced Model Queries (IR, ÁH, DV), pp. 102–117.
ICGT-2012-BergmannRSTV #incremental #pattern matching #performance #transitive
Incremental Pattern Matching for the Efficient Computation of Transitive Closure (GB, IR, TS, PT, DV), pp. 386–400.
ICST-2012-UjhelyiHV #model transformation #slicing
Dynamic Backward Slicing of Model Transformations (ZU, ÁH, DV), pp. 1–10.
MoDELS-2012-HegedusHRV #emf #modelling
Query-Driven Soft Interconnection of EMF Models (ÁH, ÁH, IR, DV), pp. 134–150.
TOOLS-EUROPE-2012-BergmannHHRUV #emf #performance #query #state of the art #tool support
Integrating Efficient Model Queries in State-of-the-Art EMF Tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 1–8.
ASE-2011-BergmannHHRUV #emf #implementation #performance #tool support #validation
Implementing efficient model validation in EMF tools (GB, ÁH, ÁH, IR, ZU, DV), pp. 580–583.
ASE-2011-HegedusHRV #design #framework #modelling
A model-driven framework for guided design space exploration (ÁH, ÁH, IR, DV), pp. 173–182.
ASE-2011-UjhelyiHV #model transformation #slicing #towards
Towards dynamic backward slicing of model transformations (ZU, ÁH, DV), pp. 404–407.
ECMFA-2011-BergmannHRV #emf #evaluation #incremental #modelling #query #tutorial
Incremental Evaluation of Model Queries over EMF Models: A Tutorial on EMF-IncQuery (GB, ÁH, IR, DV), pp. 389–390.
ICMT-2011-BergmannURV #emf #graph #modelling #query
A Graph Query Language for EMF Models (GB, ZU, IR, DV), pp. 167–182.
MoDELS-v1-2010-BergmannHRVBBO #emf #evaluation #incremental #modelling #query
Incremental Evaluation of Model Queries over EMF Models (GB, ÁH, IR, DV, AB, ZB, ), pp. 76–90.
SEFM-2010-HegedusBRV #model transformation #simulation
Back-annotation of Simulation Traces with Change-Driven Model Transformations (ÁH, GB, IR, DV), pp. 145–155.
GT-VMT-2009-BergmannRV #graph transformation #incremental #parallel #pattern matching
Parallelization of Graph Transformation Based on Incremental Pattern Matching (GB, IR, DV), pp. 100–114.
ICMT-2009-BergmannHRV #model transformation #pattern matching #performance
Efficient Model Transformations by Combining Pattern Matching Strategies (GB, ÁH, IR, DV), pp. 20–34.
MoDELS-2009-HorvathV #constraints #csp #modelling #problem
CSP(M): Constraint Satisfaction Problem over Models (ÁH, DV), pp. 107–121.
MoDELS-2009-RathVV #model transformation
Change-Driven Model Transformations (IR, GV, DV), pp. 342–356.
ICGT-2008-BergmannHRV #benchmark #evaluation #graph transformation #incremental #metric #pattern matching
A Benchmark Evaluation of Incremental Pattern Matching in Graph Transformation (GB, ÁH, IR, DV), pp. 396–410.
ICMT-2008-RathBOV #incremental #model transformation #pattern matching
Live Model Transformations Driven by Incremental Pattern Matching (IR, GB, , DV), pp. 107–121.
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.
AGTIVE-2007-VarroHV #graph #pattern matching #recursion
Recursive Graph Pattern Matching (GV, ÁH, DV), pp. 456–470.
GT-VMT-2007-HorvathVV #graph
Generic Search Plans for Matching Advanced Graph Patterns (ÁH, GV, DV).
SAC-2007-VarroB #automation #induction #logic programming #model transformation #using
Automating model transformation by example using inductive logic programming (DV, ZB), pp. 978–984.
TestCom-FATES-2007-GonczyHV #component #framework #modelling #testing
Model-Based Testing of Service Infrastructure Components (LG, RH, DV), pp. 155–170.
GT-VMT-2006-DarabosPV08 #graph transformation #implementation #testing #towards
Towards Testing the Implementation of Graph Transformations (AD, AP, DV), pp. 75–85.
ICGT-2006-VarroVEPT #analysis #model transformation #petri net #termination
Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
MoDELS-2006-Varro #model transformation
Model Transformation by Example (DV), pp. 410–424.
SAC-2006-BaloghV #framework #model transformation #transformation language
Advanced model transformation language constructs in the VIATRA2 framework (AB, DV), pp. 1280–1287.
SAC-2006-BaloghVVP #compilation #model transformation #plugin
Compiling model transformations to EJB3-specific transformer plugins (AB, GV, DV, AP), pp. 1288–1295.
SAC-MT-J-2006-VarroB07 #framework #model transformation #transformation language
The model transformation language of the VIATRA2 framework (DV, AB), pp. 214–234.
FASE-2005-EhrigELTVV #model transformation #termination
Termination Criteria for Model Transformation (HE, KE, JdL, GT, DV, SVG), pp. 49–63.
ICGT-2004-RensinkSV #comparison #graph transformation #model checking
Model Checking Graph Transformations: A Comparison of Two Approaches (AR, ÁS, DV), pp. 226–241.
UML-2004-VarroP #model transformation
Generic and Meta-transformations for Model Transformation Engineering (DV, AP), pp. 290–304.
WICSA-2004-BaresiHTV #architecture #refinement
Style-Based Refinement of Dynamic Software Architectures (LB, RH, ST, DV), pp. 155–166.
CBSE-2003-BaresiHTV #analysis #architecture #graph transformation #modelling
Modeling and Analysis of Architectural Styles Based on Graph Transformation (LB, RH, ST, DV), p. 12.
ESEC-FSE-2003-BaresiHTV #architecture #modelling #validation
Modeling and validation of service-oriented architectures: application vs. style (LB, RH, ST, DV), pp. 68–77.
UML-2003-SchmidtV #model checking #modelling #named #visual notation
CheckVML: A Tool for Model Checking Visual Modeling Languages (ÁS, DV), pp. 92–95.
ASE-2002-CsertanHMPPV #automation #modelling #named #uml #validation #verification #visual notation
VIATRA — Visual Automated Transformations for Formal Verification and Validation of UML Models (GC, GH, IM, ZP, AP, DV), pp. 267–270.
ICGT-2002-GyapayHV #graph transformation #logic
Graph Transformation with Time: Causality and Logical Clocks (SG, RH, DV), pp. 120–134.
ICGT-2002-Varro #semantics #uml
A Formal Semantics of UML Statecharts by Model Transition Systems (DV), pp. 378–392.
UML-2002-VarroP #framework #metamodelling #modelling #precise #semantics #uml #visual notation
Metamodeling Mathematics: A Precise and Visual Framework for Describing Semantics Domains of UML Models (DV, AP), pp. 18–33.
ICMT-2015-BergmannDHHRUV #framework #model transformation #platform
Viatra 3: A Reactive Model Transformation Platform (GB, ID, ÁH, ÁH, IR, ZU, DV), pp. 101–110.
MoDELS-2016-BergmannDRV #bidirectional #collaboration #data access #modelling #using
Query-based access control for secure collaborative modeling using bidirectional transformations (GB, CD, IR, DV), pp. 351–361.
MoDELS-2016-SemerathDHV #co-evolution #incremental #logic #modelling
Incremental backward change propagation of view models by logic solvers (OS, CD, ÁH, DV), pp. 306–316.
MoDELS-2016-SzarnyasKSV #evaluation #graph #metric #modelling #multi #towards
Towards the characterization of realistic models: evaluation of multidisciplinary graph metrics (GS, ZK, ÁS, DV), pp. 87–94.
ICMT-2017-SemerathV #constraints #evaluation #graph #modelling
Graph Constraint Evaluation over Partial Models by Constraint Rewriting (OS, DV), pp. 138–154.
MoDELS-2017-DebreceniBRD #collaboration #modelling
Property-Based Locking in Collaborative Modeling (CD, GB, IR, DV), pp. 199–209.
MoDELS-2018-MarussySV #incremental #modelling #using
Incremental View Model Synchronization Using Partial Models (KM, OS, DV), pp. 323–333.
BX-2016-SemerathDHV #co-evolution #logic #modelling #satisfiability #synthesis #using
Change Propagation of View Models by Logic Synthesis using SAT solvers (OS, CD, ÁH0, DV), pp. 40–44.
ESEC-FSE-2017-DebreceniBBRV #collaboration #framework #modelling #version control
The MONDO collaboration framework: secure collaborative modeling over existing version control systems (CD, GB, MB, IR, DV), pp. 984–988.
FASE-2016-DebreceniRVCMT #automation #design
Automated Model Merge by Design Space Exploration (CD, IR, DV, XDC, XM, ST), pp. 104–121.
FASE-2016-SemerathVV #generative #incremental #logic
Iterative and Incremental Model Generation by Logic Solvers (OS, AV0, DV), pp. 87–103.
FASE-2018-BurSVV #cyber-physical #distributed #graph #monitoring #query #runtime
Distributed Graph Queries for Runtime Monitoring of Cyber-Physical Systems (MB, GS, AV0, DV), pp. 111–128.
FASE-2018-SemerathV #domain-specific language #generative #modelling #specification #testing #tool support
Iterative Generation of Diverse Models for Testing Specifications of DSL Tools (OS, DV), pp. 227–245.

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.