Marieke Huisman

185 papers A 2B 36C 19Journal 43Unranked 73
YearRankTypeTitle / Venue / Authors
2025 C conf
AutoSV-Annotator: Integrating Deductive and Automatic Software Verification.
FMICS
Lukas Armborst, Dirk Beyer, Marieke Huisman, Marian Lingsch Rosenfeld
2025 J jnl
Behavior Nets: Context-Aware Behavior Modeling for Code Injection-Based Windows Malware.
ACM Trans. Priv. Secur.
Jerre Starink, Marieke Huisman, Andreas Peter, Andrea Continella
2025 J jnl
Deductive Verification of Cooperative RTOS Applications.
ACM Trans. Embed. Comput. Syst.
Philip Tasche, Paula Herber, Marieke Huisman
2025 J jnl
Information Exchange in Software Verification (Dagstuhl Seminar 25172).
Dagstuhl Reports
Dirk Beyer, Marieke Huisman, Jan Strejcek, Heike Wehrheim
2025 J jnl
Preserving provability over GPU program optimizations with annotation-aware transformations.
Formal Methods Syst. Des.
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
2025 C ed.
Tests and Proofs - 18th International Conference, TAP 2024, Milan, Italy, September 9-10, 2024, Proceedings
TAP
Marieke Huisman, Falk Howar
2025 J jnl
Verified Parameterized Choreographies Technical Report.
CoRR
Robert Rubbens, Petra van den Bos, Marieke Huisman
2025 C conf
Verified Parameterized Choreographies.
COORDINATION
Robert Rubbens, Petra van den Bos, Marieke Huisman
2024 B conf
Automated Invariant Generation for Efficient Deductive Reasoning About Embedded Systems.
SEFM
Philip Tasche, Paula Herber, Marieke Huisman
2024 — conf
Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.
VMCAI (2)
Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman
2024 B conf
Deductive Verification of SYCL in VerCors.
SEFM
Ellen Wittingen, Marieke Huisman, Ömer Sakar
2024 B conf
First Steps towards Deductive Verification of LLVM IR.
FASE
Dré van Oorschot, Marieke Huisman, Ömer Sakar
2024 J jnl
Formal Methods for Industrial Critical Systems.
Int. J. Softw. Tools Technol. Transf.
Jan Friso Groote, Marieke Huisman
2024 — conf
HaliVer: Deductive Verification and Scheduling Languages Join Forces.
TACAS (3)
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
2024 J jnl
HaliVer: Deductive Verification and Scheduling Languages Join Forces.
CoRR
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
2024 — conf
Making ETAPS Gold Open Access.
Principles of Verification (3)
Holger Hermanns, Marieke Huisman
2024 — conf
Scalable Verification and Validation of Concurrent and Distributed Systems (ScaVeri) (Track Summary).
ISoLA (3)
Marieke Huisman, Stephan Merz, Cristina Seceleanu
2024 — conf
SpecifyThis Bridging Gaps Between Program Specification Paradigms: Track Introduction.
ISoLA (3)
Gidon Ernst, Paula Herber, Marieke Huisman, Mattias Ulbrich
2024 J jnl
Survey of annotation generators for deductive verifiers.
J. Syst. Softw.
Sophie Lathouwers, Marieke Huisman
2024 — conf
The VerCors Verifier: A Progress Report.
CAV (2)
Lukas Armborst, Pieter Bos, Lars B. van den Haak, Marieke Huisman, Robert Rubbens, Ömer Sakar, Philip Tasche
2024 C conf
Verifying a Radio Telescope Pipeline Using HaliVer: Solving Nonlinear and Quantifier Challenges.
FMICS
Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand
2024 B conf
VeyMont: Choreography-Based Generation of Correct Concurrent Programs with Shared Memory.
IFM
Robert Rubbens, Petra van den Bos, Marieke Huisman
2023 — book
Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2
Marieke Huisman, Anton Wijs
2023 C ed.
Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
FORTE
Marieke Huisman, António Ravara
2023 J jnl
Introduction to the Special Section on FM 2021.
Formal Aspects Comput.
Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
2023 B conf
JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.
FASE
Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina
2023 B conf
Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.
iFM
Lukas Armborst, Sophie Lathouwers, Marieke Huisman
2023 — conf
The VerifyThis Collaborative Long-Term Challenge Series.
TOOLympics@ETAPS
Wolfgang Ahrendt, Gidon Ernst, Paula Herber, Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2023 — conf
Understanding and Measuring Inter-process Code Injection in Windows Malware.
SecureComm (2)
Jerre Starink, Marieke Huisman, Andreas Peter, Andrea Continella
2022 — conf
Alpinist: An Annotation-Aware GPU Program Optimizer.
TACAS (2)
Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs
2022 C ed.
Formal Methods for Industrial Critical Systems - 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings
FMICS
Jan Friso Groote, Marieke Huisman
2022 — conf
Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers.
FormaliSE@ICSE
Sophie Lathouwers, Marieke Huisman
2022 J jnl
Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.
Theor. Comput. Sci.
Mohsen Safari, Marieke Huisman
2022 — conf
On Deductive Verification of an Industrial Concurrent Software Component with VerCors.
ISoLA (1)
Raúl E. Monti, Robert Rubbens, Marieke Huisman
2022 J jnl
Preface for the formal methods in system design special issue on 'Formal Methods 2021'.
Formal Methods Syst. Des.
Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
2022 J jnl
Principles of Contract Languages (Dagstuhl Seminar 22451).
Dagstuhl Reports
Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström
2022 — conf
SpecifyThis - Bridging Gaps Between Program Specification Paradigms.
ISoLA (1)
Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich
2022 — conf
Teaching Design by Contract Using Snap!
The Logic of Software. A Tasting Menu of Formal Methods
Marieke Huisman, Raúl E. Monti
2022 — conf
The Integration of Testing and Program Verification - A Position Paper.
A Journey from Process Algebra via Timed Automata to Model Learning
Petra van den Bos, Marieke Huisman
2022 — conf
Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary).
ISoLA (1)
Marieke Huisman, Cristina Seceleanu
2021 B conf
Automated Verification of the Parallel Bellman-Ford Algorithm.
SAS
Mohsen Safari, Wytse Oortwijn, Marieke Huisman
2021 J jnl
Correct program parallelisations.
Int. J. Softw. Tools Technol. Transf.
Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari
2021 B ed.
Formal Methods - 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings
FM
Marieke Huisman, Corina S. Pasareanu, Naijun Zhan
2021 — conf
IntelliJML: a JML plugin for IntelliJ IDEA.
FTfJP@ECOOP
Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman
2021 C conf
Modular Transformation of Java Exceptions Modulo Errors.
FMICS
Robert Rubbens, Sophie Lathouwers, Marieke Huisman
2021 — conf
Permission-Based Verification of Red-Black Trees and Their Merging.
FormaliSE@ICSE
Lukas Armborst, Marieke Huisman
2021 J jnl
TOOLympics I: Competition on software testing.
Int. J. Softw. Tools Technol. Transf.
Dirk Beyer, Marieke Huisman
2021 J jnl
TOOLympics II: competitions on formal methods.
Int. J. Softw. Tools Technol. Transf.
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2021 — conf
Teaching Design by Contract using Snap!
SEENG@ICSE
Marieke Huisman, Raúl E. Monti
2021 J jnl
Teaching Design by Contract using Snap!
CoRR
Marieke Huisman, Raúl E. Monti
2021 J jnl
VerifyThis 2019: a program verification competition.
Int. J. Softw. Tools Technol. Transf.
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2020 B conf
A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms.
IFM
Mohsen Safari, Marieke Huisman
2020 — conf
Automated Verification of Parallel Nested DFS.
TACAS (1)
Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol
2020 B conf
Formal Methods for GPGPU Programming: Is the Demand Met?
IFM
Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman
2020 J jnl
Formal Methods: From Academia to Industrial Practice. A Travel Guide.
CoRR
Marieke Huisman, Dilian Gurov, Alexander Malkis
2020 — conf
Formal Verification of Parallel Prefix Sum.
NFM
Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman
2020 C conf
Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms.
ICTAC
Mohsen Safari, Marieke Huisman
2020 — ch.
Improving Performance of the VerCors Program Verifier.
20 Years of KeY
Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten
2020 — conf
On the Industrial Application of Critical Software Verification with VerCors.
ISoLA (3)
Marieke Huisman, Raúl E. Monti
2020 B conf
Practical Abstractions for Automated Verification of Shared-Memory Concurrency.
VMCAI
Wytse Oortwijn, Dilian Gurov, Marieke Huisman
2020 J jnl
Selected and Extended Papers from TACAS 2018: Preface.
J. Autom. Reason.
Dirk Beyer, Marieke Huisman
2020 — ch.
The VerifyThis Collaborative Long Term Challenge.
20 Years of KeY
Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl
2020 J jnl
Tools for the construction and analysis of systems.
Int. J. Softw. Tools Technol. Transf.
Dirk Beyer, Marieke Huisman
2020 — conf
Towards verified construction of correct and optimised GPU software.
FTfJP@ECOOP
Marieke Huisman, Anton Wijs
2020 — conf
Verification and Validation of Concurrent and Distributed Systems (Track Summary).
ISoLA (1)
Marieke Huisman, Cristina Seceleanu
2020 J jnl
VerifyThis 2019: A Program Verification Competition (Extended Report).
CoRR
Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller
2020 C conf
Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach.
ICISSP
Sophie Lathouwers, Maarten H. Everts, Marieke Huisman
2019 — ch.
Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.
Computing and Software Science
Reiner Hähnle, Marieke Huisman
2019 B conf
Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System.
IFM
Wytse Oortwijn, Marieke Huisman
2019 B conf
Practical Abstractions for Automated Verification of Message Passing Concurrency.
IFM
Wytse Oortwijn, Marieke Huisman
2019 — conf
Practical Mutation Testing for Smart Contracts.
DPM/CBT@ESORICS
Joran J. Honig, Maarten H. Everts, Marieke Huisman
2019 — conf
TOOLympics 2019: An Overview of Competitions in Formal Methods.
TACAS (3)
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 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6-11, 2019, Proceedings, Part III
TACAS (3)
Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen
2019 — conf
VerifyThis - Verification Competition with a Human Factor.
TACAS (3)
Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich
2018 — conf
A Broader View on Verification: From Static to Runtime and Back (Track Summary).
ISoLA (2)
Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier
2018 — conf
An exercise in verifying sequential programs with VerCors.
ISSTA/ECOOP Workshops
Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman
2018 — conf
Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).
ISoLA (4)
Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick
2018 — conf
On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification.
ISoLA (1)
Marieke Huisman
2018 — conf
Program Correctness by Transformation.
ISoLA (1)
Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari
2018 B conf
Reasoning About JML: Differences Between KeY and OpenJML.
IFM
Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten
2018 J jnl
Software quality tools and techniques presented in FASE'17.
Int. J. Softw. Tools Technol. Transf.
Marieke Huisman, Julia Rubin
2018 J jnl
Specification and verification of synchronization with condition variables.
Sci. Comput. Program.
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho
2018 — conf
Static Code Verification Through Process Models.
ISoLA (3)
Sebastiaan J. C. Joosten, Marieke Huisman
2018 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part I
TACAS (1)
Dirk Beyer, Marieke Huisman
2018 — ed.
Tools and Algorithms for the Construction and Analysis of Systems - 24th International Conference, TACAS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Part II
TACAS (2)
Dirk Beyer, Marieke Huisman
2018 — conf
Towards Reliable Concurrent Software.
Principled Software Development
Marieke Huisman, Sebastiaan J. C. Joosten
2018 — conf
Verification of Shared-Reading Synchronisers.
MeTRiD@ETAPS
Afshin Amighi, Marieke Huisman, Stefan Blom
2017 — conf
24 Challenges in Deductive Software Verification.
ARCADE@CADE
Reiner Hähnle, Marieke Huisman
2017 — conf
A Verification Technique for Deterministic Parallel Programs.
NFM
Saeed Darabi, Stefan C. C. Blom, Marieke Huisman
2017 C conf
A verification technique for deterministic parallel programs.
PPDP
Marieke Huisman
2017 — conf
An Abstraction Technique for Describing Concurrent Program Behaviour.
VSTTE
Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski
2017 J jnl
Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14).
NII Shonan Meet. Rep.
Marieke Huisman, Thomas Noll, Makoto Tatsuta
2017 B ed.
Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings
FASE
Marieke Huisman, Julia Rubin
2017 B conf
The VerCors Tool Set: Verification of Parallel and Concurrent Software.
IFM
Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn
2017 J jnl
VerifyThis 2015 - A program verification competition.
Int. J. Softw. Tools Technol. Transf.
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig
2016 — ch.
Formal Specification with the Java Modeling Language.
Deductive Software Verification
Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel
2016 — conf
Future-based Static Analysis of Message Passing Programs.
PLACES
Wytse Oortwijn, Stefan Blom, Marieke Huisman
2016 B ed.
Integrated Formal Methods - 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings
IFM
Erika Ábrahám, Marieke Huisman
2016 C conf
Lazy Evaluation for Concurrent OLTP and Bulk Transactions.
IDEAS
Lesley Wevers, Marieke Huisman, Maurice van Keulen
2016 J jnl
Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14).
Sci. Comput. Program.
Marieke Huisman, Jaco van de Pol
2016 J jnl
Provably correct control flow graphs from Java bytecode programs with exceptions.
Int. J. Softw. Tools Technol. Transf.
Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
2016 — conf
Software that Meets Its Intent.
ISoLA (2)
Marieke Huisman, Herbert Bos, Sjaak Brinkkemper, Arie van Deursen, Jan Friso Groote, Patricia Lago, Jaco van de Pol, Eelco Visser
2016 — conf
Specification and Verification of Synchronization with Condition Variables.
FTSCS
Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
2016 — conf
Static and Runtime Verification, Competitors or Friends? (Track Summary).
ISoLA (1)
Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan
2016 C conf
VerCors: A Layered Approach to Practical Verification of Concurrent Software.
PDP
Afshin Amighi, Stefan Blom, Marieke Huisman
2015 C conf
A Benchmark for Online Non-blocking Schema Transformations.
DATA
Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen
2015 C conf
A Symbolic Approach to Permission Accounting for Concurrent Reasoning.
ISPDC
Marieke Huisman, Wojciech Mostowski
2015 C conf
Analysis of the Blocking Behaviour of Schema Transformations in Relational Database Systems.
ADBIS
Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen
2015 B conf
History-Based Verification of Functional Behaviour of Concurrent Programs.
SEFM
Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
2015 J jnl
Permission-Based Separation Logic for Multithreaded Java Programs.
Log. Methods Comput. Sci.
Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin
2015 J jnl
Procedure-modular specification and verification of temporal safety properties.
Softw. Syst. Model.
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
2015 — conf
Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.
FTfJP@ECOOP
Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski
2015 B conf
Specification and Verification of Atomic Operations in GPGPU Programs.
SEFM
Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman
2015 B conf
Verification of Loop Parallelisations.
FASE
Stefan Blom, Saeed Darabi, Marieke Huisman
2015 J jnl
VerifyThis 2012 - A Program Verification Competition.
Int. J. Softw. Tools Technol. Transf.
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2015 J jnl
Witnessing the elimination of magic wands.
Int. J. Softw. Tools Technol. Transf.
Stefan Blom, Marieke Huisman
2014 J jnl
Effective verification of confidentiality for multi-threaded programs.
J. Comput. Secur.
Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman
2014 J jnl
Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).
Dagstuhl Reports
Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2014 C conf
Formal Specifications for Java's Synchronisation Classes.
PDP
Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
2014 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Marieke Huisman, Jaco van de Pol
2014 — conf
Quantitative Security Analysis for Programs with Low Input and Noisy Output.
ESSoS
Tri Minh Ngo, Marieke Huisman
2014 B conf
Resource Protection Using Atomics - Patterns and Verification.
APLAS
Afshin Amighi, Stefan Blom, Marieke Huisman
2014 J jnl
SCP special issue on Bytecode 2012 - Preface.
Sci. Comput. Program.
Marieke Huisman
2014 J jnl
Specification and verification of GPGPU programs.
Sci. Comput. Program.
Stefan Blom, Marieke Huisman, Matej Mihelcic
2014 B conf
The VerCors Tool for Verification of Concurrent Programs.
FM
Stefan Blom, Marieke Huisman
2014 — conf
Verification of Concurrent Systems with VerCors.
SFM
Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski
2014 B conf
Verifying Class Invariants in Concurrent Programs.
FASE
Marina Zaharieva-Stojanovski, Marieke Huisman
2014 — conf
Verifying Functional Behaviour of Concurrent Programs.
FTfJP@ECOOP
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
2014 — conf
Verifying Parallel Loops with Separation Logic.
PLACES
Stefan Blom, Saeed Darabi, Marieke Huisman
2013 — conf
Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.
ESSoS
Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman
2013 J jnl
Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142).
Dagstuhl Reports
Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen
2013 B conf
How Do Developers Use APIs? A Case Study in Concurrency.
ICECCS
Stefan Blom, Joseph Kiniry, Marieke Huisman
2013 — conf
Quantitative Security Analysis for Multi-threaded Programs.
QAPL
Tri Minh Ngo, Marieke Huisman
2013 J jnl
Reducing behavioural to structural properties of programs with procedures.
Theor. Comput. Sci.
Dilian Gurov, Marieke Huisman
2012 — conf
A History of BlockingQueues
FLACOS
Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom
2012 J jnl
Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).
Dagstuhl Reports
Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga
2012 — conf
On the Organisation of Program Verification Competitions.
COMPARE
Marieke Huisman, Vladimir Klebanov, Rosemary Monahan
2012 B conf
Sound Control-Flow Graph Extraction for Java Programs with Exceptions.
SEFM
Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman
2012 — conf
The VerCors project: setting up basecamp.
PLPV
Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski
2011 — conf
Model-Checking Secure Information Flow for Multi-threaded Programs.
TOSCA
Marieke Huisman, Henri-Charles Blondeel
2011 — conf
On the interplay of exception handling and design by contract: an aspect-oriented recovery approach.
FTfJP@ECOOP
Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor
2011 B conf
ProMoVer: Modular Verification of Temporal Safety Properties.
SEFM
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
2011 — conf
Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification.
FoVeOOS
Marieke Huisman, Tri Minh Ngo
2011 — conf
The COST IC0701 Verification Competition 2011.
FoVeOOS
Thorsten Bormer, Marc Brockschmidt, Dino Distefano, Gidon Ernst, Jean-Christophe Filliâtre, Radu Grigore, Marieke Huisman, Vladimir Klebanov, Claude Marché, Rosemary Monahan, Wojciech Mostowski, Nadia Polikarpova, Christoph Scheben, Gerhard Schellhorn, Bogdan Tofan, Julian Tschannen, Mattias Ulbrich
2010 — conf
CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties.
FoVeOOS
Marieke Huisman, Dilian Gurov
2010 — conf
Procedure-modular verification of control flow safety properties.
FTfJP@ECOOP
Siavash Soleimanifard, Dilian Gurov, Marieke Huisman
2009 B conf
A Formal Connection between Security Automata and JML Annotations.
FASE
Marieke Huisman, Alejandro Tamalet
2009 — conf
On the interplay between the semantics of Java's finally clauses and the JML run-time checker.
FTfJP@ECOOP
Marieke Huisman
2009 B conf
Reducing Behavioural to Structural Properties of Programs with Procedures.
VMCAI
Dilian Gurov, Marieke Huisman
2008 — conf
BML and Related Tools.
FMCO
Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert
2008 J jnl
Compositional verification of sequential programs with procedures.
Inf. Comput.
Dilian Gurov, Marieke Huisman, Christoph Sprenger
2008 — conf
Formal Techniques for Java-Like Programs.
ECOOP Workshops
Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad
2008 C conf
Program Models for Compositional Verification.
ICFEM
Marieke Huisman, Irem Aktug, Dilian Gurov
2008 B conf
Reasoning about Java's Reentrant Locks.
APLAS
Christian Haack, Marieke Huisman, Clément Hurlin
2007 — conf
Composing Modal Properties of Programs with Procedures.
FESCA@ETAPS
Marieke Huisman, Dilian Gurov
2007 — conf
Preface.
Bytecode@ETAPS
Marieke Huisman, Fausto Spoto
2007 B conf
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.
FASE
Lilian Burdy, Marieke Huisman, Mariela Pavlova
2007 — ed.
Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation, Bytecode@ETAPS 2007, Braga, Portugal, March 31, 2007
Bytecode@ETAPS
Marieke Huisman, Fausto Spoto
2006 — conf
A Temporal Logic Characterisation of Observational Determinism.
CSFW
Marieke Huisman, Pratik Worah, Kim Sunesen
2006 — ed.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers
CASSIS
Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet
2006 — conf
JACK - A Tool for Validation of Security and Behaviour of Java Applications.
FMCO
Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet
2005 — ed.
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers
CASSIS
Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean
2005 — conf
Factorising Temporal Specifications.
CATS
Marieke Huisman, Kerry Trentelman
2005 J jnl
Formal methods for smart cards: an experience report.
Sci. Comput. Program.
Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs
2005 B conf
Interface Abstraction for Compositional Verificatio.
SEFM
Dilian Gurov, Marieke Huisman
2004 B conf
Checking Absence of Illicit Applet Interactions: A Case Study.
FASE
Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov
2004 C conf
Compositional verification for secure loading of smart card applets.
MEMOCODE
Christoph Sprenger, Dilian Gurov, Marieke Huisman
2004 C conf
Enforcing High-Level Security Properties for Applets.
CARDIS
Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet
2004 — conf
Formal Techniques for Java-Like Programs (FTfJP).
ECOOP Workshops
Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll
2004 J jnl
Guest editors' introduction: Special issue on Formal Methods for Smart Cards.
J. Log. Algebraic Methods Program.
Marieke Huisman, Thomas P. Jensen
2003 B conf
CHASE: A Static Checker for JML's Assignable Clause.
VMCAI
Néstor Cataño, Marieke Huisman
2002 B conf
Compositional Verification of Secure Applet Interactions.
FASE
Gilles Barthe, Dilian Gurov, Marieke Huisman
2002 — conf
Extending JML Specifications with Temporal Logic.
AMAST
Kerry Trentelman, Marieke Huisman
2002 — conf
Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.
FME
Néstor Cataño, Marieke Huisman
2002 B conf
Verification of Java's AbstractCollection Class: A Case Study.
MPC
Marieke Huisman
2001 J jnl
A case study in class library verification: Java's vector class.
Int. J. Softw. Tools Technol. Transf.
Marieke Huisman, Bart Jacobs, Joachim van den Berg
2001 — conf
Jakarta: A Toolset for Reasoning about JavaCard.
E-smart
Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa
2001 — book
Reasoning about Java programs in higher order logic using PVS and Isabelle.
Marieke Huisman
2000 — conf
Inheritance in Higher Order Logic: Modeling and Reasoning.
TPHOLs
Marieke Huisman, Bart Jacobs
2000 B conf
Java Program Verification via a Hoare Logic with Abrupt Termination.
FASE
Marieke Huisman, Bart Jacobs
1999 — conf
A Case Study in Class Library Verification: Java's Vector Class.
ECOOP Workshops
Marieke Huisman, Bart Jacobs, Joachim van den Berg
1999 — conf
A Type-Theoretic Memory Model for Verification of Sequential Java Programs.
WADT
Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll
1998 — conf
A Comparison of PVS and Isabelle/HOL.
TPHOLs
W. O. David Griffioen, Marieke Huisman
1998 A conf
Reasoning about Java Classes (Preliminary Report).
OOPSLA
Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum
1998 A conf
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.
ESOP
Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews