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 Conferen... von Huisman, Marieke, Ravara, Antonio

Volltext

Tools for the construction and analysis of systems von Beyer, Dirk, Huisman Marieke

Volltext

Formal Methods: 24th International Symposium, FM 2021, Virtual Event, November 20-26, 2021, Proceedings von Huisman, Marieke, Păsăreanu, Corina, Zhan, Naijun

Volltext

VerifyThis 2019: a program verification competition von Dross, Claire, Furia, Carlo A, Huisman, Marieke, Monahan, Rosemary, Müller, Peter

Volltext

Formal Methods for Industrial Critical Systems: 27th International Conference, FMICS 2022, Warsaw, Poland, September 14-15, 2022, Proceedings von Groote, Jan Friso, Huisman, Marieke

Volltext

Preface for the formal methods in system design special issue on ‘Formal Methods 2021’ von Huisman, Marieke, Păsăreanu, Corina S., Zhan, Naijun

Volltext

Specification and verification of GPGPU programs von Blom, Stefan, Huisman, Marieke, Mihelčić, Matej

Volltext

Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings von Ábrahám, Erika, Huisman, Marieke

Volltext

An Abstraction Technique for Verifying Shared-Memory Concurrency von Oortwijn, Wytse, Gurov, Dilian, Huisman, Marieke

Volltext

Formal verification of parallel prefix sum and stream compaction algorithms in CUDA von Safari, Mohsen, Huisman, Marieke

Volltext

Survey of annotation generators for deductive verifiers von Lathouwers, Sophie, Huisman, Marieke

Volltext

Deductive Software Verification: From Pen-and-Paper Proofs to Industrial Tools von Hähnle, Reiner, Huisman, Marieke

Volltext

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... von Beyer, Dirk, Huisman, Marieke

Volltext

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... von Dirk Beyer, Marieke Huisman

Volltext

VerCors & Alpinist: Verification of Optimised GPU Programs: Keynote Talk at the 14th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software von Huisman, Marieke

Volltext

Permission-Based Separation Logic for Multithreaded Java Programs von Haack, Christian, Huisman, Marieke, Hurlin, Clément, Amighi, Afshin

Volltext

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... von Beyer, Dirk, Huisman, Marieke

Volltext

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 Confere... von Huisman, Marieke, Ravara, António

Volltext

Future-based Static Analysis of Message Passing Programs von Oortwijn, Wytse, Blom, Stefan, Huisman, Marieke

Volltext

Verification of Shared-Reading Synchronisers von Amighi, Afshin, Huisman, Marieke, Blom, Stefan

Volltext