Marieke Huisman
Contact Expert

View Scopus Profile

Marieke Huisman

prof.dr.

 https://orcid.org/0000-0003-4467-072X
1998 …2024

Research activity per year

Search results

  • 1999

    A Case Study in Class Library Verification: Java's Vector Class

    Huisman, M., Jacobs, B. & Berg, J. V. D., 1999, Proceedings of the Workshop on Object-Oriented Technology. ACM Publishing, p. 109-110 2 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

  • A Type-Theoretic Memory Model for Verification of Sequential Java Programs

    Berg, J. V. D., Huisman, M., Jacobs, B. & Poll, E., 1999, Recent Trends in Algebraic Development Techniques, 14th International Workshop, WADT '99, Château de Bonas, France, September 15-18, 1999, Selected Papers. Bert, D., Choppy, C. & Mosses, P. D. (eds.). Springer, p. 1-21 21 p. (Lecture Notes in Computer Science; vol. 1827).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    27 Citations (Scopus)
  • 1998

    A comparison of PVS and Isabelle/HOL

    Griffioen, D. & Huisman, M., 1998, Theorem Proving in Higher Order Logics: 11th International Conference, TPHOLs'98, Canberra, Australia, September 27 - October 1, 1998, Proceedings. Grundy, J. & Newey, M. (eds.). Berlin, Heidelberg: Springer, p. 123-142 20 p. (Lecture Notes in Computer Science; vol. 1479).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    19 Citations (Scopus)

  • Reasoning about Java Classes (Preliminary Report)

    Jacobs, B., van den Berg, J., Huisman, M., van Berkum, M., Hensel, U. & Tews, H., Oct 1998, In: SIGPLAN Notices (ACM Special Interest Group on Programming Languages). 33, 10, p. 329-340 12 p.

    Research output: Contribution to journal › Article › Academic › peer-review

    57 Citations (Scopus)

  • Reasoning about Java Classes (Preliminary Report)

    Jacobs, B., Berg, J. V. D., Huisman, M., van Berkum, M., Hensel, U. & Tews, H., 1998, OOPSLA '98: Proceedings of the 13th ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages and Applications, Vancouver, British Columbia, Canada, October 18-22, 1998. Freeman-Benson, B. N. & Chambers, C. (eds.). ACM SIGCOMM, p. 329-340 12 p.

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    13 Downloads (Pure)

  • Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools

    Hensel, U., Huisman, M., Jacobs, B. & Tews, H., 1998, Programming Languages and Systems - ESOP'98, 7th European Symposium on Programming, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS'98, Lisbon, Portugal, March 28 - April 4, 1998, Proceedings. Hankin, C. (ed.). Springer, p. 105-121 17 p. (Lecture Notes in Computer Science; vol. 1381).

    Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic › peer-review

    33 Citations (Scopus)