BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × France
1 × Germany
1 × Italy
1 × Portugal
1 × Singapore
1 × The Netherlands
5 × United Kingdom
Collaborated with:
M.Huisman J.v.d.Pol S.Darabi M.Zaharieva-Stojanovski A.Amighi W.Fokkink W.Mostowski M.Weber S.Nain B.Lisser N.Ioustinova A.Rennoch N.Sidorova G.Kant A.Laarman J.Meijer T.v.Dijk J.F.Groote I.v.Langevelde J.R.Calame S.Orzan J.Pang M.T.Dashti A.Wijs
Talks about:
verif (5) program (3) concurr (3) specif (3) distribut (2) trace (2) simul (2) readi (2) smin (2) base (2)

Person: Stefan Blom

DBLP DBLP: Blom:Stefan

Contributed to:

FASE 20152015
SEFM 20152015
TACAS 20152015
FM 20142014
PDP 20142014
SFM 20142014
CAV 20102010
TACAS 20072007
FATES 20052005
RTA 20042004
ICALP 20032003
CAV 20022002
CAV 20012001

Wrote 14 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.
TACAS-2015-KantLMPBD #independence #model checking #named
LTSmin: High-Performance Language-Independent Model Checking (GK, AL, JM, JvdP, SB, TvD), pp. 692–707.
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.
CAV-2010-BlomPW #distributed #named #reachability
LTSmin: Distributed and Symbolic Reachability (SB, JvdP, MW), pp. 354–359.
TACAS-2007-BlomCLOPPDW #analysis #case study #distributed
Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.
FATES-2005-BlomIPRS #testing
Simulated Time for Testing Railway Interlockings with TTCN-3 (SB, NI, JvdP, AR, NS), pp. 1–15.
RTA-2004-Blom #approach #approximate #λ-calculus
An Approximation Based Approach to Infinitary λ Calculi (SB), pp. 221–232.
ICALP-2003-BlomFN #axiom #on the #simulation
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces (SB, WF, SN), pp. 109–118.
CAV-2002-BlomP #confluence #proving #reduction
State Space Reduction by Proving Confluence (SB, JvdP), pp. 596–609.
CAV-2001-BlomFGLLP #algebra #named #specification #tool support
µCRL: A Toolset for Analysing Algebraic Specifications (SB, WF, JFG, IvL, BL, JvdP), pp. 250–254.

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.