Name Card

Full name Familienname, Vorname
Troya, Javier
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Bill, Robert ; Fleck, Martin ; Troya, Javier ; Mayerhofer, Tanja ; Wimmer, Manuel A Local and Global Tour on MOMoTArtikel Article 2019
2Fleck, Martin ; Troya, Javier ; Kessentini, Marouane ; Wimmer, Manuel ; Alkhazi, Bader Model Transformation Modularization as a Many-Objective Optimization ProblemArtikel Article 2017
3Fleck, Martin ; Troya, Javier ; Wimmer, Manuel Towards generic modularization transformationsKonferenzbeitrag Inproceedings 2016
4Fleck, Martin ; Troya, Javier ; Wimmer, Manuel The Class Responsibility Assignment CaseKonferenzbeitrag Inproceedings2016
5Oakes, Bentley James ; Troya, Javier ; Lúcio, Levi ; Wimmer, Manuel Full Contract Verification for ATL using Symbolic ExecutionArtikel Article 2016
6Fleck, Martin ; Troya, Javier ; Wimmer, Manuel Search-Based Model TransformationsArtikel Article 2016
7Fleck, Martin ; Troya, Javier ; Wimmer, Manuel Search-Based Model Transformations with MOMoTKonferenzbeitrag Inproceedings 2016
8Fleck, Martin ; Troya, Javier ; Wimmer, Manuel Marrying Search-based Optimization and Model Transformation TechnologyKonferenzbeitrag Inproceedings 2015
9Troya, Javier ; Bergmayr, Alexander ; Burgueño, Loli ; Wimmer, Manuel Towards Systematic Mutations for and with ATLKonferenzbeitrag Inproceedings 2015
10Burgueño, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio Parallel In-place Model Transformations with LinTraKonferenzbeitrag Inproceedings 2015
11Oakes, Bentley James ; Troya, Javier ; Lucio, Levi ; Wimmer, Manuel Fully verifying transformation contracts for declarative ATLKonferenzbeitrag Inproceedings 2015
12Troya, Javier ; Brunelière, Hugo ; Fleck, Martin ; Wimmer, Manuel ; Orue-Echevarria, Leire ; Gorronogoitia, Jesus ARTIST: Model-Based Stairway to the CloudKonferenzbeitrag Inproceedings 2015
13Neubauer, Patrick ; Bergmayr, Alexander ; Mayerhofer, Tanja ; Troya, Javier ; Wimmer, Manuel XMLText: From XML Schema to XtextKonferenzbeitrag Inproceedings 2015
14Burgueno, Loli ; Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio Static Fault Localization in Model TransformationsArtikel Article 2015
15Troya, Javier ; Wimmer, Manuel ; Vallecillo, Antonio Formal Specification and Testing of Model TransformationsPräsentation Presentation2014
16Moreno-Delgado, Antonio ; Durán, Francisco ; Zschaler, Steffen ; Troya, Javier Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of PalladioKonferenzbeitrag Inproceedings 2014
17Troya, Javier ; Wimmer, Manuel ; Burgueño, Loli ; Vallecillo, Antonio Towards Approximate Model TransformationsKonferenzbeitrag Inproceedings 2014
18Bergmayr, Alexander ; Troya, Javier ; Wimmer, Manuel From out-place transformation evolution to in-place model patchingKonferenzbeitrag Inproceedings 2014
19Troya, Javier ; Vallecillo, Antonio Specification and simulation of queuing network models using Domain-Specific LanguagesArtikel Article2014
20Fleck, Martin ; Troya, Javier ; Langer, Philip ; Wimmer, Manuel Towards Pattern-Based Optimization of Cloud ApplicationsKonferenzbeitrag Inproceedings 2014

Contributing Publications Mitbeteiligte Publikationen

Results 1-1 of 1 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Casamayor Pujol, Victor ; Donta, Praveen Kumar ; Morichetta, Andrea ; Murturi, Ilir ; Dustdar, Schahram Distributed Computing Continuum Systems – Opportunities and Research ChallengesInproceedings Konferenzbeitrag2023