default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDJavier 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
showing all ?? records
2020 – today
- 2024
[j31]Meysam Karimi, Shekoufeh Kolahdouz Rahimi
, Javier Troya:
Ant-colony optimization for automating test model generation in model transformation testing. J. Syst. Softw. 208: 111882 (2024)- [j30]Javier Cámara, Javier Troya, Julio Montes-Torres, Francisco J. Jaime:
Generative AI in the Software Modeling Classroom: An Experience Report With ChatGPT and Unified Modeling Language. IEEE Softw. 41(6): 73-81 (2024) - [j29]Carlos Javier Fernández Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo:
UTypes: A library for uncertain datatypes in Python. SoftwareX 26: 101676 (2024) - [j28]Carlos Javier Fernández Candel, Paula Muñoz, Javier Troya, Antonio Vallecillo:
Corrigendum to "UTypes: A library for uncertain datatypes in Python" [SoftwareX, VOLUME 26, 101676, MAY 2024]. SoftwareX 26: 101692 (2024) - [j27]Meysam Karimi, Shekoufeh Kolahdouz Rahimi, Javier Troya:
Yekta: A low-code framework for automated test models generation. SoftwareX 27: 101850 (2024) - [j26]Bentley James Oakes, Javier Troya, Jessie Galasso, Manuel Wimmer:
Fault localization in DSLTrans model transformations by combining symbolic execution and spectrum-based analysis. Softw. Syst. Model. 23(3): 737-763 (2024) - [c50]Paula Muñoz, Javier Troya, Antonio Vallecillo:
Towards Measuring Digital Twins Fidelity at Runtime. MoDELS (Companion) 2024: 507-512 - [c49]Raquel Sanchez, Javier Troya, Javier Cámara:
Automated Planning for Adaptive Cyber-Physical Systems under Uncertainty in Temporal Availability Constraints. SEAMS@ICSE 2024: 14-24 - [c48]Enrique Vilchez, Javier Troya, Javier Cámara:
Towards Proactive Decentralized Adaptation of Unmanned Aerial Vehicles for Wildfire Tracking. SEAMS@ICSE 2024: 56-62 - [c47]Enrique Vilchez, Javier Troya, Javier Cámara:
Wildfire-UAVSim: An Exemplar for Evaluation of Adaptive Cyber-Physical Systems in Partially-Observable Environments. SEAMS@ICSE 2024: 63-69 - [e6]Hessa Alfraihi, Francesco Basciani, Georgiana Caltais, Nicolas Ferry, José Antonio Hernández López, Ludovico Iovino, Robbert Jongeling, Stefan Klikovits, Shekoufeh Kolahdouz Rahimi, Riccardo Rubei, Sobhan Yassipour Tehrani, Javier Troya, Mairieli Wessel, Vadim Zaytsev:
Proceedings of the STAF 2024 Workshops: AgileMDE 2024, LLM4MDE 2024, and MeSS 2024 co-located with the International Conference on Software Technologies: Applications and Foundations (STAF 2024) Enschede, The Netherlands, July 8-11, 2024. CEUR Workshop Proceedings 3727, CEUR-WS.org 2024 [contents] - [e5]Artur Boronat, Antonio García-Domínguez, Georg Hinkel, Kevin Lano, Martina De Sanctis, Nicolas Ferry, Sébastien Mosser, Manuel Wimmer, Hessa Alfraihi, Shekoufeh Kolahdouz Rahimi, Javier Troya:
Post Proceedings of the STAF 2023 Workshops TTC 2023, MeSS 2023 and AgileMDE 2023, Leicester, United Kingdom, July 18, 2023 and June 21, 2023. CEUR Workshop Proceedings 3620, CEUR-WS.org 2024 [contents] - [i3]Shalini Chakraborty, Javier Troya, Lola Burgueño, Grischa Liebel:
Exploring Actions, Interactions and Challenges in Software Modelling Tasks: An Empirical Investigation with Students. CoRR abs/2409.13656 (2024) - [i2]Javier Cámara, Javier Troya, Lola Burgueño:
From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling. ERCIM News 2024(136) (2024) - 2023
- [j25]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) - [j24]Rafael García-Luque, Lorenzo Toro-Gálvez, Nathalie Moreno, Javier Troya, Carlos Canal, Ernesto Pimentel:
Integrating Citizens' Avatars in Urban Digital Twins. J. Web Eng. 22(6): 913-938 (2023) - [j23]Javier Cámara, Javier Troya, Lola Burgueño, Antonio Vallecillo:
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML. Softw. Syst. Model. 22(3): 781-793 (2023) - [c46]Juan Alberto Llopis, Javier Criado, Luis Iribarne, Paula Muñoz, Javier Troya, Antonio Vallecillo:
Modeling and Synchronizing Digital Twin Environments. ANNSIM 2023: 245-257 - [c45]Sergio Laso, Lorenzo Toro-Gálvez, Javier Berrocal, Javier Troya, Carlos Canal, Juan Manuel Murillo:
Towards an Urban Digital Twins Continuum Architecture. ECSA (Tracks, Workshops and Doctoral Symposium) 2023: 272-286 - [c44]Lorenzo Toro-Gálvez, Rafael García-Luque, Javier Troya, Carlos Canal, Ernesto Pimentel:
Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum. ICWE Workshops 2023: 67-74 - [c43]David Delgado, Lola Burgueño, Javier Cámara, Javier Troya:
Towards an Extensible Architecture and Tool Support for Model-Based Verification. MoDELS (Companion) 2023: 806-810 - [c42]Paula Muñoz, Javier Troya, Antonio Vallecillo:
A Conceptual Architecture for Building Digital Twins. Agile MDE/MeSS/TTC@STAF 2023 - [c41]Nathalie Moreno, Lorenzo Toro-Gálvez, Javier Troya, Carlos Canal:
Modeling Urban Digital Twins over the Cloud-to-Thing Continuum. Agile MDE/MeSS/TTC@STAF 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] - [d1]Paula Muñoz, Manuel Wimmer, Javier Troya, Antonio Vallecillo:
Measuring the Fidelity of a Physical and a Digital Twin Using Trace Alignments - Git repository. Zenodo, 2023
- 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).
Privacy notice: By enabling the option above, your browser will contact the API of 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 2024-12-02 21:30 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
