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: Blom:Stefan
Contributed to:
2015
2015
2015
2014
2014
2014
20102007
2005
2004
200320022001Wrote 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.