Marieke Huisman

prof.dr.

1998 …2024

Research activity per year

Search results

  • 2012

    A history of BlockingQueues

    Zaharieva-Stojanovski, M., Huisman, M. & Blom, S., 19 Sept 2012, Proceedings Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software (FLACOS 2012). Pace, G. J. & Ravn, A. P. (eds.). London: EPTCS, p. 31-35 5 p. (Electronic Proceedings in Theoretical Computer Science; vol. 94).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademic

    Open Access
    File
    81 Downloads (Pure)
  • Confidentiality for Probabilistic Multi-Threaded Programs and Its Verification

    Ngo, M. T., Stoelinga, M. & Huisman, M., 12 Dec 2012, Enschede: Centre for Telematics and Information Technology (CTIT). 19 p. (CTIT Technical Report Series; no. TR-CTIT-13-01)

    Research output: Book/ReportReportProfessional

    Open Access
    File
    153 Downloads (Pure)
  • On the organisation of program verification competitions

    Huisman, M., Klebanov, V. & Monahan, R., Jun 2012, 1st International Workshop on Comparative Empirical Evaluation of Reasoning Systems (COMPARE 2012). Klebanov, V., Beckert, B., Biere, A. & Sutcliffe, G. (eds.). Aachen: Sun SITE Central Europe, p. 50-59 10 p. (CEUR-WS Proceedings; vol. 873).

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

    File
    6 Citations (Scopus)
    56 Downloads (Pure)
  • Scheduler-Specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification

    Huisman, M. & Ngo, M. T., 2012, 2nd International Conference on Formal Verification of Object-Oriented Software (FoVeOOS 2011), Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin: Springer, p. 178-195 18 p. (Lecture Notes in Computer Science; vol. 7421).

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

    File
    10 Citations (Scopus)
    57 Downloads (Pure)
  • Sound Control-Flow Graph Extraction for Java Programs with Exceptions

    Amighi, A., de Carvalho Gomes, P., Gurov, D. & Huisman, M., Oct 2012, 10th International Conference on Software Engineering and Formal Methods (SEFM 2012). Eleftherakis, G., Hinchey, M. & Holcombe, M. (eds.). Berlin: Springer, p. 33-47 15 p. (Lecture Notes in Computer Science; vol. 7504).

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

    File
    12 Citations (Scopus)
    76 Downloads (Pure)
  • The COST IC0701 Verification Competition 2011

    Bormer, T., Brockschmidt, M., Distefano, D., Ernst, G., Filliâtre, J-C., Grigore, R., Huisman, M., Klebanov, V., Marché, C., Monahan, R., Mostowski, W., Poiikarpova, N., Scheben, C., Schellhorn, G., Tofan, B., Tschannen, J. & Ulbrich, M., 2012, Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2011, Turin, Italy, October 5-7, 2011, Revised Selected Papers. Beckert, B., Damiani, F. & Gurov, D. (eds.). Berlin, Heidelberg: Springer, p. 3-21 19 p. (Lecture Notes in Computer Science; vol. 7421).

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

    Open Access
    File
    23 Citations (Scopus)
    51 Downloads (Pure)
  • The VerCors Project: Setting Up Basecamp

    Amighi, A., Blom, S., Huisman, M. & Zaharieva, M., 24 Jan 2012, Sixth Workshop Programming Languages meets Program Verification (PLPV 2012). New York: Association for Computing Machinery, p. 71-82 12 p.

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

    13 Citations (Scopus)
    10 Downloads (Pure)
  • 2011

    Model-checking Secure Information Flow for Multi-Threaded Programs

    Huisman, M. & Blondeel, H-C., Mar 2011, Proceedings of the Joint Workshop on Theory of Security and Applications, TOSCA 2011. Mödersheim, S. & Palamadessi, C. (eds.). Berlin: Springer, p. 148-165 18 p. (Lecture Notes in Computer Science; vol. 6993).

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

    File
    5 Citations (Scopus)
    101 Downloads (Pure)
  • On the Interplay of Exception Handling and Design by Contract: An Aspect-Oriented Recovery Approach

    Rebelo, H., Coelho, R., Lima, R., Leavens, G. T., Huisman, M., Mota, A. & Castor, F., 26 Jul 2011, Proceedings of the 13th Workshop on Formal Techniques for Java-like Programs, FTfJP 2011. Freund, S. (ed.). New York: Association for Computing Machinery, p. 7:1-7:6 6 p.

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

    4 Citations (Scopus)
    13 Downloads (Pure)
  • Permission-Based Separation Logic for Multithreaded Java Programs

    Haack, C., Huisman, M. & Hurlin, C., 2011, In: Nieuwsbrief van de Nederlandse Vereniging voor Theoretische Informatica. 15, p. 13-23 11 p.

    Research output: Contribution to journalArticleAcademic

    Open Access
    File
    99 Downloads (Pure)
  • ProMoVer: Modular Verification of Temporal Safety Properties.

    Soleimanifard, S., Gurov, D. & Huisman, M., Nov 2011, Proceedings of the 9th International Conference on Software Engineering and Formal Methods (SEFM 2011). Barthe, G., Pardo, A. & Schneider, G. (eds.). Berlin: Springer, p. 366-381 16 p. (Lecture Notes in Computer Science; vol. 7041).

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

    5 Citations (Scopus)
    6 Downloads (Pure)
  • Provably Correct Control-Flow Graphs from Java Programs with Exceptions

    Amighi, A., de Carvalho Gomes, P. & Huisman, M., Oct 2011, Papers the of 2nd International Conference on Formal Verification of Object-Oriented Software, FoVeOOS'11. Karlsruhe: Karlsruhe Institute of Technology, p. 31-48 18 p. (Karlsruhe Reports in Informatics; vol. 26, no. 26).

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

    File
    331 Downloads (Pure)
  • Scheduler-specific Confidentiality for Multi-Threaded Programs and Its Logic-Based Verification

    Huisman, M. & Ngo, M. T., 6 Oct 2011, Enschede: Centre for Telematics and Information Technology (CTIT). 21 p. (CTIT Technical Report Series; no. TR-CTIT-11-22)

    Research output: Book/ReportReportProfessional

    File
    173 Downloads (Pure)
  • 2010

    CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties

    Huisman, M. & Gurov, D., 2010, Formal Verification of Object-Oriented Software: International Conference, FoVeOOS 2010, Paris, France, June 28-30, 2010, Revised Selected Papers. Beckert, B. & Marche, C. (eds.). Berlin, Heidelberg: Springer, p. 107-121 15 p. (Lecture Notes in Computer Science; vol. 6528).

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

    Open Access
    File
    9 Citations (Scopus)
    53 Downloads (Pure)
  • Procedure-Modular Verification of Control Flow Safety Properties

    Soleimanifard, S., Gurov, D. & Huisman, M., 2010, 12th Workshop on Formal Techniques for Java-like Programs, FTfJP 2010. New York: Association for Computing Machinery, p. 5:1-5:7 7 p.

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

    File
    3 Citations (Scopus)
    148 Downloads (Pure)
  • 2009

    A Formal Connection between Security Automata and JML Annotations

    Huisman, M. & Tamalet, A., 2009, Fundamental Approaches to Software Engineering. Checkik, M. & Wirsing, M. (eds.). Berlin: Springer, p. 340-354 15 p. 10.1007/978-3-642-00593-0_23. (Lecture Notes in Computer Science; vol. 5503).

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

    4 Citations (Scopus)
  • BML and Related Tools

    Chrząszcz, J., Huisman, M. & Schubert, A., 2009, Formal Methods for Components and Objects. de Boer, F. S., Bonsangue, M. M. & Madelaine, E. (eds.). London: Springer, p. 278-297 20 p. 10.1007/978-3-642-04167-9_14. (Lecture Notes in Computer Science; vol. 5751).

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

    4 Citations (Scopus)
    28 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

    Open Access
    File
    1 Citation (Scopus)
    21 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 proceedingConference contributionAcademic

    12 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-review

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

    6 Citations (Scopus)
    2 Downloads (Pure)
  • 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 journalArticleAcademicpeer-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 proceedingConference contributionAcademicpeer-review

    10 Citations (Scopus)
    4 Downloads (Pure)
  • Reasoning about Java's Reentrant Locks

    Haack, C., Huisman, M. & Hurlin, C., 1 Sept 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 proceedingConference contributionAcademicpeer-review

    30 Citations (Scopus)
    1 Downloads (Pure)
  • 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 proceedingConference contributionAcademic

    Open Access
    File
    10 Downloads (Pure)
  • 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 proceedingConference contributionAcademicpeer-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, 1 p.

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

    60 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
    17 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)
    49 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, 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

    4 Citations (Scopus)
    8 Downloads (Pure)
  • 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, 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
    24 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)
    5 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

    33 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

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

    9 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

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

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