Stop the war!

Остановите войну!

for scientists:

default search action

combined dblp search
author search
venue search
publication search

ask others

Marieke Huisman

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

◀ ▶ joint publications with Wytse Oortwijn

> Home > Persons > Marieke Huisman

Publications

2021
[c96]
- view
  authority control:
- export record
  dblp key:
  - conf/sas/SafariOH21
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/sas/SafariOH21
Mohsen Safari, Wytse Oortwijn, Marieke Huisman:
Automated Verification of the Parallel Bellman-Ford Algorithm. SAS 2021: 346-358
2020
[c88]
- view
  authority control:
- export record
  dblp key:
  - conf/nfm/SafariOJH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nfm/SafariOJH20
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman:
Formal Verification of Parallel Prefix Sum. NFM 2020: 170-186
[c87]
- view
  - electronic edition via DOI (open access)
  - references & citations
  authority control:
- export record
  dblp key:
  - conf/tacas/OortwijnHJP20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/tacas/OortwijnHJP20
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol:
Automated Verification of Parallel Nested DFS. TACAS (1) 2020: 247-265
[c86]
- view
  authority control:
- export record
  dblp key:
  - conf/vmcai/OortwijnGH20
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vmcai/OortwijnGH20
Wytse Oortwijn, Dilian Gurov, Marieke Huisman:
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. VMCAI 2020: 401-425
2019
[c84]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OortwijnH19
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OortwijnH19
Wytse Oortwijn, Marieke Huisman:
Practical Abstractions for Automated Verification of Message Passing Concurrency. IFM 2019: 399-417
[c83]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/OortwijnH19a
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/OortwijnH19a
Wytse Oortwijn, Marieke Huisman:
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. IFM 2019: 418-436
2018
[c73]
- view
  authority control:
- export record
  dblp key:
  - conf/issta/JoostenOSH18
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/issta/JoostenOSH18
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman:
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops 2018: 40-45
2017
[c70]
- view
  authority control:
- export record
  dblp key:
  - conf/ifm/BlomDHO17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/ifm/BlomDHO17
Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn:
The VerCors Tool Set: Verification of Parallel and Concurrent Software. IFM 2017: 102-110
[c67]
- view
  authority control:
- export record
  dblp key:
  - conf/vstte/OortwijnBGHZ17
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/vstte/OortwijnBGHZ17
Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski:
An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE 2017: 191-209
2016
[c61]
- view
  authority control:
- export record
  dblp key:
  - journals/corr/OortwijnBH16
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/journals/corr/OortwijnBH16
Wytse Oortwijn, Stefan Blom, Marieke Huisman:
Future-based Static Analysis of Message Passing Programs. PLACES 2016: 65-72

a service of

manage site settings

To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.