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: Huisman:Marieke
Facilitated 1 volumes:
EdContributed to:
2015
20152014
2014
2014
2014
2013201220112009
20092007200520042003200220022000
1998
1998
2017Wrote 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.