Marieke Huisman

2009
33	EE	Marieke Huisman, Alejandro Tamalet: A Formal Connection between Security Automata and JML Annotations. FASE 2009: 340-354
32	EE	Dilian Gurov, Marieke Huisman: Reducing Behavioural to Structural Properties of Programs with Procedures. VMCAI 2009: 136-150
2008
31	EE	Christian Haack, Marieke Huisman, Clément Hurlin: Reasoning about Java's Reentrant Locks. APLAS 2008: 171-187
30	EE	Marieke Huisman, Irem Aktug, Dilian Gurov: Program Models for Compositional Verification. ICFEM 2008: 147-166
29	EE	Dilian Gurov, Marieke Huisman, Christoph Sprenger: Compositional verification of sequential programs with procedures. Inf. Comput. 206(7): 840-868 (2008)
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	Irem Aktug	[30]
2	Gilles Barthe	[9] [12] [19] [23] [24] [26]
3	Joachim van den Berg	[2] [4] [5] [8]
4	Martijn van Berkum	[2]
5	Cees-Bart Breunesse	[20]
6	Lilian Burdy	[19] [23] [24] [28]
7	Néstor Cataño	[11] [14] [20]
8	Julien Charles	[24]
9	Gennady Chugunov	[17]
10	Alessandro Coglio	[18]
11	Guillaume Dufay	[9]
12	Benjamin Grégoire	[24] [26]
13	W. O. David Griffioen	[1]
14	Dilian Gurov	[12] [16] [17] [21] [29] [30] [32]
15	Christian Haack	[31]
16	Ulrich Hensel	[3]
17	Clément Hurlin	[31]
18	Bart Jacobs	[2] [3] [4] [5] [6] [7] [8] [20]
19	Thomas P. Jensen	[15]
20	Joseph Kiniry (Joseph R. Kiniry)	[18]
21	Jean-Louis Lanet	[19] [23] [24] [26]
22	Peter Müller	[18]
23	Traian Muntean	[23]
24	Mariela Pavlova	[19] [24] [28]
25	Erik Poll	[4] [18]
26	Antoine Requet	[24]
27	Simão Melo de Sousa	[9]
28	Fausto Spoto	[27]
29	Christoph Sprenger	[16] [17] [29]
30	Kim Sunesen	[25]
31	Alejandro Tamalet	[33]
32	Hendrik Tews	[3]
33	Kerry Trentelman	[13] [22]
34	Pratik Worah	[25]

Colors in the list of coauthors