Marieke Huisman

	2009
35		Marieke Huisman, Alejandro Tamalet: A Formal Connection between Security Automata and JML Annotations. FASE 2009: 340-354
34		Dilian Gurov, Marieke Huisman: Reducing Behavioural to Structural Properties of Programs with Procedures. VMCAI 2009: 136-150
	2008
33		Christian Haack, Marieke Huisman, Clément Hurlin: Reasoning about Java's Reentrant Locks. APLAS 2008: 171-187
32		Elvira Albert, Anindya Banerjee, Sophia Drossopoulou, Marieke Huisman, Atsushi Igarashi, Gary T. Leavens, Peter Müller, Tobias Wrigstad: Formal Techniques for Java-Like Programs. ECOOP Workshops 2008: 70-76
31		Jacek Chrzaszcz, Marieke Huisman, Aleksy Schubert: BML and Related Tools. FMCO 2008: 278-297
30		Marieke Huisman, Irem Aktug, Dilian Gurov: Program Models for Compositional Verification. ICFEM 2008: 147-166
29		Dilian Gurov, Marieke Huisman, Christoph Sprenger: Compositional verification of sequential programs with procedures. Inf. Comput. 206(7): 840-868 (2008)
	2007
28		Lilian Burdy, Marieke Huisman, Mariela Pavlova: Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE 2007: 215-229
27		Marieke Huisman, Fausto Spoto: Preface. Electr. Notes Theor. Comput. Sci. 190(1): 1 (2007)
	2006
26		Gilles Barthe, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, Second International Workshop, CASSIS 2005, Nice, France, March 8-11, 2005, Revised Selected Papers Springer 2006
25		Marieke Huisman, Pratik Worah, Kim Sunesen: A Temporal Logic Characterisation of Oservational Determinism. CSFW 2006: 3
24		Gilles Barthe, Lilian Burdy, Julien Charles, Benjamin Grégoire, Marieke Huisman, Jean-Louis Lanet, Mariela Pavlova, Antoine Requet: JACK - A Tool for Validation of Security and Behaviour of Java Applications. FMCO 2006: 152-174
	2005
23		Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet, Traian Muntean: Construction and Analysis of Safe, Secure, and Interoperable Smart Devices, International Workshop, CASSIS 2004, Marseille, France, March 10-14, 2004, Revised Selected Papers Springer 2005
22		Marieke Huisman, Kerry Trentelman: Factorising Temporal Specifications. CATS 2005: 87-96
21		Dilian Gurov, Marieke Huisman: Interface Abstraction for Compositional Verificatio. SEFM 2005: 414-424
20		Cees-Bart Breunesse, Néstor Cataño, Marieke Huisman, Bart Jacobs: Formal methods for smart cards: an experience report. Sci. Comput. Program. 55(1-3): 53-80 (2005)
	2004
19		Mariela Pavlova, Gilles Barthe, Lilian Burdy, Marieke Huisman, Jean-Louis Lanet: Enforcing High-Level Security Properties for Applets. CARDIS 2004: 1-16
18		Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
17		Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov: Checking Absence of Illicit Applet Interactions: A Case Study. FASE 2004: 84-98
16		Christoph Sprenger, Dilian Gurov, Marieke Huisman: Compositional verification for secure loading of smart card applets. MEMOCODE 2004: 211-222
15		Marieke Huisman, Thomas P. Jensen: Guest editors' introduction: Special issue on Formal Methods for Smart Cards. J. Log. Algebr. Program. 58(1-2): 1-2 (2004)
	2003
14		Néstor Cataño, Marieke Huisman: CHASE: A Static Checker for JML's Assignable Clause. VMCAI 2003: 26-40
	2002
13		Kerry Trentelman, Marieke Huisman: Extending JML Specifications with Temporal Logic. AMAST 2002: 334-348
12		Gilles Barthe, Dilian Gurov, Marieke Huisman: Compositional Verification of Secure Applet Interactions. FASE 2002: 15-32
11		Néstor Cataño, Marieke Huisman: Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. FME 2002: 272-289
10		Marieke Huisman: Verification of Java's AbstractCollection Class: A Case Study. MPC 2002: 175-194
	2001
9		Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa: Jakarta: A Toolset for Reasoning about JavaCard. E-smart 2001: 2-18
8		Marieke Huisman, Bart Jacobs, Joachim van den Berg: A case study in class library verification: Java's vector class. STTT 3(3): 332-352 (2001)
	2000
7		Marieke Huisman, Bart Jacobs: Java Program Verification via a Hoare Logic with Abrupt Termination. FASE 2000: 284-303
6		Marieke Huisman, Bart Jacobs: Inheritance in Higher Order Logic: Modeling and Reasoning. TPHOLs 2000: 301-319
	1999
5		Marieke Huisman, Bart Jacobs, Joachim van den Berg: A Case Study in Class Library Verification: Java's Vector Class. ECOOP Workshops 1999: 109-110
4		Joachim van den Berg, Marieke Huisman, Bart Jacobs, Erik Poll: A Type-Theoretic Memory Model for Verification of Sequential Java Programs. WADT 1999: 1-21
	1998
3		Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121
2		Bart Jacobs, Joachim van den Berg, Marieke Huisman, Martijn van Berkum: Reasoning about Java Classes (Preliminary Report). OOPSLA 1998: 329-340
1		W. O. David Griffioen, Marieke Huisman: A Comparison of PVS and Isabelle/HOL. TPHOLs 1998: 123-142

Coauthor Index

1	Irem Aktug	[30]
2	Elvira Albert	[32]
3	Anindya Banerjee	[32]
4	Gilles Barthe	[9] [12] [19] [23] [24] [26]
5	Joachim van den Berg	[2] [4] [5] [8]
6	Martijn van Berkum	[2]
7	Cees-Bart Breunesse	[20]
8	Lilian Burdy	[19] [23] [24] [28]
9	Néstor Cataño	[11] [14] [20]
10	Julien Charles	[24]
11	Jacek Chrzaszcz	[31]
12	Gennady Chugunov	[17]
13	Alessandro Coglio	[18]
14	Sophia Drossopoulou	[32]
15	Guillaume Dufay	[9]
16	Benjamin Grégoire	[24] [26]
17	W. O. David Griffioen	[1]
18	Dilian Gurov	[12] [16] [17] [21] [29] [30] [34]
19	Christian Haack	[33]
20	Ulrich Hensel	[3]
21	Clément Hurlin	[33]
22	Atsushi Igarashi	[32]
23	Bart Jacobs	[2] [3] [4] [5] [6] [7] [8] [20]
24	Thomas P. Jensen	[15]
25	Joseph Kiniry (Joseph R. Kiniry)	[18]
26	Jean-Louis Lanet	[19] [23] [24] [26]
27	Gary T. Leavens	[32]
28	Peter Müller	[18] [32]
29	Traian Muntean	[23]
30	Mariela Pavlova	[19] [24] [28]
31	Erik Poll	[4] [18]
32	Antoine Requet	[24]
33	Aleksy Schubert	[31]
34	Simão Melo de Sousa	[9]
35	Fausto Spoto	[27]
36	Christoph Sprenger	[16] [17] [29]
37	Kim Sunesen	[25]
38	Alejandro Tamalet	[35]
39	Hendrik Tews	[3]
40	Kerry Trentelman	[13] [22]
41	Pratik Worah	[25]
42	Tobias Wrigstad	[32]

Colors in the list of coauthors