Marieke Huisman

	2012
40		Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski: The VerCors project: setting up basecamp. PLPV 2012: 71-82
	2011
39		Siavash Soleimanifard, Dilian Gurov, Marieke Huisman: ProMoVer: Modular Verification of Temporal Safety Properties. SEFM 2011: 366-381
38		Marieke Huisman, Henri-Charles Blondeel: Model-Checking Secure Information Flow for Multi-threaded Programs. TOSCA 2011: 148-165
	2010
37		Marieke Huisman, Dilian Gurov: CVPP: A Tool Set for Compositional Verification of Control-Flow Safety Properties. FoVeOOS 2010: 107-121
	2009
36		Marieke Huisman, Alejandro Tamalet: A Formal Connection between Security Automata and JML Annotations. FASE 2009: 340-354
35		Dilian Gurov, Marieke Huisman: Reducing Behavioural to Structural Properties of Programs with Procedures. VMCAI 2009: 136-150
34		Marieke Huisman, Dilian Gurov: Composing Modal Properties of Programs with Procedures. Electr. Notes Theor. Comput. Sci. 203(7): 87-101 (2009)
	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 Observational 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	Afshin Amighi	[40]
4	Anindya Banerjee	[32]
5	Gilles Barthe	[9] [12] [19] [23] [24] [26]
6	Joachim van den Berg	[2] [4] [5] [8]
7	Martijn van Berkum	[2]
8	Stefan Blom	[40]
9	Henri-Charles Blondeel	[38]
10	Cees-Bart Breunesse	[20]
11	Lilian Burdy	[19] [23] [24] [28]
12	Néstor Cataño	[11] [14] [20]
13	Julien Charles	[24]
14	Jacek Chrzaszcz	[31]
15	Gennady Chugunov	[17]
16	Alessandro Coglio	[18]
17	Sophia Drossopoulou	[32]
18	Guillaume Dufay	[9]
19	Benjamin Grégoire	[24] [26]
20	W. O. David Griffioen	[1]
21	Dilian Gurov	[12] [16] [17] [21] [29] [30] [34] [35] [37] [39]
22	Christian Haack	[33]
23	Ulrich Hensel	[3]
24	Clément Hurlin	[33]
25	Atsushi Igarashi	[32]
26	Bart Jacobs	[2] [3] [4] [5] [6] [7] [8] [20]
27	Thomas P. Jensen	[15]
28	Joseph Kiniry (Joseph R. Kiniry)	[18]
29	Jean-Louis Lanet	[19] [23] [24] [26]
30	Gary T. Leavens	[32]
31	Peter Müller	[18] [32]
32	Traian Muntean	[23]
33	Mariela Pavlova	[19] [24] [28]
34	Erik Poll	[4] [18]
35	Antoine Requet	[24]
36	Aleksy Schubert	[31]
37	Siavash Soleimanifard	[39]
38	Simão Melo de Sousa	[9]
39	Fausto Spoto	[27]
40	Christoph Sprenger	[16] [17] [29]
41	Kim Sunesen	[25]
42	Alejandro Tamalet	[36]
43	Hendrik Tews	[3]
44	Kerry Trentelman	[13] [22]
45	Pratik Worah	[25]
46	Tobias Wrigstad	[32]
47	Marina Zaharieva-Stojanovski	[40]

Colors in the list of coauthors

Last update Sat Jun 2 20:57:36 2012 CET by the DBLP Team — Data released under the ODC-BY 1.0 license — See also our legal information page