Hans Hansson
Number of items: 2.

Conference or Workshop Item

Abbaspour Assadollah, Sara and Saadatmand, Mehrdad and Eldh, Sigrid and Sundmark, Daniel and Hansson, Hans (2016) A Model for Systematic Monitoring and Debugging of Starvation Bugs in Multicore Software. In: ASE Workshop on Specification, Comprehension, Testing and Debugging of Concurrent Programs, Singapore.

SICS Report

Hansson, Hans and Jonsson, Bengt (1990) A logic for reasoning about time and reliability. [SICS Report]

This list was generated on Wed Jun 26 06:25:07 2019 CEST.