Ernesto Pimentel

Nadia Gámez

Lidia Fuentes

Proceedings of the Safe and Secure Software Reuse, 2013

Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things.

[BibT_eX]

[DOI]

Proceedings of the Advances in Service-Oriented and Cloud Computing, 2013

2012

Configuring a Context-Aware Middleware for Wireless Sensor Networks.

[BibT_eX]

[DOI]

Sensors, 2012

Synthesis of secure adaptors.

[BibT_eX]

[DOI]

Fabio Martinelli

J. Log. Algebraic Methods Program., 2012

A tool for the synthesis of cryptographic orchestrators.

[BibT_eX]

[DOI]

Proceedings of the Model-Driven Security Workshop, 2012

Behaviour-Aware Compositions of Things.

[BibT_eX]

[DOI]

Proceedings of the 2012 IEEE International Conference on Green Computing and Communications, 2012

Towards behaviour-aware compositions of things in the future internet.

[BibT_eX]

[DOI]

Proceedings of the 2nd International Workshop on Adaptive Services for the Future Internet and 6th International Workshop on Web APIs and Service Mashups (WAS4FI-Mashups 2012), 2012

On the Service Discovery Using Context-Awareness, Semantic Matching and Behavioural Compatibility.

[BibT_eX]

[DOI]

Proceedings of the 15th IEEE International Conference on Computational Science and Engineering, 2012

2011

Context-Aware Composition and Adaptation based on Model Transformation.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2011

Contracts for security adaptation.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Model-Based Dependable Composition of Self-Adaptive Systems.

[BibT_eX]

[DOI]

Informatica (Slovenia), 2011

QoS-enabled and self-adaptive connectors for Web Services composition and coordination.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2011

Measuring the compatibility of service interaction protocols.

[BibT_eX]

[DOI]

Meriem Ouederni

Gwen Salaün

Proceedings of the 2011 ACM Symposium on Applied Computing (SAC), TaiChung, Taiwan, March 21, 2011

Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Formal Aspects of Component Software - 8th International Symposium, 2011

DAMASCo: A Framework for the Automatic Composition of Component-Based and Service-Oriented Architectures.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 5th European Conference, 2011

On the Formal Analysis of P2P Algorithms with aSMoL and Maude.

[BibT_eX]

Proceedings of the 14th Iberoamerican Conference on Software Engineering, 2011

Client Update: A Solution for Service Evolution.

[BibT_eX]

[DOI]

Meriem Ouederni

Gwen Salaün

Proceedings of the IEEE International Conference on Services Computing, 2011

2010

Semi-Automatic Specification of Behavioural Service Adaptation Contracts.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on Formal Engineering approaches to Software Components and Architectures, 2010

Handling Data-Based Concurrency in Context-Aware Service Protocols

[BibT_eX]

[DOI]

Proceedings of the Proceedings Ninth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2010

A Case Study in Model-Based Adaptation of Web Services.

[BibT_eX]

[DOI]

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Quantifying Service Compatibility: A Step beyond the Boolean Approaches.

[BibT_eX]

[DOI]

Meriem Ouederni

Gwen Salaün

Proceedings of the Service-Oriented Computing - 8th International Conference, 2010

2009

Special issue on the 5th international workshop on foundations of coordination languages and software architectures (FOCLASA'06).

[BibT_eX]

[DOI]

Jean-Marie Jacquet

Sci. Comput. Program., 2009

Software composition with Linda.

[BibT_eX]

[DOI]

Comput. Lang. Syst. Struct., 2009

A formal model and composition language for context-aware service protocols.

[BibT_eX]

[DOI]

Proceedings of the first international workshop on Context-aware software technology and applications, 2009

ITACA: An integrated toolbox for the automatic composition and adaptation of Web services.

[BibT_eX]

[DOI]

Proceedings of the 31st International Conference on Software Engineering, 2009

Integración de software: métodos formales para coordinar y adaptar componentes y servicios.

[BibT_eX]

Proceedings of the Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), 2009

2008

Automatic Generation of Adaptation Contracts.

[BibT_eX]

[DOI]

Proceedings of the 7th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2008

Dinapter: Automatic Adapter Specification for Software Composition.

[BibT_eX]

[DOI]

Proceedings of the Eighth Spanish Conference on Programming and Computer Languages, 2008

Composition of Self-Adapting Components for Customizable Systems.

[BibT_eX]

[DOI]

Comput. J., 2008

Towards a Model-Based Approach for Context-Aware Composition and Adaptation: A Case Study using WF/.NET.

[BibT_eX]

[DOI]

Proceedings of the Model-based Methodologies for Pervasive and Embedded Software, 2008

A formalization of the SMEPP model in Maude.

[BibT_eX]

[DOI]

Proceedings of the 5th Annual International Conference on Mobile and Ubiquitous Systems: Computing, 2008

Modelado de sistemas P2P con control de excepciones.

[BibT_eX]

Proceedings of the Memorias de la XI Conferencia Iberoamericana de Software Engineering (CIbSE 2008), 2008

2007

PiXL: Applying xml standards to support the integration of analysis tools for protocols.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2007

Preface.

[BibT_eX]

[DOI]

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

A Model-Based Approach to the Verification and Adaptation of WF/.NET Components.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on Formal Aspects of Component Software, 2007

A Service-Oriented Model for Embedded Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2007

An Abstract Analysis Framework for Synchronous Concurrent Languages based on source-to-source Transformation.

[BibT_eX]

[DOI]

Proceedings of the Seventh Spanish Conference on Programming and Computer Languages, 2007

Context-Based Adaptation of Component Behavioural Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 9th International Conference, 2007

Un Perfil UML para la definición de Componentes Inteligentes.

[BibT_eX]

Proceedings of the Memorias de la X Conferencia Iberoamericana de Software Engineering (CIbSE 2007), 2007

2006

Preface.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

On the semantics of software adaptation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Component adaptation through flexible subservicing.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2006

Verifying Real-Time Properties of tccp Programs.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2006

On the Evolution of reliability Methods for Critical Software.

[BibT_eX]

[DOI]

Trans. SDPS, 2006

Dynamic Contextual Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on the Foundations of Coordination Languages and Software Architectures, 2006

Técnicas de Web Semántica para la Adaptación Dinámica de Componentes y Servicios.

[BibT_eX]

Proceedings of the Memorias de la IX Conferenci a Iberoamericana de Software Engineering (CIbSE 2006), 2006

2005

A semantic framework for the abstract model checking of tccp programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 2005

Report on the ninth conference on Software Engineering and Databases (JISBD 2004).

[BibT_eX]

[DOI]

Juan Hernández Núñez

José Ambrosio Toval Álvarez

SIGMOD Rec., 2005

Coordinating Behavioral Descriptions of Components.

[BibT_eX]

[DOI]

Silvia Amaro

J. Univers. Comput. Sci., 2005

Reo Based Interaction Model.

[BibT_eX]

[DOI]

Silvia Amaro

Proceedings of the International Workshop on Formal Aspects of Component Software, 2005

Adaptación Automática de Componentes de Software.

[BibT_eX]

Proceedings of the Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), 2005

Adaptación y Reutilización de Componentes Distribuidos.

[BibT_eX]

Proceedings of the Memorias de la VIII Conferencia Iberoamericana de Software Engineering (CIbSE 2005), 2005

2004

aSPIN: A tool for abstract model checking.

[BibT_eX]

[DOI]

Int. J. Softw. Tools Technol. Transf., 2004

A framework for secure execution of software.

[BibT_eX]

[DOI]

Int. J. Inf. Sec., 2004

A generalized semantics of PROMELA for abstract model checking.

[BibT_eX]

[DOI]

Formal Aspects Comput., 2004

Preface.

[BibT_eX]

[DOI]

Jean-Marie Jacquet

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

Formalizing Web Service Choreographies.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Web Services and Formal Methods, 2004

Behavioural Types for Service Integration: Achievements and Challenges.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

A Preliminary Comparative Study on the Expressive Power of Reo and Linda.

[BibT_eX]

[DOI]

Silvia Amaro

Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, 2004

Abstract Model Checking of tccp programs.

[BibT_eX]

[DOI]

Proceedings of the Second Workshop on Quantitative Aspects of Programming Languages, 2004

Measuring Component Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 6th International Conference, 2004

Behavioural Types and Component Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

Adding Roles to CORBA Objects.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2003

Composing Programs in a Rewriting Logic for Declarative Programming.

[BibT_eX]

[DOI]

Juan M. Molina-Bravo

Mariemma Inmaculada Yagüe del Valle

Theory Pract. Log. Program., 2003

Integrating Schedulability Analysis and Design Techniques in SD.

[BibT_eX]

[DOI]

Real Time Syst., 2003

A secure solution for commercial digital libraries.

[BibT_eX]

[DOI]

Online Inf. Rev., 2003

Safe Composition of Linda-based Components.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Test and Analysis of Component-Based Systems, 2003

Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003.

[BibT_eX]

[DOI]

Jean-Marie Jacquet

Proceedings of FOCLASA 2003, 2003

On the specification of software adaptation.

[BibT_eX]

[DOI]

Proceedings of FOCLASA 2003, 2003

Soft component adaptation.

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Security Issues in Coordination Models, 2003

An Object-oriented Methodology for Embedded Real-time Systems.

[BibT_eX]

[DOI]

Comput. J., 2003

Applying Data Abstraction to XML Formal Designs.

[BibT_eX]

Proceedings of the ACIS Fourth International Conference on Software Engineering, 2003

Abstract Model Checking and Refinement of Temporal Logic in aSPIN.

[BibT_eX]

[DOI]

Proceedings of the 3rd International Conference on Application of Concurrency to System Design (ACSD 2003), 2003

2002

Debugging UML Designs with Model Checking.

[BibT_eX]

[DOI]

J. Object Technol., 2002

Isolating Resource Consumption in Linear Logic Proof Search.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

Comparing Under and Over-Approximations of LTL Properties for Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 11th International Workshop on Functional and (Constraint) Logic Programming, 2002

A Tool for Abstraction in Model Checking.

[BibT_eX]

[DOI]

Proceedings of the 7th International ERCIM Workshop in Formal Methods for Industrial Critical Systems, 2002

Compatibility of Linda-based Component Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Preface.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

alpha SPIN: Extending SPIN with Abstraction.

[BibT_eX]

[DOI]

Proceedings of the Model Checking of Software, 2002

Refinement of LTL Formulas for Abstract Model Checking.

[BibT_eX]

[DOI]

Proceedings of the Static Analysis, 9th International Symposium, 2002

Componentes Software en Linda, Un caso de estudio.

[BibT_eX]

Mariemma Inmaculada Yagüe del Valle

Proceedings of the VII Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2002), 2002

Access Control Infrastructure for Digital Objects.

[BibT_eX]

[DOI]

Proceedings of the Information and Communications Security, 4th International Conference, 2002

Secure Content Distribution for Digital Libraries.

[BibT_eX]

[DOI]

Mariemma Inmaculada Yagüe del Valle

Proceedings of the Digital Libraries: People, 2002

A Tag-Frame System of Resource Management for Proof Search in Linear-Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Computer Science Logic, 16th International Workshop, 2002

2001

Compatibility and inheritance in software architectures.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2001

Extending CORBA Interfaces with Protocols.

[BibT_eX]

[DOI]

Comput. J., 2001

An Efficient Software Protection Scheme.

[BibT_eX]

Antonio Mana

Proceedings of the Trusted Information: The New Decade Challenge, 2001

Deriving hard real-time embedded systems implementations directly from SDL specifications.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Symposium on Hardware/Software Codesign, 2001

2000

Proof-Theoretic Foundation of Hypothetical Reasoning.

[BibT_eX]

Proceedings of the 9th International Workshop on Functional and Logic Programming, 2000

SDL and hard real time systems: new design and analyze techniques.

[BibT_eX]

Proceedings of the SAM 2000, 2000

Una Metodología de Desarrollo Orientada a Objtos para Sistemas Empotrados de Tiempo Real.

[BibT_eX]

Proceedings of the V Jornadas Ingeniería de Software y Bases de Datos (JISBD 2000), 2000

1999

Specification and Refinement of Dynamic Software Architectures.

[BibT_eX]

Proceedings of the Software Architecture, 1999

Synchronizing Java Threads Using Assertions.

[BibT_eX]

[DOI]

Damián Fernández

Proceedings of the TOOLS 1999: 31st International Conference on Technology of Object-Oriented Languages and Systems, 1999

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

[BibT_eX]

Proceedings of the SDL '99 The Next Millennium, 1999

Resource Management in Linear Logic Search Revisited.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Automated Reasoning, 6th International Conference, 1999

Coordinación de Componentes Distribuidos: un Enfoque Generativo Basado en Arquitectura del Software.

[BibT_eX]

Proceedings of the IV Jornadas de Ingeniería del Software y Bases de Datos (JISBD'99), 1999

Hypothetical Reasoning with Substructural Logics.

[BibT_eX]

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

Evaluating a Multithreaded Runtime System for Concurrent Object-Oriented Languages.

[BibT_eX]

[DOI]

Antonio J. Nebro

Proceedings of the Computing in Object-Oriented Parallel Environments, 1998

1997

Modularity in Functional-Logic Programming.

[BibT_eX]

Juan M. Molina-Bravo

Proceedings of the Logic Programming, 1997

Integrating an Entry Consistency Memory Model and Concurrent Object-Oriented Programming.

[BibT_eX]

[DOI]

Antonio J. Nebro

Proceedings of the Euro-Par '97 Parallel Processing, 1997

Applying Distributed Shared Memory Techniques for Implementing Distributed Objects.

[BibT_eX]

[DOI]

Antonio J. Nebro

Proceedings of the Object-Oriented Technology, ECOOP'97 Workshop Reader, 1997

A Lazy Splitting System for Forum.

[BibT_eX]

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

Semantics for Modules in Functional-Logic Programming.

[BibT_eX]

Juan M. Molina-Bravo

Manuela Carrillo-Castellon

Proceedings of the 1997 Joint Conf. on Declarative Programming, 1997

1996

Design by Contract in Smalltalk.

[BibT_eX]

Jesús García Molina

Israel Repiso

J. Object Oriented Program., 1996

1995

Objects communication by extending the unification.

[BibT_eX]

Francisco J. Durán

Proceedings of the 9th International Workshop on Unification, 1995

1994

DROL: A Distributed and Real-Time Object-Oriented Logic Environment.

[BibT_eX]

[DOI]

Manuel Díaz

Manuela Carrillo-Castellon

Comput. J., 1994

Eiffel-like Assertions and Private Methods in Smalltalk.

[BibT_eX]

Jesús García Molina

Proceedings of the TOOLS 1994: 13th International Conference on Technology of Object-Oriented Languages and Systems, 1994

Comunicacion entre objetos mediante la unificacion de canales logicos.

[BibT_eX]

Francisco J. Durán

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

L2||O2: A Concurrent Object-oriented Logic Language.

[BibT_eX]

Proceedings of the Logic Programming, 1993

Compositionality Issues of Concurrent Object-Oriented Logic Languages.

[BibT_eX]

[DOI]

Proceedings of the PARLE '93, 1993

1992

A Declarative Environment for Distributed Programming.

[BibT_eX]

Manuel Díaz

Proceedings of the Algorithms, Software, Architecture, 1992

L2||O2: Operational and Declarative Semantics.

[BibT_eX]

[DOI]