Marieke Huisman

prof.dr.

19982021

Research activity per year

If you made any changes in Pure these will be visible here soon.

Search results

  • 2006

    A Temporal Logic Characterisation of Observational Determinism

    Huisman, M., Worah, P. & Sunesen, K., 2006, 19th IEEE Computer Security Foundations Workshop, (CSFW-19 2006), 5-7 July 2006, Venice, Italy. IEEE Computer Society Press, 1 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    53 Citations (Scopus)
  • Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers

    Barthe, G. (ed.), Grégoire, B. (ed.), Huisman, M. (ed.) & Lanet, J-L. (ed.), 2006, Springer. (Lecture Notes in Computer Science; vol. 3956)

    Research output: Book/ReportBook editingAcademic

  • JACK - A Tool for Validation of Security and Behaviour of Java Applications

    Barthe, G., Burdy, L., Charles, J., Grégoire, B., Huisman, M., Lanet, J-L., Pavlova, M. & Requet, A., 2006, Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Boer, F. S. D., Bonsangue, M. M., Graf, S. & Roever, W. P. D. (eds.). Springer, p. 152-174 23 p. (Lecture Notes in Computer Science; vol. 4709).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    20 Citations (Scopus)
  • 2005

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

    Barthe, G. (ed.), Burdy, L. (ed.), Huisman, M. (ed.), Lanet, J-L. (ed.) & Muntean, T. (ed.), 2005, Springer. (Lecture Notes in Computer Science; vol. 3362)

    Research output: Book/ReportBook editingAcademic

  • Factorising Temporal Specifications

    Huisman, M. & Trentelman, K., 2005, Theory of Computing 2005, Eleventh CATS 2005, Computing: The Australasian Theory Symposium, Newcastle, NSW, Australia, January/February 2005. Atkinson, M. D. & Dehne, F. K. H. A. (eds.). Australian Computer Society, p. 87-96 10 p. (Conferences in Research and Practice in Information Technology; vol. 41).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Open Access
    File
    2 Downloads (Pure)
  • Formal methods for smart cards: an experience report

    Breunesse, C-B., Cataño, N., Huisman, M. & Jacobs, B., 2005, In: Science of computer programming. 55, 1-3, p. 53-80 28 p.

    Research output: Contribution to journalArticleAcademicpeer-review

    Open Access
    File
    24 Citations (Scopus)
    6 Downloads (Pure)
  • Interface Abstraction for Compositional Verification

    Gurov, D. & Huisman, M., 2005, Third IEEE International Conference on Software Engineering and Formal Methods (SEFM 2005), 7-9 September 2005, Koblenz, Germany. Aichernig, B. K. & Beckert, B. (eds.). Piscataway, NJ: IEEE Computer Society Press, p. 414-424 11 p. (IEEE International Conference on Software Engineering and Formal Methods (SEFM); vol. 2005).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    3 Citations (Scopus)
  • 2004

    Checking Absence of Illicit Applet Interactions: A Case Study

    Huisman, M., Gurov, D., Sprenger, C. & Chugunov, G., 2004, Fundamental Approaches to Software Engineering, 7th International Conference, FASE 2004, Held as Part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2004 Barcelona, Spain, March 29 - april 2, 2004, Proceedings. Wermelinger, M. & Margaria, T. (eds.). Springer, p. 84-98 15 p. (Lecture Notes in Computer Science; vol. 2984).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    21 Citations (Scopus)
  • Compositional verification for secure loading of smart card applets

    Sprenger, C., Gurov, D. & Huisman, M., 2004, 2nd ACM IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE 2004), 23-25 June 2004, San Diego, California, USA, Proceedings. IEEE Computer Society Press, p. 211-222 12 p.

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    6 Citations (Scopus)
  • Enforcing High-Level Security Properties for Applets

    Pavlova, M., Barthe, G., Burdy, L., Huisman, M. & Lanet, J-L., 2004, Smart Card Research and Advanced Applications VI, IFIP 18th World Computer Congress, TC8/WG8.8 TC11/WG11.2 Sixth International Conference on Smart Card Research and Advanced Applications (CARDIS), 22-27 August 2004, Toulouse, France. Quisquater, J-J., Paradinas, P., Deswarte, Y. & Kalam, A. A. E. (eds.). Springer, p. 1-16 16 p. (IFIP International Federation for Information Processing book series; vol. 153).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    12 Citations (Scopus)
  • Formal Techniques for Java-Like Programs (FTfJP)

    Coglio, A., Huisman, M., Kiniry, J., Müller, P. & Poll, E., 2004, Object-Oriented Technology: ECOOP 2004 Workshop Reader, ECOOP 2004 Workshops, Oslo, Norway, June 14-18, 2004, Final Reports. Malenfant, J. & Østvold, B. M. (eds.). Springer, p. 76-83 8 p. (Lecture Notes in Computer Science; vol. 3344).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    1 Citation (Scopus)
  • Guest editors' introduction: Special issue on Formal Methods for Smart Cards

    Huisman, M. & Jensen, T. P., 2004, In: Journal of logic and algebraic programming. 58, 1-2, p. 1-2 2 p.

    Research output: Contribution to journalArticleAcademic

    Open Access
    File
    2 Downloads (Pure)
  • 2003

    CHASE: A Static Checker for JML's Assignable Clause

    Cataño, N. & Huisman, M., 2003, Verification, Model Checking, and Abstract Interpretation, 4th International Conference, VMCAI 2003, New York, NY, USA, January 9-11, 2002, Proceedings. Zuck, L. D., Attie, P. C., Cortesi, A. & Mukhopadhyay, S. (eds.). Springer, p. 26-40 15 p. (Lecture Notes in Computer Science; vol. 2575).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    27 Citations (Scopus)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    11 Citations (Scopus)
    1 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 proceedingConference contributionAcademicpeer-review

    32 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 proceedingConference contributionAcademicpeer-review

    29 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 proceedingConference contributionAcademicpeer-review

    8 Citations (Scopus)
  • 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 journalArticleAcademicpeer-review

    20 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 proceedingConference contributionAcademicpeer-review

    15 Citations (Scopus)
  • Reasoning about Java programs in higher order logic using PVS and Isabelle

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

    Research output: ThesisPhD Thesis - Research external, graduation external

    Open Access
    File
    2 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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-review

    79 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 proceedingConference contributionAcademicpeer-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 proceedingConference contributionAcademicpeer-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. C. (eds.). Springer, Vol. 1479. p. 123-142 20 p. (Lecture Notes in Computer Science; vol. 1479).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    19 Citations (Scopus)
  • Reasoning about Java Classes (Preliminary Report)

    Jacobs, B., Berg, J. V. D., Huisman, M. & Berkum, M. V., 1998, Proceedings of the 1998 ACM SIGPLAN Conference on Object-Oriented Programming Systems, Languages Applications (OOPSLA '98), 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    55 Citations (Scopus)
    2 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 proceedingConference contributionAcademicpeer-review

    33 Citations (Scopus)