Marieke Huisman
Contact Expert

View Scopus Profile

Marieke Huisman

prof.dr.

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

Research activity per year

Search results

  • 2002

    Compositional Verification of Secure Applet Interactions

    Barthe, G., Gurov, D. & Huisman, M., 2002, Fundamental Approaches to Software Engineering, 5th International Conference, FASE 2002, held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002, Proceedings. Kutsche, R.-D. & Weber, H. (eds.). Springer, p. 15-32 18 p. (Lecture Notes in Computer Science; vol. 2306).

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

    Open Access
    File
    11 Citations (Scopus)
    10 Downloads (Pure)

  • Extending JML Specifications with Temporal Logic

    Trentelman, K. & Huisman, M., 2002, Algebraic Methodology and Software Technology, 9th International Conference, AMAST 2002, Saint-Gilles-les-Bains, Reunion Island, France, September 9-13, 2002, Proceedings. Kirchner, H. & Ringeissen, C. (eds.). Springer, p. 334-348 15 p. (Lecture Notes in Computer Science; vol. 2422).

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

    35 Citations (Scopus)

  • Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java

    Cataño, N. & Huisman, M., 2002, FME 2002: Formal Methods - Getting IT Right, International Symposium of Formal Methods Europe, Copenhagen, Denmark, July 22-24, 2002, Proceedings. Eriksson, L.-H. & Lindsay, P. A. (eds.). Springer, p. 272-289 18 p. (Lecture Notes in Computer Science; vol. 2391).

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

    30 Citations (Scopus)

  • Verification of java’s abstractcollection class: A case study

    Huisman, M., 2002, Mathematics of Program Construction: 6th International Conference, MPC 2002 Dagstuhl Castle, Germany, July 8–10, 2002 Proceedings. Boiten, E. A. & Möller, B. (eds.). Berlin, Heidelberg: Springer, p. 175-194 (Lecture Notes in Computer Science; vol. 2386).

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

    9 Citations (Scopus)
    1 Downloads (Pure)
  • 2001

    A case study in class library verification: Java's vector class

    Huisman, M., Jacobs, B. & Berg, J. V. D., 2001, In: International journal on software tools for technology transfer. 3, 3, p. 332-352 21 p.

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

    21 Citations (Scopus)

  • Jakarta: A Toolset for Reasoning about JavaCard

    Barthe, G., Dufay, G., Huisman, M. & Sousa, S. M. D., 2001, Smart Card Programming and Security, International Conference on Research in Smart Cards, E-smart 2001, Cannes, France, September 19-21, 2001, Proceedings. Attali, I. & Jensen, T. P. (eds.). Springer, p. 2-18 17 p. (Lecture Notes in Computer Science; vol. 2140).

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

    15 Citations (Scopus)

  • Reasoning about Java programs in higher order logic using PVS and Isabelle

    Huisman, M., 2001, IPA. 240 p.

    Research output: Thesis › PhD Thesis - Research external, graduation external

    Open Access
    File
    60 Downloads (Pure)
  • 2000

    Inheritance in Higher Order Logic: Modeling and Reasoning

    Huisman, M. & Jacobs, B., 2000, Theorem Proving in Higher Order Logics, 13th International Conference, TPHOLs 2000, Portland, Oregon, USA, August 14-18, 2000, Proceedings. Aagaard, M. & Harrison, J. (eds.). Springer, p. 301-319 19 p. (Lecture Notes in Computer Science; vol. 1869).

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

    12 Citations (Scopus)

  • Java Program Verification via a Hoare Logic with Abrupt Termination

    Huisman, M. & Jacobs, B., 2000, Fundamental Approaches to Software Engineering, Third Internationsl Conference, FASE 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25 - April 2, 2000, Proceedings. Maibaum, T. S. E. (ed.). Springer, p. 284-303 20 p. (Lecture Notes in Computer Science; vol. 1783).

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

    84 Citations (Scopus)
  • 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., 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)

  • 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)

  • 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)