José M. Troya - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 100 from 167

2019

Performance analysis of wireless sensor networks and priority queueing systemsEduardo Cañete, Jaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya. ijsnet, 30(2):126-139, 2019. [doi]

2015

A Software Product Line Process to Develop Agents for the IoTInmaculada Ayala, Mercedes Amor, Lidia Fuentes, José M. Troya. sensors, 15(7):15640-15660, 2015. [doi]

Creating Self-Adapting Mobile Systems with Dynamic Software Product LinesNadia Gámez, Lidia Fuentes, José M. Troya. IEEE Software, 32(2):105-112, 2015. [doi]

2013

PS-QUASAR: A publish/subscribe QoS aware middleware for Wireless Sensor and Actor NetworksJaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya. jss, 86(6):1650-1662, 2013. [doi]

RAISE: RAIlway Infrastructure Health Monitoring Using Wireless SEnsor NetworksJaime Chen, Manuel Díaz, Bartolomé Rubio, José M. Troya. scube 2013: 143-157 [doi]

2011

A survey on quality of service support in wireless sensor and actor networks: Requirements and challenges in the context of critical infrastructure protectionJaime Chen, Manuel Díaz, Luis Llopis, Bartolomé Rubio, José M. Troya. jnca, 34(4):1225-1239, 2011. [doi]

2009

Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCOManuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. pdp 2009: 21-27 [doi]

Managing Multi-concern Application Complexity in AspectSBASCOManuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. iccS 2009: 133-142 [doi]

2008

Anonymity analysis in credentials-based systems: A formal frameworkVicente Benjumea, Javier Lopez, José M. Troya. csi, 30(4):253-261, 2008. [doi]

UM-RTCOM: An analyzable component model for real-time distributed systemsManuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya. jss, 81(5):709-726, 2008. [doi]

Modeling ODP Computational Specifications Using UMLJosé Raúl Romero, José M. Troya, Antonio Vallecillo. cj, 51(4):435-450, 2008. [doi]

2007

TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor NetworksJavier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya. ISCC 2007: 173-178 [doi]

Programming Wireless Sensor and Actor Networks with TC-WSANsJavier Barbarán, Manuel Díaz, Inaki Esteve, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya. icps 2007: 196-203 [doi]

Development of distributed real-time simulators based on CORBAManuel Díaz, Daniel Garrido, José M. Troya. simpra, 15(6):716-733, 2007. [doi]

A tuple channel-based coordination model for parallel and distributed programmingManuel Díaz, Bartolomé Rubio, José M. Troya. jpdc, 67(10):1092-1107, 2007. [doi]

A component-based nuclear power plant simulator kernelManuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. concurrency, 19(5):593-607, 2007. [doi]

Supporting the development of CAM/DAOP applications: an integrated development processLidia Fuentes, Mónica Pinto, José M. Troya. SPE, 37(1):21-64, 2007. [doi]

Programming Approaches and Challenges for Wireless Sensor NetworksBartolomé Rubio, Manuel Díaz, José M. Troya. icsnc 2007: 36 [doi]

2006

Measuring the usability of software componentsManuel F. Bertoa, José M. Troya, Antonio Vallecillo. jss, 79(3):427-439, 2006. [doi]

A Component Framework for Wireless Sensor and Actor NetworksManuel Díaz, Daniel Garrido, Luis Llopis, Bartolomé Rubio, José M. Troya. etfa 2006: 300-307 [doi]

Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case StudyManuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. otm 2006: 1351-1360 [doi]

Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular DomainsManuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. iccS 2006: 912-919 [doi]

Experiences with component-oriented technologies in nuclear power plant simulatorsManuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. SPE, 36(13):1489-1512, 2006. [doi]

2005

TCMote: a tuple channel coordination model for wireless sensor networksManuel Díaz, Bartolomé Rubio, José M. Troya. icps 2005: 437-440 [doi]

A Coordination Middleware for Wireless Sensor NetworksManuel Díaz, Bartolomé Rubio, José M. Troya. icw 2005: 377-382 [doi]

Integrating RT-CORBA in SDLManuel Díaz, Daniel Garrido, Luis Llopis, José M. Troya. sdl 2005: 47-67 [doi]

A CCA-compliant Nuclear Power Plant Simulator KernelManuel Díaz, Daniel Garrido, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. cbse 2005: 283-297 [doi]

An Aspect Oriented Framework for Scientific Component DevelopmentManuel Díaz, Sergio Romero, Bartolomé Rubio, Enrique Soler, José M. Troya. pdp 2005: 290-296 [doi]

Security protocols analysis: A SDL-based approachJavier Lopez, Juan J. Ortega, José M. Troya. csi, 27(5):489-499, 2005. [doi]

A Dynamic Component and Aspect-Oriented PlatformMónica Pinto, Lidia Fuentes, José M. Troya. cj, 48(4):401-420, 2005. [doi]

2004

Parallel heterogeneous genetic algorithms for continuous optimizationEnrique Alba, Francisco Luna, Antonio J. Nebro, José M. Troya. pc, 30(5-6):699-719, 2004. [doi]

Parallel LAN/WAN heuristics for optimizationEnrique Alba, Gabriel Luque, José M. Troya. pc, 30(5-6):611-628, 2004. [doi]

Training compositional agents in negotiation protocols using ontologiesMercedes Amor, Lidia Fuentes, José M. Troya. icae, 11(2):179-194, 2004. [doi]

A Component and Aspect-Based Architecture for Rapid Software Agent DevelopmentMercedes Amor, Lidia Fuentes, José M. Troya. sbia 2004: 32-42 [doi]

A First Approach to Provide Anonymity in Attribute CertificatesVicente Benjumea, Javier Lopez, José A. Montenegro, José M. Troya. pkc 2004: 402-415 [doi]

Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithmsCarlos Cotta, José M. Troya. ijon, 62:111-129, 2004. [doi]

Integrating Real-time Analysis in a Component Model for Embedded SystemsManuel Díaz, Daniel Garrido, Luis Llopis, Francisco Rus, José M. Troya. euromicro 2004: 14-21 [doi]

SBASCO: Skeleton-Based Scientific ComponentsManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. pdp 2004: 318 [doi]

A Trading Service for COTS ComponentsLuis Iribarne, José M. Troya, Antonio Vallecillo. cj, 47(3):342-357, 2004. [doi]

A framework for secure execution of softwareAntonio Mana, Javier Lopez, Juan J. Ortega, Ernesto Pimentel, José M. Troya. ijisec, 3(2):99-112, 2004. [doi]

Analyzing Architectural Evolution Issues of Multimedia FrameworksMónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya. mta, 22(1):31-51, 2004. [doi]

2003

Putting Together Web Services and Compositional Software AgentsMercedes Amor, Lidia Fuentes, José M. Troya. ICWE 2003: 44-53 [doi]

Building Software Agents from Software ComponentsMercedes Amor, Lidia Fuentes, Lawrence Mandow, José M. Troya. caepia 2004: 221-230 [doi]

A Component-Based Approach for Interoperability across FIPA-Compliant PlatformsMercedes Amor, Lidia Fuentes, José M. Troya. cia 2003: 266-280 [doi]

Adding Roles to CORBA ObjectsCarlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo. TSE, 29(3):242-260, 2003. [doi]

Embedding Branch and Bound within Evolutionary AlgorithmsCarlos Cotta, José M. Troya. apin, 18(2):137-153, 2003.

Information processing in transmitting recombinationCarlos Cotta, José M. Troya. appml, 16(6):945-948, 2003. [doi]

Applying the Semantic Web Layers to Access ControlMariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, José M. Troya. dexaw 2003: 622-626 [doi]

Domain interaction patterns to coordinate HPF tasksManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. pc, 29(7):925-951, 2003. [doi]

A Component-Based Model for Predictable Embedded SystemsManuel Díaz, Daniel Garrido, Francisco Rus, José M. Troya. csreaESA 2003: 183-189

Integrating PMI services in CORBA applicationsJavier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya, Mariemma Inmaculada Yagüe del Valle. csi, 25(4):391-409, 2003. [doi]

How to Specify Security Services: A Practical ApproachJavier Lopez, Juan J. Ortega, José Luis Vivas, José M. Troya. cmsb 2003: 158-171 [doi]

Applying SDL to Formal Analysis of Security SystemsJavier Lopez, Juan J. Ortega, José M. Troya. sdl 2003: 300-316 [doi]

High-level specification of security systemsJavier Lopez, Juan J. Ortega, José M. Troya, José Luis Vivas. globecom 2003: 1506-1510 [doi]

DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based DevelopmentMónica Pinto, Lidia Fuentes, José M. Troya. GPCE 2003: 118-137 [doi]

DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y AspectosMónica Pinto, Lidia Fuentes, José M. Troya. jisbd 2003: 347-358

Integrating Schedulability Analysis and Design Techniques in SDJosé M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. rts, 24(3):267-302, 2003.

An Object-oriented Methodology for Embedded Real-time SystemsJosé M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. cj, 46(2):123-145, 2003. [doi]

2002

Improving flexibility and efficiency by adding parallelism to genetic algorithmsEnrique Alba, José M. Troya. sac, 12(2):91-114, 2002. [doi]

Heterogeneous Computing and Parallel Genetic AlgorithmsEnrique Alba, Antonio J. Nebro, José M. Troya. jpdc, 62(9):1362-1385, 2002. [doi]

Arquitectura Composicional de Agentes de NegociaciónMercedes Amor, Lidia Fuentes, José M. Troya. jisbd 2002: 411-420

Secure Content Distribution for Digital LibrariesMariemma Inmaculada Yagüe del Valle, Antonio Mana, Javier Lopez, Ernesto Pimentel, José M. Troya. ICADL 2002: 483-494 [doi]

A Semantic Approach for Access Control in Web ServicesMariemma Inmaculada Yagüe del Valle, José M. Troya. euroweb 2002: [doi]

A Border-based Coordination Language for Integrating Task and Data ParallelismManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. jpdc, 62(4):715-740, 2002. [doi]

Using UML Profiles for Documenting Web-Based Application FrameworksLidia Fuentes, José M. Troya, Antonio Vallecillo. ansoft, 13(1-4):249-264, 2002.

Selecting Software Components with Multiple InterfacesLuis Iribarne, José M. Troya, Antonio Vallecillo. euromicro 2002: 26-32 [doi]

Verification of Authentication Protocols using SDL-methodJavier Lopez, Juan J. Ortega, José M. Troya. sis 2002: 61-71

Access Control Infrastructure for Digital ObjectsJavier Lopez, Antonio Mana, Ernesto Pimentel, José M. Troya, Mariemma Inmaculada Yagüe del Valle. icics 2002: 399-410 [doi]

Protocol Engineering Applied to Formal Analysis of Security SystemsJavier Lopez, Juan J. Ortega, José M. Troya. infrasec 2002: 246-259 [doi]

Towards a Trustful and Flexible Environment for Secure Communications with Public AdministrationsJavier Lopez, Antonio Mana, José A. Montenegro, Juan J. Ortega, José M. Troya. egov 2002: 211-214 [doi]

.NET as a Platform for Implementing Concurrent Objects (Research Note)Antonio J. Nebro, Enrique Alba, Francisco Luna, José M. Troya. europar 2002: 125-130 [doi]

Separation of coordination in a dynamic aspect oriented frameworkMónica Pinto, Lidia Fuentes, Mohamed Fayad, José M. Troya. AOSD 2002: 134-140 [doi]

Plataforma para la Composición Dinámica de Componentes y AspectosMónica Pinto, Lidia Fuentes, José M. Troya. jisbd 2002: 387-398

2001

Analyzing synchronous and asynchronous parallel distributed genetic algorithmsEnrique Alba, José M. Troya. fgcs, 17(4):451-465, 2001. [doi]

Extending CORBA Interfaces with ProtocolsCarlos Canal, Lidia Fuentes, Ernesto Pimentel, José M. Troya, Antonio Vallecillo. cj, 44(5):448-462, 2001. [doi]

Compatibility and inheritance in software architecturesCarlos Canal, Ernesto Pimentel, José M. Troya. SCP, 41(2):105-138, 2001.

Analyzing Directed Acyclic Graph RecombinationCarlos Cotta, José M. Troya. fuzzy 2001: 739-748 [doi]

A Comparison of Several Evolutionary Heuristics for the Frequency Assignment ProblemCarlos Cotta, José M. Troya. iwann 2001: 474-481 [doi]

Integrating Task and Data Parallelism by Means of Coordination PatternsManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. hips 2001: 16-27 [doi]

Integrating Task and Data Parallelism by means of Coordination PatternsManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. ipps 2001: 102

DIP: a pattern-based approach for task and data parallelism integrationManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. SAC 2001: 148-150 [doi]

Coordinating distributed components on the web: an integrated development environmentLidia Fuentes, José M. Troya. SPE, 31(3):209-233, 2001.

Trading for COTS Components in Open EnvironmentsLuis Iribarne, José M. Troya, Antonio Vallecillo. euromicro 2001: 30 [doi]

Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOPMónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya. coopis 2001: 226-238 [doi]

Collaborative Virtual Environment Development: An Aspect-Oriented ApproachMónica Pinto, Mercedes Amor, Lidia Fuentes, José M. Troya. icdcsw 2001: 97-102 [doi]

Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual EnvironmentsMónica Pinto, Lidia Fuentes, José M. Troya, Mohamed Fayad. ftdcs 2001: 9-17 [doi]

Controllers: reusable wrappers to adapt software componentsJosé M. Troya, Antonio Vallecillo. INFSOF, 43(3):189-202, 2001.

Deriving hard real-time embedded systems implementations directly from SDL specificationsJosé M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. codes 2001: 128-133 [doi]

2000

Cellular Evolutionary Algorithms: Evaluating the Influence of RatioEnrique Alba, José M. Troya. ppsn 2000: 29-38

Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic PopulationsEnrique Alba, José M. Troya. apin, 12(3):163-181, 2000.

Combining Software Components and Mobile AgentsMercedes Amor, Mónica Pinto, Lidia Fuentes, José M. Troya. esaw 2000: 128-142 [doi]

Extending CORBA Interfaces with p-Calculus for Protocol CompatibilityCarlos Canal, Lidia Fuentes, José M. Troya, Antonio Vallecillo. TOOLS 2000: 208-225 [doi]

Development of Secure Internet Applications for Governmental EnvironmentsJorge Davila, Javier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya. dexaw 2000: 362-368 [doi]

BCL: A Border-based Coordination LanguageManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. pdpta 2000:

Integration of Task and Data Parallelism: A Coordination-Based ApproachManuel Díaz, Bartolomé Rubio, Enrique Soler, José M. Troya. hipc 2000: 173-182 [doi]

Towards an open multimedia service frameworkLidia Fuentes, José M. Troya. ACM Comput. Surv., 32(1es):24, 2000. [doi]

Distributed Storage and Revocation in Digital Certificate DatabasesJavier Lopez, Antonio Mana, Juan J. Ortega, José M. Troya. DEXA 2000: 929-938 [doi]

New Issues in Object InteroperabilityAntonio Vallecillo, Juan Hernández Núñez, José M. Troya. ECOOPW 2000: 256-269 [doi]

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo RealJosé M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. jisbd 2000: 229-240

SDL and hard real time systems: new design and analyze techniquesJosé M. Álvarez, Manuel Díaz, Luis Llopis, Ernesto Pimentel, José M. Troya. sam 2000: 92-107

All Publications

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1

Researchr

Publications by 'José M. Troya'

Viewing Publication 1 - 100 from 167

2019

2015

2013

2011

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

All Publications

Filter by Year [-]OR AND NOT 1

Filter by TypeOR AND NOT 1

Filter by Tag [+]OR AND NOT 1

Filter by Venue [+]OR AND NOT 1

Filter by Author [+]OR AND NOT 1

Filter by Top Terms [+]OR AND NOT 1

Researchr

Publications by 'José M. Troya'

Viewing Publication 1 - 100 from 167

2019

2015

2013

2011

2009

2008

2007

2006

2005

2004

2003

2002

2001

2000

Filter by Year

[-]
OR AND NOT 1

Filter by Type
OR AND NOT 1

Filter by Tag

[+]
OR AND NOT 1

Filter by Venue

[+]
OR AND NOT 1

Filter by Author

[+]
OR AND NOT 1

Filter by Top Terms

[+]
OR AND NOT 1