Search




Research outputs

Modeling and Verifying Transaction Scheduling for Software Transactional Memory using CSP   [2019]

Xu, Chao; Wu, Xi; Zhu, Huibiao; Popovic, Miroslav V  

Non-Intrusive MC/DC Measurement Based on Traces   [2019]

Faustin Ahishakiye; JAKŠIĆ, SVETLANA S. ; Volker Stolz; Felix Dino Lange; Malte Schmitz; Daniel Thoma

Filters

By type