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 Mon Jan 22 10:22:24 2018 CET.