Marieke Huisman

ORCID

Publication Activity (10 Years)

Years Active: 1998-2024
Publications (10 Years): 76

Top Venues

Int. J. Softw. Tools Technol. Transf.

ISoLA (1)

IFM

FASE

Publications

Sophie Lathouwers, Marieke Huisman
Survey of annotation generators for deductive verifiers. J. Syst. Softw. 211 (2024)
Dré van Oorschot, Marieke Huisman, Ömer Sakar
First Steps towards Deductive Verification of LLVM IR. FASE (2024)
Jan Friso Groote, Marieke Huisman
Formal Methods for Industrial Critical Systems. Int. J. Softw. Tools Technol. Transf. 26 (2) (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. FMICS (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
HaliVer: Deductive Verification and Scheduling Languages Join Forces. CoRR (2024)
Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. VMCAI (2) (2024)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
HaliVer: Deductive Verification and Scheduling Languages Join Forces. TACAS (3) (2024)
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche
The VerCors Verifier: A Progress Report. CAV (2) (2024)
Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. FASE (2023)
Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
Introduction to the Special Section on FM 2021. Formal Aspects Comput. 35 (2) (2023)
Lukas Armborst, Sophie Lathouwers, Marieke Huisman
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. iFM (2023)
Marieke Huisman, Cristina Seceleanu
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). ISoLA (1) (2022)
Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
Preface for the formal methods in system design special issue on 'Formal Methods 2021'. Formal Methods Syst. Des. 61 (1) (2022)
Petra van den Bos, Marieke Huisman
The Integration of Testing and Program Verification - A Position Paper. A Journey from Process Algebra via Timed Automata to Model Learning (2022)
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
Alpinist: An Annotation-Aware GPU Program Optimizer. TACAS (2) (2022)
Marieke Huisman, Raúl E. Monti
Teaching Design by Contract Using Snap! The Logic of Software. A Tasting Menu of Formal Methods (2022)
Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
Principles of Contract Languages (Dagstuhl Seminar 22451). Dagstuhl Reports 12 (11) (2022)
Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
SpecifyThis - Bridging Gaps Between Program Specification Paradigms. ISoLA (1) (2022)
Sophie Lathouwers, Marieke Huisman
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers. FormaliSE@ICSE (2022)
Raúl E. Monti, Robert Rubbens, Marieke Huisman
On Deductive Verification of an Industrial Concurrent Software Component with VerCors. ISoLA (1) (2022)
Mohsen Safari, Marieke Huisman
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA. Theor. Comput. Sci. 912 (2022)
Robert Rubbens, Sophie Lathouwers, Marieke Huisman
Modular Transformation of Java Exceptions Modulo Errors. FMICS (2021)
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman
IntelliJML: a JML plugin for IntelliJ IDEA. FTfJP@ECOOP (2021)
Lukas Armborst, Marieke Huisman
Permission-Based Verification of Red-Black Trees and Their Merging. FormaliSE@ICSE (2021)
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
VerifyThis 2019: a program verification competition. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Dirk Beyer, Marieke Huisman
TOOLympics I: Competition on software testing. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Marieke Huisman, Raúl E. Monti
Teaching Design by Contract using Snap! CoRR (2021)
Mohsen Safari, Wytse Oortwijn, Marieke Huisman
Automated Verification of the Parallel Bellman-Ford Algorithm. SAS (2021)
Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari
Correct program parallelisations. Int. J. Softw. Tools Technol. Transf. 23 (5) (2021)
Marieke Huisman, Raúl E. Monti
Teaching Design by Contract using Snap! SEENG@ICSE (2021)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
TOOLympics II: competitions on formal methods. Int. J. Softw. Tools Technol. Transf. 23 (6) (2021)
Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman
Formal Methods for GPGPU Programming: Is the Demand Met? IFM (2020)
Dirk Beyer, Marieke Huisman
Selected and Extended Papers from TACAS 2018: Preface. J. Autom. Reason. 64 (7) (2020)
Marieke Huisman, Anton Wijs
Towards verified construction of correct and optimised GPU software. FTfJP@ECOOP (2020)
Dirk Beyer, Marieke Huisman
Tools for the construction and analysis of systems. Int. J. Softw. Tools Technol. Transf. 22 (6) (2020)
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
Automated Verification of Parallel Nested DFS. TACAS (1) (2020)
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
VerifyThis 2019: A Program Verification Competition (Extended Report). CoRR (2020)
Mohsen Safari, Marieke Huisman
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. IFM (2020)
Wytse Oortwijn, Dilian Gurov, Marieke Huisman
Practical Abstractions for Automated Verification of Shared-Memory Concurrency. VMCAI (2020)
Marieke Huisman, Dilian Gurov, Alexander Malkis
Formal Methods: From Academia to Industrial Practice. A Travel Guide. CoRR (2020)
Marieke Huisman, Cristina Seceleanu
Verification and Validation of Concurrent and Distributed Systems (Track Summary). ISoLA (1) (2020)
Sophie Lathouwers, Maarten H. Everts, Marieke Huisman
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. ICISSP (2020)
Marieke Huisman, Raúl E. Monti
On the Industrial Application of Critical Software Verification with VerCors. ISoLA (3) (2020)
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
Formal Verification of Parallel Prefix Sum. NFM (2020)
Mohsen Safari, Marieke Huisman
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. ICTAC (2020)
Joran J. Honig, Maarten H. Everts, Marieke Huisman
Practical Mutation Testing for Smart Contracts. DPM/CBT@ESORICS (2019)
Wytse Oortwijn, Marieke Huisman
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. IFM (2019)
Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
VerifyThis - Verification Competition with a Human Factor. TACAS (3) (2019)
Wytse Oortwijn, Marieke Huisman
Practical Abstractions for Automated Verification of Message Passing Concurrency. IFM (2019)
Ezio Bartocci, Dirk Beyer, Paul E. Black, Grigory Fedyukovich, Hubert Garavel, Arnd Hartmanns, Marieke Huisman, Fabrice Kordon, Julian Nagele, Mihaela Sighireanu, Bernhard Steffen, Martin Suda, Geoff Sutcliffe, Tjark Weber, Akihisa Yamada
TOOLympics 2019: An Overview of Competitions in Formal Methods. TACAS (3) (2019)
Sebastiaan J. C. Joosten, Marieke Huisman
Static Code Verification Through Process Models. ISoLA (3) (2018)
Marieke Huisman
On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification. ISoLA (1) (2018)
Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten
Reasoning About JML: Differences Between KeY and OpenJML. IFM (2018)
Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
A Broader View on Verification: From Static to Runtime and Back (Track Summary). ISoLA (2) (2018)
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
An exercise in verifying sequential programs with VerCors. ISSTA/ECOOP Workshops (2018)
Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari
Program Correctness by Transformation. ISoLA (1) (2018)
Marieke Huisman, Julia Rubin
Software quality tools and techniques presented in FASE'17. Int. J. Softw. Tools Technol. Transf. 20 (6) (2018)
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho
Specification and verification of synchronization with condition variables. Sci. Comput. Program. 163 (2018)
Afshin Amighi, Marieke Huisman, Stefan Blom
Verification of Shared-Reading Synchronisers. MeTRiD@ETAPS (2018)
Marieke Huisman, Sebastiaan J. C. Joosten
Towards Reliable Concurrent Software. Principled Software Development (2018)
Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). ISoLA (4) (2018)
Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
An Abstraction Technique for Describing Concurrent Program Behaviour. VSTTE (2017)
Marieke Huisman
A verification technique for deterministic parallel programs. PPDP (2017)
Marieke Huisman, Thomas Noll, Makoto Tatsuta
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14). NII Shonan Meet. Rep. 2017 (2017)
Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn
The VerCors Tool Set: Verification of Parallel and Concurrent Software. IFM (2017)
Reiner Hähnle, Marieke Huisman
24 Challenges in Deductive Software Verification. ARCADE@CADE (2017)
Saeed Darabi, Stefan C. C. Blom, Marieke Huisman
A Verification Technique for Deterministic Parallel Programs. NFM (2017)
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig
VerifyThis 2015 - A program verification competition. Int. J. Softw. Tools Technol. Transf. 19 (6) (2017)
Afshin Amighi, Stefan Blom, Marieke Huisman
VerCors: A Layered Approach to Practical Verification of Concurrent Software. PDP (2016)
Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
Provably correct control flow graphs from Java bytecode programs with exceptions. Int. J. Softw. Tools Technol. Transf. 18 (6) (2016)
Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
Software that Meets Its Intent. ISoLA (2) (2016)
Marieke Huisman, Jaco van de Pol
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14). Sci. Comput. Program. 128 (2016)
Lesley Wevers, Marieke Huisman, Maurice van Keulen
Lazy Evaluation for Concurrent OLTP and Bulk Transactions. IDEAS (2016)
Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan
Static and Runtime Verification, Competitors or Friends? (Track Summary). ISoLA (1) (2016)
Wytse Oortwijn, Stefan Blom, Marieke Huisman
Future-based Static Analysis of Message Passing Programs. PLACES (2016)
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
Specification and Verification of Synchronization with Condition Variables. FTSCS (2016)
Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin
Permission-Based Separation Logic for Multithreaded Java Programs. Log. Methods Comput. Sci. 11 (1) (2015)
Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen
A Benchmark for Online Non-blocking Schema Transformations. DATA (2015)
Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. FTfJP@ECOOP (2015)
Marieke Huisman, Wojciech Mostowski
A Symbolic Approach to Permission Accounting for Concurrent Reasoning. ISPDC (2015)
Stefan Blom, Marieke Huisman
Witnessing the elimination of magic wands. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
Procedure-modular specification and verification of temporal safety properties. Softw. Syst. Model. 14 (1) (2015)
Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman
Specification and Verification of Atomic Operations in GPGPU Programs. SEFM (2015)
Stefan Blom, Saeed Darabi, Marieke Huisman
Verification of Loop Parallelisations. FASE (2015)
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
VerifyThis 2012 - A Program Verification Competition. Int. J. Softw. Tools Technol. Transf. 17 (6) (2015)
Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
History-Based Verification of Functional Behaviour of Concurrent Programs. SEFM (2015)
Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen
Analysis of the Blocking Behaviour of Schema Transformations in Relational Database Systems. ADBIS (2015)
Stefan Blom, Marieke Huisman
The VerCors Tool for Verification of Concurrent Programs. FM (2014)
Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Verification of Concurrent Systems with VerCors. SFM (2014)
Marieke Huisman, Jaco van de Pol
Preface. Electron. Commun. Eur. Assoc. Softw. Sci. Technol. 70 (2014)
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
Verifying Functional Behaviour of Concurrent Programs. FTfJP@ECOOP (2014)
Marieke Huisman
SCP special issue on Bytecode 2012 - Preface. Sci. Comput. Program. 92 (2014)
Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171). Dagstuhl Reports 4 (4) (2014)
Stefan Blom, Marieke Huisman, Matej Mihelcic
Specification and verification of GPGPU programs. Sci. Comput. Program. 95 (2014)
Marina Zaharieva-Stojanovski, Marieke Huisman
Verifying Class Invariants in Concurrent Programs. FASE (2014)
Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman
Effective verification of confidentiality for multi-threaded programs. J. Comput. Secur. 22 (2) (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman
Resource Protection Using Atomics - Patterns and Verification. APLAS (2014)
Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
Formal Specifications for Java's Synchronisation Classes. PDP (2014)
Tri Minh Ngo, Marieke Huisman
Quantitative Security Analysis for Programs with Low Input and Noisy Output. ESSoS (2014)
Stefan Blom, Saeed Darabi, Marieke Huisman
Verifying Parallel Loops with Separation Logic. PLACES (2014)

Marieke Huisman.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Marieke Huisman