José M. Troya

Publication Activity (10 Years)

Years Active: 1980-2019
Publications (10 Years): 3

Top Venues

Sensors

J. Syst. Softw.

S-CUBE

IEEE Softw.

Publications

Eduardo Cañete, Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya
Performance analysis of wireless sensor networks and priority queueing systems. Int. J. Sens. Networks 30 (2) (2019)
Inmaculada Ayala, Mercedes Amor, Lidia Fuentes, José M. Troya
A Software Product Line Process to Develop Agents for the IoT. Sensors 15 (7) (2015)
Nadia Gámez, Lidia Fuentes, José M. Troya
Creating Self-Adapting Mobile Systems with Dynamic Software Product Lines. IEEE Softw. 32 (2) (2015)
Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya
PS-QUASAR: A publish/subscribe QoS aware middleware for Wireless Sensor and Actor Networks. J. Syst. Softw. 86 (6) (2013)
Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya
RAISE: RAIlway Infrastructure Health Monitoring Using Wireless SEnsor Networks. S-CUBE (2013)
Jaime Chen, Manuel Díaz, Luis Llopis, Bartolomé Rubio, José M. Troya
A survey on quality of service support in wireless sensor and actor networks: Requirements and challenges in the context of critical infrastructure protection. J. Netw. Comput. Appl. 34 (4) (2011)
Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
Managing Multi-concern Application Complexity in AspectSBASCO. ICCS (1) (2009)
Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya
Designing distributed software with RT-CORBA and SDL. Comput. Stand. Interfaces 31 (6) (2009)
Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO. PDP (2009)
José Raúl Romero, José M. Troya, Antonio Vallecillo
Modeling ODP Computational Specifications Using UML. Comput. J. 51 (4) (2008)
Vicente Benjumea, Javier López, José M. Troya
Anonymity analysis in credentials-based systems: A formal framework. Comput. Stand. Interfaces 30 (4) (2008)
Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya
UM-RTCOM: An analyzable component model for real-time distributed systems. J. Syst. Softw. 81 (5) (2008)
Manuel Díaz, Daniel Garrido, José M. Troya
Development of distributed real-time simulators based on CORBA. Simul. Model. Pract. Theory 15 (6) (2007)
Manuel Díaz, Bartolomé Rubio, José M. Troya
A tuple channel-based coordination model for parallel and distributed programming. J. Parallel Distributed Comput. 67 (10) (2007)
Javier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya
Programming Wireless Sensor and Actor Networks with TC-WSANs. ICPS (2007)
Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
A component-based nuclear power plant simulator kernel. Concurr. Comput. Pract. Exp. 19 (5) (2007)
Bartolomé Rubio, Manuel Díaz, José M. Troya
Programming Approaches and Challenges for Wireless Sensor Networks. ICSNC (2007)
Lidia Fuentes, Mónica Pinto, José M. Troya
Supporting the development of CAM/DAOP applications: an integrated development process. Softw. Pract. Exp. 37 (1) (2007)
Javier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya
TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks. ISCC (2007)
Manuel F. Bertoa, José M. Troya, Antonio Vallecillo
Measuring the usability of software components. J. Syst. Softw. 79 (3) (2006)
Manuel Díaz, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya
A Component Framework for Wireless Sensor and Actor Networks. ETFA (2006)
Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case Study. OTM Conferences (2) (2006)
Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
Experiences with component-oriented technologies in nuclear power plant simulators. Softw. Pract. Exp. 36 (13) (2006)
Vicente Benjumea, Javier López, José M. Troya
Anonymous attribute certificates based on traceable signatures. Internet Res. 16 (2) (2006)
Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains. International Conference on Computational Science (2) (2006)
Manuel Díaz, Bartolomé Rubio, José M. Troya
TCMote: a tuple channel coordination model for wireless sensor networks. ICPS (2005)
Manuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya
Integrating RT-CORBA in SDL. SDL Forum (2005)
Manuel Díaz, Bartolomé Rubio, José M. Troya
A Coordination Middleware for Wireless Sensor Networks. Systems Communications (2005)
Manuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
A CCA-compliant Nuclear Power Plant Simulator Kernel. CBSE (2005)
Mónica Pinto, Lidia Fuentes, José M. Troya
A Dynamic Component and Aspect-Oriented Platform. Comput. J. 48 (4) (2005)
Manuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya
An Aspect Oriented Framework for Scientific Component Development. PDP (2005)
Javier López, Juan J. Ortega, José M. Troya
Security protocols analysis: A SDL-based approach. Comput. Stand. Interfaces 27 (5) (2005)
Enrique Alba, Francisco Luna, Antonio J. Nebro, José M. Troya
Parallel heterogeneous genetic algorithms for continuous optimization. Parallel Comput. 30 (5-6) (2004)
Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya
Analyzing Architectural Evolution Issues of Multimedia Frameworks. Multim. Tools Appl. 22 (1) (2004)
Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
SBASCO: Skeleton-Based Scientific Components. PDP (2004)
Luis Iribarne, José M. Troya, Antonio Vallecillo
A Trading Service for COTS Components. Comput. J. 47 (3) (2004)
Mercedes Amor, Lidia Fuentes, José M. Troya
Training compositional agents in negotiation protocols using ontologies. Integr. Comput. Aided Eng. 11 (2) (2004)
Vicente Benjumea, Javier López, José A. Montenegro, José M. Troya
A First Approach to Provide Anonymity in Attribute Certificates. Public Key Cryptography (2004)
Enrique Alba, Gabriel Luque, José M. Troya
Parallel LAN/WAN heuristics for optimization. Parallel Comput. 30 (5-6) (2004)
Mercedes Amor, Lidia Fuentes, José M. Troya
A Component and Aspect-Based Architecture for Rapid Software Agent Development. IBERAMIA (2004)
Manuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya
Integrating Real-time Analysis in a Component Model for Embedded Systems. EUROMICRO (2004)
Antonio Mana, Javier López, Juan J. Ortega, Ernesto Pimentel, José M. Troya
A framework for secure execution of software. Int. J. Inf. Sec. 3 (2) (2004)
Carlos Cotta, José M. Troya
Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms. Neurocomputing 62 (2004)
Mónica Pinto, Lidia Fuentes, José M. Troya
DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos. JISBD (2003)
Carlos Cotta, José M. Troya
Information processing in transmitting recombination. Appl. Math. Lett. 16 (6) (2003)
Mercedes Amor, Lidia Fuentes, José M. Troya
A Component-Based Approach for Interoperability across FIPA-Compliant Platforms. CIA (2003)
Carlos Cotta, José M. Troya
Embedding Branch and Bound within Evolutionary Algorithms. Appl. Intell. 18 (2) (2003)
Javier López, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle
Integrating PMI services in CORBA applications. Comput. Stand. Interfaces 25 (4) (2003)
Manuel Díaz, Daniel Garrido, Francisco Rus, José M. Troya
A Component-Based Model for Predictable Embedded Systems. Embedded Systems and Applications (2003)
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
Integrating Schedulability Analysis and Design Techniques in SD. Real Time Syst. 24 (3) (2003)
Mónica Pinto, Lidia Fuentes, José M. Troya
DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development. GPCE (2003)
Mercedes Amor, Lidia Fuentes, Lawrence Mandow, José M. Troya
Building Software Agents from Software Components. CAEPIA (2003)
Mariemma Inmaculada Yagüe del Valle, Antonio Maña, Javier López, Ernesto Pimentel, José M. Troya
A secure solution for commercial digital libraries. Online Inf. Rev. 27 (3) (2003)
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
An Object-oriented Methodology for Embedded Real-time Systems. Comput. J. 46 (2) (2003)
Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
Adding Roles to CORBA Objects. IEEE Trans. Software Eng. 29 (3) (2003)
Javier López, Juan J. Ortega, José M. Troya, José Luis Vivas
High-level specification of security systems. GLOBECOM (2003)
Javier López, Juan J. Ortega, José Luis Vivas, José M. Troya
How to Specify Security Services: A Practical Approach. Communications and Multimedia Security (2003)
Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
Domain interaction patterns to coordinate HPF tasks. Parallel Comput. 29 (7) (2003)
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, José M. Troya
Applying the Semantic Web Layers to Access Control. DEXA Workshops (2003)
Javier López, Juan J. Ortega, José M. Troya
Applying SDL to Formal Analysis of Security Systems. SDL Forum (2003)
Mercedes Amor, Lidia Fuentes, José M. Troya
Putting Together Web Services and Compositional Software Agents. ICWE (2003)
Javier López, Juan J. Ortega, José M. Troya
Protocol Engineering Applied to Formal Analysis of Security Systems. InfraSec (2002)
Antonio J. Nebro, Enrique Alba, Francisco Luna, José M. Troya
.NET as a Platform for Implementing Concurrent Objects (Research Note). Euro-Par (2002)
Luis Iribarne, José M. Troya, Antonio Vallecillo
Selecting Software Components with Multiple Interfaces. EUROMICRO (2002)
Enrique Alba, José M. Troya
Improving flexibility and efficiency by adding parallelism to genetic algorithms. Stat. Comput. 12 (2) (2002)
Mariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier López, Ernesto Pimentel, José M. Troya
Secure Content Distribution for Digital Libraries. ICADL (2002)
Lidia Fuentes, José M. Troya, Antonio Vallecillo
Using UML Profiles for Documenting Web-Based Application Frameworks. Ann. Softw. Eng. 13 (1-4) (2002)
Mónica Pinto, Lidia Fuentes, Mohamed Fayad, José M. Troya
Separation of coordination in a dynamic aspect oriented framework. AOSD (2002)
Mercedes Amor, Lidia Fuentes, José M. Troya
Arquitectura Composicional de Agentes de Negociación. JISBD (2002)
Javier López, Juan J. Ortega, José M. Troya
Verification of Authentication Protocols using SDL-method. SIS (2002)
Javier López, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya
Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations. EGOV (2002)
Mónica Pinto, Lidia Fuentes, José M. Troya
Plataforma para la Composición Dinámica de Componentes y Aspectos. JISBD (2002)
Mariemma Inmaculada Yagüe del Valle, José M. Troya
A Semantic Approach for Access Control in Web Services. EuroWeb (2002)
Enrique Alba, Antonio J. Nebro, José M. Troya
Heterogeneous Computing and Parallel Genetic Algorithms. J. Parallel Distributed Comput. 62 (9) (2002)
Javier López, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle
Access Control Infrastructure for Digital Objects. ICICS (2002)
Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
A Border-based Coordination Language for Integrating Task and Data Parallelism. J. Parallel Distributed Comput. 62 (4) (2002)
Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
DIP: a pattern-based approach for task and data parallelism integration. SAC (2001)
Lidia Fuentes, José M. Troya
Coordinating distributed components on the web: an integrated development environment. Softw. Pract. Exp. 31 (3) (2001)
Carlos Cotta, José M. Troya
Analyzing Directed Acyclic Graph Recombination. Fuzzy Days (2001)
Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya
Collaborative Virtual Environment Development: An Aspect-Oriented Approach. ICDCS Workshops (2001)
Carlos Cotta, José M. Troya
A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem. IWANN (1) (2001)
Enrique Alba, José M. Troya
Analyzing synchronous and asynchronous parallel distributed genetic algorithms. Future Gener. Comput. Syst. 17 (4) (2001)
Carlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo
Extending CORBA Interfaces with Protocols. Comput. J. 44 (5) (2001)
Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
Integrating Task and Data Parallelism by means of Coordination Patterns. IPDPS (2001)
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
Deriving hard real-time embedded systems implementations directly from SDL specifications. CODES (2001)
Mónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya
Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP. CoopIS (2001)
Mónica Pinto, Lidia Fuentes, José M. Troya, Mohamed Fayad
Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments. FTDCS (2001)
José M. Troya, Antonio Vallecillo
Controllers: reusable wrappers to adapt software components. Inf. Softw. Technol. 43 (3) (2001)
Carlos Canal, Ernesto Pimentel, José M. Troya
Compatibility and inheritance in software architectures. Sci. Comput. Program. 41 (2) (2001)
Luis Iribarne, José M. Troya, Antonio Vallecillo
Trading for COTS Components in Open Environments. EUROMICRO (2001)
Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
Integrating Task and Data Parallelism by Means of Coordination Patterns. HIPS (2001)
Carlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo
Extending CORBA Interfaces with p-Calculus for Protocol Compatibility. TOOLS (33) (2000)
Carlos Cotta, José M. Troya
Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search. PPSN (2000)
Carlos Cotta, José M. Troya
Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors. EvoWorkshops (2000)
Carlos Cotta, José M. Troya
On the Influence of the Representation Granularity in Heuristic Forma Recombination. SAC (1) (2000)
Mercedes Amor, Mónica Pinto, Lidia Fuentes, José M. Troya
Combining Software Components and Mobile Agents. ESAW (2000)
José María Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya
Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real. JISBD (2000)
Manuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya
BCL: A Border-based Coordination Language. PDPTA (2000)
Javier López, Antonio Mana, Juan J. Ortega, José M. Troya
Distributed Storage and Revocation in Digital Certificate Databases. DEXA (2000)
Enrique Alba, José M. Troya
Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio. PPSN (2000)

José M. Troya.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

José M. Troya