Not registered as user yet

Name: Marieke Huisman

Affiliation: University of Twente

Personal website: http://wwwhome.ewi.utwente.nl/~marieke/

ECOOP 2015 Activities

• Committee Member in Program committee for FTfJP 2015
• Author of Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML within the FTfJP-track in FTfJP 2015
• Committee Member in Programme Committee for ECOOP 2015 Research Track
• Author of Verification of Concurrent Software: Java and OpenCL within the FTfJP-track in FTfJP 2015
• Show activities from other conferences