• Publications
  • Influence
An approach for QoS-aware service composition based on genetic algorithms
Web services are rapidly changing the landscape of software engineering. One of the most interesting challenges introduced by web services is represented by Quality Of Service (QoS)--awareExpand
  • 927
  • 75
  • PDF
A framework for QoS-aware binding and re-binding of composite web services
QoS-aware dynamic binding of composite services provides the capability of binding each service invocation in a composition to a service chosen among a set of functionally equivalent ones to achieveExpand
  • 323
  • 24
  • PDF
QoS-aware replanning of composite Web services
Run-time service discovery and late-binding constitute some of the most challenging issues of service-oriented software engineering. For late-binding to be effective in the case of compositeExpand
  • 284
  • 20
  • PDF
A Lightweight Approach for QoS–Aware Service Composition
One of the most challenging issues of service–centric software engineering is the QoS–aware composition of services. The aim is to search for the optimal set of services that, composed to create aExpand
  • 170
  • 19
  • PDF
Negotiation of Service Level Agreements: An Architecture and a Search-Based Approach
Software systems built by composing existing services are more and more capturing the interest of researchers and practitioners. The envisaged long term scenario is that services, offered by someExpand
  • 73
  • 7
  • PDF
Service Composition (re)Binding Driven by Application-Specific QoS
QoS–aware service composition and binding are among the most challenging and promising issues for service–oriented architectures. The aim of QoS–aware service composition is to determine the set ofExpand
  • 71
  • 7
  • PDF
WS Binder: a framework to enable dynamic binding of composite web services
The rapid diffusion of service-oriented systems is becoming a reality in today's software engineering. In particular, an aspect that is gathering the interest of researchers and practitioners is theExpand
  • 89
  • 4
  • PDF
A Lateral Thinking Framework for Semantic Modelling of Emergencies in Smart Cities
Manual definition of models for emergency management scenarios is a demanding activity due to the huge number of different situations to be considered. It requires knowledge related to the crisis andExpand
  • 9
  • 2
Using heuristic search for finding deadlocks in concurrent systems
Model checking is a formal technique for proving the correctness of a system with respect to a desired behavior. This is accomplished by checking whether a structure representing the systemExpand
  • 19
  • 1
Managing coordination and cooperation in distributed software processes: the GENESIS environment
We present the GENESIS platform (GEneralised eNvironment for procEsS management in cooperatIve Software engineering), the outcome of a research project aiming at designing and developing aExpand
  • 27
  • 1
  • PDF