MPG.eBooks - Author Search Results

Marieke Huisman

Marieke Huisman (born 3 May 1973, Utrecht, Netherlands) 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. Provided by Wikipedia

Cover Image

1

Concise Guide to Software Verification : From Model Checking to Annotation Checking

by Huisman, Marieke, Wijs, Anton
Published 2023

Springer International Publishing

Cover Image

2

Integrated Formal Methods : 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings

Published 2016

Springer International Publishing

Other Authors: “...Huisman, Marieke...”

Cover Image

3

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...

Published 2018

Springer International Publishing

Other Authors: “...Huisman, Marieke...”

Cover Image

4

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...

Published 2018

Springer International Publishing

Other Authors: “...Huisman, Marieke...”

Cover Image

5

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...

Published 2023

Springer Nature Switzerland

Other Authors: “...Huisman, Marieke...”

Cover Image

6

Fundamental Approaches to Software Engineering : 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS...

Published 2017

Springer Berlin Heidelberg

Other Authors: “...Huisman, Marieke...”

Cover Image

7

Formal Methods for Industrial Critical Systems : 27th International Conference, FMICS 2022, Warsaw, Poland, September 14–15, 2022, Proceedings

Published 2022

Springer International Publishing

Other Authors: “...Huisman, Marieke...”

Cover Image

8

Formal Methods : 24th International Symposium, FM 2021, Virtual Event, November 20–26, 2021, Proceedings

Published 2021

Springer International Publishing

Other Authors: “...Huisman, Marieke...”

Cover Image

9

Tools and Algorithms for the Construction and Analysis of Systems : 25 Years of TACAS: TOOLympics, Held as Part of ETAPS 2019, Prague, Czech Republic, April 6–11, 2019, Proceedings...

Published 2019

Springer International Publishing

Other Authors: “...Huisman, Marieke...”

Cover Image

10

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

Published 2006

Springer Berlin Heidelberg

Other Authors: “...Huisman, Marieke...”

Cover Image

11

Construction and Analysis of Safe, Secure, and Interoperable Smart Devices : International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers

Published 2005

Springer Berlin Heidelberg

Other Authors: “...Huisman, Marieke...”