Antonio Brogi

José García-Alonso

Juan Manuel Murillo

Proceedings of the Service-Oriented Computing - 21st International Conference, 2023

Simulating FaaS Orchestrations In The Cloud-Edge Continuum.

[BibT_eX]

[DOI]

Proceedings of the 3rd Workshop on Flexible Resource and Application Management on the Edge, 2023

A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum.

[BibT_eX]

[DOI]

Proceedings of the 47th IEEE Annual Computers, Software, and Applications Conference, 2023

Semi-Automated Smell Resolution in Kubernetes-Deployed Microservices.

[BibT_eX]

[DOI]

Marco Marino

Proceedings of the 13th International Conference on Cloud Computing and Services Science, 2023

Customisable Fault and Performance Monitoring Across Multiple Clouds.

[BibT_eX]

[DOI]

Proceedings of the 13th International Conference on Cloud Computing and Services Science, 2023

To Security and Beyond: On The Impacts of Microservice Security Smells and Refactorings.

[BibT_eX]

[DOI]

Proceedings of the XLIX Latin American Computer Conference, 2023

Declarative and Linear Programming Approaches to Service Placement, Reconciled.

[BibT_eX]

[DOI]

Proceedings of the 16th IEEE International Conference on Cloud Computing, 2023

2022

Probabilistic QoS-aware Placement of VNF Chains at the Edge.

[BibT_eX]

[DOI]

Federica Paganelli

Theory Pract. Log. Program., 2022

Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2022

Compositional testing of management conformance for multi-component enterprise applications.

[BibT_eX]

[DOI]

Serv. Oriented Comput. Appl., 2022

Osmotic management of distributed complex systems: A declarative decentralised approach.

[BibT_eX]

[DOI]

J. Softw. Evol. Process., 2022

Declarative continuous reasoning in the cloud-IoT continuum.

[BibT_eX]

[DOI]

J. Log. Comput., 2022

Smells and refactorings for microservices security: A multivocal literature review.

[BibT_eX]

[DOI]

J. Syst. Softw., 2022

Self-healing trans-cloud applications.

[BibT_eX]

[DOI]

Computing, 2022

Serverless or Serverful? A Pattern-Based Approach for Exploring Hosting Alternatives.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented Computing - 16th Symposium and Summer School, 2022

Data-Aware Service Placement in the Cloud-IoT Continuum.

[BibT_eX]

[DOI]

Jacopo Massa

Proceedings of the Service-Oriented Computing - 16th Symposium and Summer School, 2022

Green Application Placement in the Cloud-IoT Continuum.

[BibT_eX]

[DOI]

Proceedings of the Practical Aspects of Declarative Languages, 2022

Microservices Beyond COVID-19 (Invited Paper).

[BibT_eX]

[DOI]

Proceedings of the Joint Post-proceedings of the Third and Fourth International Conference on Microservices, 2022

Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds.

[BibT_eX]

[DOI]

Proceedings of the IEEE INFOCOM 2022, 2022

People Counting in the Times of Covid-19.

[BibT_eX]

[DOI]

E. Maione

Proceedings of the Service-Oriented Computing - ICSOC 2022 Workshops - ASOCA, AI-PA, FMCIoT, WESOACS 2022, Sevilla, Spain, November 29, 2022

Pattern-Based Resolution of Integration Mismatches in Enterprise Applications.

[BibT_eX]

[DOI]

Riccardo Paoletti

Proceedings of the Service-Oriented and Cloud Computing, 2022

Secure Partitioning of Composite Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2022

Microservices Security: Bad vs. Good Practices.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture. ECSA 2022 Tracks and Workshops, 2022

Should Microservice Security Smells Stay or be Refactored? Towards a Trade-off Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 16th European Conference, 2022

Assessing Architecture Conformance to Coupling-Related Infrastructure-as-Code Best Practices: Metrics and Case Studies.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 16th European Conference, 2022

Failure Root Cause Analysis for Microservices, Explained.

[BibT_eX]

[DOI]

Proceedings of the Distributed Applications and Interoperable Systems: 22nd IFIP WG 6.1 International Conference, 2022

Offline Mining of Microservice-based Architectures.

[BibT_eX]

[DOI]

Javad Khalili

Proceedings of the 12th International Conference on Cloud Computing and Services Science, 2022

Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations.

[BibT_eX]

[DOI]

Proceedings of the 22nd IEEE International Symposium on Cluster, 2022

2021

The μTOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2021

FaaSten your decisions: A classification framework and technology review of function-as-a-Service platforms.

[BibT_eX]

[DOI]

J. Syst. Softw., 2021

Declarative Application Management in the Fog.

[BibT_eX]

[DOI]

J. Grid Comput., 2021

Corrigendum to "Lightweight self-organising distributed monitoring of Fog infrastructures" [Future Gener. Comput. Syst. 114 (2020) 605-618].

[BibT_eX]

[DOI]

Marco Gaglianese

Future Gener. Comput. Syst., 2021

Lightweight self-organising distributed monitoring of Fog infrastructures.

[BibT_eX]

[DOI]

Marco Gaglianese

Future Gener. Comput. Syst., 2021

Secure FaaS orchestration in the fog: how far are we?

[BibT_eX]

[DOI]

Computing, 2021

What Went Wrong? Explaining Cascading Failures in Microservice-Based Applications.

[BibT_eX]

[DOI]

Giuseppe Montesano

Proceedings of the Service-Oriented Computing, 2021

Declarative Goal Mediation in Smart Environments.

[BibT_eX]

[DOI]

Proceedings of the IEEE International Conference on Smart Computing, 2021

Placing FaaS in the Fog, Securely.

[BibT_eX]

[DOI]

Proceedings of the Italian Conference on Cybersecurity, 2021

Automated Generation of Configurable Cloud-Native Chaos Testbeds.

[BibT_eX]

[DOI]

Proceedings of the Dependable Computing - EDCC 2021 Workshops, 2021

Profit-aware placement of multi-flavoured VNF chains.

[BibT_eX]

[DOI]

Proceedings of the 10th IEEE International Conference on Cloud Networking, CloudNet 2021, 2021

From Serverful to Serverless: A Spectrum of Patterns for Hosting Application Components.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021

Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies.

[BibT_eX]

[DOI]

Proceedings of the 11th International Conference on Cloud Computing and Services Science, 2021

Tailoring Technology-Agnostic Deployment Models to Production-Ready Deployment Technologies.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Science - 11th International Conference, 2021

A Declarative Goal-oriented Framework for Smart Environments with LPaaS.

[BibT_eX]

[DOI]

Proceedings of the 36th Italian Conference on Computational Logic, 2021

Declarative Osmotic Application Placement.

[BibT_eX]

[DOI]

Proceedings of the Advanced Information Systems Engineering Workshops - CAiSE 2021 International Workshops, Melbourne, VIC, Australia, June 28, 2021

2020

How to place your apps in the fog: State of the art and open challenges.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2020

Component-aware orchestration of cloud-based enterprise applications, from TOSCA to Docker and Kubernetes.

[BibT_eX]

[DOI]

Softw. Pract. Exp., 2020

Simulating FogDirector Application Management.

[BibT_eX]

[DOI]

Alessandro Pagiaro

Simul. Model. Pract. Theory, 2020

Ensemble-Based Software Engineering for Modern Computing Platforms.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2020

Fine-grained management of cloud-native applications, based on TOSCA.

[BibT_eX]

[DOI]

Internet Technol. Lett., 2020

Design principles, architectural smells and refactorings for microservices: a multivocal review.

[BibT_eX]

[DOI]

SICS Softw.-Intensive Cyber Phys. Syst., 2020

Secure Cloud-Edge Deployments, with Trust.

[BibT_eX]

[DOI]

Gian-Luigi Ferrari

Future Gener. Comput. Syst., 2020

Continuous Reasoning for Managing Next-Gen Distributed Applications.

[BibT_eX]

[DOI]

Proceedings of the Proceedings 36th International Conference on Logic Programming (Technical Communications), 2020

Towards Declarative Decentralised Application Management in the Fog.

[BibT_eX]

[DOI]

Proceedings of the 2020 IEEE International Symposium on Software Reliability Engineering Workshops, 2020

Technology-Agnostic Declarative Deployment Automation of Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2020

Testing Conformance in Multi-component Enterprise Application Management.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2020

Mining the Architecture of Microservice-Based Applications from their Kubernetes Deployment.

[BibT_eX]

[DOI]

Giuseppe Muntoni

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

Cloud-native Deploy-ability: An Analysis of Required Features of Deployment Technologies to Deploy Arbitrary Cloud-native Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Conference on Cloud Computing and Services Science, 2020

2019

Cloud Container Technologies: A State-of-the-Art Review.

[BibT_eX]

[DOI]

IEEE Trans. Cloud Comput., 2019

Mimicking FogDirector application management.

[BibT_eX]

[DOI]

SICS Softw.-Intensive Cyber Phys. Syst., 2019

Estimating costs of multi-component enterprise applications.

[BibT_eX]

[DOI]

Andrea Corradini

Formal Aspects Comput., 2019

Identifying Failure Causalities in Multi-component Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2019

The EDMM Modeling and Transformation System.

[BibT_eX]

[DOI]

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

Freshening the Air in Microservices: Resolving Architectural Smells via Refactoring.

[BibT_eX]

[DOI]

Davide Neri

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

Measuring the Fog, Gently.

[BibT_eX]

[DOI]

Marco Gaglianese

Proceedings of the Service-Oriented Computing - 17th International Conference, 2019

Making a Business Out of (Predictive Application Management in) the Fog.

[BibT_eX]

[DOI]

Giuseppe Astuti

Proceedings of the Fourth International Conference on Fog and Mobile Edge Computing, 2019

Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog.

[BibT_eX]

[DOI]

Proceedings of the 3rd IEEE International Conference on Edge Computing, 2019

Robust Management of Trans-Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the 12th IEEE International Conference on Cloud Computing, 2019

Predictive Analysis to Support Fog Application Deployment.

[BibT_eX]

[DOI]

Proceedings of the Fog and Edge Computing, 2019

2018

TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications.

[BibT_eX]

[DOI]

Luca Rinaldi

Softw. Pract. Exp., 2018

A microservice-based architecture for (customisable) analyses of Docker images.

[BibT_eX]

[DOI]

Davide Neri

Softw. Pract. Exp., 2018

Orchestrating incomplete TOSCA applications with Docker.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Simulation-based matching of cloud applications.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2018

Fault-aware management protocols for multi-component applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2018

Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications.

[BibT_eX]

[DOI]

Int. J. Parallel Program., 2018

Explaining Successful Docker Images Using Pattern Mining Analysis.

[BibT_eX]

[DOI]

Proceedings of the Software Technologies: Applications and Foundations, 2018

Helping Your Docker Images to Spread Based on Explainable Models.

[BibT_eX]

[DOI]

Proceedings of the Machine Learning and Knowledge Discovery in Databases, 2018

Bonsai in the Fog: An active learning lab with Fog computing.

[BibT_eX]

[DOI]

Proceedings of the Third International Conference on Fog and Mobile Edge Computing, 2018

On Enhancing the Orchestration of Multi-container Docker Applications.

[BibT_eX]

[DOI]

Claus Pahl

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

Secure Apps in the Fog: Anything to Declare?

[BibT_eX]

[DOI]

Gian-Luigi Ferrari

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

True Concurrent Management of Multi-component Applications.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2018

Optimising QoS-Assurance, Resource Usage and Cost of Fog Application Deployments.

[BibT_eX]

[DOI]

Proceedings of the Cloud Computing and Services Science - 8th International Conference, 2018

Deploying Fog Applications: How Much Does It Cost, By the Way?

[BibT_eX]

[DOI]

Proceedings of the 8th International Conference on Cloud Computing and Services Science, 2018

2017

QoS-Aware Deployment of IoT Applications Through the Fog.

[BibT_eX]

[DOI]

IEEE Internet Things J., 2017

DrACO: Discovering available cloud offerings.

[BibT_eX]

[DOI]

Paolo Cifariello

Comput. Sci. Res. Dev., 2017

From (Incomplete) TOSCA Specifications to Running Applications, with Docker.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Towards a Reference Dataset of Microservice-Based Applications.

[BibT_eX]

[DOI]

Proceedings of the Software Engineering and Formal Methods, 2017

Keynote speech 3: QoS-aware deployment of Fog applications.

[BibT_eX]

[DOI]

Proceedings of the 2017 Fourth International Conference on Software Defined Systems, 2017

Sommelier: A Tool for Validating TOSCA Application Topologies.

[BibT_eX]

[DOI]

Antonio Di Tommaso

Proceedings of the Model-Driven Engineering and Software Development, 2017

Validating TOSCA Application Topologies.

[BibT_eX]

[DOI]

Antonio Di Tommaso

Proceedings of the 5th International Conference on Model-Driven Engineering and Software Development, 2017

How to Best Deploy Your Fog Applications, Probably.

[BibT_eX]

[DOI]

Proceedings of the 1st IEEE International Conference on Fog and Edge Computing, 2017

DockerFinder: Multi-attribute Search of Docker Images.

[BibT_eX]

[DOI]

Davide Neri

Proceedings of the 2017 IEEE International Conference on Cloud Engineering, 2017

Container-Based Support for Autonomic Data Stream Processing Through the Fog.

[BibT_eX]

[DOI]

Proceedings of the Euro-Par 2017: Parallel Processing Workshops, 2017

TosKer: Orchestrating Applications with TOSCA and Docker.

[BibT_eX]

[DOI]

Luca Rinaldi

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

Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included.

[BibT_eX]

[DOI]

Proceedings of the Coordination Models and Languages, 2017

Application Deployment through the Fog.

[BibT_eX]

[DOI]

Proceedings of the 41st IEEE Annual Computer Software and Applications Conference, 2017

2016

A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications.

[BibT_eX]

[DOI]

Trans. Petri Nets Other Model. Concurr., 2016

Finding available services in TOSCA-compliant clouds.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2016

ToscaMart: A method for adapting and reusing cloud applications.

[BibT_eX]

[DOI]

J. Syst. Softw., 2016

Behaviour-Aware Matching of Cloud Applications.

[BibT_eX]

[DOI]

Proceedings of the 10th International Symposium on Theoretical Aspects of Software Engineering, 2016

Fault-Aware Application Management Protocols.

[BibT_eX]

[DOI]

Proceedings of the Service-Oriented and Cloud Computing, 2016

SeaClouds: An Open Reference Architecture for Multi-cloud Governance.

[BibT_eX]

[DOI]

Proceedings of the Software Architecture - 10th European Conference, 2016

2015

Adaptive management of applications across multiple clouds: The SeaClouds Approach.

[BibT_eX]

[DOI]

CLEI Electron. J., 2015

SeaClouds: Agile management of complex applications across multiple heterogeneous clouds.

[BibT_eX]

[DOI]

Dionysis Athanasopoulos

Proceedings of the Projects Showcase, 2015

Modelling and Analysing Cloud Application Management.

[BibT_eX]

[DOI]

Proceedings of the Service Oriented and Cloud Computing - 4th European Conference, 2015

Automated Prediction of the QoS of Service Orchestrations: PASO at Work.

[BibT_eX]

[DOI]

Leonardo Bartoloni

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

Modelling the Behaviour of Management Operations in Cloud-based Applications.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Petri Nets and Software Engineering (PNSE'15), 2015

2014

SeaClouds: a European project on seamless management of multi-cloud applications.

[BibT_eX]

[DOI]

ACM SIGSOFT Softw. Eng. Notes, 2014

Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform.

[BibT_eX]

[DOI]

J. Univers. Comput. Sci., 2014

Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach.

[BibT_eX]

[DOI]

Leonardo Bartoloni

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

Reusing cloud-based services with TOSCA.

[BibT_eX]

[DOI]

Proceedings of the 44. Jahrestagung der Gesellschaft für Informatik, Big Data, 2014

TOSCA in a Nutshell: Promises and Perspectives.

[BibT_eX]

[DOI]

Pengwei Wang

Proceedings of the Service-Oriented and Cloud Computing - Third European Conference, 2014

Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface.

[BibT_eX]

[DOI]

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

EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds.

[BibT_eX]

[DOI]

Proceedings of the CLOSER 2014, 2014

SeaClouds: Seamless adaptive multi-cloud management of service-based applications.

[BibT_eX]

Proceedings of the XVII Iberoamerican Conference on Software Engineering, 2014

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

Matching Cloud Services with TOSCA.

[BibT_eX]

[DOI]

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

2012

A formalized, taxonomy-driven approach to cross-layer application adaptation.

[BibT_eX]

[DOI]

Athanasios Staikopoulos

Clarissa Cassales Marquezan

Peng Liu

Siobhán Clarke

ACM Trans. Auton. Adapt. Syst., 2012

Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems.

[BibT_eX]

[DOI]

Annapaola Marconi

Antonio Bucchiarone

Konstantinos Bratanis

Andreas Metzger

Proceedings of the First International Workshop on European Software Services and Systems Research, 2012

Behaviour-Aware Compositions of Things.

[BibT_eX]

[DOI]

Javier Cubo

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]

Javier Cubo

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

On the potential advantages of exploiting behavioural information for contract-based service discovery and composition.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2011

Evolving reactive logic programs.

[BibT_eX]

[DOI]

Intelligenza Artificiale, 2011

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

[BibT_eX]

[DOI]

José Antonio Martín

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

2010

Design and implementation of Sator: A web service aggregator.

[BibT_eX]

[DOI]

Matteo Tanca

ACM Trans. Softw. Eng. Methodol., 2010

Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates.

[BibT_eX]

[DOI]

Athanasios Staikopoulos

Peng Liu

Siobhán Clarke

Proceedings of the Fourth IEEE International Conference on Self-Adaptive and Self-Organizing Systems, 2010

Analysing the Behaviour of Peer Specifications for mobile P2P applications.

[BibT_eX]

Proceedings of the 13th Iberoamerican Conference on Software Engineering, 2010

2009

A Net-based Approach to Web Services Publication and Replaceability.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2009

Software composition with Linda.

[BibT_eX]

[DOI]

Ana M. Roldán

Comput. Lang. Syst. Struct., 2009

A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems.

[BibT_eX]

[DOI]

Thaizel Fuentes

Proceedings of the Service-Oriented Computing, 7th International Joint Conference, 2009

2008

Semantics-based composition-oriented discovery of Web services.

[BibT_eX]

[DOI]

ACM Trans. Internet Techn., 2008

Ontology- and Behavior-Aware Discovery of Web Service Compositions.

[BibT_eX]

[DOI]

Int. J. Cooperative Inf. Syst., 2008

On the Use of Behavioural Equivalences for Web Services' Development.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2008

Workflow-based semantics for peer-to-peer specifications.

[BibT_eX]

[DOI]

Frontiers Comput. Sci. China, 2008

Secure P2P Programming on Top of Tuple Spaces.

[BibT_eX]

[DOI]

Proceedings of the 17th IEEE International Workshops on Enabling Technologies: Infrastructures for Collaborative Enterprises, 2008

Workflow Semantics of Peer and Service Behaviour.

[BibT_eX]

[DOI]

Proceedings of the Second IEEE/IFIP International Symposium on Theoretical Aspects of Software Engineering, 2008

Tailoring service discovery to embedded P2P systems.

[BibT_eX]

[DOI]

Thaizel Fuentes

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

Discovering service compositions that feature a desired behaviour.

[BibT_eX]

Fabrizio Benigni

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

Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study.

[BibT_eX]

[DOI]

Proceedings of the Applications and Theory of Petri Nets, 29th International Conference, 2008

2007

Behaviour-Aware Discovery of Web Service Compositions.

[BibT_eX]

[DOI]

Int. J. Web Serv. Res., 2007

Service adaptation through trace inspection.

[BibT_eX]

[DOI]

Int. J. Bus. Process. Integr. Manag., 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

SAM : A Semantic Web Service Discovery System.

[BibT_eX]

[DOI]

Proceedings of the Knowledge-Based Intelligent Information and Engineering Systems, 2007

From OWL-S Descriptions to Petri Nets.

[BibT_eX]

[DOI]

Stefano Iardella

Proceedings of the Service-Oriented Computing, 2007

A Behavioural Congruence for Web Services.

[BibT_eX]

[DOI]

Proceedings of the International Symposium on Fundamentals of Software Engineering, 2007

Automated Generation of BPEL Adapters.

[BibT_eX]

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

2006

On the expressiveness of timed coordination models.

[BibT_eX]

[DOI]

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

Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching.

[BibT_eX]

[DOI]

Isabelle Linden

Fundam. Informaticae, 2006

Foundations on Coordination Languages and Software Architectures.

[BibT_eX]

[DOI]

Joost N. Kok

Fundam. Informaticae, 2006

Dynamic Contextual Adaptation.

[BibT_eX]

[DOI]

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

From BPEL Processes to YAWL Workflows.

[BibT_eX]

[DOI]

Proceedings of the Web Services and Formal Methods, Third International Workshop, 2006

A Prototype for Discovering Compositions of Semantic Web Services.

[BibT_eX]

[DOI]

José Francisco Aldana Montes

Ismael Navas-Delgado

Proceedings of the SWAP 2006, 2006

An Event-Condition-Action Logic Programming Language.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, 10th European Conference, 2006

Automated Discovery of Compositions of Services Described with Separate Ontologies.

[BibT_eX]

[DOI]

José Francisco Aldana Montes

Ismael Navas-Delgado

Proceedings of the Service-Oriented Computing, 2006

Towards Semi-automated Workflow-based Aggregation of Web Services.

[BibT_eX]

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

2005

The Refined Extension Principle for Semantics of Dynamic Logic Programming.

[BibT_eX]

[DOI]

Stud Logica, 2005

A formal approach to component adaptation.

[BibT_eX]

[DOI]

J. Syst. Softw., 2005

A framework for specifying and verifying the behaviour of open systems.

[BibT_eX]

[DOI]

J. Log. Algebraic Methods Program., 2005

Composition-Oriented Service Discovery.

[BibT_eX]

[DOI]

Proceedings of the Software Composition - 4th International Workshop, 2005

The Well Supported Semantics for Multidimensional Dynamic Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2005

Operational Semantics for DyLPs.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2005

2004

Preface.

[BibT_eX]

[DOI]

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

Digital reconstruction of the Arrigo VII funerary complex.

[BibT_eX]

[DOI]

Proceedings of the 5th International Symposium on Virtual Reality, 2004

Semantics for Dynamic Logic Programming: A Principle-Based Approach.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 2004

On the Semantics of Logic Program Composition.

[BibT_eX]

[DOI]

Proceedings of the Program Development in Computational Logic: A Decade of Research Advances in Logic-Based Program Development, 2004

Well Founded Semantics for Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the Advances in Artificial Intelligence, 2004

Towards an Engineering Approach to Component Adaptation.

[BibT_eX]

[DOI]

Alexander B. Romanovsky

Massimo Tivoli

Proceedings of the Architecting Systems with Trustworthy Components, 2004

Measuring Component Adaptation.

[BibT_eX]

[DOI]

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

From Logic Programs Updates to Action Description Updates.

[BibT_eX]

[DOI]

Proceedings of the Computational Logic in Multi-Agent Systems, 5th International Workshop, 2004

Behavioural Types and Component Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Algebraic Methodology and Software Technology, 2004

2003

On the expressiveness of coordination via shared dataspaces.

[BibT_eX]

[DOI]

Sci. Comput. Program., 2003

A Deductive Database Approach to A.I. Planning.

[BibT_eX]

[DOI]

V. S. Subrahmanian

Carlo Zaniolo

J. Intell. Inf. Syst., 2003

Safe Composition of Linda-based Components.

[BibT_eX]

[DOI]

Ana M. Roldán

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

On the Expressiveness of Relative-Timed Coordination Models.

[BibT_eX]

[DOI]

Isabelle Linden

Koenraad De Bosschere

Proceedings of FOCLASA 2003, 2003

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

[BibT_eX]

[DOI]

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 Evolvable Rule-Based E-mail Agent.

[BibT_eX]

[DOI]

Proceedings of the Progress in Artificial Intelligence, 2003

Logic Programming for Evolving Agents.

[BibT_eX]

[DOI]

Proceedings of the Cooperative Information Agents VII, 7th International Workshop, 2003

An Evolving Agent with EVOLP.

[BibT_eX]

Proceedings of the 2003 Joint Conference on Declarative Programming, 2003

2002

Compatibility of Linda-based Component Interfaces.

[BibT_eX]

[DOI]

Ana M. Roldán

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Preface.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

On Modeling Coordination via Asynchronous Communication and Enhanced Matching.

[BibT_eX]

[DOI]

Isabelle Linden

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

Preface.

[BibT_eX]

[DOI]

Proceedings of the Foundations of Coordination Languages and Software Architectures, 2002

Systematic Component Adaptation.

[BibT_eX]

[DOI]

Proceedings of the Formal Methods and Component Interaction 2002, 2002

Security and Dynamic Compositions of Open Systems.

[BibT_eX]

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2002

Evolving Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logics in Artificial Intelligence, European Conference, 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

Linear Embedding for a Quantitative Comparison of Language Expressiveness.

[BibT_eX]

[DOI]

Alessandra Di Pierro

Herbert Wiklicky

Proceedings of the Workshop on Quantitative Aspects of Programming Laguages, 2001

Comparative analysis of the expressiveness of shared dataspace coordination.

[BibT_eX]

[DOI]

Proceedings of the Theory of Concurrency, Higher Order Languages and Types, 2001

Probabilistic behaviours of reactive agents.

[BibT_eX]

[DOI]

Proceedings of the Declarative Programming, 2001

Security Issues in Component-based Design.

[BibT_eX]

[DOI]

Proceedings of the International Workshop on Concurrency and Coordination, 2001

Coordinating interaction patterns.

[BibT_eX]

[DOI]

Proceedings of the 2001 ACM Symposium on Applied Computing (SAC), 2001

From Subject Directories to Subject Meta-directories via Declarative Programming.

[BibT_eX]

[DOI]

Gianluca Caruso

Proceedings of the Practical Aspects of Declarative Languages, 2001

Computing Environment-Aware Agent Behaviours with Logic Program Updates.

[BibT_eX]

[DOI]

Proceedings of the Logic Based Program Synthesis and Transformation, 2001

2000

Special Issue on Logical Formalisms for Program Composition - Editorial.

[BibT_eX]

Patricia M. Hill

J. Funct. Log. Program., 2000

On Timed Coordination Languages.

[BibT_eX]

[DOI]

Koenraad De Bosschere

Proceedings of the Coordination Languages and Models, 4th International Conference, 2000

On the Interplay between Reactivity and Computation.

[BibT_eX]

Proceedings of the CL-2000 Workshop on Computational Logic in Multi-Agent Systems (CLIMA-00), 2000

1999

Programming by Combining General Logic Programs.

[BibT_eX]

[DOI]

J. Log. Comput., 1999

Dynamic composition of parameterised logic modules.

[BibT_eX]

[DOI]

Chiara Renso

Comput. Lang., 1999

Interactive Information System for the Camposanto Monumentale of Pisa.

[BibT_eX]

[DOI]

Clara Baracchini

Davide Merlitti

Proceedings of the 20th Annual Conference of the European Association for Computer Graphics, 1999

On the Expressiveness of Coordination Models.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Third International Conference, 1999

ExpertFinder: A Prolog Recommender System Integrated with the WWW.

[BibT_eX]

G. Marongiu

Proceedings of the 1999 Joint Conference on Declarative Programming, 1999

1998

A Program Specialiser for Meta-Level Compositions of Logic Programs.

[BibT_eX]

[DOI]

New Gener. Comput., 1998

On the Expressiveness of Linda-like Concurrent Languages.

[BibT_eX]

[DOI]

Proceedings of the Fifth International Workshop on Expressiveness in Concurrency, 1998

The Use of Renaming in Composing General Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1998

1997

A Unifying View for Logic Programming with Non-Monotonic Reasoning.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1997

A Turing machine contest for introducing high school students to computer science.

[BibT_eX]

[DOI]

ACM SIGCSE Bull., 1997

The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach.

[BibT_eX]

[DOI]

V. S. Subrahmanian

Carlo Zaniolo

Ann. Math. Artif. Intell., 1997

Composing General Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1997

Modeling Coordination via Asynchronous Communication.

[BibT_eX]

[DOI]

Proceedings of the Coordination Languages and Models, Second International Conference, 1997

1996

Pruning the Search Space of Logic Programs.

[BibT_eX]

[DOI]

Cosimo Guarino

Proceedings of the Extensions of Logic Programming, 5th International Workshop, 1996

Specialising Meta-level Compositions of Logic Programs.

[BibT_eX]

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

1995

Fully Abstract Composition Semantics for an Algebra of Logic Programs.

[BibT_eX]

[DOI]

Theor. Comput. Sci., 1995

An Abductive Framework for Extended Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming and Nonmonotonic Reasoning, 1995

1994

Modular Logic Programming.

[BibT_eX]

[DOI]

ACM Trans. Program. Lang. Syst., 1994

Implementations of Program Composition Operations.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1994

Gödel as a Meta-Language for Composing Logic Programs.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming Synthesis and Transformation, 1994

Semantics of Meta-Logic in an Algebra of Programs

[BibT_eX]

[DOI]

Proceedings of the Ninth Annual Symposium on Logic in Computer Science (LICS '94), 1994

Amalgamating Language and Meta-language for Composing Logic Programs.

[BibT_eX]

Chiara Renso

Proceedings of the 1994 Joint Conference on Declarative Programming, 1994

1993

Composing Open Logic Programs.

[BibT_eX]

[DOI]

J. Log. Comput., 1993

Distributed Logic Programming.

[BibT_eX]

Roberto Gorrieri

J. Log. Program., 1993

1992

Compositional Model-Theoretic Semantics for Logic Programs.

[BibT_eX]

[DOI]

New Gener. Comput., 1992

The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1992

Meta for Modularising Logic Programming.

[BibT_eX]

[DOI]

Proceedings of the Meta-Programming in Logic, 3rd International Workshop, 1992

Normal Logic Programs as Open Positive Programs.

[BibT_eX]

Proceedings of the Logic Programming, 1992

Metalogic for State Oriented Programming.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Third International Workshop, 1992

ATMS for Implementing Logic Programming.

[BibT_eX]

Proceedings of the 10th European Conference on Artificial Intelligence, 1992

1991

The Concurrent Language, Shared Prolog.

[BibT_eX]

[DOI]

Paolo Ciancarini

ACM Trans. Program. Lang. Syst., 1991

Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes.

[BibT_eX]

[DOI]

Maurizio Gabbrielli

Proceedings of the Programming Language Implementation and Logic Programming, 1991

Objects in a Logic Programming Framework.

[BibT_eX]

[DOI]

Proceedings of the Logic Programming, First Russian Conference on Logic Programming, Irkutsk, Russia, September 14-18, 1990, 1991

Metalogic for Knowledge Representation.

[BibT_eX]

Proceedings of the 2nd International Conference on Principles of Knowledge Representation and Reasoning (KR'91). Cambridge, 1991

Theory Construction in Computational Logic.

[BibT_eX]

Proceedings of the Constructing Logic Programs, 1991

Open Logic Theories.

[BibT_eX]

[DOI]

Proceedings of the Extensions of Logic Programming, Second International Workshop, 1991

Abductive Reasoning in a Multi-Theory Framework.

[BibT_eX]

[DOI]

Proceedings of the Trends in Artificial Intelligence, 1991

1990

Hypothetical Reasoning in Logic Programming: A Semantic Approach.

[BibT_eX]

[DOI]

Inf. Process. Lett., 1990

Logic Programming within a Functional Framework.

[BibT_eX]

[DOI]

Proceedings of the Programming Language Implementation and Logic Programming, 1990

AND-Parallelism without Shared Variables.

[BibT_eX]

Proceedings of the Logic Programming, 1990

Universal Quantification by Case Analysis.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

Inheritance and Hypothetical Reasoning in Logic Programming.

[BibT_eX]

Proceedings of the 9th European Conference on Artificial Intelligence, 1990

1989

A Distributed, Net Oriented Semantics for Delta Prolog.

[BibT_eX]

[DOI]

Roberto Gorrieri

Proceedings of the TAPSOFT'89: Proceedings of the International Joint Conference on Theory and Practice of Software Development, 1989

Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language.

[BibT_eX]