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: Varr=oacute=:D=aacute=niel
Facilitated 34 volumes:
SCo
PrCoTuCh
PrCo
PrCoEdPrChPrCo
EdPrChGChPrCo
EdDemoTrackPrCoPrCoToCoPrCoDemoTrackChPrCo
EdExpertReviewPaPrBoard
SciCoPrCoPrCoPrCoPrCoPrCoPrCo
EdEdPrBoardContributed to:
20152014
20142014201420132012
2012
20122012
20122012
20122011201120112010
20102009200920092008200820072007
2007
20072008200620062006200720052004
2004
2004
2002
2003200320022002200220152016201720172018
2016201720162018Wrote 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, AÖ), 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, AÖ, 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.