Compiler support for lightweight context switching

Comprehensive Performance Analysis and Comparison of Vehicles Routing Algorithms in Smart Cities

The ASSL Formalism for Real-Time Autonomic Systems

Automatic, Load-Independent Detection of Performance Regressions by Transaction Profiles

Autonomy Requirements Engineering

Autonomy Requirements Engineering: A Case Study on the BepiColombo Mission

On the Autonomy Requirements for Space Missions

Balancing Agility and Discipline in a Medical Device Software Organisation

Building Multilingual Language Resources in Web Localisation: A Crowdsourcing Approach

Can Automated Text Classification Improve Content Analysis of Software Project Data?