| 2026 | AsiaCCS | SoK: Systematization, Detection, and Hunting of Windows Malware Persistence Techniques. | Jorik van Nielen, Andrea Oliveri, Jerre Starink, Andreas Peter, Marieke Huisman, Simone Aonzo, Davide Balzarotti, Andrea Continella |
| 2026 | CAV | Scalable Deductive Verification of Data-Level Parallel Programs. | Lars B. van den Haak, Anton Wijs, Marieke Huisman |
| 2025 | Coordination | Verified Parameterized Choreographies. | Robert Rubbens, Petra van den Bos, Marieke Huisman |
| 2025 | FMICS | AutoSV-Annotator: Integrating Deductive and Automatic Software Verification. | Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld |
| 2024 | CAV | The VerCors Verifier: A Progress Report. | Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, mer Sakar, Philip Tasche |
| 2024 | FASE | First Steps towards Deductive Verification of LLVM IR. | Dr van Oorschot, Marieke Huisman, mer Sakar |
| 2024 | FMICS | Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges. | Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |
| 2024 | IFM | VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory. | Robert Rubbens, Petra van den Bos, Marieke Huisman |
| 2024 | ISoLA | SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction. | Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2024 | ISoLA | Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary). | Marieke Huisman, Stephan Merz, Cristina Seceleanu |
| 2024 | SEFM | Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems. | Philip Tasche, Paula Herber, Marieke Huisman |
| 2024 | SEFM | Deductive Verification of SYCL in VerCors. | Ellen Wittingen, Marieke Huisman, mer Sakar |
| 2024 | TACAS | HaliVer: Deductive Verification and Scheduling Languages Join Forces. | Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand |
| 2024 | VMCAI | Deductive Verification of Parameterized Embedded Systems Modeled in SystemC. | Philip Tasche, Ral E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman |
| 2023 | FASE | JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java. | Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina |
| 2023 | IFM | Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation. | Lukas Armborst, Sophie Lathouwers, Marieke Huisman |
| 2023 | SecureComm | Understanding and Measuring Inter-process Code Injection in Windows Malware. | Jerre Starink, Marieke Huisman, Andreas Peter, Andrea Continella |
| 2022 | ISoLA | SpecifyThis - Bridging Gaps Between Program Specification Paradigms. | Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich |
| 2022 | ISoLA | Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary). | Marieke Huisman, Cristina Seceleanu |
| 2022 | ISoLA | On Deductive Verification of an Industrial Concurrent Software Component with VerCors. | Ral E. Monti, Robert Rubbens, Marieke Huisman |
| 2022 | TACAS | Alpinist: An Annotation-Aware GPU Program Optimizer. | mer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs |
| 2021 | ECOOP | IntelliJML: a JML plugin for IntelliJ IDEA. | Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman |
| 2021 | FMICS | Modular Transformation of Java Exceptions Modulo Errors. | Robert Rubbens, Sophie Lathouwers, Marieke Huisman |
| 2021 | ICSE | Permission-Based Verification of Red-Black Trees and Their Merging. | Lukas Armborst, Marieke Huisman |
| 2021 | SAS | Automated Verification of the Parallel Bellman-Ford Algorithm. | Mohsen Safari, Wytse Oortwijn, Marieke Huisman |
| 2020 | ECOOP | Towards verified construction of correct and optimised GPU software. | Marieke Huisman, Anton Wijs |
| 2020 | ICISSP | Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach. | Sophie Lathouwers, Maarten H. Everts, Marieke Huisman |
| 2020 | ICTAC | Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms. | Mohsen Safari, Marieke Huisman |
| 2020 | IFM | Formal Methods for GPGPU Programming: Is the Demand Met? | Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman |
| 2020 | IFM | A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms. | Mohsen Safari, Marieke Huisman |
| 2020 | ISoLA | On the Industrial Application of Critical Software Verification with VerCors. | Marieke Huisman, Ral E. Monti |
| 2020 | ISoLA | Verification and Validation of Concurrent and Distributed Systems (Track Summary). | Marieke Huisman, Cristina Seceleanu |
| 2020 | TACAS | Automated Verification of Parallel Nested DFS. | Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol |
| 2020 | VMCAI | Practical Abstractions for Automated Verification of Shared-Memory Concurrency. | Wytse Oortwijn, Dilian Gurov, Marieke Huisman |
| 2019 | ESORICS | Practical Mutation Testing for Smart Contracts. | Joran J. Honig, Maarten H. Everts, Marieke Huisman |
| 2019 | IFM | Practical Abstractions for Automated Verification of Message Passing Concurrency. | Wytse Oortwijn, Marieke Huisman |
| 2019 | IFM | Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System. | Wytse Oortwijn, Marieke Huisman |
| 2019 | TACAS | TOOLympics 2019: An Overview of Competitions in Formal Methods. | 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 |
| 2019 | TACAS | VerifyThis - Verification Competition with a Human Factor. | Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich |
| 2018 | IFM | Reasoning About JML: Differences Between KeY and OpenJML. | Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten |
| 2018 | ISoLA | A Broader View on Verification: From Static to Runtime and Back (Track Summary). | Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier |
| 2018 | ISoLA | Formal Methods in Industrial Practice - Bridging the Gap (Track Summary). | Michael Felderer, Dilian Gurov, Marieke Huisman, Bjrn Lisper, Rupert Schlick |
| 2018 | ISoLA | On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification. | Marieke Huisman |
| 2018 | ISoLA | Program Correctness by Transformation. | Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari |
| 2018 | ISoLA | Static Code Verification Through Process Models. | Sebastiaan J. C. Joosten, Marieke Huisman |
| 2018 | ISSTA | An exercise in verifying sequential programs with VerCors. | Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman |
| 2017 | CADE | 24 Challenges in Deductive Software Verification. | Reiner Hhnle, Marieke Huisman |
| 2017 | IFM | The VerCors Tool Set: Verification of Parallel and Concurrent Software. | Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn |
| 2017 | PPDP | A verification technique for deterministic parallel programs. | Marieke Huisman |
| 2016 | IDEAS | Lazy Evaluation for Concurrent OLTP and Bulk Transactions. | Lesley Wevers, Marieke Huisman, Maurice van Keulen |
| 2016 | ISoLA | Static and Runtime Verification, Competitors or Friends? (Track Summary). | Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan |
| 2016 | ISoLA | Software that Meets Its Intent. | Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser |
| 2016 | PDP | VerCors: A Layered Approach to Practical Verification of Concurrent Software. | Afshin Amighi, Stefan Blom, Marieke Huisman |
| 2015 | ADBIS | Analysis of the Blocking Behaviour of Schema Transformations in Relational Database Systems. | Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen |
| 2015 | DATA | A Benchmark for Online Non-blocking Schema Transformations. | Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen |
| 2015 | ECOOP | Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML. | Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski |
| 2015 | FASE | Verification of Loop Parallelisations. | Stefan Blom, Saeed Darabi, Marieke Huisman |
| 2015 | ISPDC | A Symbolic Approach to Permission Accounting for Concurrent Reasoning. | Marieke Huisman, Wojciech Mostowski |
| 2015 | SEFM | Specification and Verification of Atomic Operations in GPGPU Programs. | Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman |
| 2015 | SEFM | History-Based Verification of Functional Behaviour of Concurrent Programs. | Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski |
| 2014 | APLAS | Resource Protection Using Atomics - Patterns and Verification. | Afshin Amighi, Stefan Blom, Marieke Huisman |
| 2014 | ECOOP | Verifying Functional Behaviour of Concurrent Programs. | Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom |
| 2014 | FASE | Verifying Class Invariants in Concurrent Programs. | Marina Zaharieva-Stojanovski, Marieke Huisman |
| 2014 | FM | The VerCors Tool for Verification of Concurrent Programs. | Stefan Blom, Marieke Huisman |
| 2014 | PDP | Formal Specifications for Java's Synchronisation Classes. | Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski |
| 2013 | ICECCS | How Do Developers Use APIs? A Case Study in Concurrency. | Stefan Blom, Joseph Kiniry, Marieke Huisman |
| 2012 | CADE | On the Organisation of Program Verification Competitions. | Marieke Huisman, Vladimir Klebanov, Rosemary Monahan |
| 2012 | SEFM | Sound Control-Flow Graph Extraction for Java Programs with Exceptions. | Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman |
| 2011 | ECOOP | On the interplay of exception handling and design by contract: an aspect-oriented recovery approach. | Henrique Reblo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor |
| 2011 | SEFM | ProMoVer: Modular Verification of Temporal Safety Properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2010 | ECOOP | Procedure-modular verification of control flow safety properties. | Siavash Soleimanifard, Dilian Gurov, Marieke Huisman |
| 2009 | ECOOP | On the interplay between the semantics of Java's finally clauses and the JML run-time checker. | Marieke Huisman |
| 2009 | FASE | A Formal Connection between Security Automata and JML Annotations. | Marieke Huisman, Alejandro Tamalet |
| 2009 | VMCAI | Reducing Behavioural to Structural Properties of Programs with Procedures. | Dilian Gurov, Marieke Huisman |
| 2008 | APLAS | Reasoning about Java's Reentrant Locks. | Christian Haack, Marieke Huisman, Clment Hurlin |
| 2008 | ICFEM | Program Models for Compositional Verification. | Marieke Huisman, Irem Aktug, Dilian Gurov |
| 2007 | FASE | Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. | Lilian Burdy, Marieke Huisman, Mariela Pavlova |
| 2005 | SEFM | Interface Abstraction for Compositional Verification. | Dilian Gurov, Marieke Huisman |
| 2004 | CARDIS | Enforcing High-Level Security Properties for Applets. | Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet |
| 2004 | FASE | Checking Absence of Illicit Applet Interactions: A Case Study. | Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov |
| 2004 | MEMOCODE | Compositional verification for secure loading of smart card applets. | Christoph Sprenger, Dilian Gurov, Marieke Huisman |
| 2003 | VMCAI | CHASE: A Static Checker for JML's Assignable Clause. | Nstor Catao, Marieke Huisman |
| 2002 | FASE | Compositional Verification of Secure Applet Interactions. | Gilles Barthe, Dilian Gurov, Marieke Huisman |
| 2002 | FM | Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. | Nstor Catao, Marieke Huisman |
| 2002 | MPC | Verification of Java's AbstractCollection Class: A Case Study. | Marieke Huisman |
| 2000 | FASE | Java Program Verification via a Hoare Logic with Abrupt Termination. | Marieke Huisman, Bart Jacobs |
| 1998 | ESOP | Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. | Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews |
| 1998 | OOPSLA | Reasoning about Java Classes (Preliminary Report). | Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum |