Marieke Huisman

Marieke Huisman in 2019 Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) is a Dutch Computer Scientist and a professor of ''Software Reliability'' at the University of Twente, where she leads the ''Formal Methods and Tools'' Group. Provided by Wikipedia
Showing 1 - 6 results of 6 for search 'Marieke Huisman', query time: 0.05s Refine Results
  1. 1
    Quantitative Security Analysis for Multi-threaded Programs
    by Tri Minh Ngo, Marieke Huisman
    Published 2013-06-01
    Get full text
    Article
  2. 2
    An Abstraction Technique for Verifying Shared-Memory Concurrency
    by Wytse Oortwijn, Dilian Gurov, Marieke Huisman
    Published 2020-06-01
    Get full text
    Article
  3. 3
    Verification of Shared-Reading Synchronisers
    by Afshin Amighi, Marieke Huisman, Stefan Blom
    Published 2018-06-01
    Get full text
    Article
  4. 4
    Future-based Static Analysis of Message Passing Programs
    by Wytse Oortwijn, Stefan Blom, Marieke Huisman
    Published 2016-06-01
    Get full text
    Article
  5. 5
    Verifying Parallel Loops with Separation Logic
    by Stefan Blom, Saeed Darabi, Marieke Huisman
    Published 2014-06-01
    Get full text
    Article
  6. 6
    A History of BlockingQueues
    Get full text
    Article
Search Tools: Get RSS Feed — Email this Search