Marieke Huisman

From MaRDI portal
Person:225075

Available identifiers

zbMath Open huisman.mariekeMaRDI QIDQ225075

List of research outcomes





PublicationDate of PublicationType
Introduction to the special Section on FM 20212024-09-25Paper
Practical abstractions for automated verification of message passing concurrency2024-04-19Paper
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms2023-03-21Paper
Automated Verification of Parallel Nested DFS2022-10-13Paper
Automated verification of the parallel Bellman-Ford algorithm2022-06-17Paper
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA2022-04-01Paper
Deductive software verification: from pen-and-paper proofs to industrial tools2022-02-16Paper
Formal verification of parallel stream compaction and summed-area table algorithms2021-07-08Paper
https://portal.mardi4nfdi.de/entity/Q49925232021-06-09Paper
Practical abstractions for automated verification of shared-memory concurrency2020-08-05Paper
An abstraction technique for describing concurrent program behaviour2018-12-07Paper
Resource Protection Using Atomics2016-02-26Paper
Permission-Based Separation Logic for Multithreaded Java Programs2015-03-11Paper
Verification of Concurrent Systems with VerCors2015-02-25Paper
Reducing behavioural to structural properties of programs with procedures2013-11-29Paper
ProMoVer: Modular Verification of Temporal Safety Properties2011-10-28Paper
CVPP: a tool set for compositional verification of control-flow safety properties2011-01-21Paper
Reducing Behavioural to Structural Properties of Programs with Procedures2009-02-10Paper
Compositional verification of sequential programs with procedures2008-08-14Paper
Fundamental Approaches to Software Engineering2007-11-28Paper
Formal methods for smart cards: an experience report2005-05-12Paper
https://portal.mardi4nfdi.de/entity/Q48086932004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q48088342004-08-12Paper
https://portal.mardi4nfdi.de/entity/Q47383092004-08-11Paper
https://portal.mardi4nfdi.de/entity/Q44143782003-07-25Paper
https://portal.mardi4nfdi.de/entity/Q47855412003-01-05Paper
A case study in class library verification: Java's vector class2002-01-23Paper
https://portal.mardi4nfdi.de/entity/Q27540512001-11-11Paper
https://portal.mardi4nfdi.de/entity/Q27220122001-07-11Paper

Research outcomes over time

This page was built for person: Marieke Huisman

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Person:225075&oldid=10528889"
Powered by MediaWiki