Marieke Huisman

Concise Guide to Software Verific...

Concise Guide to Software Verification

Year unknown Marieke Huisman and Anton Wijs

Construction and Analysis of Safe...

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices

Year unknown Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, and Traian Muntean

Formal Methods

Formal Methods

Year unknown Marieke Huisman, Corina Pasareanu, and Naijun Zhan

Formal Methods for Industrial Cri...

Formal Methods for Industrial Critical Systems

Year unknown Jan Friso Groote and Marieke Huisman

Formal Techniques for Distributed...

Formal Techniques for Distributed Objects, Components, and Systems

Year unknown Marieke Huisman and António Ravara

Fundamental Approaches to Softwar...

Fundamental Approaches to Software Engineering

Year unknown Marieke Huisman and Julia Rubin

Integrated Formal Methods

Year unknown Erika Ábrahám and Marieke Huisman

Proceedings of the 8th Internatio...

Proceedings of the 8th International Workshop on Specification and Verification of Component-Based Systems

Year unknown

Tests and Proofs

Tests and Proofs

Year unknown Marieke Huisman and Falk Howar

Tools and Algorithms for the Construction and Analysis of Systems

Year unknown Dirk Beyer and Marieke Huisman

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS

Year unknown Dirk Beyer, Marieke Huisman, Fabrice Kordon, and Bernhard Steffen