José M. Troya

According to our database1, José M. Troya
  • authored at least 167 papers between 1980 and 2015.
  • has a "Dijkstra number"2 of four.



In proceedings 
PhD thesis 





Creating Self-Adapting Mobile Systems with Dynamic Software Product Lines.
IEEE Software, 2015

A Software Product Line Process to Develop Agents for the IoT.
Sensors, 2015

PS-QUASAR: A publish/subscribe QoS aware middleware for Wireless Sensor and Actor Networks.
Journal of Systems and Software, 2013

RAISE: RAIlway Infrastructure Health Monitoring Using Wireless SEnsor Networks.
Proceedings of the Sensor Systems and Software - 4th International ICST Conference, 2013

A survey on quality of service support in wireless sensor and actor networks: Requirements and challenges in the context of critical infrastructure protection.
J. Network and Computer Applications, 2011

Specifying aspect-oriented architectures in AO-ADL.
Information & Software Technology, 2011

Designing distributed software with RT-CORBA and SDL.
Computer Standards & Interfaces, 2009

Adding Aspect-Oriented Concepts to the High-Performance Component Model of SBASCO.
Proceedings of the 17th Euromicro International Conference on Parallel, 2009

Managing Multi-concern Application Complexity in AspectSBASCO.
Proceedings of the Computational Science, 2009

UM-RTCOM: An analyzable component model for real-time distributed systems.
Journal of Systems and Software, 2008

Anonymity analysis in credentials-based systems: A formal framework.
Computer Standards & Interfaces, 2008

Modeling ODP Computational Specifications Using UML.
Comput. J., 2008

Supporting the development of CAM/DAOP applications: an integrated development process.
Softw., Pract. Exper., 2007

Development of distributed real-time simulators based on CORBA.
Simulation Modelling Practice and Theory, 2007

A tuple channel-based coordination model for parallel and distributed programming.
J. Parallel Distrib. Comput., 2007

Model-driven component adaptation in the context of Web Engineering.
EJIS, 2007

A component-based nuclear power plant simulator kernel.
Concurrency and Computation: Practice and Experience, 2007

TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks.
Proceedings of the 12th IEEE Symposium on Computers and Communications (ISCC 2007), 2007

Programming Approaches and Challenges for Wireless Sensor Networks.
Proceedings of the Second International Conference on Systems and Networks Communications (ICSNC 2007), 2007

Programming Wireless Sensor and Actor Networks with TC-WSANs.
Proceedings of the IEEE International Conference on Pervasive Services, 2007

Specification of a framework for the anonymous use of privileges.
Telematics and Informatics, 2006

Experiences with component-oriented technologies in nuclear power plant simulators.
Softw., Pract. Exper., 2006

Measuring the usability of software components.
Journal of Systems and Software, 2006

Anonymous attribute certificates based on traceable signatures.
Internet Research, 2006

Dynamic Reconfiguration of Scientific Components Using Aspect Oriented Programming: A Case Study.
Proceedings of the On the Move to Meaningful Internet Systems 2006: CoopIS, 2006

Using SBASCO to Solve Reaction-Diffusion Equations in Two-Dimensional Irregular Domains.
Proceedings of the Computational Science, 2006

A Component Framework for Wireless Sensor and Actor Networks.
Proceedings of 11th IEEE International Conference on Emerging Technologies and Factory Automation, 2006

Security protocols analysis: A SDL-based approach.
Computer Standards & Interfaces, 2005

A Dynamic Component and Aspect-Oriented Platform.
Comput. J., 2005

Integrating RT-CORBA in SDL.
Proceedings of the SDL 2005: Model Driven, 2005

An Aspect Oriented Framework for Scientific Component Development.
Proceedings of the 13th Euromicro Workshop on Parallel, 2005

A Coordination Middleware for Wireless Sensor Networks.
Proceedings of the Systems Communications 2005 (ICW / ICHSN / ICMCS / SENET 2005), 2005

TCMote: a tuple channel coordination model for wireless sensor networks.
Proceedings of the International Conference on Pervasive Services 2005, 2005

A CCA-compliant Nuclear Power Plant Simulator Kernel.
Proceedings of the Component-Based Software Engineering, 8th International Symposium, 2005

Parallel LAN/WAN heuristics for optimization.
Parallel Computing, 2004

Parallel heterogeneous genetic algorithms for continuous optimization.
Parallel Computing, 2004

Analyzing Architectural Evolution Issues of Multimedia Frameworks.
Multimedia Tools Appl., 2004

Reverse engineering of temporal Boolean networks from noisy data using evolutionary algorithms.
Neurocomputing, 2004

A framework for secure execution of software.
Int. J. Inf. Sec., 2004

Training compositional agents in negotiation protocols using ontologies.
Integrated Computer-Aided Engineering, 2004

A Trading Service for COTS Components.
Comput. J., 2004

A First Approach to Provide Anonymity in Attribute Certificates.
Proceedings of the Public Key Cryptography, 2004

SBASCO: Skeleton-Based Scientific Components.
Proceedings of the 12th Euromicro Workshop on Parallel, 2004

A Component and Aspect-Based Architecture for Rapid Software Agent Development.
Proceedings of the Advances in Artificial Intelligence, 2004

Integrating Real-time Analysis in a Component Model for Embedded Systems.
Proceedings of the 30th EUROMICRO Conference 2004, 31 August, 2004

Adding Roles to CORBA Objects.
IEEE Trans. Software Eng., 2003

Integrating Schedulability Analysis and Design Techniques in SD.
Real-Time Systems, 2003

Domain interaction patterns to coordinate HPF tasks.
Parallel Computing, 2003

A secure solution for commercial digital libraries.
Online Information Review, 2003

Integrating PMI services in CORBA applications.
Computer Standards & Interfaces, 2003

An Object-oriented Methodology for Embedded Real-time Systems.
Comput. J., 2003

Information processing in transmitting recombination.
Appl. Math. Lett., 2003

Embedding Branch and Bound within Evolutionary Algorithms.
Appl. Intell., 2003

Applying SDL to Formal Analysis of Security Systems.
Proceedings of the SDL 2003: System Design, 2003

DAOP-ADL: Un Lenguaje de Descripción de Arquitecturas Software basado en Componentes y Aspectos.
Proceedings of the VIII Jornadas Ingeniería del Software y Bases de Datos (JISBD 2003), 2003

Putting Together Web Services and Compositional Software Agents.
Proceedings of the Web Engineering, International Conference, 2003

DAOP-ADL: An Architecture Description Language for Dynamic Component and Aspect-Based Development.
Proceedings of the Generative Programming and Component Engineering, 2003

High-level specification of security systems.
Proceedings of the Global Telecommunications Conference, 2003

Applying the Semantic Web Layers to Access Control.
Proceedings of the 14th International Workshop on Database and Expert Systems Applications (DEXA'03), 2003

A Component-Based Model for Predictable Embedded Systems.
Proceedings of the International Conference on Embedded Systems and Applications, 2003

How to Specify Security Services: A Practical Approach.
Proceedings of the Communications and Multimedia Security, 2003

A Component-Based Approach for Interoperability across FIPA-Compliant Platforms.
Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003

Building Software Agents from Software Components.
Proceedings of the Current Topics in Artificial Intelligence, 2003

Improving flexibility and efficiency by adding parallelism to genetic algorithms.
Statistics and Computing, 2002

A Border-based Coordination Language for Integrating Task and Data Parallelism.
J. Parallel Distrib. Comput., 2002

Heterogeneous Computing and Parallel Genetic Algorithms.
J. Parallel Distrib. Comput., 2002

Using UML Profiles for Documenting Web-Based Application Frameworks.
Ann. Software Eng., 2002

Verification of Authentication Protocols using SDL-method.
Proceedings of the Security in Information Systems, 2002

Plataforma para la Composición Dinámica de Componentes y Aspectos.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Arquitectura Composicional de Agentes de Negociación.
Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Protocol Engineering Applied to Formal Analysis of Security Systems.
Proceedings of the Infrastructure Security, International Conference, 2002

Access Control Infrastructure for Digital Objects.
Proceedings of the Information and Communications Security, 4th International Conference, 2002

Secure Content Distribution for Digital Libraries.
Proceedings of the Digital Libraries: People, 2002

A Semantic Approach for Access Control in Web Services.
Proceedings of the Web and the Grid: from e-science to e-business. EuroWeb 2002 Conference, 2002

.NET as a Platform for Implementing Concurrent Objects (Research Note).
Proceedings of the Euro-Par 2002, 2002

Selecting Software Components with Multiple Interfaces.
Proceedings of the 28th EUROMICRO Conference 2002, 4-6 September 2002, Dortmund, Germany, 2002

Towards a Trustful and Flexible Environment for Secure Communications with Public Administrations.
Proceedings of the Electronic Government, First International Conference, 2002

Separation of coordination in a dynamic aspect oriented framework.
Proceedings of the 1st International Conference on Aspect-Oriented Software Development, 2002

Coordinating distributed components on the web: an integrated development environment.
Softw., Pract. Exper., 2001

Compatibility and inheritance in software architectures.
Sci. Comput. Program., 2001

Controllers: reusable wrappers to adapt software components.
Information & Software Technology, 2001

Analyzing synchronous and asynchronous parallel distributed genetic algorithms.
Future Generation Comp. Syst., 2001

Extending CORBA Interfaces with Protocols.
Comput. J., 2001

DIP: a pattern-based approach for task and data parallelism integration.
Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

A Comparison of Several Evolutionary Heuristics for the Frequency Assignment Problem.
Proceedings of the Connectionist Models of Neurons, 2001

Integrating Task and Data Parallelism by means of Coordination Patterns.
Proceedings of the 15th International Parallel & Distributed Processing Symposium (IPDPS-01), 2001

Collaborative Virtual Environment Development: An Aspect-Oriented Approach.
Proceedings of the 21st International Conference on Distributed Computing Systems Workshops (ICDCS 2001 Workshops), 2001

Integrating Task and Data Parallelism by Means of Coordination Patterns.
Proceedings of the High-Level Parallel Programming Models and Supportive Environments, 2001

Analyzing Directed Acyclic Graph Recombination.
Proceedings of the Computational Intelligence, 2001

Towards an Aspect-Oriented Framework in the Design of Collaborative Virtual Environments.
Proceedings of the 8th IEEE Workshop on Future Trends of Distributed Computer Systems (FTDCS 2001), 2001

Trading for COTS Components in Open Environments.
Proceedings of the 27th EUROMICRO Conference 2001: A Net Odyssey, 2001

Supporting Heterogeneous Users in Collaborative Virtual Environments Using AOP.
Proceedings of the Cooperative Information Systems, 9th International Conference, 2001

Deriving hard real-time embedded systems implementations directly from SDL specifications.
Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

Towards an open multimedia service framework.
ACM Comput. Surv., 2000

On the Computational Power of Adaptive Systems.
Computers and Artificial Intelligence, 2000

Influence of the Migration Policy in Parallel Distributed GAs with Structured and Panmictic Populations.
Appl. Intell., 2000

Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.
Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

SDL and hard real time systems: new design and analyze techniques.
Proceedings of the SAM 2000, 2000

On the Influence of the Representation Granularity in Heuristic Forma Recombination.
Proceedings of the Applied Computing 2000, 2000

Using Dynastic Exploring Recombination to Promote Diversity in Genetic Search.
Proceedings of the Parallel Problem Solving from Nature, 2000

Cellular Evolutionary Algorithms: Evaluating the Influence of Ratio.
Proceedings of the Parallel Problem Solving from Nature, 2000

BCL: A Border-based Coordination Language.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.
Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

Integration of Task and Data Parallelism: A Coordination-Based Approach.
Proceedings of the High Performance Computing, 2000

Using a Hybrid Evolutionary-A* Approach for Learning Reactive Behaviors.
Proceedings of the Real-World Applications of Evolutionary Computing, 2000

Combining Software Components and Mobile Agents.
Proceedings of the Engineering Societies in the Agent World, First International Workshop, 2000

New Issues in Object Interoperability.
Proceedings of the Object-Oriented Technology, 2000

Development of Secure Internet Applications for Governmental Environments.
Proceedings of the 11th International Workshop on Database and Expert Systems Applications (DEXA'00), 2000

Distributed Storage and Revocation in Digital Certificate Databases.
Proceedings of the Database and Expert Systems Applications, 11th International Conference, 2000

A Java Framework for Web-Based Multimedia and Collaborative Applications.
IEEE Internet Computing, 1999

A survey of parallel distributed genetic algorithms.
Complexity, 1999

Specification and Refinement of Dynamic Software Architectures.
Proceedings of the Software Architecture, 1999

Integrating schedulability analysis and SDL in an object-oriented methodology for embedded real-time systems.
SDL Forum, 1999

Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software.
Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Optimal Discrete Recombination: Hybridising Evolution Strategies with the A* Algorithm.
Proceedings of the Engineering Applications of Bio-Inspired Artificial Neural Networks, 1999

An Analysis of Synchronous and Asynchronous Parallel Distributed Genetic Algorithms with Structured and Panmictic Islands.
Proceedings of the Parallel and Distributed Processing, 1999

Middleware Support for Multimedia Collaborative Applications over the Web: A Case Study.
Proceedings of the Interactive Distributed Multimedia Systems and Telecommunication Services, 1999

Improving the Scalability of Dynastically Optimal Forma Recombination by Tuning the Granularity of the Representation.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Entropic and Real-Time Analysis of the Search with Panmictic, Structured, and Parallel Distributed Genetic Algorithms.
Proceedings of the Genetic and Evolutionary Computation Conference (GECCO 1999), 1999

Tacking Epistatic Problems Using Dynastically Optimal Recombination.
Proceedings of the Computational Intelligence, 1999

Specifying Reusable Controllers for Software Components (Short Paper).
Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 1999

Object Interoperability.
Proceedings of the Object-Oriented Technology, ECOOP'99 Workshop Reader, 1999

Genetic Forma Recombination in Permutation Flowshop Problems.
Evolutionary Computation, 1998

Un estudio de la potencia computacional y robustez de los algoritmos evolutivos paralelos.
Inteligencia Artificial, Revista Iberoamericana de Inteligencia Artificial, 1998

Multilingual and multiparadigm integration of a tuple channel-based coordination model.
Proceedings of the 1998 ACM symposium on Applied Computing, 1998

Utilizing Dynastically Optimal Forma Recombination in Hybrid Genetic Algorithms.
Proceedings of the Parallel Problem Solving from Nature, 1998

Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages.
Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

On Decision-Making in Strong Hybrid Evolutionary Algorithms.
Proceedings of the Methodology and Tools in Knowledge-Based Systems, 1998

A Reflective Component Model for Open Systems.
Proceedings of the Object-Oriented Technology, ECOOP'98 Workshop Reader, 1998

DRL: A Distributed Real-Time Logic Language.
Comput. Lang., 1997

A Component-Oriented Architecture to Design Multimedia Services on a Distributed Platform.
Proceedings of the Worldwide Computing and Its Applications, International Conference, 1997

The Tuple Channel Coordination Model.
Proceedings of the International Symposium on Software Engineering for Parallel and Distributed Systems, 1997

Logic Channels: A Coordination Approach to Distributed Programming.
Proceedings of the 11th International Parallel Processing Symposium (IPPS '97), 1997

Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.
Proceedings of the Euro-Par '97 Parallel Processing, 1997

On the Addition of Properties to Components.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Applying Distributed Shared Memory Techniques for Implementing Distributed Objects.
Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

Concurrent Smart Evaluation of Datalog Queries.
Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Distributed Programming with a Logic Channel Based Coordination Model.
Comput. J., 1996

Genetic Algorithms for Protocol Validation.
Proceedings of the Parallel Problem Solving from Nature, 1996

Data Flow Parallel Evaluation of Datalog Queries.
Proceedings of the I Jornadas de Investigación y Docencia en Bases de Datos, 1996

Modelling and verification of the MCS layer with Spin.
Proceedings of the Spin Verification System, 1996

Data Flow Evaluation of Datalog Queries.
Proceedings of the Workshop DDLP'96 on Deductive Databases and Logic Programming, 1996

EVP: Integration of FDTs for the Analysis and Verification of Communication Protocols.
Proceedings of the Computer Aided Verification, 8th International Conference, 1996

Studying the Cost of Logic Languages in an Abstract Interpretation Framework for Granularity Analysis.
Proceedings of the Logic Programming Synthesis and Transformation, 1995

An Object-Based Tool and Methodological Approach for Distributed Programming.
Software - Concepts and Tools, 1994

DROL: A Distributed and Real-Time Object-Oriented Logic Environment.
Comput. J., 1994

Load Balancing and Query Optimization in DataFlow Parallel Evaluation of Datalog Programs.
Proceedings of the Proceedings 1994 International Conference on Parallel and Distributed Systems, 1994

Implementation Issues of a Distributed Real-Time Logic Language.
Proceedings of the Integration of Declarative Paradigms, 1994

D2: A Model for Datalog Parallel Evaluation.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Granularity Analysis of Concurrent Logic Languages based on Abstract Interpretation.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Comunicacion entre objetos mediante la unificacion de canales logicos.
Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

Distributed active objects: A methodological proposal and tool for distributed programming with transputer systems.
Microprocessing and Microprogramming, 1993

A parlog based real-time distributed logic environment.
Future Generation Comp. Syst., 1993

An OR Parallel Prolog Model for Distributed Memory Systems.
Proceedings of the Programming Language Implementation and Logic Programming, 1993

A Prolog interpreter for OR parallelism evaluation on distributed systems.
Proceedings of the 1993 Euromicro Workshop on Parallel and Distributed Processing, 1993

Compositionality Issues of Concurrent Object-Oriented Logic Languages.
Proceedings of the PARLE '93, 1993

A Methodological Scheme and Tool for Program Transformation with Transputer Systems.
Proceedings of the Parallel Computing: Trends and Applications, 1993

URANO: An Object-Oriented Artificial Neural Network Simulation Tool.
Proceedings of the New Trends in Neural Computation, 1993

Full Automatic ANN Design: A Genetic Approach.
Proceedings of the New Trends in Neural Computation, 1993

Parlog Programs Nontermination Analysis.
Proceedings of the 8th Italian Conference on Logic Programming, 1993

A Declarative Environment for Distributed Programming.
Proceedings of the Algorithms, Software, Architecture, 1992

L2||O2: Operational and Declarative Semantics.
Proceedings of the ALPUK92, Proceedings of the 4th UK Conference on Logic Programming, London, 30 March, 1992

Extending an Object Oriented Concurrent Logic Language for Neural Network Simulations.
Proceedings of the Artificial Neural Networks, 1991

A study of parallel branch-and-bound algorithms with best-bound-first search.
Parallel Computing, 1989

Optimization and approximation algorithm for placement of records on linear storage devices.
Computing, 1982

An Approximation Algorithm for Reducing Expected Head Movement in Linear Storage Devices.
Inf. Process. Lett., 1981

Placement of Records on Linear Storage Devices.
IFIP Congress, 1980