Travelled to:1 × Austria
1 × Canada
1 × Cyprus
1 × Denmark
1 × France
1 × Hungary
1 × Switzerland
1 × The Netherlands
2 × Italy
2 × Spain
2 × United Kingdom
5 × Germany
Collaborated with:∅ J.Meseguer J.Á.Carsí I.Ramos F.Orejas N.Mylonakis R.Heckel P.C.Ölveczky A.Gómez U.Golas H.Ehrig F.Hermann H.Schölzel J.d.Lara E.Guerra P.Torrini J.Oriente D.Bisztray R.Geiß O.Kniemeyer B.Mora F.García F.Ruiz M.Piattini 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:model (14) transform (13) specif (5) semant (5) graph (5) algebra (4) framework (3) studi (3) engin (3) tool (3)
Person: Artur Boronat
DBLP: Boronat:Artur
Facilitated 1 volumes:
EdContributed to:
2013
2013
201220112011
201020102009
20092008
2008
2007
20062006
20052005
20172018
2018
2017
20192019Wrote 23 papers:
- BX-2013-OrejasBE0S #concurrent #on the
- On Propagation-Based Concurrent Model Synchronization (FO, AB, HE, FH, HS), pp. 18–36.
- FoSSaCS-2013-OrejasBGM #graph transformation #similarity
- Checking Bisimilarity for Attributed Graph Transformation (FO, AB, UG, NM), pp. 113–128.
- ICGT-2012-OrejasBM #graph
- Borrowed Contexts for Attributed Graphs (FO, AB, NM), pp. 126–140.
- BX-2011-Boronat #consistency #detection #maude #modelling #nondeterminism #specification #using
- Inconsistency detection and resolution in heterogenous model-based specifications using Maude (AB), p. 53.
- GT-VMT-2011-BoronatM #automation #case study #maude #uml
- Automated Model Synchronization: A Case Study on UML with Maude (AB, JM).
- FASE-2010-BoronatO #model transformation #realtime
- Formal Real-Time Model Transformations in MOMENT2 (AB, PCÖ), pp. 29–43.
- ICGT-2010-LaraGBHT #graph transformation #simulation
- Graph Transformation for Domain-Specific Discrete Event Time Simulation (JdL, EG, AB, RH, PT), pp. 266–281.
- FASE-2009-BoronatHM #logic #model transformation #semantics #verification
- Rewriting Logic Semantics and Verification of Model Transformations (AB, RH, JM), pp. 18–33.
- TOOLS-EUROPE-2009-BoronatM #algebra #metamodelling #ocl #semantics #specification
- Algebraic Semantics of OCL-Constrained Metamodel Specifications (AB, JM), pp. 96–115.
- FASE-2008-BoronatM #algebra #semantics
- An Algebraic Semantics for MOF (AB, JM), pp. 377–391.
- ICEIS-DISI-2008-MoraGRPBGCR #metric #qvt #using
- Software Measurement by Using QVT Transformations in an MDA Context (BM, FG, FR, MP, AB, AG, JÁC, IR), pp. 117–124.
- 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.
- ECMDA-FA-2006-BoronatOGRC #algebra #eclipse #framework #modelling #ocl #query #specification
- An Algebraic Specification of Generic OCL Queries Within the Eclipse Modeling Framework (AB, JO, AG, IR, JÁC), pp. 316–330.
- FASE-2006-BoronatCR #algebra #model transformation #specification
- Algebraic Specification of a Model Transformation Engine (AB, JÁC, IR), pp. 262–277.
- CSMR-2005-BoronatCR #automation #logic #re-engineering #using
- Automatic Reengineering in MDA Using Rewriting Logic as Transformation Engine (AB, JÁC, IR), pp. 228–231.
- ECMDA-FA-2005-BoronatCR #automation #framework #model management #traceability
- Automatic Support for Traceability in a Generic Model Management Framework (AB, JÁC, IR), pp. 316–330.
- ICMT-2017-Boronat #atl #model transformation #semantics
- Experimentation with a Big-Step Semantics for ATL Model Transformations (AB), pp. 3–18.
- ICMT-2018-Boronat #atl #execution #framework #prototype #semantics
- A Formal Framework for Prototyping Executable Semantics in ATL (AB), pp. 157–172.
- MoDELS-2018-Boronat #domain-specific language #model transformation #performance
- Expressive and Efficient Model Transformation with an Internal DSL of Xtend (AB), pp. 78–88.
- SLE-2017-Boronat #constraints #ocl #type system
- Structural model subtyping with OCL constraints (AB), pp. 194–205.
- ASE-2019-Boronat #agile #modelling
- Code-First Model-Driven Engineering: On the Agile Adoption of MDE Tooling (AB), pp. 874–886.
- FASE-2019-Boronat #dependence #injection #model transformation
- Offline Delta-Driven Model Transformation with Dependency Injection (AB), pp. 134–150.