BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Canada
1 × Denmark
1 × Greece
1 × Singapore
1 × Spain
1 × Uruguay
2 × France
2 × Germany
2 × Italy
2 × Portugal
2 × USA
3 × United Kingdom
Collaborated with:
D.Gurov S.Blom M.Zaharieva-Stojanovski N.Cataño B.Jacobs A.Amighi S.Darabi T.M.Ngo A.Tamalet W.Mostowski S.Soleimanifard L.Burdy M.Pavlova G.Barthe P.d.C.Gomes C.Sprenger G.Chugunov U.Hensel H.Tews J.v.d.Berg M.v.Berkum
Talks about:
program (9) verif (9) java (6) concurr (4) specif (4) formal (3) secur (3) class (3) ver (3) behaviour (2)

Person: Marieke Huisman

DBLP DBLP: Huisman:Marieke

Facilitated 1 volumes:

FASE 2017Ed

Contributed to:

FASE 20152015
SEFM 20152015
FASE 20142014
FM 20142014
PDP 20142014
SFM 20142014
QAPL 20132013
SEFM 20122012
SEFM 20112011
FASE 20092009
VMCAI 20092009
FASE 20072007
SEFM 20052005
FASE 20042004
VMCAI 20032003
FASE 20022002
FME 20022002
FASE 20002000
ESOP 19981998
OOPSLA 19981998
PPDP 20172017

Wrote 22 papers:

FASE-2015-BlomDH #verification
Verification of Loop Parallelisations (SB, SD, MH), pp. 202–217.
SEFM-2015-AmighiDBH #source code #specification #verification
Specification and Verification of Atomic Operations in GPGPU Programs (AA, SD, SB, MH), pp. 69–83.
SEFM-2015-BlomHZ #behaviour #concurrent #functional #source code #verification
History-Based Verification of Functional Behaviour of Concurrent Programs (SB, MH, MZS), pp. 84–98.
FASE-2014-Zaharieva-StojanovskiH #concurrent #invariant #source code #verification
Verifying Class Invariants in Concurrent Programs (MZS, MH), pp. 230–245.
FM-2014-BlomH #concurrent #source code #verification
The VerCors Tool for Verification of Concurrent Programs (SB, MH), pp. 127–131.
PDP-2014-AmighiBHMZ #java #specification
Formal Specifications for Java’s Synchronisation Classes (AA, SB, MH, WM, MZS), pp. 725–733.
SFM-2014-AmighiBDHMZ #concurrent #verification
Verification of Concurrent Systems with VerCors (AA, SB, SD, MH, WM, MZS), pp. 172–216.
QAPL-2013-NgoH #analysis #concurrent #multi #security #source code #thread
Quantitative Security Analysis for Multi-threaded Programs (TMN, MH), pp. 34–48.
SEFM-2012-AmighiGGH #control flow #exception #graph #java #source code
Sound Control-Flow Graph Extraction for Java Programs with Exceptions (AA, PdCG, DG, MH), pp. 33–47.
SEFM-2011-SoleimanifardGH #composition #named #safety #verification
ProMoVer: Modular Verification of Temporal Safety Properties (SS, DG, MH), pp. 366–381.
FASE-2009-HuismanT #automaton #ml #security
A Formal Connection between Security Automata and JML Annotations (MH, AT), pp. 340–354.
VMCAI-2009-GurovH #behaviour #source code
Reducing Behavioural to Structural Properties of Programs with Procedures (DG, MH), pp. 136–150.
FASE-2007-BurdyHP #behaviour #bytecode #design #interface #java #specification
Preliminary Design of BML: A Behavioral Interface Specification Language for Java Bytecode (LB, MH, MP), pp. 215–229.
SEFM-2005-GurovH #abstraction #composition #interface
Interface Abstraction for Compositional Verificatio (DG, MH), pp. 414–424.
FASE-2004-HuismanGSC #case study #interactive
Checking Absence of Illicit Applet Interactions: A Case Study (MH, DG, CS, GC), pp. 84–98.
VMCAI-2003-CatanoH #ml #named #static analysis
CHASE: A Static Checker for JML’s Assignable Clause (NC, MH), pp. 26–40.
FASE-2002-BartheGH #composition #interactive #verification
Compositional Verification of Secure Applet Interactions (GB, DG, MH), pp. 15–32.
FME-2002-CatanoH #java #specification #static analysis #using
Formal Specification and Static Checking of Gemplus’ Electronic Purse Using ESC/Java (NC, MH), pp. 272–289.
FASE-2000-HuismanJ #hoare #java #logic #termination #verification
Java Program Verification via a Hoare Logic with Abrupt Termination (MH, BJ), pp. 284–303.
ESOP-1998-HenselHJT #logic #modelling #object-oriented #tool support
Reasonong about Classess in Object-Oriented Languages: Logical Models and Tools (UH, MH, BJ, HT), pp. 105–121.
OOPSLA-1998-JacobsBHB #java #reasoning
Reasoning about Java Classes (BJ, JvdB, MH, MvB), pp. 329–340.
PPDP-2017-Huisman #parallel #source code #verification
A verification technique for deterministic parallel programs (MH), p. 3.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.