Parallel Performance Problems on Shared-Memory Multicore Systems: Taxonomy and Observation

The Perils of Democratic Decision Making

PIT: A Practical Mutation Testing Tool for Java (Demo)

Practical Algorithms for Finding Extremal Sets

The MedITNet assessment framework: development and validation of a framework for improving risk management of medical IT networks

The MedITNet Assessment Method {textendash} Development and Validation using Action Design Research Self Assessment against IEC 80001-1

A Methodology for Online Consolidation of Tasks Through More Accurate Resource Estimations

Mobile Medical Apps Data Security Overview

Model-Based Diagnosis using Variable-Fidelity Modeling

Modelling session types using contracts