


Остановите войну!
for scientists:


default search action
Javier Troya
Person information

- affiliation: University of Málaga, Spain
Refine list

refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
2020 – today
- 2023
- [j23]Javier Troya, Sergio Segura, Lola Burgueño, Manuel Wimmer:
Model Transformation Testing and Debugging: A Survey. ACM Comput. Surv. 55(4): 72:1-72:39 (2023) - [e4]Javier Troya
, Raffaela Mirandola
, Elena Navarro
, Andrea Delgado
, Sergio Segura
, Guadalupe Ortiz
, Cesare Pautasso
, Christian Zirpins
, Pablo Fernández
, Antonio Ruiz-Cortés
:
Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29 - December 2, 2022 Proceedings. Lecture Notes in Computer Science 13821, Springer 2023, ISBN 978-3-031-26506-8 [contents] - 2022
- [j22]Paula Muñoz, Javier Troya, Manuel Wimmer, Gerti Kappel:
Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach. J. Object Technol. 21(4): 4:1-17 (2022) - [j21]Javier Cámara, Javier Troya, Antonio Vallecillo, Nelly Bencomo, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl:
The uncertainty interaction problem in self-adaptive systems. Softw. Syst. Model. 21(4): 1277-1294 (2022) - [j20]Kevin Lano, Shekoufeh Kolahdouz Rahimi, Javier Troya, Hessa Alfraihi:
Introduction to the theme section on Agile model-driven engineering. Softw. Syst. Model. 21(4): 1465-1467 (2022) - [c40]Sergio Segura, Juan C. Alonso
, Alberto Martin-Lopez, Amador Durán, Javier Troya, Antonio Ruiz-Cortés
:
Automated Generation of Metamorphic Relations for Query-Based Systems. MET@ICSE 2022: 48-55 - [c39]Javier Cámara, Radu Calinescu, Betty H. C. Cheng, David Garlan, Bradley R. Schmerl, Javier Troya, Antonio Vallecillo:
Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata. MoDELS 2022: 24-30 - [c38]Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo:
Using trace alignments for measuring the similarity between a physical and its digital twin. MoDELS (Companion) 2022: 503-510 - [c37]Daniel Pérez-Porras, Paula Muñoz, Javier Troya, Antonio Vallecillo:
Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster). STAF Workshops 2022 - [e3]Javier Troya
, Brahim Medjahed, Mario Piattini
, Lina Yao, Pablo Fernández
, Antonio Ruiz-Cortés:
Service-Oriented Computing - 20th International Conference, ICSOC 2022, Seville, Spain, November 29 - December 2, 2022, Proceedings. Lecture Notes in Computer Science 13740, Springer 2022, ISBN 978-3-031-20983-3 [contents] - 2021
- [j19]Mohammad Derakhshandi, Shekoufeh Kolahdouz Rahimi
, Javier Troya, Kevin Lano:
A model-driven framework for developing android-based classic multiplayer 2D board games. Autom. Softw. Eng. 28(2): 7 (2021) - [j18]Gala Barquero
, Javier Troya
, Antonio Vallecillo
:
Improving query performance on dynamic graphs. Softw. Syst. Model. 20(4): 1011-1041 (2021) - [j17]Javier Troya
, Nathalie Moreno
, Manuel F. Bertoa
, Antonio Vallecillo
:
Uncertainty representation in software models: a survey. Softw. Syst. Model. 20(4): 1183-1213 (2021) - [j16]Javier Troya
, José Antonio Parejo
, Sergio Segura
, Antonio Gamez-Diaz
, Alfonso E. Márquez Chamorro
, Adela del-Río-Ortega
:
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report. IEEE Trans. Educ. 64(2): 139-146 (2021) - [c36]Paula Muñoz
, Alejandro Pérez-Vereda, Nathalie Moreno, Javier Troya, Antonio Vallecillo:
Incorporating Trust into Collaborative Social Computing Applications. EDOC 2021: 21-30 - [c35]Paula Muñoz
, Javier Troya, Antonio Vallecillo:
Using UML and OCL Models to Realize High-Level Digital Twins. MoDELS (Companion) 2021: 212-220 - 2020
- [j15]José Antonio Parejo
, Javier Troya
, Sergio Segura
, Adela del-Río-Ortega, Antonio Gamez-Diaz
, Alfonso E. Márquez Chamorro:
Flipping Laboratory Sessions: An Experience in Computer Science. Rev. Iberoam. de Tecnol. del Aprendiz. 15(3): 183-191 (2020)
2010 – 2019
- 2019
- [j14]Gala Barquero
, Javier Troya, Antonio Vallecillo
:
Trading Accuracy for Performance in Data Processing Applications. J. Object Technol. 18(2): 9:1-24 (2019) - [j13]Robert Bill, Martin Fleck, Javier Troya
, Tanja Mayerhofer
, Manuel Wimmer:
A local and global tour on MOMoT. Softw. Syst. Model. 18(2): 1017-1046 (2019) - [c34]Sergio Segura, Amador Durán
, Javier Troya, Antonio Ruiz-Cortés:
Metamorphic relation patterns for query-based systems. MET@ICSE 2019: 24-31 - 2018
- [j12]Sergio Segura, Javier Troya
, Amador Durán
, Antonio Ruiz Cortés:
Performance metamorphic testing: A Proof of concept. Inf. Softw. Technol. 98: 1-4 (2018) - [j11]Javier Troya
, Sergio Segura, Antonio Ruiz Cortés
:
Automated inference of likely metamorphic relations for model transformations. J. Syst. Softw. 136: 188-208 (2018) - [j10]Bentley James Oakes
, Javier Troya
, Levi Lúcio, Manuel Wimmer:
Full contract verification for ATL using symbolic execution. Softw. Syst. Model. 17(3): 815-849 (2018) - [j9]Javier Troya
, Sergio Segura
, José Antonio Parejo
, Antonio Ruiz Cortés
:
Spectrum-Based Fault Localization in Model Transformations. ACM Trans. Softw. Eng. Methodol. 27(3): 13:1-13:50 (2018) - [j8]Sergio Segura
, José Antonio Parejo
, Javier Troya
, Antonio Ruiz Cortés
:
Metamorphic Testing of RESTful Web APIs. IEEE Trans. Software Eng. 44(11): 1083-1099 (2018) - [c33]Manuel F. Bertoa
, Nathalie Moreno, Gala Barquero
, Loli Burgueño
, Javier Troya, Antonio Vallecillo
:
Expressing Measurement Uncertainty in OCL/UML Datatypes. ECMFA 2018: 46-62 - [c32]Sergio Segura, José Antonio Parejo, Javier Troya, Antonio Ruiz Cortés:
Metamorphic testing of RESTful web APIs. ICSE 2018: 882 - [c31]Nathalie Moreno, Manuel F. Bertoa
, Gala Barquero
, Loli Burgueño
, Javier Troya, Adrián García-López, Antonio Vallecillo
:
Managing Uncertain Complex Events in Web of Things Applications. ICWE 2018: 349-357 - [c30]Gala Barquero
, Loli Burgueño
, Javier Troya, Antonio Vallecillo
:
Extending Complex Event Processing to Graph-structured Information. MoDELS 2018: 166-175 - [i1]Javier Troya, Sergio Segura, Antonio Ruiz Cortés:
Towards the Automation of Metamorphic Testing in Model Transformations. CoRR abs/1804.11121 (2018) - 2017
- [j7]Martin Fleck
, Javier Troya
, Marouane Kessentini
, Manuel Wimmer, Bader Alkhazi
:
Model Transformation Modularization as a Many-Objective Optimization Problem. IEEE Trans. Software Eng. 43(11): 1009-1032 (2017) - [c29]Sergio Segura, Amador Durán
, Javier Troya
, Antonio Ruiz Cortés:
A Template-Based Approach to Describing Metamorphic Relations. MET@ICSE 2017: 3-9 - [c28]Sergio Segura, Javier Troya
, Amador Durán Toro
, Antonio Ruiz Cortés
:
Performance Metamorphic Testing: Motivation and Challenges. ICSE-NIER 2017: 7-10 - [c27]Javier Troya
, Juha-Pekka Tolvanen, Sergio Segura:
Domain-Specific Languages and Model Transformations for Software Product Line. SPLC (A) 2017: 254 - [e2]Myra B. Cohen, Mathieu Acher
, Lidia Fuentes, Daniel Schall, Jan Bosch, Rafael Capilla, Ebrahim Bagheri, Yingfei Xiong, Javier Troya, Antonio Ruiz Cortés, David Benavides:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume A, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5221-5 [contents] - [e1]Maurice H. ter Beek, Walter Cazzola, Oscar Díaz, Marcello La Rosa, Roberto E. Lopez-Herrejon, Thomas Thüm, Javier Troya, Antonio Ruiz Cortés, David Benavides:
Proceedings of the 21st International Systems and Software Product Line Conference, SPLC 2017, Volume B, Sevilla, Spain, September 25-29, 2017. ACM 2017, ISBN 978-1-4503-5119-5 [contents] - 2016
- [j6]Martin Fleck, Javier Troya
, Manuel Wimmer:
Search-based model transformations. J. Softw. Evol. Process. 28(12): 1081-1117 (2016) - [c26]Martin Fleck, Javier Troya
, Manuel Wimmer:
Towards generic modularization transformations. MODULARITY (Companion) 2016: 190-195 - [c25]Martin Fleck, Javier Troya
, Manuel Wimmer:
Search-Based Model Transformations with MOMoT. ICMT 2016: 79-87 - [c24]Martin Fleck, Javier Troya, Manuel Wimmer:
The Class Responsibility Assignment Case. TTC@STAF 2016: 1-8 - 2015
- [j5]Loli Burgueño
, Javier Troya
, Manuel Wimmer, Antonio Vallecillo
:
Static Fault Localization in Model Transformations. IEEE Trans. Software Eng. 41(5): 490-506 (2015) - [c23]Javier Troya
, Alexander Bergmayr, Loli Burgueño
, Manuel Wimmer:
Towards systematic mutations for and with ATL model transformations. ICST Workshops 2015: 1-10 - [c22]Bentley James Oakes
, Javier Troya
, Levi Lucio, Manuel Wimmer:
Fully verifying transformation contracts for declarative ATL. MoDELS 2015: 256-265 - [c21]Patrick Neubauer, Alexander Bergmayr, Tanja Mayerhofer
, Javier Troya
, Manuel Wimmer:
XMLText: from XML schema to xtext. SLE 2015: 71-76 - [c20]Javier Troya, Hugo Bruneliere, Martin Fleck, Manuel Wimmer, Leire Orue-Echevarria, Jesús Gorroñogoitia:
ARTIST: Model-Based Stairway to the Cloud. STAF Projects Showcase 2015: 1-8 - [c19]Loli Burgueño, Javier Troya, Manuel Wimmer, Antonio Vallecillo:
Parallel In-place Model Transformations with LinTra. BigMDE@STAF 2015: 52-62 - 2014
- [j4]Javier Troya
, Antonio Vallecillo
:
Specification and simulation of queuing network models using Domain-Specific Languages. Comput. Stand. Interfaces 36(5): 863-879 (2014) - [j3]Shekoufeh Kolahdouz Rahimi, Kevin Lano, Suresh Pillay, Javier Troya
, Pieter Van Gorp
:
Evaluation of model transformation approaches for model refactoring. Sci. Comput. Program. 85: 5-40 (2014) - [c18]Antonio Moreno-Delgado, Francisco Durán, Steffen Zschaler
, Javier Troya
:
Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio. ECMFA 2014: 132-147 - [c17]Alexander Bergmayr, Javier Troya
, Manuel Wimmer:
From out-place transformation evolution to in-place model patching. ASE 2014: 647-652 - [c16]Martin Fleck, Javier Troya, Philip Langer, Manuel Wimmer:
Towards Pattern-Based Optimization of Cloud Applications. CloudMDE@MoDELS 2014: 16-25 - [c15]Javier Troya, Manuel Wimmer, Loli Burgueño, Antonio Vallecillo:
Towards Approximate Model Transformations. AMT@MoDELS 2014: 44-53 - [c14]Alexander Bergmayr, Javier Troya, Patrick Neubauer, Manuel Wimmer, Gerti Kappel:
UML-based Cloud Application Modeling with Libraries, Profiles, and Templates. CloudMDE@MoDELS 2014: 56-65 - 2013
- [j2]Javier Troya
, Antonio Vallecillo
, Francisco Durán
, Steffen Zschaler
:
Model-driven performance analysis of rule-based domain specific visual models. Inf. Softw. Technol. 55(1): 88-110 (2013) - [c13]Loli Burgueño, Manuel Wimmer, Javier Troya, Antonio Vallecillo:
TractsTool: Testing Model Transformations based on Contracts. MoDELS (Demos/Posters/StudentResearch) 2013: 76-80 - [c12]Javier Troya, Javier Cubo, José Antonio Martín, Ernesto Pimentel, Antonio Vallecillo:
Automated Throughput Optimization of Cloud Services via Model-driven Adaptation. MODELSWARD 2013: 356-362 - [c11]Loli Burgueño
, Javier Troya
, Manuel Wimmer, Antonio Vallecillo
:
On the concurrent execution of model transformations with Linda. BigMDE@STAF 2013: 3 - 2012
- [c10]Javier Criado, Luis Iribarne
, Nicolás Padilla, Javier Troya, Antonio Vallecillo
:
An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures. EUROMICRO-SEAA 2012: 150-157 - [c9]Javier Troya
, Antonio Vallecillo
:
A domain specific visual language for modeling power-aware reliability in wireless sensor networks. NFPinDSML@MoDELS 2012: 3:1-3:6 - [c8]Moisés Castelo Branco, Javier Troya
, Krzysztof Czarnecki, Jochen Malte Küster, Hagen Völzer:
Matching Business Process Workflows across Abstraction Levels. MoDELS 2012: 626-641 - [c7]Francisco Durán
, Steffen Zschaler
, Javier Troya
:
On the Reusable Specification of Non-functional Properties in DSLs. SLE 2012: 332-351 - 2011
- [j1]Javier Troya
, Antonio Vallecillo
:
A Rewriting Logic Semantics for ATL. J. Object Technol. 10: 5: 1-29 (2011) - [c6]Javier Troya
, José María Bautista, Fernando López-Romero, Antonio Vallecillo
:
Lightweight Testing of Communication Networks with e-Motions. TAP@TOOLS 2011: 187-204 - 2010
- [c5]Javier Troya
, Antonio Vallecillo
:
Towards a Rewriting Logic Semantics for ATL. ICMT@TOOLS 2010: 230-244 - [c4]Javier Troya
, José Eduardo Rivera
, Antonio Vallecillo
:
Simulating domain specific visual models by observation. SpringSim 2010: 128
2000 – 2009
- 2009
- [c3]Manuel Díaz, Daniel Garrido, Javier Troya:
Developing a communications architecture based on WCF for use in nuclear power plant simulators. IADIS AC (2) 2009: 171-175 - [c2]Javier Troya
, José Eduardo Rivera
, Antonio Vallecillo
:
On the Specification of Non-functional Properties of Systems by Observation. MoDELS (Workshops) 2009: 296-309 - [c1]Javier Troya, José Eduardo Rivera, Antonio Vallecillo:
On the Specification of Non-Functional Properties of Systems by Observation. NFPinDSML@MoDELS 2009
Coauthor Index

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
Unpaywalled article links
Add open access links from to the list of external document links (if available).
Privacy notice: By enabling the option above, your browser will contact the API of unpaywall.org to load hyperlinks to open access articles. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Unpaywall privacy policy.
Archived links via Wayback Machine
For web page which are no longer available, try to retrieve content from the of the Internet Archive (if available).
load content from web.archive.org
Privacy notice: By enabling the option above, your browser will contact the API of web.archive.org to check for archived content of web pages that are no longer available. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Internet Archive privacy policy.
Reference lists
Add a list of references from ,
, and
to record detail pages.
load references from crossref.org and opencitations.net
Privacy notice: By enabling the option above, your browser will contact the APIs of crossref.org, opencitations.net, and semanticscholar.org to load article reference information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the Crossref privacy policy and the OpenCitations privacy policy, as well as the AI2 Privacy Policy covering Semantic Scholar.
Citation data
Add a list of citing articles from and
to record detail pages.
load citations from opencitations.net
Privacy notice: By enabling the option above, your browser will contact the API of opencitations.net and semanticscholar.org to load citation information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the OpenCitations privacy policy as well as the AI2 Privacy Policy covering Semantic Scholar.
OpenAlex data
Load additional information about publications from .
Privacy notice: By enabling the option above, your browser will contact the API of openalex.org to load additional information. Although we do not have any reason to believe that your call will be tracked, we do not have any control over how the remote server uses your data. So please proceed with care and consider checking the information given by OpenAlex.
last updated on 2023-04-19 23:22 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint