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 × 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 DBLP: Boronat:Artur

Facilitated 1 volumes:

GT-VMT 2009Ed

Contributed to:

BX 20132013
FOSSACS 20132013
ICGT 20122012
BX 20112011
GT-VMT 20112011
FASE 20102010
ICGT 20102010
FASE 20092009
TOOLS Europe 20092009
FASE 20082008
ICEIS DISI 20082008
AGTIVE 20072007
ECMDA-FA 20062006
FASE 20062006
CSMR 20052005
ECMDA-FA 20052005
ICMT 20172017
ICMT 20182018
MoDELS 20182018
SLE 20172017
ASE 20192019
FASE 20192019

Wrote 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.

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.