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 × Denmark
1 × France
1 × Germany
1 × Sweden
1 × Switzerland
1 × USA
1 × United Kingdom
2 × Austria
2 × Spain
Collaborated with:
A.Vallecillo M.Wimmer F.Durán S.Zschaler A.Bergmayr G.Barquero L.Burgueño M.Fleck B.J.Oakes L.Lúcio L.Burgeño A.Moreno-Delgado J.M.Bautista F.López-Romero P.Neubauer T.Mayerhofer M.C.Branco K.Czarnecki J.M.Küster H.Völzer M.F.Bertoa N.Moreno
Talks about:
transform (4) model (3) atl (3) process (2) toward (2) semant (2) rewrit (2) motion (2) place (2) logic (2)

♂ Person: Javier Troya

DBLP DBLP: Troya:Javier

Facilitated 1 volumes:

ICMT 2015WebCh

Contributed to:

MoDELS 20152015
SLE 20152015
AMT 20142014
ASE 20142014
ECMFA 20142014
MoDELS 20122012
SLE 20122012
TAP 20112011
ICMT 20102010
ICMT 20102011
ICMT 20162016
ECMFA 20182018
MoDELS 20182018

Wrote 13 papers:

MoDELS-2015-OakesTLW #atl #contract #declarative #verification
Fully verifying transformation contracts for declarative ATL (BJO, JT, LL, MW), pp. 256–265.
SLE-2015-NeubauerBMTW #named #xml #xtext
XMLText: from XML schema to xtext (PN, AB, TM, JT, MW), pp. 71–76.
AMT-2014-TroyaWBV #approximate #model transformation #towards
Towards Approximate Model Transformations (JT, MW, LB, AV), pp. 44–53.
ASE-2014-BergmayrTW #evolution
From out-place transformation evolution to in-place model patching (AB, JT, MW), pp. 647–652.
ECMFA-2014-Moreno-DelgadoDZT #analysis #composition #domain-specific language #flexibility
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio (AMD, FD, SZ, JT), pp. 132–147.
MoDELS-2012-BrancoTCKV #abstraction #process #workflow
Matching Business Process Workflows across Abstraction Levels (MCB, JT, KC, JMK, HV), pp. 626–641.
SLE-2012-DuranZT #domain-specific language #non-functional #on the #reuse #specification
On the Reusable Specification of Non-functional Properties in DSLs (FD, SZ, JT), pp. 332–351.
TAP-2011-TroyaBLV #communication #lightweight #network #testing
Lightweight Testing of Communication Networks with e-Motions (JT, JMB, FLR, AV), pp. 187–204.
ICMT-2010-TroyaV #atl #logic #semantics #towards
Towards a Rewriting Logic Semantics for ATL (JT, AV), pp. 230–244.
ICMT-J-2010-TroyaV11 #atl #logic #semantics
A Rewriting Logic Semantics for ATL (JT, AV), pp. 108–136.
ICMT-2016-FleckTW #model transformation #search-based
Search-Based Model Transformations with MOMoT (MF, JT, MW), pp. 79–87.
ECMFA-2018-BertoaMBBTV #data type #metric #nondeterminism #ocl #uml
Expressing Measurement Uncertainty in OCL/UML Datatypes (MFB, NM, GB, LB, JT, AV), pp. 46–62.
MoDELS-2018-BarqueroBTV
Extending Complex Event Processing to Graph-structured Information (GB, LB, JT, AV), pp. 166–175.
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.