Javier Troya

Orcid: 0000-0002-1314-9694

Affiliations:
  • University of Málaga, Spain


According to our database1, Javier Troya authored at least 71 papers between 2009 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2024
Ant-colony optimization for automating test model generation in model transformation testing.
J. Syst. Softw., February, 2024

From Chats to Models: Assessing the Potential of LLMs in the World of Software Modeling.
ERCIM News, 2024

2023
On the assessment of generative AI in modeling tasks: an experience report with ChatGPT and UML.
Softw. Syst. Model., 2023

Integrating Citizens' Avatars in Urban Digital Twins.
J. Web Eng., 2023

Model Transformation Testing and Debugging: A Survey.
ACM Comput. Surv., 2023

Modeling Urban Digital Twins over the Cloud-to-Thing Continuum.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

A Conceptual Architecture for Building Digital Twins.
Proceedings of the Post Proceedings of the STAF 2023 Workshops TTC 2023, 2023

Towards an Extensible Architecture and Tool Support for Model-Based Verification.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2023

Towards the Integration of Digital Avatars in Urban Digital Twins on the Cloud-to-Thing Continuum.
Proceedings of the Current Trends in Web Engineering, 2023

Modeling and Synchronizing Digital Twin Environments.
Proceedings of the Annual Modeling and Simulation Conference, 2023

2022
Introduction to the theme section on Agile model-driven engineering.
Softw. Syst. Model., 2022

The uncertainty interaction problem in self-adaptive systems.
Softw. Syst. Model., 2022

Revisiting Fault Localization Techniques for Model Transformations: Towards A Hybrid Approach.
J. Object Technol., 2022

Key-Value vs Graph-based data lakes for realizing Digital Twin systems (Poster).
Proceedings of the STAF 2022 Workshop Proceedings: 10th International Workshop on Bidirectional Transformations (BX 2022), 2022

Addressing the uncertainty interaction problem in software-intensive systems: challenges and desiderata.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems, 2022

Using trace alignments for measuring the similarity between a physical and its digital twin.
Proceedings of the 25th International Conference on Model Driven Engineering Languages and Systems: Companion Proceedings, 2022

Automated Generation of Metamorphic Relations for Query-Based Systems.
Proceedings of the IEEE/ACM 7th International Workshop on Metamorphic Testing, 2022

2021
Flipping Laboratory Sessions in a Computer Science Course: An Experience Report.
IEEE Trans. Educ., 2021

Uncertainty representation in software models: a survey.
Softw. Syst. Model., 2021

Improving query performance on dynamic graphs.
Softw. Syst. Model., 2021

A model-driven framework for developing android-based classic multiplayer 2D board games.
Autom. Softw. Eng., 2021

Using UML and OCL Models to Realize High-Level Digital Twins.
Proceedings of the ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion, 2021

Incorporating Trust into Collaborative Social Computing Applications.
Proceedings of the 25th IEEE International Enterprise Distributed Object Computing Conference, 2021

2020
Flipping Laboratory Sessions: An Experience in Computer Science.
Rev. Iberoam. de Tecnol. del Aprendiz., 2020

2019
A local and global tour on MOMoT.
Softw. Syst. Model., 2019

Trading Accuracy for Performance in Data Processing Applications.
J. Object Technol., 2019

Metamorphic relation patterns for query-based systems.
Proceedings of the 4th International Workshop on Metamorphic Testing, 2019

2018
Metamorphic Testing of RESTful Web APIs.
IEEE Trans. Software Eng., 2018

Spectrum-Based Fault Localization in Model Transformations.
ACM Trans. Softw. Eng. Methodol., 2018

Full contract verification for ATL using symbolic execution.
Softw. Syst. Model., 2018

Automated inference of likely metamorphic relations for model transformations.
J. Syst. Softw., 2018

Performance metamorphic testing: A Proof of concept.
Inf. Softw. Technol., 2018

Towards the Automation of Metamorphic Testing in Model Transformations.
CoRR, 2018

Extending Complex Event Processing to Graph-structured Information.
Proceedings of the 21th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2018

Managing Uncertain Complex Events in Web of Things Applications.
Proceedings of the Web Engineering - 18th International Conference, 2018

Expressing Measurement Uncertainty in OCL/UML Datatypes.
Proceedings of the Modelling Foundations and Applications - 14th European Conference, 2018

2017
Model Transformation Modularization as a Many-Objective Optimization Problem.
IEEE Trans. Software Eng., 2017

Domain-Specific Languages and Model Transformations for Software Product Line.
Proceedings of the 21st International Systems and Software Product Line Conference, 2017

Performance Metamorphic Testing: Motivation and Challenges.
Proceedings of the 39th IEEE/ACM International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track, 2017

A Template-Based Approach to Describing Metamorphic Relations.
Proceedings of the 2nd IEEE/ACM International Workshop on Metamorphic Testing, 2017

2016
Search-based model transformations.
J. Softw. Evol. Process., 2016

The Class Responsibility Assignment Case.
Proceedings of the 9th Transformation Tool Contest, 2016

Search-Based Model Transformations with MOMoT.
Proceedings of the Theory and Practice of Model Transformations, 2016

Towards generic modularization transformations.
Proceedings of the Companion Proceedings of the 15th International Conference on Modularity, Málaga, Spain, March 14, 2016

2015
Static Fault Localization in Model Transformations.
IEEE Trans. Software Eng., 2015

ARTIST: Model-Based Stairway to the Cloud.
Proceedings of the Projects Showcase, 2015

Parallel In-place Model Transformations with LinTra.
Proceedings of the 3rd Workshop on Scalable Model Driven Engineering part of the Software Technologies: Applications and Foundations (STAF 2015) federation of conferences, 2015

XMLText: from XML schema to xtext.
Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering, 2015

Fully verifying transformation contracts for declarative ATL.
Proceedings of the 18th ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, 2015

Towards systematic mutations for and with ATL model transformations.
Proceedings of the Eighth IEEE International Conference on Software Testing, 2015

2014
Evaluation of model transformation approaches for model refactoring.
Sci. Comput. Program., 2014

Specification and simulation of queuing network models using Domain-Specific Languages.
Comput. Stand. Interfaces, 2014

Towards Approximate Model Transformations.
Proceedings of the Workshop on Analysis of Model Transformations co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), 2014

Towards Pattern-Based Optimization of Cloud Applications.
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

UML-based Cloud Application Modeling with Libraries, Profiles, and Templates.
Proceedings of the 2nd International Workshop on Model-Driven Engineering on and for the Cloud co-located with the 17th International Conference on Model Driven Engineering Languages and Systems, 2014

From out-place transformation evolution to in-place model patching.
Proceedings of the ACM/IEEE International Conference on Automated Software Engineering, 2014

Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio.
Proceedings of the Modelling Foundations and Applications - 10th European Conference, 2014

2013
Model-driven performance analysis of rule-based domain specific visual models.
Inf. Softw. Technol., 2013

On the concurrent execution of model transformations with Linda.
Proceedings of the Workshop on Scalability in Model Driven Engineering, 2013

Automated Throughput Optimization of Cloud Services via Model-driven Adaptation.
Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

TractsTool: Testing Model Transformations based on Contracts.
Proceedings of the Joint Proceedings of MODELS'13 Invited Talks, 2013

2012
On the Reusable Specification of Non-functional Properties in DSLs.
Proceedings of the Software Language Engineering, 5th International Conference, 2012

A domain specific visual language for modeling power-aware reliability in wireless sensor networks.
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, 2012

Matching Business Process Workflows across Abstraction Levels.
Proceedings of the Model Driven Engineering Languages and Systems, 2012

An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures.
Proceedings of the 38th Euromicro Conference on Software Engineering and Advanced Applications, 2012

2011
A Rewriting Logic Semantics for ATL.
J. Object Technol., 2011

Lightweight Testing of Communication Networks with <i>e-Motions</i>.
Proceedings of the Tests and Proofs - 5th International Conference, 2011

2010
Simulating domain specific visual models by observation.
Proceedings of the 2010 Spring Simulation Multiconference, 2010

Towards a Rewriting Logic Semantics for ATL.
Proceedings of the Theory and Practice of Model Transformations, 2010

2009
On the Specification of Non-Functional Properties of Systems by Observation.
Proceedings of the 2nd International Workshop on Non-functional System Properties in Domain Specific Modeling Languages NFPinDSML2009 Affiliated with the 12th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2009) Denver, 2009

Developing a communications architecture based on WCF for use in nuclear power plant simulators.
Proceedings of the IADIS International Conference Applied Computing 2009, 2009


  Loading...