Concise Guide to Software VerificationMarieke Huisman, Anton Wijs · First published 2023Open the Tome
Formal Techniques for Distributed Objects, Components, and SystemsMarieke Huisman, António Ravara · First published 2023Open the Tome
Formal Methods for Industrial Critical SystemsJan Friso Groote, Marieke Huisman · First published 2022Open the Tome
Regelovertreding en incidenten bij Brzo-bedrijvenMarieke Kluin, Erwin Wiering, Marjan Peeters, Arie Aart Jan Blokland, W. Huisman · First published 2020Open the Tome
Tools and Algorithms for the Construction and Analysis of SystemsDirk Beyer, Marieke Huisman, Fabrice Kordon, Bernhard Steffen · First published 2018 · Latest edition 2019Open the Tome
Fundamental Approaches to Software EngineeringMarieke Huisman, Julia Rubin · First published 2017Open the Tome
Proceedings of the 8th International Workshop on Specification and Verification of Component-Based SystemsMarieke Huisman · First published 2009Open the Tome
Construction and Analysis of Safe, Secure, and Interoperable Smart DevicesGilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean · First published 2005Open the Tome
