Author Archives: kit

Experience Report: An Analysis of Hypercall Handler Vulnerabilities

Abstract will follow soon

Posted in Conferences, Publications | Comments Off on Experience Report: An Analysis of Hypercall Handler Vulnerabilities

Technical Information on Vulnerabilities of Hypercall Handlers

Abstract Modern virtualized service infrastructures expose attack vectors that enable attacks of high severity, such as attacks targeting hypervisors. A malicious user of a guest VM (virtual machine) may execute an attack against the underlying hypervisor via hypercalls, which are … Continue reading

Posted in Publications, Technical Report | Comments Off on Technical Information on Vulnerabilities of Hypercall Handlers

An Industrial Case Study on Provenance Awareness of Composite Services

Abstract Provenance awareness adds a new dimension to the engineering of service-based systems, enabling them to increase their accountability through answering questions about the provenance of any data produced. Provenance awareness can be achieved by recording provenance data during system … Continue reading

Posted in Conferences, Publications | Comments Off on An Industrial Case Study on Provenance Awareness of Composite Services

Crepe Complete: Multi-objective optimisation for your models

Abstract will follow soon

Posted in Publications, Workshops | Comments Off on Crepe Complete: Multi-objective optimisation for your models

Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models

Abstract will follow soon

Posted in Journal, Publications | Comments Off on Efficient Multi-Objective Optimisation of Service Compositions in Mobile Ad hoc Networks Using Lightweight Surrogate Models

Variability Management in Domain Specific Languages (Poster)

PDF

Posted in Publications, Workshops | Comments Off on Variability Management in Domain Specific Languages (Poster)

InCLOUDer: A Formalised Decision Support Modelling Approach to Migrate Applications to Cloud Environments

Abstract will follow soon

Posted in Conferences, Publications | Comments Off on InCLOUDer: A Formalised Decision Support Modelling Approach to Migrate Applications to Cloud Environments

Recovering traceability links between code and specification through domain model extraction

Abstract Requirements traceability is an extremely important aspect of software development and especially of maintenance. Efficient maintaining of traceability links between high-level requirements specification and low-level implementation is hindered by many problems. In this paper, we propose a method for … Continue reading

Posted in Publications, Workshops | Comments Off on Recovering traceability links between code and specification through domain model extraction

Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad hoc Networks

Abstract Infrastructure-less mobile ad-hoc networks enable the development of collaborative pervasive applications. Within such dynamic networks, collaboration between devices can be realised through service-orientation by abstracting device resources as services. Recently, a framework for QoS-aware service composition has been introduced … Continue reading

Posted in Conferences, Publications | Comments Off on Surrogate-Assisted Optimisation of Composite Applications in Mobile Ad hoc Networks

5th Multi-Skills Training Camp, held in Rennes, 25.-27. June 2014

The 5th Multi-Skills Training Camp (MSTC) of the RELATE network was held in the premises of the University Rennes 1, France from 25 to 27 Junes 2014, and hosted by the Inria Rennes – Bretagne Atlantique Research Centre. Following from … Continue reading

Posted in News | Comments Off on 5th Multi-Skills Training Camp, held in Rennes, 25.-27. June 2014