Javier Troya

According to our database1, Javier Troya authored at least 47 papers between 2009 and 2020.

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

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Other 

Links

Homepages:

On csauthors.net:

Bibliography

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

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...