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.03s Refine Results
  1. 1
    Quantitative Security Analysis for Multi-threaded Programs

    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

    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
    Verifying Parallel Loops with Separation Logic

    Verifying Parallel Loops with Separation Logic by Stefan Blom, Saeed Darabi, Marieke Huisman

    Published 2014-06-01
    Get full text
    Article
  4. 4
    Verification of Shared-Reading Synchronisers

    Verification of Shared-Reading Synchronisers by Afshin Amighi, Marieke Huisman, Stefan Blom

    Published 2018-06-01
    Get full text
    Article
  5. 5
    A History of BlockingQueues

    A History of BlockingQueues by Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

    Published 2012-09-01
    Get full text
    Article
  6. 6
    Permission-Based Separation Logic for Multithreaded Java Programs

    Permission-Based Separation Logic for Multithreaded Java Programs by Christian Haack, Marieke Huisman, Clément Hurlin, Afshin Amighi

    Published 2015-02-01
    Get full text
    Article

Search Tools: