Placement of Records on Linear Storage Devices. - A. Vaquero; José M. Troya (IFIP Congress, 1980)

An Approximation Algorithm for Reducing Expected Head Movement in Linear Storage Devices. - José M. Troya; A. Vaquero (Inf. Process. Lett., 1981)

Optimization and approximation algorithm for placement of records on linear storage devices. - Antonio Ramón Vaquero Sánchez; José M. Troya (Computing, 1982)

Automating the computation of authenticators for interbank telex messages. - C. Fernández; A. Vaquero; José M. Troya; J. M. Sánchez (Comput. Secur., 1987)

Live nodes distribution in parallel branch and bound algorithms. - M. Ortega; José M. Troya (Microprocess. Microprogramming, 1989)

A study of parallel branch-and-bound algorithms with best-bound-first search. - José M. Troya; M. Ortega (Parallel Comput., 1989)

Extending an Object Oriented Concurrent Logic Language for Neural Network Simulations. - José M. Troya; José Francisco Aldana Montes (IWANN, 1991)

L2||O2: Operational and Declarative Semantics. - Ernesto Pimentel 001; José M. Troya (ALPUK, 1992)

A Declarative Environment for Distributed Programming. - Manuel Díaz; Ernesto Pimentel 001; José M. Troya (IFIP Congress (1), 1992)

Parlog Programs Nontermination Analysis. - María-del-Mar Gallardo; José M. Troya (GULP, 1993)

Full Automatic ANN Design: A Genetic Approach. - Enrique Alba 001; José Francisco Aldana Montes; José M. Troya (IWANN, 1993)

URANO: An Object-Oriented Artificial Neural Network Simulation Tool. - Lidia Fuentes; José Francisco Aldana Montes; José M. Troya (IWANN, 1993)

A Methodological Scheme and Tool for Program Transformation with Transputer Systems. - Manuel I. Capel; José M. Troya; A. Palma (PARCO, 1993)

Compositionality Issues of Concurrent Object-Oriented Logic Languages. - Ernesto Pimentel 001; José M. Troya (PARLE, 1993)

A Prolog interpreter for OR parallelism evaluation on distributed systems. - Vicente Benjumea; Manuel Roldán; José M. Troya (PDP, 1993)

An OR Parallel Prolog Model for Distributed Memory Systems. - Vicente Benjumea; José M. Troya (PLILP, 1993)

A parlog based real-time distributed logic environment. - Manuel Díaz; José M. Troya (Future Gener. Comput. Syst., 1993)

Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems. - Manuel I. Capel; José M. Troya; A. Palma (Microprocess. Microprogramming, 1993)

Comunicacion entre objetos mediante la unificacion de canales logicos. - Francisco J. Durán; Ernesto Pimentel 001; José M. Troya (GULP-PRODE (2), 1994)

Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation. - María-del-Mar Gallardo; José M. Troya (GULP-PRODE (1), 1994)

D2: A Model for Datalog Parallel Evaluation. - José Francisco Aldana Montes; Enrique Alba 001; José M. Troya (GULP-PRODE (2), 1994)

Implementation Issues of a Distributed Real-Time Logic Language. - Manuel Díaz; Bartolomé Rubio; José M. Troya (ICLP Workshop: Integration of Declarative Paradigms, 1994)

Load Balancing and Query Optimization in DataFlow Parallel Evaluation of Datalog Programs. - José Francisco Aldana Montes; Enrique Alba 001; José M. Troya (ICPADS, 1994)

DROL: A Distributed and Real-Time Object-Oriented Logic Environment. - Manuel Díaz; Ernesto Pimentel 001; José M. Troya (Comput. J., 1994)

An Object-Based Tool and Methodological Approach for Distributed Programming. - Manuel I. Capel; José M. Troya (Softw. Concepts Tools, 1994)

A Genetic Algorithm for Load Balancing in Parallel Query Evaluation for Deductive Relational Data Bases. - Enrique Alba 001; José Francisco Aldana Montes; José M. Troya (ICANNGA, 1995)

Hybridizing Genetic Algorithms with Branch and Bound Techniques for the Resolution of the TSP. - Carlos Cotta; José Francisco Aldana Montes; Antonio J. Nebro; José M. Troya (ICANNGA, 1995)

GENESIS: An Object-Oriented Framework for Simulation of Neural Network Models. - Lidia Fuentes; José Francisco Aldana Montes; José M. Troya (ICANNGA, 1995)

Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis. - María-del-Mar Gallardo; José M. Troya (LOPSTR, 1995)

EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols. - Pedro Merino 001; José M. Troya (CAV, 1996)

Data Flow Evaluation of Datalog Queries. - José Francisco Aldana Montes; José M. Troya (DDLP, 1996)

Modelling and verification of the MCS layer with Spin. - Pedro Merino 001; José María Troya Linero (The Spin Verification System, 1996)

Data Flow Parallel Evaluation of Datalog Queries. - José Francisco Aldana Montes; José M. Troya (JIDBD, 1996)

Genetic Algorithms for Protocol Validation. - Enrique Alba 001; José M. Troya (PPSN, 1996)

Distributed Programming with a Logic Channel Based Coordination Model. - Manuel Díaz; Bartolomé Rubio; José M. Troya (Comput. J., 1996)

Concurrent Smart Evaluation of Datalog Queries. - José Francisco Aldana Montes; José M. Troya (APPIA-GULP-PRODE, 1997)

Applying Distributed Shared Memory Techniques for Implementing Distributed Objects. - Antonio J. Nebro; Ernesto Pimentel 001; José M. Troya (ECOOP Workshops, 1997)

On the Addition of Properties to Components. - José M. Troya; Antonio Vallecillo (ECOOP Workshops, 1997)

Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming. - Antonio J. Nebro; Ernesto Pimentel 001; José M. Troya (Euro-Par, 1997)

A Hybrid Genetic Algorithm for the 0-1 Multiple Knapsack Problem. - Carlos Cotta; José M. Troya (ICANNGA, 1997)

Logic Channels: A Coordination Approach to Distributed Programming. - Manuel Díaz; Bartolomé Rubio; José M. Troya (IPPS, 1997)

The Tuple Channel Coordination Model. - Manuel Díaz; Bartolomé Rubio; José M. Troya (PDSE, 1997)

A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform. - Lidia Fuentes; José M. Troya (WWCA, 1997)

DRL: A Distributed Real-Time Logic Language. - Manuel Díaz; Bartolomé Rubio; José M. Troya (Comput. Lang., 1997)

A Reflective Component Model for Open Systems. - José M. Troya; Antonio Vallecillo (ECOOP Workshops, 1998)

On Decision-Making in Strong Hybrid Evolutionary Algorithms. - Carlos Cotta; José M. Troya (IEA/AIE (Vol. 1), 1998)

Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages. - Antonio J. Nebro; Ernesto Pimentel 001; José M. Troya (ISCOPE, 1998)

Utilizing Dynastically Optimal Forma Recombination in Hybrid Genetic Algorithms. - Carlos Cotta; Enrique Alba 001; José M. Troya (PPSN, 1998)

Multilingual and multiparadigm integration of a tuple channel-based coordination model. - Manuel Díaz; Bartolomé Rubio; José M. Troya (SAC, 1998)

Un estudio de la potencia computacional y robustez de los algoritmos evolutivos paralelos. - Carlos Cotta; Enrique Alba 001; José M. Troya (Inteligencia Artif., 1998)

Genetic Forma Recombination in Permutation Flowshop Problems. - Carlos Cotta; José M. Troya (Evol. Comput., 1998)

Numerical and real time analysis of parallel distributed GAs with structured and panmictic populations. - Enrique Alba 001; Carlos Cotta; José M. Troya (CEC, 1999)

Stochastic reverse hill climbing and iterated local search. - Carlos Cotta; Enrique Alba 001; José M. Troya (CEC, 1999)

Object Interoperability. - Antonio Vallecillo; Juan Hernández Núñez; José M. Troya (ECOOP Workshops, 1999)

Specifying Reusable Controllers for Software Components (Short Paper). - José M. Troya; Antonio Vallecillo (FMOODS, 1999)

Tacking Epistatic Problems Using Dynastically Optimal Recombination. - Carlos Cotta; José M. Troya (Fuzzy Days, 1999)

Entropic and Real-Time Analysis of the Search with Panmictic, Structured, and Parallel Distributed Genetic Algorithms. - Enrique Alba 001; Carlos Cotta; José M. Troya (GECCO, 1999)

Improving the Scalability of Dynastically Optimal Forma Recombination by Tuning the Granularity of the Representation. - Carlos Cotta; Enrique Alba 001; José M. Troya (GECCO, 1999)

Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study. - Mónica Pinto; Mercedes Amor; Lidia Fuentes; José M. Troya (IDMS, 1999)

An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands. - Enrique Alba 001; José M. Troya (IPPS/SPDP Workshops, 1999)

Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm. - Carlos Cotta; José M. Troya (IWANN (2), 1999)

Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya (JISBD, 1999)

Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (SDL Forum, 1999)

Specification and Refinement of Dynamic Software Architectures. - Carlos Canal; Ernesto Pimentel 001; José M. Troya (WICSA, 1999)

A survey of parallel distributed genetic algorithms. - Enrique Alba 001; José M. Troya (Complex., 1999)

A Java Framework for Web-Based Multimedia and Collaborative Applications. - Lidia Fuentes; José M. Troya (IEEE Internet Comput., 1999)

Distributed Storage and Revocation in Digital Certificate Databases. - Javier López 001; Antonio Mana; Juan J. Ortega; José M. Troya (DEXA, 2000)

Development of Secure Internet Applications for Governmental Environments. - Jorge Dávila; Javier López 001; Antonio Mana; Juan J. Ortega; José M. Troya (DEXA Workshop, 2000)

New Issues in Object Interoperability. - Antonio Vallecillo; Juan Hernández Núñez; José M. Troya (ECOOP Workshops, 2000)

Combining Software Components and Mobile Agents. - Mercedes Amor; Mónica Pinto; Lidia Fuentes; José M. Troya (ESAW, 2000)

Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors. - Carlos Cotta; José M. Troya (EvoWorkshops, 2000)

Integration of Task and Data Parallelism: A Coordination-Based Approach. - Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya (HiPC, 2000)

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (JISBD, 2000)

BCL: A Border-based Coordination Language. - Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya (PDPTA, 2000)

Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio. - Enrique Alba 001; José M. Troya (PPSN, 2000)

Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search. - Carlos Cotta; José M. Troya (PPSN, 2000)

On the Influence of the Representation Granularity in Heuristic Forma Recombination. - Carlos Cotta; José M. Troya (SAC (1), 2000)

SDL and hard real time systems: new design and analyze techniques. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (SAM, 2000)

Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. - Carlos Canal; Lidia Fuentes; José M. Troya; Antonio Vallecillo (TOOLS (33), 2000)

Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic Populations. - Enrique Alba 001; José M. Troya (Appl. Intell., 2000)

On the Computational Power of Adaptive Systems. - Carlos Cotta; Enrique Alba 001; José M. Troya (Comput. Artif. Intell., 2000)

Towards an open multimedia service framework. - Lidia Fuentes; José M. Troya (ACM Comput. Surv., 2000)

Deriving hard real-time embedded systems implementations directly from SDL specifications. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (CODES, 2001)

Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP. - Mónica Pinto; Mercedes Amor; Lidia Fuentes; José M. Troya (CoopIS, 2001)

Trading for COTS Components in Open Environments. - Luis Iribarne; José M. Troya; Antonio Vallecillo (EUROMICRO, 2001)

Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments. - Mónica Pinto; Lidia Fuentes; José M. Troya; Mohamed Fayad (FTDCS, 2001)

Analyzing Directed Acyclic Graph Recombination. - Carlos Cotta; José M. Troya (Fuzzy Days, 2001)

Integrating Task and Data Parallelism by Means of Coordination Patterns. - Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya (HIPS, 2001)

Collaborative Virtual Environment Development: An Aspect-Oriented Approach. - Mónica Pinto; Mercedes Amor; Lidia Fuentes; José M. Troya (ICDCS Workshops, 2001)

A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem. - Carlos Cotta; José M. Troya (IWANN (1), 2001)

DIP: a pattern-based approach for task and data parallelism integration. - Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya (SAC, 2001)

Extending CORBA Interfaces with Protocols. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (Comput. J., 2001)

Analyzing synchronous and asynchronous parallel distributed genetic algorithms. - Enrique Alba 001; José M. Troya (Future Gener. Comput. Syst., 2001)

Controllers: reusable wrappers to adapt software components. - José M. Troya; Antonio Vallecillo (Inf. Softw. Technol., 2001)

Compatibility and inheritance in software architectures. - Carlos Canal; Ernesto Pimentel 001; José M. Troya (Sci. Comput. Program., 2001)

Coordinating distributed components on the web: an integrated development environment. - Lidia Fuentes; José M. Troya (Softw. Pract. Exp., 2001)

Separation of coordination in a dynamic aspect oriented framework. - Mónica Pinto; Lidia Fuentes; Mohamed Fayad; José M. Troya (AOSD, 2002)

Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. - Javier López 001; Antonio Mana; José A. Montenegro; Juan J. Ortega; José M. Troya (EGOV, 2002)

Selecting Software Components with Multiple Interfaces. - Luis Iribarne; José M. Troya; Antonio Vallecillo (EUROMICRO, 2002)

.NET as a Platform for Implementing Concurrent Objects (Research Note). - Antonio J. Nebro; Enrique Alba 001; Francisco Luna 001; José M. Troya (Euro-Par, 2002)

A Semantic Approach for Access Control in Web Services. - Mariemma Inmaculada Yagüe del Valle; José M. Troya (EuroWeb, 2002)

Secure Content Distribution for Digital Libraries. - Mariemma Inmaculada Yagüe del Valle; Antonio Mana; Javier López 001; Ernesto Pimentel 001; José M. Troya (ICADL, 2002)

Access Control Infrastructure for Digital Objects. - Javier López 001; Antonio Mana; Ernesto Pimentel 001; José M. Troya; Mariemma Inmaculada Yagüe del Valle (ICICS, 2002)

Protocol Engineering Applied to Formal Analysis of Security Systems. - Javier López 001; Juan J. Ortega; José M. Troya (InfraSec, 2002)

Arquitectura Composicional de Agentes de Negociación. - Mercedes Amor; Lidia Fuentes; José M. Troya (JISBD, 2002)

Plataforma para la Composición Dinámica de Componentes y Aspectos. - Mónica Pinto; Lidia Fuentes; José M. Troya (JISBD, 2002)

Verification of Authentication Protocols using SDL-method. - Javier López 001; Juan J. Ortega; José M. Troya (SIS, 2002)

Using UML Profiles for Documenting Web-Based Application Frameworks. - Lidia Fuentes; José M. Troya; Antonio Vallecillo (Ann. Softw. Eng., 2002)

Heterogeneous Computing and Parallel Genetic Algorithms. - Enrique Alba 001; Antonio J. Nebro; José M. Troya (J. Parallel Distributed Comput., 2002)

A Border-based Coordination Language for Integrating Task and Data Parallelism. - Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya (J. Parallel Distributed Comput., 2002)

Improving flexibility and efficiency by adding parallelism to genetic algorithms. - Enrique Alba 001; José M. Troya (Stat. Comput., 2002)

Building Software Agents from Software Components. - Mercedes Amor; Lidia Fuentes; Lawrence Mandow; José M. Troya (CAEPIA, 2003)

A Component-Based Approach for Interoperability across FIPA-Compliant Platforms. - Mercedes Amor; Lidia Fuentes; José M. Troya (CIA, 2003)

How to Specify Security Services: A Practical Approach. - Javier López 001; Juan J. Ortega; José Luis Vivas; José M. Troya (Communications and Multimedia Security, 2003)

A Component-Based Model for Predictable Embedded Systems. - Manuel Díaz; Daniel Garrido; Francisco Rus; José M. Troya (Embedded Systems and Applications, 2003)

Applying the Semantic Web Layers to Access Control. - Mariemma Inmaculada Yagüe del Valle; Antonio Mana; Javier López 001; José M. Troya (DEXA Workshops, 2003)

High-level specification of security systems. - Javier López 001; Juan J. Ortega; José M. Troya; José Luis Vivas (GLOBECOM, 2003)

DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development. - Mónica Pinto; Lidia Fuentes; José M. Troya (GPCE, 2003)

Putting Together Web Services and Compositional Software Agents. - Mercedes Amor; Lidia Fuentes; José M. Troya (ICWE, 2003)

DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos. - Mónica Pinto; Lidia Fuentes; José M. Troya (JISBD, 2003)

Applying SDL to Formal Analysis of Security Systems. - Javier López 001; Juan J. Ortega; José M. Troya (SDL Forum, 2003)

Embedding Branch and Bound within Evolutionary Algorithms. - Carlos Cotta; José M. Troya (Appl. Intell., 2003)

Information processing in transmitting recombination. - Carlos Cotta; José M. Troya (Appl. Math. Lett., 2003)

An Object-oriented Methodology for Embedded Real-time Systems. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (Comput. J., 2003)

Integrating PMI services in CORBA applications. - Javier López 001; Antonio Maña; Juan J. Ortega; José M. Troya; Mariemma Inmaculada Yagüe del Valle (Comput. Stand. Interfaces, 2003)

A secure solution for commercial digital libraries. - Mariemma Inmaculada Yagüe del Valle; Antonio Maña; Javier López 001; Ernesto Pimentel 001; José M. Troya (Online Inf. Rev., 2003)

Domain interaction patterns to coordinate HPF tasks. - Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya (Parallel Comput., 2003)

Integrating Schedulability Analysis and Design Techniques in SD. - José María Álvarez 002; Manuel Díaz; Luis Llopis; Ernesto Pimentel 001; José M. Troya (Real Time Syst., 2003)

Adding Roles to CORBA Objects. - Carlos Canal; Lidia Fuentes; Ernesto Pimentel 001; José M. Troya; Antonio Vallecillo (IEEE Trans. Software Eng., 2003)

Integrating Real-time Analysis in a Component Model for Embedded Systems. - Manuel Díaz; Daniel Garrido; Luis Llopis; Francisco Rus; José M. Troya (EUROMICRO, 2004)

A Component and Aspect-Based Architecture for Rapid Software Agent Development. - Mercedes Amor; Lidia Fuentes; José M. Troya (IBERAMIA, 2004)

SBASCO: Skeleton-Based Scientific Components. - Manuel Díaz; Bartolomé Rubio; Enrique Soler; José M. Troya (PDP, 2004)

A First Approach to Provide Anonymity in Attribute Certificates. - Vicente Benjumea; Javier López 001; José A. Montenegro; José M. Troya (Public Key Cryptography, 2004)

A Trading Service for COTS Components. - Luis Iribarne; José M. Troya; Antonio Vallecillo (Comput. J., 2004)

Training compositional agents in negotiation protocols using ontologies. - Mercedes Amor; Lidia Fuentes; José M. Troya (Integr. Comput. Aided Eng., 2004)

A framework for secure execution of software. - Antonio Mana; Javier López 001; Juan J. Ortega; Ernesto Pimentel 001; José M. Troya (Int. J. Inf. Sec., 2004)

Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms. - Carlos Cotta; José M. Troya (Neurocomputing, 2004)

Analyzing Architectural Evolution Issues of Multimedia Frameworks. - Mónica Pinto; Mercedes Amor; Lidia Fuentes; José M. Troya (Multim. Tools Appl., 2004)

Parallel heterogeneous genetic algorithms for continuous optimization. - Enrique Alba 001; Francisco Luna 001; Antonio J. Nebro; José M. Troya (Parallel Comput., 2004)

Parallel LAN/WAN heuristics for optimization. - Enrique Alba 001; Gabriel Luque; José M. Troya (Parallel Comput., 2004)

A CCA-compliant Nuclear Power Plant Simulator Kernel. - Manuel Díaz; Daniel Garrido; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (CBSE, 2005)

TCMote: a tuple channel coordination model for wireless sensor networks. - Manuel Díaz; Bartolomé Rubio; José M. Troya (ICPS, 2005)

A Coordination Middleware for Wireless Sensor Networks. - Manuel Díaz; Bartolomé Rubio; José M. Troya (Systems Communications, 2005)

An Aspect Oriented Framework for Scientific Component Development. - Manuel Díaz; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (PDP, 2005)

Integrating RT-CORBA in SDL. - Manuel Díaz; Daniel Garrido; Luis Llopis; José M. Troya (SDL Forum, 2005)

A Dynamic Component and Aspect-Oriented Platform. - Mónica Pinto; Lidia Fuentes; José M. Troya (Comput. J., 2005)

Security protocols analysis: A SDL-based approach. - Javier López 001; Juan J. Ortega; José M. Troya (Comput. Stand. Interfaces, 2005)

A Component Framework for Wireless Sensor and Actor Networks. - Manuel Díaz; Daniel Garrido; Luis Llopis; Bartolomé Rubio; José M. Troya (ETFA, 2006)

Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains. - Manuel Díaz; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (International Conference on Computational Science (2), 2006)

Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case Study. - Manuel Díaz; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (OTM Conferences (2), 2006)

Anonymous attribute certificates based on traceable signatures. - Vicente Benjumea; Javier López 001; José M. Troya (Internet Res., 2006)

Measuring the usability of software components. - Manuel F. Bertoa; José M. Troya; Antonio Vallecillo (J. Syst. Softw., 2006)

Experiences with component-oriented technologies in nuclear power plant simulators. - Manuel Díaz; Daniel Garrido; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (Softw. Pract. Exp., 2006)

Specification of a framework for the anonymous use of privileges. - Vicente Benjumea; Javier López 001; José María Troya Linero (Telematics Informatics, 2006)

Programming Wireless Sensor and Actor Networks with TC-WSANs. - Javier Barbarán; Manuel Díaz; Inaki Esteve; Daniel Garrido; Luis Llopis; Bartolomé Rubio; José M. Troya (ICPS, 2007)

Programming Approaches and Challenges for Wireless Sensor Networks. - Bartolomé Rubio; Manuel Díaz; José M. Troya (ICSNC, 2007)

TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks. - Javier Barbarán; Manuel Díaz; Inaki Esteve; Daniel Garrido; Luis Llopis; Bartolomé Rubio; José M. Troya (ISCC, 2007)

A component-based nuclear power plant simulator kernel. - Manuel Díaz; Daniel Garrido; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (Concurr. Comput. Pract. Exp., 2007)

Model-driven component adaptation in the context of Web Engineering. - Nathalie Moreno Vergara; José María Troya Linero; Antonio Vallecillo Moreno (Eur. J. Inf. Syst., 2007)

A tuple channel-based coordination model for parallel and distributed programming. - Manuel Díaz; Bartolomé Rubio; José M. Troya (J. Parallel Distributed Comput., 2007)

Development of distributed real-time simulators based on CORBA. - Manuel Díaz; Daniel Garrido; José M. Troya (Simul. Model. Pract. Theory, 2007)

Supporting the development of CAM/DAOP applications: an integrated development process. - Lidia Fuentes; Mónica Pinto; José M. Troya (Softw. Pract. Exp., 2007)

Modeling ODP Computational Specifications Using UML. - José Raúl Romero; José M. Troya; Antonio Vallecillo (Comput. J., 2008)

Anonymity analysis in credentials-based systems: A formal framework. - Vicente Benjumea; Javier López 001; José M. Troya (Comput. Stand. Interfaces, 2008)

UM-RTCOM: An analyzable component model for real-time distributed systems. - Manuel Díaz; Daniel Garrido; Luis Llopis; Francisco Rus; José M. Troya (J. Syst. Softw., 2008)

Managing Multi-concern Application Complexity in AspectSBASCO. - Manuel Díaz; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (ICCS (1), 2009)

Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO. - Manuel Díaz; Sergio Romero 002; Bartolomé Rubio; Enrique Soler; José M. Troya (PDP, 2009)

Designing distributed software with RT-CORBA and SDL. - Manuel Díaz; Daniel Garrido; Luis Llopis; José M. Troya (Comput. Stand. Interfaces, 2009)

Specifying aspect-oriented architectures in AO-ADL. - Mónica Pinto; Lidia Fuentes; José María Troya Linero (Inf. Softw. Technol., 2011)

A survey on quality of service support in wireless sensor and actor networks: Requirements and challenges in the context of critical infrastructure protection. - Jaime Chen; Manuel Díaz; Luis Llopis; Bartolomé Rubio; José M. Troya (J. Netw. Comput. Appl., 2011)

RAISE: RAIlway Infrastructure Health Monitoring Using Wireless SEnsor Networks. - Jaime Chen; Manuel Díaz; Bartolomé Rubio; José M. Troya (S-CUBE, 2013)

PS-QUASAR: A publish/subscribe QoS aware middleware for Wireless Sensor and Actor Networks. - Jaime Chen; Manuel Díaz; Bartolomé Rubio; José M. Troya (J. Syst. Softw., 2013)

A Software Product Line Process to Develop Agents for the IoT. - Inmaculada Ayala; Mercedes Amor; Lidia Fuentes; José M. Troya (Sensors, 2015)

Creating Self-Adapting Mobile Systems with Dynamic Software Product Lines. - Nadia Gámez; Lidia Fuentes; José M. Troya (IEEE Softw., 2015)

Performance analysis of wireless sensor networks and priority queueing systems. - Eduardo Cañete; Jaime Chen; Manuel Díaz; Bartolomé Rubio; José M. Troya (Int. J. Sens. Networks, 2019)