Marieke Huisman

According to our database, Marieke Huisman authored at least 151 papers between 1998 and 2024.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of three.

2024

Formal Methods for Industrial Critical Systems.

Jan Friso Groote, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., April, 2024

HaliVer: Deductive Verification and Scheduling Languages Join Forces.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

CoRR, 2024

Deductive Verification of Parameterized Embedded Systems Modeled in SystemC.

Philip Tasche, Raúl E. Monti, Stefanie Eva Drerup, Pauline Blohm, Paula Herber, Marieke Huisman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2024

sc HaliVer: Deductive Verification and Scheduling Languages Join Forces.

Lars B. van den Haak, Anton Wijs, Marieke Huisman, Mark van den Brand

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

First Steps towards Deductive Verification of LLVM IR.

Dré van Oorschot, Marieke Huisman, Ömer Sakar

Proceedings of the Fundamental Approaches to Software Engineering, 2024

2023

Introduction to the Special Section on FM 2021.

Marieke Huisman, Corina S. Pasareanu, Naijun Zhan

Formal Aspects Comput., June, 2023

Concise Guide to Software Verification - From Model Checking to Annotation Checking, 2

Marieke Huisman, Anton Wijs

Texts in Computer Science, Springer, ISBN: 978-3-031-30166-7, 2023

Joining Forces! Reusing Contracts for Deductive Verifiers Through Automatic Translation.

Lukas Armborst, Sophie Lathouwers, Marieke Huisman

Proceedings of the iFM 2023 - 18th International Conference, 2023

JavaBIP meets VerCors: Towards the Safety of Concurrent Software Systems in Java.

Simon Bliudze, Petra van den Bos, Marieke Huisman, Robert Rubbens, Larisa Safina

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

Principles of Contract Languages (Dagstuhl Seminar 22451).

Dilian Gurov, Reiner Hähnle, Marieke Huisman, Giles Reger, Christian Lidström

Dagstuhl Reports, November, 2022

Preface for the formal methods in system design special issue on 'Formal Methods 2021'.

Marieke Huisman, Corina S. Pasareanu, Naijun Zhan

Formal Methods Syst. Des., August, 2022

Formal verification of parallel prefix sum and stream compaction algorithms in CUDA.

Mohsen Safari, Marieke Huisman

Theor. Comput. Sci., 2022

Alpinist: An Annotation-Aware GPU Program Optimizer.

Ömer Sakar, Mohsen Safari, Marieke Huisman, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2022

On Deductive Verification of an Industrial Concurrent Software Component with VerCors.

Raúl E. Monti, Robert Rubbens, Marieke Huisman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Verification and Validation of Concurrent and Distributed Heterogeneous Systems (Track Summary).

Marieke Huisman, Cristina Seceleanu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

SpecifyThis - Bridging Gaps Between Program Specification Paradigms.

Wolfgang Ahrendt, Paula Herber, Marieke Huisman, Mattias Ulbrich

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification Principles, 2022

Formal Specifications Investigated: A Classification and Analysis of Annotations for Deductive Verifiers.

Sophie Lathouwers, Marieke Huisman

Proceedings of the 10th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2022

The Integration of Testing and Program Verification - A Position Paper.

Petra van den Bos, Marieke Huisman

Proceedings of the A Journey from Process Algebra via Timed Automata to Model Learning, 2022

2021

VerifyThis 2019: a program verification competition.

Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

Int. J. Softw. Tools Technol. Transf., 2021

Correct program parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman, Mohsen Safari

Int. J. Softw. Tools Technol. Transf., 2021

TOOLympics II: competitions on formal methods.

Dirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen

Int. J. Softw. Tools Technol. Transf., 2021

TOOLympics I: Competition on software testing.

Dirk Beyer, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., 2021

Automated Verification of the Parallel Bellman-Ford Algorithm.

Mohsen Safari, Wytse Oortwijn, Marieke Huisman

Proceedings of the Static Analysis - 28th International Symposium, 2021

Permission-Based Verification of Red-Black Trees and Their Merging.

Lukas Armborst, Marieke Huisman

Proceedings of the 9th IEEE/ACM International Conference on Formal Methods in Software Engineering, 2021

Teaching Design by Contract using Snap!

Marieke Huisman, Raúl E. Monti

Proceedings of the 3rd International Workshop on Software Engineering Education for the Next Generation, 2021

Modular Transformation of Java Exceptions Modulo Errors.

Robert Rubbens, Sophie Lathouwers, Marieke Huisman

Proceedings of the Formal Methods for Industrial Critical Systems, 2021

IntelliJML: a JML plugin for IntelliJ IDEA.

Steven Monteiro, Erikas Sokolovas, Ellen Wittingen, Tom van Dijk, Marieke Huisman

Proceedings of the FTfJP 2021: Proceedings of the 23rd ACM International Workshop on Formal Techniques for Java-like Programs, 2021

2020

Improving Performance of the VerCors Program Verifier.

Henk Mulder, Marieke Huisman, Sebastiaan J. C. Joosten

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

The VerifyThis Collaborative Long Term Challenge.

Marieke Huisman, Raúl E. Monti, Mattias Ulbrich, Alexander Weigl

Proceedings of the Deductive Software Verification: Future Perspectives, 2020

Tools for the construction and analysis of systems.

Dirk Beyer, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., 2020

Selected and Extended Papers from TACAS 2018: Preface.

Dirk Beyer, Marieke Huisman

J. Autom. Reason., 2020

VerifyThis 2019: A Program Verification Competition (Extended Report).

Claire Dross, Carlo A. Furia, Marieke Huisman, Rosemary Monahan, Peter Müller

CoRR, 2020

Formal Methods: From Academia to Industrial Practice. A Travel Guide.

Marieke Huisman, Dilian Gurov, Alexander Malkis

CoRR, 2020

Practical Abstractions for Automated Verification of Shared-Memory Concurrency.

Wytse Oortwijn, Dilian Gurov, Marieke Huisman

Proceedings of the Verification, Model Checking, and Abstract Interpretation, 2020

Automated Verification of Parallel Nested DFS.

Wytse Oortwijn, Marieke Huisman, Sebastiaan J. C. Joosten, Jaco van de Pol

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

Formal Verification of Parallel Prefix Sum.

Mohsen Safari, Wytse Oortwijn, Sebastiaan J. C. Joosten, Marieke Huisman

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

Verification and Validation of Concurrent and Distributed Systems (Track Summary).

Marieke Huisman, Cristina Seceleanu

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Verification Principles, 2020

On the Industrial Application of Critical Software Verification with VerCors.

Marieke Huisman, Raúl E. Monti

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Applications, 2020

A Generic Approach to the Verification of the Permutation Property of Sequential and Parallel Swap-Based Sorting Algorithms.

Mohsen Safari, Marieke Huisman

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Methods for GPGPU Programming: Is the Demand Met?

Lars B. van den Haak, Anton Wijs, Mark van den Brand, Marieke Huisman

Proceedings of the Integrated Formal Methods - 16th International Conference, 2020

Formal Verification of Parallel Stream Compaction and Summed-Area Table Algorithms.

Mohsen Safari, Marieke Huisman

Proceedings of the Theoretical Aspects of Computing - ICTAC 2020 - 17th International Colloquium, Macau, China, November 30, 2020

Verifying Sanitizer Correctness through Black-Box Learning: A Symbolic Finite Transducer Approach.

Sophie Lathouwers, Maarten H. Everts, Marieke Huisman

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

Towards verified construction of correct and optimised GPU software.

Marieke Huisman, Anton Wijs

Proceedings of the FTfJP 2020: Proceedings of the 22nd ACM SIGPLAN International Workshop on Formal Techniques for Java-Like Programs, 2020

2019

Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools.

Reiner Hähnle, Marieke Huisman

Proceedings of the Computing and Software Science - State of the Art and Perspectives, 2019

VerifyThis - Verification Competition with a Human Factor.

Gidon Ernst, Marieke Huisman, Wojciech Mostowski, Mattias Ulbrich

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019

Formal Verification of an Industrial Safety-Critical Traffic Tunnel Control System.

Wytse Oortwijn, Marieke Huisman

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Practical Abstractions for Automated Verification of Message Passing Concurrency.

Wytse Oortwijn, Marieke Huisman

Proceedings of the Integrated Formal Methods - 15th International Conference, 2019

Practical Mutation Testing for Smart Contracts.

Joran J. Honig, Maarten H. Everts, Marieke Huisman

Proceedings of the Data Privacy Management, Cryptocurrencies and Blockchain Technology, 2019

2018

Software quality tools and techniques presented in FASE'17.

Marieke Huisman, Julia Rubin

Int. J. Softw. Tools Technol. Transf., 2018

Specification and verification of synchronization with condition variables.

Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman, Cyrille Artho

Sci. Comput. Program., 2018

Verification of Shared-Reading Synchronisers.

Afshin Amighi, Marieke Huisman, Stefan Blom

Proceedings of the 1st International Workshop on Methods and Tools for Rigorous System Design, 2018

An exercise in verifying sequential programs with VerCors.

Sebastiaan J. C. Joosten, Wytse Oortwijn, Mohsen Safari, Marieke Huisman

Proceedings of the Companion Proceedings for the ISSTA/ECOOP 2018 Workshops, 2018

Static Code Verification Through Process Models.

Sebastiaan J. C. Joosten, Marieke Huisman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Distributed Systems, 2018

Program Correctness by Transformation.

Marieke Huisman, Stefan Blom, Saeed Darabi, Mohsen Safari

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

On Models and Code - A Unified Approach to Support Large-Scale Deductive Program Verification.

Marieke Huisman

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Modeling, 2018

Formal Methods in Industrial Practice - Bridging the Gap (Track Summary).

Michael Felderer, Dilian Gurov, Marieke Huisman, Björn Lisper, Rupert Schlick

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice, 2018

A Broader View on Verification: From Static to Runtime and Back (Track Summary).

Wolfgang Ahrendt, Marieke Huisman, Giles Reger, Kristin Yvonne Rozier

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Verification, 2018

Reasoning About JML: Differences Between KeY and OpenJML.

Jan Boerman, Marieke Huisman, Sebastiaan J. C. Joosten

Proceedings of the Integrated Formal Methods - 14th International Conference, 2018

Towards Reliable Concurrent Software.

Marieke Huisman, Sebastiaan J. C. Joosten

Proceedings of the Principled Software Development, 2018

2017

VerifyThis 2015 - A program verification competition.

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan, Michael Tautschnig

Int. J. Softw. Tools Technol. Transf., 2017

Analysis and Verification of Pointer Programs (NII Shonan Meeting 2017-14).

Marieke Huisman, Thomas Noll, Makoto Tatsuta

NII Shonan Meet. Rep., 2017

An Abstraction Technique for Describing Concurrent Program Behaviour.

Wytse Oortwijn, Stefan Blom, Dilian Gurov, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the Verified Software. Theories, Tools, and Experiments, 2017

A verification technique for deterministic parallel programs.

Marieke Huisman

Proceedings of the 19th International Symposium on Principles and Practice of Declarative Programming, Namur, Belgium, October 09, 2017

A Verification Technique for Deterministic Parallel Programs.

Saeed Darabi, Stefan C. C. Blom, Marieke Huisman

Proceedings of the NASA Formal Methods - 9th International Symposium, 2017

The VerCors Tool Set: Verification of Parallel and Concurrent Software.

Stefan Blom, Saeed Darabi, Marieke Huisman, Wytse Oortwijn

Proceedings of the Integrated Formal Methods - 13th International Conference, 2017

24 Challenges in Deductive Software Verification.

Reiner Hähnle, Marieke Huisman

Proceedings of the ARCADE 2017, 2017

2016

Formal Specification with the Java Modeling Language.

Marieke Huisman, Wolfgang Ahrendt, Daniel Grahl, Martin Hentschel

Proceedings of the Deductive Software Verification - The KeY Book, 2016

Provably correct control flow graphs from Java bytecode programs with exceptions.

Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., 2016

Preface of Special issue on Automated Verification of Critical Systems (AVoCS'14).

Marieke Huisman, Jaco van de Pol

Sci. Comput. Program., 2016

Future-based Static Analysis of Message Passing Programs.

Wytse Oortwijn, Stefan Blom, Marieke Huisman

Proceedings of the Ninth workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, 2016

VerCors: A Layered Approach to Practical Verification of Concurrent Software.

Afshin Amighi, Stefan Blom, Marieke Huisman

Proceedings of the 24th Euromicro International Conference on Parallel, 2016

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

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications, 2016

Static and Runtime Verification, Competitors or Friends? (Track Summary).

Dilian Gurov, Klaus Havelund, Marieke Huisman, Rosemary Monahan

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation: Foundational Techniques, 2016

Lazy Evaluation for Concurrent OLTP and Bulk Transactions.

Lesley Wevers, Marieke Huisman, Maurice van Keulen

Proceedings of the 20th International Database Engineering & Applications Symposium, 2016

Specification and Verification of Synchronization with Condition Variables.

Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Proceedings of the Formal Techniques for Safety-Critical Systems, 2016

2015

VerifyThis 2012 - A Program Verification Competition.

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

Int. J. Softw. Tools Technol. Transf., 2015

Witnessing the elimination of magic wands.

Stefan Blom, Marieke Huisman

Int. J. Softw. Tools Technol. Transf., 2015

Procedure-modular specification and verification of temporal safety properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Softw. Syst. Model., 2015

Permission-Based Separation Logic for Multithreaded Java Programs.

Afshin Amighi, Christian Haack, Marieke Huisman, Clément Hurlin

Log. Methods Comput. Sci., 2015

History-Based Verification of Functional Behaviour of Concurrent Programs.

Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

Specification and Verification of Atomic Operations in GPGPU Programs.

Afshin Amighi, Saeed Darabi, Stefan Blom, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 13th International Conference, 2015

A Symbolic Approach to Permission Accounting for Concurrent Reasoning.

Marieke Huisman, Wojciech Mostowski

Proceedings of the 14th International Symposium on Parallel and Distributed Computing, 2015

Verification of Loop Parallelisations.

Stefan Blom, Saeed Darabi, Marieke Huisman

Proceedings of the Fundamental Approaches to Software Engineering, 2015

Run-time assertion checking of JML annotations in multithreaded applications with e-OpenJML.

Jorne Kandziora, Marieke Huisman, Christoph Bockisch, Marina Zaharieva-Stojanovski

Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs, 2015

A Benchmark for Online Non-blocking Schema Transformations.

Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen

Proceedings of the DATA 2015, 2015

Analysis of the Blocking Behaviour of Schema Transformations in Relational Database Systems.

Lesley Wevers, Matthijs Hofstra, Menno Tammens, Marieke Huisman, Maurice van Keulen

Proceedings of the Advances in Databases and Information Systems, 2015

2014

SCP special issue on Bytecode 2012 - Preface.

Marieke Huisman

Sci. Comput. Program., 2014

Specification and verification of GPGPU programs.

Stefan Blom, Marieke Huisman, Matej Mihelcic

Sci. Comput. Program., 2014

Effective verification of confidentiality for multi-threaded programs.

Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman

J. Comput. Secur., 2014

Preface.

Marieke Huisman, Jaco van de Pol

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2014

Evaluating Software Verification Systems: Benchmarks and Competitions (Dagstuhl Reports 14171).

Dirk Beyer, Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

Dagstuhl Reports, 2014

Verifying Parallel Loops with Separation Logic.

Stefan Blom, Saeed Darabi, Marieke Huisman

Proceedings of the Proceedings 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software, 2014

Verification of Concurrent Systems with VerCors.

Afshin Amighi, Stefan Blom, Saeed Darabi, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the Formal Methods for Executable Software Models, 2014

Formal Specifications for Java's Synchronisation Classes.

Afshin Amighi, Stefan Blom, Marieke Huisman, Wojciech Mostowski, Marina Zaharieva-Stojanovski

Proceedings of the 22nd Euromicro International Conference on Parallel, 2014

The VerCors Tool for Verification of Concurrent Programs.

Stefan Blom, Marieke Huisman

Proceedings of the FM 2014: Formal Methods, 2014

Verifying Class Invariants in Concurrent Programs.

Marina Zaharieva-Stojanovski, Marieke Huisman

Proceedings of the Fundamental Approaches to Software Engineering, 2014

Quantitative Security Analysis for Programs with Low Input and Noisy Output.

Tri Minh Ngo, Marieke Huisman

Proceedings of the Engineering Secure Software and Systems - 6th International Symposium, 2014

Verifying Functional Behaviour of Concurrent Programs.

Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 2014

Resource Protection Using Atomics - Patterns and Verification.

Afshin Amighi, Stefan Blom, Marieke Huisman

Proceedings of the Programming Languages and Systems - 12th Asian Symposium, 2014

2013

Reducing behavioural to structural properties of programs with procedures.

Dilian Gurov, Marieke Huisman

Theor. Comput. Sci., 2013

Correct and Efficient Accelerator Programming (Dagstuhl Seminar 13142).

Albert Cohen, Alastair F. Donaldson, Marieke Huisman, Joost-Pieter Katoen

Dagstuhl Reports, 2013

Quantitative Security Analysis for Multi-threaded Programs.

Tri Minh Ngo, Marieke Huisman

Proceedings of the Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems, 2013

How Do Developers Use APIs? A Case Study in Concurrency.

Stefan Blom, Joseph Kiniry, Marieke Huisman

Proceedings of the 2013 18th International Conference on Engineering of Complex Computer Systems, 2013

Confidentiality for Probabilistic Multi-threaded Programs and Its Verification.

Tri Minh Ngo, Mariëlle Stoelinga, Marieke Huisman

Proceedings of the Engineering Secure Software and Systems - 5th International Symposium, 2013

2012

Divide and Conquer: the Quest for Compositional Design and Analysis (Dagstuhl Seminar 12511).

Marieke Huisman, Barbara Jobstmann, Ina Schaefer, Mariëlle Stoelinga

Dagstuhl Reports, 2012

A History of BlockingQueues

Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom

Proceedings of the Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, 2012

Sound Control-Flow Graph Extraction for Java Programs with Exceptions.

Afshin Amighi, Pedro de Carvalho Gomes, Dilian Gurov, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 10th International Conference, 2012

The VerCors project: setting up basecamp.

Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski

Proceedings of the sixth workshop on Programming Languages meets Program Verification, 2012

On the Organisation of Program Verification Competitions.

Marieke Huisman, Vladimir Klebanov, Rosemary Monahan

Proceedings of the 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems, 2012

2011

Model-Checking Secure Information Flow for Multi-threaded Programs.

Marieke Huisman, Henri-Charles Blondeel

Proceedings of the Theory of Security and Applications - Joint Workshop, 2011

ProMoVer: Modular Verification of Temporal Safety Properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Proceedings of the Software Engineering and Formal Methods - 9th International Conference, 2011

Scheduler-Specific Confidentiality for Multi-threaded Programs and Its Logic-Based Verification.

Marieke Huisman, Tri Minh Ngo

Proceedings of the Formal Verification of Object-Oriented Software, 2011

The COST IC0701 Verification Competition 2011.

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

Proceedings of the Formal Verification of Object-Oriented Software, 2011

On the interplay of exception handling and design by contract: an aspect-oriented recovery approach.

Henrique Rebêlo, Roberta Coelho, Ricardo M. F. Lima, Gary T. Leavens, Marieke Huisman, Alexandre Mota, Fernando Castor

Proceedings of the 13th Workshop on Formal Techniques for Java-Like Programs, 2011

2010

CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties.

Marieke Huisman, Dilian Gurov

Proceedings of the Formal Verification of Object-Oriented Software, 2010

Procedure-modular verification of control flow safety properties.

Siavash Soleimanifard, Dilian Gurov, Marieke Huisman

Proceedings of the 12th Workshop on Formal Techniques for Java-Like Programs, 2010

2009

A Formal Connection between Security Automata and JML Annotations.

Marieke Huisman, Alejandro Tamalet

Proceedings of the Fundamental Approaches to Software Engineering, 2009

On the interplay between the semantics of Java's finally clauses and the JML run-time checker.

Marieke Huisman

Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs, 2009

2008

Compositional verification of sequential programs with procedures.

Dilian Gurov, Marieke Huisman, Christoph Sprenger

Inf. Comput., 2008

Program Models for Compositional Verification.

Marieke Huisman, Irem Aktug, Dilian Gurov

Proceedings of the Formal Methods and Software Engineering, 2008

BML and Related Tools.

Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert

Proceedings of the Formal Methods for Components and Objects, 7th International Symposium, 2008

Formal Techniques for Java-Like Programs.

Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad

Proceedings of the Object-Oriented Technology. ECOOP 2008 Workshop Reader, 2008

Reasoning about Java's Reentrant Locks.

Christian Haack, Marieke Huisman, Clément Hurlin

Proceedings of the Programming Languages and Systems, 6th Asian Symposium, 2008

2007

Preface.

Marieke Huisman, Fausto Spoto

Proceedings of the Second Workshop on Bytecode Semantics, 2007

Composing Modal Properties of Programs with Procedures.

Marieke Huisman, Dilian Gurov

Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures, 2007

Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode.

Lilian Burdy, Marieke Huisman, Mariela Pavlova

Proceedings of the Fundamental Approaches to Software Engineering, 2007

2006

JACK - A Tool for Validation of Security and Behaviour of Java Applications.

Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet

Proceedings of the Formal Methods for Components and Objects, 5th International Symposium, 2006

A Temporal Logic Characterisation of Observational Determinism.

Marieke Huisman, Pratik Worah, Kim Sunesen

Proceedings of the 19th IEEE Computer Security Foundations Workshop, 2006

2005

Formal methods for smart cards: an experience report.

Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs

Sci. Comput. Program., 2005

Interface Abstraction for Compositional Verificatio.

Dilian Gurov, Marieke Huisman

Proceedings of the Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 2005

Factorising Temporal Specifications.

Marieke Huisman, Kerry Trentelman

Proceedings of the Theory of Computing 2005, 2005

2004

Guest editors' introduction: Special issue on Formal Methods for Smart Cards.

Marieke Huisman, Thomas P. Jensen

J. Log. Algebraic Methods Program., 2004

Compositional verification for secure loading of smart card applets.

Christoph Sprenger, Dilian Gurov, Marieke Huisman

Proceedings of the 2nd ACM & IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 2004

Checking Absence of Illicit Applet Interactions: A Case Study.

Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov

Proceedings of the Fundamental Approaches to Software Engineering, 2004

Formal Techniques for Java-Like Programs (FTfJP).

Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll

Proceedings of the Object-Oriented Technology: ECOOP 2004 Workshop Reader, 2004

Enforcing High-Level Security Properties for Applets.

Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet

Proceedings of the Smart Card Research and Advanced Applications VI, 2004

2003

CHASE: A Static Checker for JML's Assignable Clause.

Néstor Cataño, Marieke Huisman

Proceedings of the Verification, 2003

2002

Verification of Java's AbstractCollection Class: A Case Study.

Marieke Huisman

Proceedings of the Mathematics of Program Construction, 6th International Conference, 2002

Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java.

Néstor Cataño, Marieke Huisman

Proceedings of the FME 2002: Formal Methods, 2002

Compositional Verification of Secure Applet Interactions.

Gilles Barthe, Dilian Gurov, Marieke Huisman

Proceedings of the Fundamental Approaches to Software Engineering, 2002

Extending JML Specifications with Temporal Logic.

Kerry Trentelman, Marieke Huisman

Proceedings of the Algebraic Methodology and Software Technology, 2002

2001

A case study in class library verification: Java's vector class.

Marieke Huisman, Bart Jacobs, Joachim van den Berg

Int. J. Softw. Tools Technol. Transf., 2001

Jakarta: A Toolset for Reasoning about JavaCard.

Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa

Proceedings of the Smart Card Programming and Security, 2001

Reasoning about Java programs in higher order logic using PVS and Isabelle.

Marieke Huisman

IPA dissertation series 03, IPA, ISBN: 978-90-9014440-5, 2001

2000

Inheritance in Higher Order Logic: Modeling and Reasoning.

Marieke Huisman, Bart Jacobs

Proceedings of the Theorem Proving in Higher Order Logics, 13th International Conference, 2000

Java Program Verification via a Hoare Logic with Abrupt Termination.

Marieke Huisman, Bart Jacobs

Proceedings of the Fundamental Approaches to Software Engineering, 2000

1999

A Type-Theoretic Memory Model for Verification of Sequential Java Programs.

Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll

Proceedings of the Recent Trends in Algebraic Development Techniques, 1999

1998

A Comparison of PVS and Isabelle/HOL.

W. O. David Griffioen, Marieke Huisman

Proceedings of the Theorem Proving in Higher Order Logics, 11th International Conference, 1998

Reasoning about Java Classes (Preliminary Report).

Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum

Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, 1998

Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools.

Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews

Proceedings of the Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28, 1998