AboutSign inJoin
User photo

Marieke Huisman

About

Marieke Huisman is a Dutch Computer Scientist and a professor of Software Reliability at the University of Twente, where she leads the Formal Methods and Tools Group.

Books

Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Bernhard Steffen, Dirk Beyer, Fabrice Kordon, Marieke Huisman
Formal Methods
Formal Methods
Marieke Huisman, Corina S. Păsăreanu, Naijun Zhan
Tools and Algorithms for the Construction and Analysis of Systems
Tools and Algorithms for the Construction and Analysis of Systems
Dirk Beyer, Marieke Huisman
Fundamental Approaches to Software Engineering
Fundamental Approaches to Software Engineering
Marieke Huisman, Julia Rubin
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Marieke Huisman, Jean-Louis Lanet, Traian Muntean, Lilian Burdy
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Marieke Huisman, Benjamin Gregoire, Jean-Luis Lanet
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Construction and Analysis of Safe, Secure, and Interoperable Smart Devices
Gilles Barthe, Marieke Huisman, Benjamin Gregoire, Jean-Luis Lanet
Integrated Formal Methods
Integrated Formal Methods
Erika Ábrahám, Marieke Huisman

Join the club

Track what you're reading, see what your friends are into and explore the ideas of the world's greatest authors together.

Download on the App StoreDownload on the Google Play Store
... or sign up right here
Company
  • About
  • Partners
  • Careers
  • Press
  • Legal
  • Privacy
Social
  • Twitter
  • Instagram
  • Facebook
  • TikTok
Support
  • FAQ
  • Changelog
  • Feature ideas
  • API
  • Widget
  • Contact
App
  • iPhone app
  • Android app
Help us
  • Become a Patron
  • Become a Librarian