Marieke Huisman
Contact Expert

View Scopus Profile

Marieke Huisman

prof.dr.

 https://orcid.org/0000-0003-4467-072X
19982022

Research activity per year

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

Search results

  • 2009

    Composing Modal Properties of Programs with Procedures

    Huisman, M. & Gurov, D., 2009, Proceedings of the Formal Foundations of Embedded Software and Component-Based Software Architectures (FESCA 2007): 24 March 2007 • Braga, Portugal. Bowles, J. K. F., Poernomo, I. & Reussner, R. (eds.). Elsevier, p. 87-101 15 p. (Electronic Notes in Theoretical Computer Science; vol. 203, no. 7).

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

    Open Access
    File
    1 Citation (Scopus)
    4 Downloads (Pure)

  • Formal Techniques for Java-Like Programs - Report on the 10th Workshop FTfJP at ECOOP 2008

    Albert, E., Banerjee, A., Drossopoulou, S., Huisman, M., Igarashi, A., Leavens, G. T., Müller, P. & Wrigstad, T., 2009, Object-Oriented Technology. ECOOP 2008 Workshop Reader. Eugster, P. (ed.). Berlin: Springer, p. 70-76 7 p. 10.1007/978-3-642-02047-6_8. (Lecture Notes in Computer Science; vol. 5475).

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

  • On the Interplay between the Semantics of Java's Finally Clauses and the JML Run-Time Checker

    Huisman, M., 2009, Proceedings of the 11th International Workshop on Formal Techniques for Java-like Programs. Banerjee, A. (ed.). New York: Association for Computing Machinery, p. 8:1-8:6 6 p. 10.1145/1557898.1557906

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

    File
    2 Citations (Scopus)
    104 Downloads (Pure)

  • Reducing Behavioural to Structural Properties of Programs with Procedures

    Gurov, D. & Huisman, M., 2009, Verification, Model Checking, and Abstract Interpretation. Jones, N. D. & Müller-Olm, M. (eds.). London: Springer, p. 136-150 15 p. 10.1007/978-3-540-93900-9_14. (Lecture Notes in Computer Science; vol. 5403).

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

    6 Citations (Scopus)
  • 2008

    Compositional verification of sequential programs with procedures

    Gurov, D., Huisman, M. & Sprenger, C., 2008, In: Information and computation. 206, 7, p. 840-868 29 p.

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

    18 Citations (Scopus)

  • Program models for compositional verification

    Huisman, M., Aktug, I. & Gurov, D., 2008, 10th International Conference on Formal Engineering Methods. Berlin: Springer, p. 147-166 20 p. 10.1007/978-3-540-88194-0_11. (Lecture Notes in Computer Science; vol. 5256, no. WoTUG-31).

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

    10 Citations (Scopus)

  • Reasoning about Java's Reentrant Locks

    Haack, C., Huisman, M. & Hurlin, C., 1 Sep 2008, The Sixth ASIAN Symposium on Programming Languages and Systems. Ramalingam, G. (ed.). London: Springer, p. 171-187 17 p. 10.1007/978-3-540-89330-1_13. (Lecture Notes in Computer Science; vol. 5356).

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

    29 Citations (Scopus)
  • 2007

    Preface

    Huisman, M. & Spoto, F., 2007, Proceedings of the Second Workshop on Bytecode Semantics, Verification, Analysis and Transformation (Bytecode 2007): 31 March 2007 • Braga, Portugal. Huisman, M. & Spoto, F. (eds.). Elsevier, p. 1-1 (Electronic Notes in Theoretical Computer Science; vol. 190, no. 1).

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

    Open Access
    File

  • Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode

    Burdy, L., Huisman, M. & Pavlova, M., 2007, Fundamental Approaches to Software Engineering, 10th International Conference, FASE 2007, Held as Part of the Joint European Conferences, on Theory and Practice of Software, ETAPS 2007, Braga, Portugal, March 24 - April 1, 2007, Proceedings. Dwyer, M. B. & Lopes, A. (eds.). Springer, p. 215-229 15 p. (Lecture Notes in Computer Science; vol. 4422).

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

    17 Citations (Scopus)
  • 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 proceeding › Conference contribution › Academic › peer-review

    58 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/Report › Book editing › Academic

  • 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 proceeding › Conference contribution › Academic › peer-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/Report › Book editing › Academic

  • 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    5 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 journal › Article › Academic › peer-review

    Open Access
    File
    24 Citations (Scopus)
    26 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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 journal › Article › Academic

    Open Access
    File
    6 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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 proceeding › Conference contribution › Academic › peer-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 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

    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 journal › Article › Academic › peer-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 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
    14 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

    81 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. C. (eds.). Springer, Vol. 1479. 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. & 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 proceeding › Conference contribution › Academic › peer-review

    Open Access
    File
    56 Citations (Scopus)
    6 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)