Carlos Canal

Proceedings of the Web Engineering - 17th International Conference, 2017

Seamless Interactions on the Internet of Things. A Spotify-Based Proof of Concept.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - ICSOC 2017 Workshops, 2017

2016

Stability-Based Adaptation of Asynchronously Communicating Software.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods - 14th International Conference, 2016

Liquid Context: Migrating the Users' Context Across Devices.

[BibT_eX]

[DOI]

Proceedings of the Current Trends in Web Engineering, 2016

Situational-Context: A Unified View of Everything Involved at a Particular Situation.

[BibT_eX]

[DOI]

Proceedings of the Web Engineering - 16th International Conference, 2016

Towards Distributed and Context-Aware Human-Centric Cyber-Physical Systems.

[BibT_eX]

[DOI]

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

2015

From the Internet of Things to the Internet of People.

[BibT_eX]

[DOI]

IEEE Internet Comput., 2015

Smartphones as Personal Profile Providers: Enhancing Mobile App Architectures.

[BibT_eX]

[DOI]

Proceedings of the 2nd ACM International Conference on Mobile Software Engineering and Systems, 2015

Model-Based Adaptation of Software Communicating via FIFO Buffers.

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2015

2014

People as a Service: A Mobile-centric Model for Providing Collective Sociological Profiles.

[BibT_eX]

[DOI]

IEEE Softw., 2014

Adaptation of Asynchronously Communicating Software.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 12th International Conference, 2014

2013

A service-oriented framework for developing cross cloud migratable software.

[BibT_eX]

[DOI]

J. Syst. Softw., 2013

Developing migratable multicloud applications based on MDE and adaptation techniques.

[BibT_eX]

[DOI]

Proceedings of the Second Nordic Symposium on Cloud Computing & Internet Technologies, 2013

Development of Adaptive Multi-cloud Applications - A Model-Driven Approach.

[BibT_eX]

[DOI]

Proceedings of the MODELSWARD 2013 - Proceedings of the 1st International Conference on Model-Driven Engineering and Software Development, Barcelona, Spain, 19, 2013

Architecting Infrastructures for Cloud-Enabled Mobile Devices.

[BibT_eX]

[DOI]

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

A UML Profile for Modeling Multicloud Applications.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing - Second European Conference, 2013

Assisting Cloud Service Migration Using Software Adaptation Techniques.

[BibT_eX]

[DOI]

Proceedings of the 2013 IEEE Sixth International Conference on Cloud Computing, Santa Clara, CA, USA, June 28, 2013

2012

Structural reconfiguration of systems under behavioral adaptation.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2012

Interactive specification and verification of behavioral adaptation contracts.

[BibT_eX]

[DOI]

Inf. Softw. Technol., 2012

Enough about standardization, let's build cloud applications.

[BibT_eX]

[DOI]

Proceedings of the 2012 Joint Working IEEE/IFIP Conference on Software Architecture and European Conference on Software Architecture, 2012

Identifying adaptation needs to avoid the vendor lock-in effect in the deployment of cloud SBAs.

[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

2011

Preface.

[BibT_eX]

[DOI]

Mirko Viroli

Sci. Comput. Program., 2011

Preface.

[BibT_eX]

[DOI]

Marjan Sirjani

Sci. Comput. Program., 2011

Context-Aware Composition and Adaptation based on Model Transformation.

[BibT_eX]

[DOI]

Javier Cubo

J. Univers. Comput. Sci., 2011

Model-Based Dependable Composition of Self-Adaptive Systems.

[BibT_eX]

[DOI]

Javier Cubo

Informatica (Slovenia), 2011

Component Reconfiguration in Presence of Mismatch.

[BibT_eX]

[DOI]

Antonio Cansado

Informatica (Slovenia), 2011

2010

Preface.

[BibT_eX]

[DOI]

Corina S. Pasareanu

Sci. Comput. Program., 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 Framework for Run-Time Behavioural Service Adaptation in Ubiquitous Computing.

[BibT_eX]

[DOI]

Nikolay Vasilev

Proceedings of the On the Move to Meaningful Internet Systems: OTM 2010 Workshops, 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

2009

A Formal Framework for Structural Reconfiguration of Components under Behavioural Adaptation.

[BibT_eX]

[DOI]

Proceedings of the 6th International Workshop on Formal Aspects of Component Software, 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

Interactive Specification and Verification of Behavioural Adaptation Contracts.

[BibT_eX]

[DOI]

Proceedings of the Ninth International Conference on Quality Software, 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

Behavioural self-adaptation of services in ubiquitous computing environments.

[BibT_eX]

[DOI]

Proceedings of the 2009 ICSE Workshop on Software Engineering for Adaptive and Self-Managing Systems, 2009

2008

Model-Based Adaptation of Behavioral Mismatching Components.

[BibT_eX]

[DOI]

IEEE Trans. Software Eng., 2008

A Safe Dynamic Adaptation Framework for Aspect-Oriented Software Development.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

Composition and Run-time Adaptation of Mismatching Behavioural Interfaces.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2008

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

[BibT_eX]

[DOI]

Javier Cubo

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

Clint: A Composition Language Interpreter (Tool Paper).

[BibT_eX]

[DOI]

Proceedings of the Fundamental Approaches to Software Engineering, 2008

2007

Preface.

[BibT_eX]

[DOI]

Mirko Viroli

Sci. Comput. Program., 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

Multiple Concern Adaptation for Run-time Composition in Context-Aware Systems.

[BibT_eX]

[DOI]

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

Run-time Composition and Adaptation of Mismatching Behavioural Transactions.

[BibT_eX]

[DOI]

Proceedings of the Fifth IEEE International Conference on Software Engineering and Formal Methods (SEFM 2007), 2007

TITAN: a Framework for Aspect Oriented System Evolution.

[BibT_eX]

[DOI]

Proceedings of the Second International Conference on Software Engineering Advances (ICSEA 2007), 2007

Enabling <i>Adaptivity</i> in User Interfaces.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture, First European Conference, 2007

Practical Approaches for Software Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology. ECOOP 2007 Workshop Reader, 2007

Context-Based Adaptation of Component Behavioural Interfaces.

[BibT_eX]

[DOI]

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

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

An Aspect-Oriented Adaptation Framework for Dynamic Component Evolution.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Dynamic Contextual Adaptation.

[BibT_eX]

[DOI]

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

Preface.

[BibT_eX]

[DOI]

Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, 2006

Software Adaptation.

[BibT_eX]

[DOI]

Obj. Logiciel Base données Réseaux, 2006

Evolución de sistemas orientados a aspectos utilizando patrones de interacción.

[BibT_eX]

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

Synchronizing Behavioural Mismatch in Software Composition.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods for Open Object-Based Distributed Systems, 2006

Coordination and Adaptation Techniques: Bridging the Gap Between Design and Implementation.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology, ECOOP 2006 Workshop Reader, 2006

Making Aspect Oriented System Evolution Safer.

[BibT_eX]

Juan Manuel Murillo Rodríguez

Proceedings of the RAM-SE'06-ECOOP'06 Workshop on Reflection, 2006

Adaptation de composants logiciels Une approche automatisée basée sur des expressions régulières de vecteurs de synchronisation.

[BibT_eX]

Proceedings of the 1er Conférence francophone sur les Architectures Logicielles (CAL 2006), 2006

2005

A formal approach to component adaptation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

Formalizing WSBPEL Business Processes Using Process Algebra.

[BibT_eX]

[DOI]

Proceedings of the 4th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2005

Síntesis de patrones de interacción a partir de diagramas de secuencia en UML.

[BibT_eX]

Carlos Canal Velasco

Proceedings of the Actas de las X Jornadas de Ingeniería del Software y Bases de Datos (JISBD 2005), 2005

Desarrollo de Sistemas Basados en Componentes Utilizando Diagramas de Secuencia.

[BibT_eX]

Juan Manuel Murillo Rodríguez

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

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

Coordination and Adaptation Techniques for Software Entities.

[BibT_eX]

[DOI]

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 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

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

2002

Systematic Component Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Dynamically Adapting the Behaviour of Software Components.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 5th International Conference, 2002

Adapting Components with Mismatching Behaviours.

[BibT_eX]

[DOI]

Proceedings of the Component Deployment, IFIP/ACM Working Conference, 2002

2001

Compatibility and inheritance in software architectures.

[BibT_eX]

[DOI]

José M. Troya

Sci. Comput. Program., 2001

Extending CORBA Interfaces with Protocols.

[BibT_eX]

[DOI]

Comput. J., 2001

2000

Extending CORBA Interfaces with p-Calculus for Protocol Compatibility.

[BibT_eX]

[DOI]

Proceedings of the TOOLS 2000: 33rd International Conference on Technology of Object-Oriented Languages and Systems, 2000

1999

Specification and Refinement of Dynamic Software Architectures.

[BibT_eX]

José M. Troya

Proceedings of the Software Architecture, 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

Extending IDLs with pi-calculus for Protocol Compatibility.

[BibT_eX]