Marieke Huisman

Available identifiers

zbMath Open huisman.mariekeMaRDI QIDQ225075

List of research outcomes

Publication	Date of Publication	Type
Automated Verification of Parallel Nested DFS	2022-10-13	Paper
Automated verification of the parallel Bellman-Ford algorithm	2022-06-17	Paper
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA	2022-04-01	Paper
Deductive software verification: from pen-and-paper proofs to industrial tools	2022-02-16	Paper
Formal verification of parallel stream compaction and summed-area table algorithms	2021-07-08	Paper
https://portal.mardi4nfdi.de/entity/Q4992523	2021-06-09	Paper
Practical abstractions for automated verification of shared-memory concurrency	2020-08-05	Paper
An abstraction technique for describing concurrent program behaviour	2018-12-07	Paper
Resource Protection Using Atomics	2016-02-26	Paper
Permission-Based Separation Logic for Multithreaded Java Programs	2015-03-11	Paper
Verification of Concurrent Systems with VerCors	2015-02-25	Paper
Reducing behavioural to structural properties of programs with procedures	2013-11-29	Paper
ProMoVer: Modular Verification of Temporal Safety Properties	2011-10-28	Paper
CVPP: A Tool Set for Compositional Verification of Control–Flow Safety Properties	2011-01-21	Paper
Reducing Behavioural to Structural Properties of Programs with Procedures	2009-02-10	Paper
Compositional verification of sequential programs with procedures	2008-08-14	Paper
Fundamental Approaches to Software Engineering	2007-11-28	Paper
Formal methods for smart cards: an experience report	2005-05-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808693	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4808834	2004-08-12	Paper
https://portal.mardi4nfdi.de/entity/Q4738309	2004-08-11	Paper
https://portal.mardi4nfdi.de/entity/Q4414378	2003-07-25	Paper
https://portal.mardi4nfdi.de/entity/Q4785541	2003-01-05	Paper
A case study in class library verification: Java's vector class	2002-01-23	Paper
https://portal.mardi4nfdi.de/entity/Q2754051	2001-11-11	Paper
https://portal.mardi4nfdi.de/entity/Q2722012	2001-07-11	Paper

Research outcomes over time

Doctoral students

No records found.

Known relations from the MaRDI Knowledge Graph

Property	Value
MaRDI profile type	MaRDI person profile
instance of	human

This page was built for person: Marieke Huisman