Ver Investigador - - Prisma - Unidad de Bibliometría

Javier Troya Castilla

Profesor Contratado Doctor
jtroya@us.es

Investiga en

Tipo Año Título Fuente
Artículo2023 Model transformation testing and debugging: a survey ACM COMPUTING SURVEYS
Ponencia2022 Automated Generation of Metamorphic Relations for Query-Based Systems Proceedings - 7th International Workshop on Metamorphic Testing, MET 2022
Libro2022 Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings Service-oriented computing: 20th International Conference, ICSOC 2022, Seville, Spain, November 29 – December 2, 2022, Proceedings
Artículo2021 Flipping laboratory sessions in a computer science course: an experience report IEEE TRANSACTIONS ON EDUCATION
Ponencia2021 Improving query performance on dynamic graphs Actas de las XXV Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2021): [Málaga, 22 al 24 de septiembre de 2021]
Artículo2021 Uncertainty representation in software models: a survey SOFTWARE AND SYSTEMS MODELING
Artículo2020 Flipping laboratory sessions: an experience in computer science IEEE REVISTA IBEROAMERICANA DE TECNOLOGIAS DEL APRENDIZAJE-IEEE RITA
Artículo2020 Improving query performance on dynamic graphs SOFTWARE AND SYSTEMS MODELING
Artículo2019 A local and global tour on MOMoT SOFTWARE AND SYSTEMS MODELING
Artículo2019 Invirtiendo las clases de laboratorio en Ingeniería Informática: un enfoque ágil Actas de las Jornadas sobre Enseñanza Universitaria de la Informática
Ponencia2019 Metamorphic Relation Patterns for Query-Based Systems 2019 IEEE/ACM 4TH INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2019)
Artículo2019 Trading Accuracy for Performance in Data Processing Applications JOURNAL OF OBJECT TECHNOLOGY
Artículo2018 Automated inference of likely metamorphic relations for model transformations JOURNAL OF SYSTEMS AND SOFTWARE
Ponencia2018 Expressing measurement uncertainty in OCL/UML datatypes MODELLING FOUNDATIONS AND APPLICATIONS (ECMFA 2018)
Ponencia2018 Extending Complex Event Processing to Graph-structured Information Proceedings - 21st ACM/IEEE International Conference on Model Driven Engineering Languages and Systems, MODELS 2018
Artículo2018 Full contract verification for ATL using symbolic execution SOFTWARE AND SYSTEMS MODELING
Ponencia2018 Managing uncertain complex events in web of things applications Lecture Notes in Computer Science
Artículo2018 Metamorphic testing of RESTful Web APIs IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Artículo2018 Performance metamorphic testing: A Proof of concept INFORMATION AND SOFTWARE TECHNOLOGY
Artículo2018 Spectrum-Based Fault Localization in Model Transformations ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY
Ponencia2017 A Template-Based Approach to Describing Metamorphic Relations 2017 IEEE/ACM 2ND INTERNATIONAL WORKSHOP ON METAMORPHIC TESTING (MET 2017)
Ponencia2017 An approach for debugging model transformations applying spectrum-based fault localization Actas de las 22nd Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2017
Ponencia2017 Domain-Specific Languages and Model Transformations for Software Product Line 21ST INTERNATIONAL SYSTEMS & SOFTWARE PRODUCT LINE CONFERENCE (SPLC 2017), VOL 1
Artículo2017 Model transformation modularization as a many-objective optimization problem IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Ponencia2017 Performance Metamorphic Testing: Motivation and Challenges 2017 IEEE/ACM 39TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING: NEW IDEAS AND EMERGING TECHNOLOGIES RESULTS TRACK (ICSE-NIER)
Ponencia2016 Search-based model transformations JOURNAL OF SOFTWARE-EVOLUTION AND PROCESS
Ponencia2016 Search-Based Model Transformations with MOMoT THEORY AND PRACTICE OF MODEL TRANSFORMATIONS, ICMT 2016
Ponencia2016 The class responsibility assignment case CEUR workshop proceedings
Ponencia2016 Towards Generic Modularization Transformations COMPANION PROCEEDINGS OF THE 15TH INTERNATIONAL CONFERENCE ON MODULARITY (MODULARITY COMPANION'16)
Ponencia2016 Towards the automation of metamorphic testing in model transformations Actas de las 21st Jornadas de Ingeniería del Software y Bases de Datos, JISBD 2016
Ponencia2015 ARTIST: Model-based stairway to the cloud CEUR workshop proceedings
Ponencia2015 Fully Verifying Transformation Contracts for Declarative ATL 2015 ACM/IEEE 18TH INTERNATIONAL CONFERENCE ON MODEL DRIVEN ENGINEERING LANGUAGES AND SYSTEMS (MODELS)
Ponencia2015 Parallel in-place model transformations with LinTra CEUR workshop proceedings
Artículo2015 Static fault localization in model transformations IEEE TRANSACTIONS ON SOFTWARE ENGINEERING
Ponencia2015 Towards Systematic Mutations for and with ATL Model Transformations 2015 IEEE EIGHTH INTERNATIONAL CONFERENCE ON SOFTWARE TESTING, VERIFICATION AND VALIDATION WORKSHOPS (ICSTW)
Ponencia2015 XMLText: From XML schema to Xtext SLE 2015 - Proceedings of the 2015 ACM SIGPLAN International Conference on Software Language Engineering
Artículo2014 Evaluation of model transformation approaches for model refactoring SCIENCE OF COMPUTER PROGRAMMING
Capítulo2014 From Out-Place Transformation Evolution to In-Place Model Patching ASE´14. Proceedings of the 29th ACM/IEEE international conference on Automated software engineering
Ponencia2014 Modular DSLs for Flexible Analysis: An e-Motions Reimplementation of Palladio MODELLING FOUNDATIONS AND APPLICATIONS, ECMFA 2014
Artículo2014 Specification and simulation of queuing network models using Domain-Specific Languages COMPUTER STANDARDS & INTERFACES
Ponencia2014 Towards approximate model transformations CEUR workshop proceedings
Ponencia2014 Towards pattern-based optimization of cloud applications CEUR workshop proceedings
Ponencia2014 UML-based cloud application modeling with libraries, profiles, and templates CEUR workshop proceedings
Ponencia2013 Automated throughput optimization of cloud services via model-driven adaptation MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development
Artículo2013 Model-driven performance analysis of rule-based domain specific visual models INFORMATION AND SOFTWARE TECHNOLOGY
Ponencia2013 On the concurrent execution of model transformations with linda ACM International Conference Proceeding Series
Ponencia2013 On the reusable specification of non-functional properties in DSLs Lecture Notes in Computer Science
Ponencia2013 TractsTool: Testing model transformations based on contracts CEUR workshop proceedings
Ponencia2012 A domain specific visual language for modeling power-aware reliability in wireless sensor networks 4th International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages, NFPinDSML 2012
Ponencia2012 An MDE approach for Runtime Monitoring and Adapting Component-based Systems: Application to WIMP User Interface Architectures 2012 38TH EUROMICRO CONFERENCE ON SOFTWARE ENGINEERING AND ADVANCED APPLICATIONS (SEAA)
Ponencia2012 Matching business process workflows across abstraction levels Lecture Notes in Computer Science
Artículo2011 A Rewriting Logic Semantics for ATL JOURNAL OF OBJECT TECHNOLOGY
Ponencia2011 Adapting component-based user interfaces at runtime using observers Actas de las 16th Jornadas de Ingenieria del Software y Bases de Datos, JISBD 2011
Ponencia2011 Lightweight Testing of Communication Networks with e-Motions TESTS AND PROOFS, TAP 2011
Ponencia2010 On the Specification of Non-functional Properties of Systems by Observation MODELS IN SOFTWARE ENGINEERING
Capítulo2010 Simulating domain specific visual models by observation Proceedings of the 2010 Spring Simulation Multiconference
Ponencia2010 Towards a Rewriting Logic Semantics for ATL THEORY AND PRACTICE OF MODEL TRANSFORMATIONS
Ponencia2009 On the specification of non-functional properties of systems by observation CEUR workshop proceedings

Tesis dirigidas/tutorizadas:1
Fecha lectura Título Rol
19/02/2021 Processing structured data streams Director/a

Proyectos de Investigación

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
01/01/2019 30/09/2022 Investigador/a Tecnologías para Mejorar la Fiabilidad, Personalización y Costes de Operación de Aplicaciones Basadas en Servicios Software y Servicios Basados en Conocimiento (RTI2018-101204-B-C21) Ministerio de Ciencia, Innovación y Universidades (Nacional)
01/02/2020 30/04/2022 Investigador/a Tecnologías para Sistemas Orientados a Servicios Altamente Fiables y Regulados por Contratos de Usuario (US-1264651) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
01/01/2020 31/12/2022 Investigador/a EKIPMENT PLUS: Mejora del rendimiento de procesos basados en conocimiento: Un enfoque empírico multidisciplinar basado en personas, equipos, software y datos (P18-FR-2895) Junta de Andalucía (Consejería de Economía y Conocimiento) (Autonómico)
01/01/2016 31/12/2019 Investigador/a Tecnologias para Servicios Cloud Híbridos, Altamente Configurables y Regulados por Ans (TIN2015-70560-R) Ministerio de Economía y Competitividad (Nacional)
30/01/2014 16/02/2019 Investigador/a Copas: Ecosystems for Optimized Process As a Service (P12-TIC-1867) Consejería de Economía, Innovación y Ciencia (Autonómico)

Transferencia de Conocimiento

Fecha de inicio Fecha de fin Rol Denominación Agencia financiadora
27/12/2021 30/04/2023 Investigador/a TIRSO – Trustworthy infrastructures regulated by service level objectives (PYC20 RE 084 US) Junta de Andalucía (Consejería de Economía, Conocimiento, Empresas y Universidad) (Autonómico)
El investigador no tiene ningún resultado de investigación asociado