Marieke Huisman

2007
28	EE	Lilian Burdy, Marieke Huisman, Mariela Pavlova: Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode. FASE 2007: 215-229
27	EE	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	EE	Marieke Huisman, Pratik Worah, Kim Sunesen: A Temporal Logic Characterisation of Oservational Determinism. CSFW 2006: 3
24	EE	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	EE	Marieke Huisman, Kerry Trentelman: Factorising Temporal Specifications. CATS 2005: 87-96
21	EE	Dilian Gurov, Marieke Huisman: Interface Abstraction for Compositional Verificatio. SEFM 2005: 414-424
20	EE	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	EE	Alessandro Coglio, Marieke Huisman, Joseph Kiniry, Peter Müller, Erik Poll: Formal Techniques for Java-Like Programs (FTfJP). ECOOP Workshops 2004: 76-83
17	EE	Marieke Huisman, Dilian Gurov, Christoph Sprenger, Gennady Chugunov: Checking Absence of Illicit Applet Interactions: A Case Study. FASE 2004: 84-98
16	EE	Christoph Sprenger, Dilian Gurov, Marieke Huisman: Compositional verification for secure loading of smart card applets. MEMOCODE 2004: 211-222
15	EE	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	EE	Néstor Cataño, Marieke Huisman: CHASE: A Static Checker for JML's Assignable Clause. VMCAI 2003: 26-40
2002
13	EE	Kerry Trentelman, Marieke Huisman: Extending JML Specifications with Temporal Logic. AMAST 2002: 334-348
12	EE	Gilles Barthe, Dilian Gurov, Marieke Huisman: Compositional Verification of Secure Applet Interactions. FASE 2002: 15-32
11	EE	Néstor Cataño, Marieke Huisman: Formal Specification and Static Checking of Gemplus' Electronic Purse Using ESC/Java. FME 2002: 272-289
10	EE	Marieke Huisman: Verification of Java's AbstractCollection Class: A Case Study. MPC 2002: 175-194
2001
9	EE	Gilles Barthe, Guillaume Dufay, Marieke Huisman, Simão Melo de Sousa: Jakarta: A Toolset for Reasoning about JavaCard. E-smart 2001: 2-18
8	EE	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	EE	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	EE	Ulrich Hensel, Marieke Huisman, Bart Jacobs, Hendrik Tews: Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools. ESOP 1998: 105-121
2	EE	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	Gilles Barthe	[9] [12] [19] [23] [24] [26]
2	Joachim van den Berg	[2] [4] [5] [8]
3	Martijn van Berkum	[2]
4	Cees-Bart Breunesse	[20]
5	Lilian Burdy	[19] [23] [24] [28]
6	Néstor Cataño	[11] [14] [20]
7	Julien Charles	[24]
8	Gennady Chugunov	[17]
9	Alessandro Coglio	[18]
10	Guillaume Dufay	[9]
11	Benjamin Grégoire	[24] [26]
12	W. O. David Griffioen	[1]
13	Dilian Gurov	[12] [16] [17] [21]
14	Ulrich Hensel	[3]
15	Bart Jacobs	[2] [3] [4] [5] [6] [7] [8] [20]
16	Thomas P. Jensen	[15]
17	Joseph Kiniry (Joseph R. Kiniry)	[18]
18	Jean-Louis Lanet	[19] [23] [24] [26]
19	Peter Müller	[18]
20	Traian Muntean	[23]
21	Mariela Pavlova	[19] [24] [28]
22	Erik Poll	[4] [18]
23	Antoine Requet	[24]
24	Simão Melo de Sousa	[9]
25	Fausto Spoto	[27]
26	Christoph Sprenger	[16] [17]
27	Kim Sunesen	[25]
28	Hendrik Tews	[3]
29	Kerry Trentelman	[13] [22]
30	Pratik Worah	[25]

Colors in the list of coauthors