Troya, Javier

Network Lab View Statistics Email Alert RSS Feed

Profile Profil

Prefix title Titel (vorangestellt)
Dr.
 
Full name Familienname, Vorname
Troya, Javier
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 20 (Search time: 0.003 seconds).

PreviewAuthors / EditorsTitleTypeIssue Date
1Fleck, Martin ; Troya, Javier ; Wimmer, Manuel The Class Responsibility Assignment CaseKonferenzbeitrag Inproceedings2016
2Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel Full Contract Verification for ATL using Symbolic ExecutionArtikel Article2016
3Fleck, Martin ; Troya, Javier ; Wimmer, Manuel Towards generic modularization transformationsKonferenzbeitrag Inproceedings 2016
4Burgueño, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio Parallel In-place Model Transformations with LinTraKonferenzbeitrag Inproceedings 2015
5Troya, Javier ; Brunelière, Hugo ; Fleck, Martin ; Wimmer, Manuel ; Orue-Echevarria, Leire ; Gorronogoitia, Jesus ARTIST: Model-Based Stairway to the CloudKonferenzbeitrag Inproceedings 2015
6Oakes, Bentley James ; Troya, Javier ; Lucio, Levi ; Wimmer, Manuel Fully verifying transformation contracts for declarative ATLKonferenzbeitrag Inproceedings 2015
7Troya, Javier ; Bergmayr, Alexander ; Burgueño, Loli ; Wimmer, Manuel Towards Systematic Mutations for and with ATLKonferenzbeitrag Inproceedings 2015
8Neubauer, Patrick ; Bergmayr, Alexander ; Mayerhofer, Tanja ; Troya, Javier ; Wimmer, Manuel XMLText: From XML Schema to XtextKonferenzbeitrag Inproceedings 2015
9Fleck, Martin ; Troya, Javier ; Wimmer, Manuel Marrying Search-based Optimization and Model Transformation TechnologyKonferenzbeitrag Inproceedings 2015
10Burgueno, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio Static Fault Localization in Model TransformationsArtikel Article2015
11Moreno-Delgado, Antonio ; Durán, Francisco ; Zschaler, Steffen ; Troya, Javier ; Cabot, Jordi ; Rubin, Julia Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of PalladioKonferenzbeitrag Inproceedings 2014
12Bergmayr, Alexander ; Troya, Javier ; Wimmer, Manuel From out-place transformation evolution to in-place model patchingKonferenzbeitrag Inproceedings 2014
13Bergmayr, Alexander ; Troya, Javier ; Neubauer, Patrick ; Wimmer, Manuel ; Kappel, Gerti UML-based Cloud Application Modeling with Libraries, Profiles and TemplatesKonferenzbeitrag Inproceedings 2014
14Troya, Javier ; Wimmer, Manuel ; Burgueño, Loli ; Vallecillo, Antonio Towards Approximate Model TransformationsKonferenzbeitrag Inproceedings 2014
15Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio Formal Specification and Testing of Model TransformationsPräsentation Presentation2014
16Troya, Javier ; Vallecillo, Antonio Specification and simulation of queuing network models using Domain-Specific LanguagesArtikel Article2014
17Fleck, Martin ; Troya, Javier ; Langer, Philip ; Wimmer, Manuel Towards Pattern-Based Optimization of Cloud ApplicationsKonferenzbeitrag Inproceedings 2014
18Burgueño, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio On the Concurrent Execution of Model Transformations with LindaKonferenzbeitrag Inproceedings 2013
19Burgueño, Loli ; Wimmer, Manuel ; Troya, Javier ; Vallecillo, Antonio TractsTool: Testing MTs based on ContractsKonferenzbeitrag Inproceedings 2013
20Burgueño, Loli ; Wimmer, Manuel ; Troya, Javier ; Vallecillo, Antonio On the Realization of TractsToolPräsentation Presentation2013