Publications

Declarative Application Management in the Fog. A bacteria-inspired decentralised approach
Cite DOI
MicroFreshener: Product Owner vs Team Member Experiment (Version 1)
Cite DOI
Prospects for Quantum Software Engineering in the Next Decade - Supplementary material (Version 2)
Cite DOI
Urgent Edge Computing
Cite DOI
Triaging Microservice Security Smells, with TriSS
Cite DOI
Towards Teamwise Informed Decisions On Microservice Security Smells
Cite DOI
Towards Sustainable Deployment of Microservices over the Cloud-IoT Continuum, with FREEDA
Cite DOI
Towards enabling observability of energy demand, with NEST
Cite DOI
Towards a Comprehensive Approach to Resource and Conflict Management in Cloud-Edge Settings
Cite DOI
SST: A Tool to Support the Triage of Security Smells in Microservice Applications
Cite DOI
Service-oriented and cloud computing
Cite DOI
Pick a Flavour: Towards Sustainable Deployment of Cloud-Edge Applications
Cite DOI
On Maintainability and Microservice Dependencies: How Do Changes Propagate?
Cite DOI
Multi-Layered Continuous Reasoning for Cloud-IoT Application Management
Cite DOI
Model-Driven End-to-End Resolution of Security Smells in Microservice Architectures
Cite DOI
Marginal Cost of Computation as a Collaborative Strategy for Resource Management at the Edge
Cite DOI
From Quantum Software Handcrafting to Quantum Software Engineering
Cite DOI
From Quantum Mechanics to Quantum Software Engineering
Cite DOI
FREEDA: Failure-Resilient, Energy-aware, and Explainable Deployment of Microservice-based Applications over Cloud-IoT Infrastructures
Cite
Environmentally Sustainable Software Design and Development: A Systematic Literature Review
Cite DOI
Distributing Quantum Computations, Shot-wise
Cite DOI
Distributing Quantum Computation Across Multiple NISQ Computers
Cite DOI
Detecting and Resolving Bad Organisational Smells for Microservices
Cite DOI
Cut&Shoot: Cutting & Distributing Quantum Circuits Across Multiple NISQ Computers
Cite DOI
Continuous reasoning for adaptive container image distribution in the cloud-edge continuum
Cite DOI
Continuous QoS-compliant orchestration in the Cloud-Edge continuum
Cite DOI
Comparison of Static Analysis Architecture Recovery Tools for Microservice Applications
Cite DOI
Challenges of Quantum Software Engineering for the Next Decade: The Road Ahead
Cite DOI
Carbon-aware Software Services
Cite DOI
Beyond Security: Understanding the Multiple Impacts of Security Smells for Microservices
Cite DOI
An Interview with Tsong Yueh Chen - 2024 SIGSOFT Awardee
Cite DOI
An Interview with Massimiliano Di Penta - 2024 SIGSOFT Awardee
Cite DOI
An Interview with Martin Robillard - 2024 SIGSOFT Awardee
Cite DOI
A Logic Programming Approach to VM Placement
Cite DOI
A Genetic Algorithm for Placing VNF Chains with Multiple Flavours
Cite DOI
A declarative reasoning approach to conflict management in Intent-Based Networking
Cite DOI
Supplemental material for \"Multi-Layered Continuous Reasoning for Cloud-IoT Application Management\"
Cite DOI
Datasets for a Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators (Version 5)
Add the full text or supplementary notes for the publication here using Markdown formatting.
Cite DOI
Datasets for a Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators (Version 5)
Cite DOI
Datasets for a Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators (Version 4)
Cite DOI
Datasets for a Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators (Version 3)
Cite DOI
Datasets for a Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators (Version 2)
Cite DOI
Online Survey: Impacts of Smells and Refactorings for Microservice Security (Version 1)
Cite DOI
yRCA: An explainable failure root cause analyser
Cite DOI
Towards Resolving Security Smells in Microservices, Model-Driven
Cite DOI
Towards declarative intent processing and conflict resolution in IBN
Cite DOI
Tools Reconstructing Microservice Architecture: A Systematic Mapping Study
Cite DOI
To Security and Beyond: On The Impacts of Microservice Security Smells and Refactorings
Cite DOI
Sustainable placement of VNF chains in Intent-based Networking
Cite DOI
Sustainable goal-oriented smart environments: a declarative programming approach
Cite DOI
Sustainable Cloud-Edge Infrastructure as a Service
Cite DOI
Smelling Homemade Crypto Code in Microservices, with KubeHound
Cite DOI
Simulating FaaS Orchestrations In The Cloud-Edge Continuum
Cite DOI
Service-Oriented and Cloud Computing - 10th IFIP WG 6.12 European Conference, ESOCC 2023, Larnaca, Cyprus, October 24-25, 2023, Proceedings
Cite DOI
Semi-Automated Smell Resolution in Kubernetes-Deployed Microservices
Cite DOI
Secure Partitioning of Cloud Applications, with Cost Look-Ahead
Cite DOI
Offline Mining of Microservice-Based Architectures (Extended Version)
Cite DOI
Model-Driven Security Smell Resolution in Microservice Architecture Using LEMMA
Cite DOI
Leasing the Cloud-Edge Continuum, à la Carte
Cite DOI
Kubernetes-Enabled Detection and Resolution of Architectural Smells for Microservices
Cite DOI
KubeHound: Detecting Microservices' Security Smells in Kubernetes Deployments
Cite DOI
Green Orchestration of Cloud-Edge Applications: State of the Art and Open Challenges
Cite DOI
Estimating the Environmental Impact of Green IoT Deployments
Cite DOI
Distributing Quantum Computations, by Shots
Cite DOI
Dispatching Shots Among Multiple Quantum Computers: An Architectural Proposal
Cite DOI
Declarative Provisioning of Virtual Network Function Chains in Intent-based Networks
Cite DOI
Declarative and Linear Programming Approaches to Service Placement, Reconciled
Cite DOI
Data-aware Declarative Application Management in the Cloud-IoT Continuum
Cite
Customisable Fault and Performance Monitoring Across Multiple Clouds
Cite DOI
Continuous QoS-compliant Orchestration in the Cloud-Edge Continuum
Cite DOI
Continuous QoS-aware adaptation of Cloud-IoT application placements
Cite DOI
Assessing and enhancing a Cloud-IoT monitoring service over federated testbeds
Cite DOI
Anomaly Detection and Failure Root Cause Analysis in (Micro) Service-Based Cloud Applications: A Survey
Cite DOI
An Interview with John Grundy - 2023 SIGSOFT Awardee
Cite DOI
An Interview with Gail Murphy - 2023 SIGSOFT Awardee
Cite DOI
An Interview with Chunyang Chen - 2023 SIGSOFT Awardee
Cite DOI
AI Techniques in the Microservices Life-Cycle: A Survey
Cite DOI
A Systematic Technology Review of General-Purpose Open-Source TOSCA Orchestrators
Cite DOI
A Proposal for a Continuum-aware Programming Model: From Workflows to Services Autonomously Interacting in the Compute Continuum
Cite DOI
Type, pad, and place: Avoiding data leaks in Cloud-IoT FaaS orchestrations
Cite DOI
Trending Topics in Software Engineering (1)
Cite DOI
Trending Topics in Software Engineering
Cite DOI
Trending Topics in Software Engineering
Cite DOI
Standards-based modeling and deployment of serverless function orchestrations using BPMN and TOSCA
Cite DOI
Software Engineering After the COVID-19 Outbreak
Cite DOI
Should Microservice Security Smells Stay or be Refactored? Towards a Trade-off Analysis
Cite DOI
Serverless or Serverful? A Pattern-Based Approach for Exploring Hosting Alternatives
Cite DOI
Self-healing trans-cloud applications
Cite DOI
Secure Partitioning of Composite Cloud Applications
Cite DOI
Probabilistic QoS-aware Placement of VNF Chains at the Edge
Cite DOI
People Counting in the Times of Covid-19
Cite DOI
Pattern-Based Resolution of Integration Mismatches in Enterprise Applications
Cite DOI
Osmotic management of distributed complex systems: A declarative decentralised approach
Cite DOI
Offline Mining of Microservice-based Architectures
Cite DOI
Modelling and Analysing Replica- and Fault-aware Management of Horizontally Scalable Applications
Cite DOI
Microservices Security: Bad vs. Good Practices
Cite DOI
Microservices Beyond COVID-19 (Invited Paper)
Cite DOI
Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds
Cite DOI
Keynote: The fog is rising, in sustainable smart cities
Cite DOI
Failure Root Cause Analysis for Microservices, Explained
Cite DOI
Declarative continuous reasoning in the cloud-IoT continuum
Cite DOI
Data-Aware Service Placement in the Cloud-IoT Continuum
Cite DOI
Data-Aware Service Placement in the Cloud-IoT Continuum
Cite DOI
Data-Aware Application Placement and Management in the Cloud-IoT Continuum
Cite DOI
Compositional testing of management conformance for multi-component enterprise applications
Cite DOI
Assessing Architecture Conformance to Coupling-Related Infrastructure-as-Code Best Practices: Metrics and Case Studies
Cite DOI
An interview with Xin Xia - 2022 SIGSOFT Awardee
Cite DOI
An interview with Miryung Kim - 2022 SIGSOFT Awardee
Cite DOI
Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2022, Wittenberg, Germany, March 22-24, 2022, Revised Selected Papers
Cite DOI
Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds (LiSCIo) (Version 2)
Cite DOI
Lightweight Self-adaptive Cloud-IoT Monitoring across Fed4FIRE+ Testbeds (LiSCIo) (Version 1)
Cite DOI
What Went Wrong? Explaining Cascading Failures in Microservice-Based Applications
Cite DOI
The (μ)TOSCA toolchain: Mining, analyzing, and refactoring microservice-based architectures
Cite DOI
Tailoring Technology-Agnostic Deployment Models to Production-Ready Deployment Technologies
Cite DOI
Smells and Refactorings for Microservices Security: A Multivocal Literature Review
Cite DOI
Secure FaaS orchestration in the fog: how far are we?
Cite DOI
Profit-aware placement of multi-flavoured VNF chains
Cite DOI
Preface to the Special Issue on Coordination and Self-Adaptiveness of Software Applications
Cite DOI
Placing FaaS in the Fog, Securely
Cite
Pains and Gains of Peer-Reviewing in Software Engineering (5)
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering (4)
Cite DOI
Lightweight self-organising distributed monitoring of Fog infrastructures
Cite DOI
Green Application Placement in the Cloud-IoT Continuum
Cite DOI
From Serverful to Serverless: A Spectrum of Patterns for Hosting Application Components
Cite DOI
FaaSten your decisions: A classification framework and technology review of function-as-a-Service platforms
Cite DOI
Declarative Osmotic Application Placement
Cite DOI
Declarative Goal Mediation in Smart Environments
Cite DOI
Declarative Application Management in the Fog
Cite DOI
Corrigendum to \"Lightweight self-organising distributed monitoring of Fog infrastructures\" [Future Gener. Comput. Syst. 114 (2020) 605-618]
Cite DOI
Automating the Deployment of Distributed Applications by Combining Multiple Deployment Technologies
Cite DOI
Automated Generation of Configurable Cloud-Native Chaos Testbeds
Cite DOI
Anomaly Detection and Failure Root Cause Analysis in (Micro)Service-Based Cloud Applications: A Survey
Cite
Advances in Service-Oriented and Cloud Computing - International Workshops of ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Revised Selected Papers
Cite DOI
A Reference Model for Outside-in Open Innovation Platforms
Cite DOI
A Declarative Goal-oriented Framework for Smart Environments with LPaaS
Cite
Towards Resolving Security Smells in Microservice-Based Applications
Cite DOI
Towards Declarative Decentralised Application Management in the Fog
Cite DOI
TOSCA Lightning: An Integrated Toolchain for Transforming TOSCA Light into Production-Ready Deployment Technologies
Cite DOI
TOSCA Light: Bridging the Gap between the TOSCA Specification and Production-ready Deployment Technologies
Cite DOI
The essential deployment metamodel: a systematic review of deployment automation technologies
Cite DOI
Testing Conformance in Multi-component Enterprise Application Management
Cite DOI
Technology-Agnostic Declarative Deployment Automation of Cloud Applications
Cite DOI
Software Engineering Worldwide
Cite DOI
Simulating FogDirector Application Management
Cite DOI
Service-Oriented and Cloud Computing - 8th IFIP WG 2.14 European Conference, ESOCC 2020, Heraklion, Crete, Greece, September 28-30, 2020, Proceedings
Cite DOI
Preface to the Special Issue on Foundations of Coordination Languages and Self-Adaptive Systems (Foclasa 2018)
Cite DOI
Pattern-based Modelling, Integration, and Deployment of Microservice Architectures
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering (3)
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering (2)
Cite DOI
Pains and Gains of Peer-Reviewing in Software Engineering
Cite DOI
Pains and Gains of Peer- Reviewing in Software Engineering
Cite DOI
Mining the Architecture of Microservice-Based Applications from their Kubernetes Deployment
Cite DOI
How to place your apps in the fog: State of the art and open challenges
Cite DOI
Frameworks and High-Availability in Microservices: An Industrial Survey
Cite
Fine-grained management of cloud-native applications, based on TOSCA
Cite DOI
Finding Feasible Application Deployments in Edge Clusters, with Limited Resources
Cite DOI
FaaSten Your Decisions: Classification Framework and Technology Review of Function-as-a-Service Platforms
Cite
Ensemble-Based Software Engineering for Modern Computing Platforms
Cite DOI
Design principles, architectural smells and refactorings for microservices: a multivocal review
Cite DOI
Deployment and Management of Fog Applications
Cite
Continuous Reasoning for Managing Next-Gen Distributed Applications
Cite DOI
Component-aware Orchestration of Cloud-based Enterprise Applications, from TOSCA to Docker and Kubernetes
Cite
Component-aware orchestration of cloud-based enterprise applications, from TOSCA to Docker and Kubernetes
Cite DOI
Cloud-native Deploy-ability: An Analysis of Required Features of Deployment Technologies to Deploy Arbitrary Cloud-native Applications
Cite DOI
A Multimodal Real-Time Feedback Platform Based on Spoken Interactions for Remote Active Learning Support
Cite DOI
The Essential Deployment Metamodel: A Systematic Review of Deployment Automation Technologies
Cite
The EDMM Modeling and Transformation System
Cite DOI
Secure Cloud-Edge Deployments, with Trust
Cite DOI
Robust Management of Trans-Cloud Applications
Cite DOI
Proceedings of the 2nd ACM SIGSOFT International Workshop on Ensemble-Based Software Engineering for Modern Computing Platforms, EnSEmble@ESEC/SIGSOFT FSE 2019, Tallinn, Estonia, August 26, 2019
Cite DOI
Probabilistic QoS-aware Placement of VNF chains at the Edge
Cite
Predictive Analysis to Support Fog Application Deployment
Cite DOI
Mimicking FogDirector application management
Cite DOI
Migrating from monolithic architecture to microservices: A Rapid Review
Cite DOI
Meet Genetic Algorithms in Monte Carlo: Optimised Placement of Multi-Service Applications in the Fog
Cite DOI
Measuring the Fog, Gently
Cite DOI
Making a Business Out of (Predictive Application Management in) the Fog
Cite DOI
Identifying Failure Causalities in Multi-component Applications
Cite DOI
How to Place Your Apps in the Fog - State of the Art and Open Challenges
Cite
Grey Literature: A Safe Bridge Between Academy and Industry?
Cite DOI
Freshening the Air in Microservices: Resolving Architectural Smells via Refactoring
Cite DOI
Estimating costs of multi-component enterprise applications
Cite DOI
Design principles, architectural smells and refactorings for microservices: A multivocal review
Cite
Cloud Container Technologies: A State-of-the-Art Review
Cite DOI
True Concurrent Management of Multi-component Applications
Cite DOI
TosKer: A synergy between TOSCA and Docker for orchestrating multicomponent applications
Cite DOI
The pains and gains of microservices: A Systematic grey literature review
Cite DOI
Simulation-based matching of cloud applications
Cite DOI
Secure Apps in the Fog: Anything to Declare?
Cite DOI
Predictive Management of Fog Applications
Cite DOI
Orchestrating incomplete TOSCA applications with Docker
Cite DOI
Optimising QoS-Assurance, Resource Usage and Cost of Fog Application Deployments
Cite DOI
On Enhancing the Orchestration of Multi-container Docker Applications
Cite DOI
Helping Your Docker Images to Spread Based on Explainable Models
Cite DOI
Fault-aware management protocols for multi-component applications
Cite DOI
Explaining Successful Docker Images Using Pattern Mining Analysis
Cite DOI
Deploying Fog Applications: How Much Does It Cost, By the Way?
Cite DOI
Characterizing Architectural Evaluations and Identifying Quality Attributes addressed in Systems-of-Systems: A Systematic Mapping Study
Cite DOI
Bonsai in the Fog: An active learning lab with Fog computing
Cite DOI
Analysing Multiple QoS Attributes in Parallel Design Patterns-Based Applications
Cite DOI
A microservice-based architecture for (customisable) analyses of Docker images
Cite DOI
Validating TOSCA Application Topologies
Cite DOI
Towards a Reference Dataset of Microservice-Based Applications
Cite DOI
TosKer: Orchestrating Applications with TOSCA and Docker
Cite DOI
Sommelier: A Tool for Validating TOSCA Application Topologies
Cite DOI
QoS-Aware Deployment of IoT Applications Through the Fog
Cite DOI
Modelling, analysing and reusing composite cloud applications
Cite
Modelling the Dynamic Reconfiguration of Application Topologies, Faults Included
Cite DOI
Keynote speech 3: QoS-aware deployment of Fog applications
Cite DOI
How to Best Deploy Your Fog Applications, Probably
Cite DOI
From (Incomplete) TOSCA Specifications to Running Applications, with Docker
Cite DOI
DrACO: Discovering available cloud offerings
Cite DOI
DockerFinder: Multi-attribute Search of Docker Images
Cite DOI
Container-Based Support for Autonomic Data Stream Processing Through the Fog
Cite DOI
Application Deployment through the Fog
Cite DOI
Using app inventor to change perceptions about software engineering
Cite DOI
ToscaMart: A method for adapting and reusing cloud applications
Cite DOI
SeaClouds: An Open Reference Architecture for Multi-cloud Governance
Cite DOI
Finding available services in TOSCA-compliant clouds
Cite DOI
Fault-Aware Application Management Protocols
Cite DOI
Behaviour-Aware Matching of Cloud Applications
Cite DOI
A Petri Net-Based Approach to Model and Analyze the Management of Cloud Applications
Cite DOI
SeaClouds: Agile management of complex applications across multiple heterogeneous clouds
Cite
Modelling the Behaviour of Management Operations in Cloud-based Applications
Cite
Modelling and Analysing Cloud Application Management
Cite DOI
Automated Prediction of the QoS of Service Orchestrations: PASO at Work
Cite DOI
Adaptive management of applications across multiple clouds: The SeaClouds Approach
Cite DOI
Workshop on Seamless Adaptive Multi-cloud Management of Service-Based Applications (SeaCloudS): Preface
Cite DOI
WebASM: An Abstract State Machine Execution Environment for the Web
Cite DOI
TOSCA in a Nutshell: Promises and Perspectives
Cite DOI
SeaClouds: Seamless adaptive multi-cloud management of service-based applications
Cite
SeaClouds: a European project on seamless management of multi-cloud applications
Cite DOI
Reusing cloud-based services with TOSCA
Cite
Probabilistic Prediction of the QoS of Service Orchestrations: A Truly Compositional Approach
Cite DOI
EU Project SeaClouds - Adaptive Management of Service-based Applications Across Multiple Clouds
Cite DOI
Dynamic Verification of Mashups of Service-Oriented Things through a Mediation Platform
Cite DOI
Run-Time Verification of Behaviour-Aware Mashups in the Internet of Things
Cite DOI
Matching Cloud Services with TOSCA
Cite DOI
Towards behaviour-aware compositions of things in the future internet
Cite DOI
Research challenges on multi-layer and mixed-initiative monitoring and adaptation for service-based systems
Cite DOI
Behaviour-Aware Compositions of Things
Cite DOI
A formalized, taxonomy-driven approach to cross-layer application adaptation
Cite DOI
On the potential advantages of exploiting behavioural information for contract-based service discovery and composition
Cite DOI
Learning from Failures: A Lightweight Approach to Run-Time Behavioural Adaptation
Cite DOI
Evolving reactive logic programs
Cite DOI
Taxonomy-Driven Adaptation of Multi-layer Applications Using Templates
Cite DOI
Design and implementation of Sator: A web service aggregator
Cite DOI
Analysing the Behaviour of Peer Specifications for mobile P2P applications
Cite
8th IEEE European Conference on Web Services (ECOWS 2010), 1-3 December 2010, Ayia Napa, Cyprus
Cite
Software composition with Linda
Cite DOI
Memorias de la XII Conferencia Iberoamericana de Software Engineering (CIbSE 2009), Medellín, Colombia, Abril 13-17, 2009
Cite
A Two-Tiered Approach to Enabling Enhanced Service Discovery in Embedded Peer-to-Peer Systems
Cite DOI
A Net-based Approach to Web Services Publication and Replaceability
Cite DOI
Workflow-based semantics for peer-to-peer specifications
Cite DOI
Workflow Semantics of Peer and Service Behaviour
Cite DOI
Tailoring service discovery to embedded P2P systems
Cite DOI
Semantics-based composition-oriented discovery of Web services
Cite DOI
Secure P2P Programming on Top of Tuple Spaces
Cite DOI
Ontology- and Behavior-Aware Discovery of Web Service Compositions
Cite DOI
On the Use of Behavioural Equivalences for Web Services' Development
Cite
Modelado de sistemas P2P con control de excepciones
Cite
Evolving Reactive Logic Programs
Cite
Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study
Cite DOI
Service adaptation through trace inspection
Cite DOI
SAM : A Semantic Web Service Discovery System
Cite DOI
Proceedings of the Third International Workshop on Foundations of Coordination Languages and Software Architectures, FOCLASA 2004, London, UK, August 30, 2004
Cite
From OWL-S Descriptions to Petri Nets
Cite DOI
Discovering Service Compositions That Feature a Desired Behaviour
Cite DOI
Behaviour-Aware Discovery of Web Service Compositions
Cite DOI
A Service-Oriented Model for Embedded Peer-to-Peer Systems
Cite DOI
A Behavioural Congruence for Web Services
Cite DOI
On the semantics of software adaptation
Cite DOI
On the expressiveness of timed coordination models
Cite DOI
Fully Abstract Semantics for a Coordination Model with Asynchronous Communication and Enhanced Matching
Cite
From BPEL Processes to YAWL Workflows
Cite DOI
Foundations on Coordination Languages and Software Architectures
Cite
Dynamic Contextual Adaptation
Cite DOI
Component adaptation through flexible subservicing
Cite DOI
Automated Generation of BPEL Adapters
Cite DOI
Automated Discovery of Compositions of Services Described with Separate Ontologies
Cite DOI
An Event-Condition-Action Logic Programming Language
Cite DOI
A Prototype for Discovering Compositions of Semantic Web Services
Cite
Towards Semi-automated Workflow-Based Aggregation of Web Services
Cite DOI
The Well Supported Semantics for Multidimensional Dynamic Logic Programs
Cite DOI
The Refined Extension Principle for Semantics of Dynamic Logic Programming
Cite DOI
Operational Semantics for DyLPs
Cite DOI
Composition-Oriented Service Discovery
Cite DOI
A framework for specifying and verifying the behaviour of open systems
Cite DOI
A formal approach to component adaptation
Cite DOI
Well Founded Semantics for Logic Program Updates
Cite DOI
Towards an Engineering Approach to Component Adaptation
Cite DOI
Semantics for Dynamic Logic Programming: A Principle-Based Approach
Cite DOI
Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003, Marseille, France, September 2, 2003
Cite
Preface
Cite DOI
On the Semantics of Logic Program Composition
Cite DOI
Measuring Component Adaptation
Cite DOI
From Logic Programs Updates to Action Description Updates
Cite DOI
Formalizing Web Service Choreographies
Cite DOI
Digital reconstruction of the Arrigo VII funerary complex
Cite DOI
Behavioural Types for Service Integration: Achievements and Challenges
Cite DOI
Behavioural Types and Component Adaptation
Cite DOI
Soft component adaptation
Cite DOI
Safe Composition of Linda-based Components
Cite DOI
Preface: Proceedings of FOCLASA 2003, the Foundations of Coordination Languages and Software Architectures, a satellite event of CONCUR 2003
Cite DOI
On the specification of software adaptation
Cite DOI
On the Expressiveness of Relative-Timed Coordination Models
Cite DOI
On the expressiveness of coordination via shared dataspaces
Cite DOI
Logic Programming for Evolving Agents
Cite DOI
Foundations of Coordination Languages and Software Architectures, FOCLASA 2002, Satellite Workshop of CONCUR 2002, Brno, Czech Republic, August 19, 2002
Cite
An Evolving Agent with EVOLP
Cite
An Evolvable Rule-Based E-mail Agent
Cite DOI
A Deductive Database Approach to A.I. Planning
Cite DOI
Systematic Component Adaptation
Cite DOI
Security and Dynamic Compositions of Open Systems
Cite
Preface
Cite DOI
Preface
Cite DOI
On Modeling Coordination via Asynchronous Communication and Enhanced Matching
Cite DOI
Formal Methods and Component Interaction 2002, ICALP 2002 Satellite Workshop, Málaga, Spain, July 12, 2002
Cite
Evolving Logic Programs
Cite DOI
Dynamically Adapting the Behaviour of Software Components
Cite DOI
Compatibility of Linda-based Component Interfaces
Cite DOI
Adapting Components with Mismatching Behaviours
Cite DOI
Security Issues in Component-based Design
Cite DOI
Probabilistic behaviours of reactive agents
Cite DOI
Linear Embedding for a Quantitative Comparison of Language Expressiveness
Cite DOI
From Subject Directories to Subject Meta-directories via Declarative Programming
Cite DOI
Coordinating interaction patterns
Cite DOI
Computing Environment-Aware Agent Behaviours with Logic Program Updates
Cite DOI
Comparative analysis of the expressiveness of shared dataspace coordination
Cite DOI
Special Issue on Logical Formalisms for Program Composition - Editorial
Cite
On Timed Coordination Languages
Cite DOI
On the Interplay between Reactivity and Computation
Cite
Programming by Combining General Logic Programs
Cite DOI
On the Expressiveness of Coordination Models
Cite DOI
Interactive Information System for the Camposanto Monumentale of Pisa
Cite DOI
ExpertFinder: A Prolog Recommender System Integrated with the WWW
Cite
Dynamic composition of parameterised logic modules
Cite DOI
The Use of Renaming in Composing General Programs
Cite DOI
On the Expressiveness of Linda-like Concurrent Languages
Cite DOI
A Program Specialiser for Meta-Level Compositions of Logic Programs
Cite DOI
The Logic of Totally and Partially Ordered Plans: A Deductive Database Approach
Cite DOI
Modeling Coordination via Asynchronous Communication
Cite DOI
Composing General Logic Programs
Cite DOI
A Unifying View for Logic Programming with Non-Monotonic Reasoning
Cite DOI
A Turing machine contest for introducing high school students to computer science
Cite DOI
Specialising Meta-level Compositions of Logic Programs
Cite DOI
Pruning the Search Space of Logic Programs
Cite DOI
Fully Abstract Composition Semantics for an Algebra of Logic Programs
Cite DOI
An Abductive Framework for Extended Logic Programming
Cite DOI
Semantics of Meta-Logic in an Algebra of Programs
Cite DOI
Modular Logic Programming
Cite DOI
Implementations of Program Composition Operations
Cite DOI
ICPL 1994 Workshop W1: Process-Based Parallel Logic Programming, Santa Margherita Ligure, Italy, June, 1994
Cite
Gödel as a Meta-Language for Composing Logic Programs
Cite DOI
Amalgamating Language and Meta-language for Composing Logic Programs
Cite
Distributed Logic Programming
Cite
Composing Open Logic Programs
Cite DOI
The Implementation of a Distributed Model for Logic Programming Based on Multiple-Headed Clauses
Cite DOI
Normal Logic Programs as Open Positive Programs
Cite
Metalogic for State Oriented Programming
Cite DOI
Meta for Modularising Logic Programming
Cite DOI
Compositional Model-Theoretic Semantics for Logic Programs
Cite DOI
ATMS for Implementing Logic Programming
Cite
Theory Construction in Computational Logic
Cite
The Concurrent Language, Shared Prolog
Cite DOI
Open Logic Theories
Cite DOI
Objects in a Logic Programming Framework
Cite DOI
Metalogic for Knowledge Representation
Cite
Constraints for Synchronizing Logic Coarse-grained Sequential Logic Processes
Cite DOI
Abductive Reasoning in a Multi-Theory Framework
Cite DOI
Universal Quantification by Case Analysis
Cite
Logic Programming within a Functional Framework
Cite DOI
Inheritance and Hypothetical Reasoning in Logic Programming
Cite
Hypothetical Reasoning in Logic Programming: A Semantic Approach
Cite DOI
AND-Parallelism without Shared Variables
Cite
Model Theoretic, Fixpoint and Operational Semantics for a Distributed Logic Language
Cite
A Distributed, Net Oriented Semantics for Delta Prolog
Cite DOI