Author Publications

2013

Amighi, Afshin and Blom, Stefan and Huisman, Marieke (2013) Resource protection using atomics: patterns and verifications. [Report]

2012

Amighi, Afshin and Blom, Stefan and Huisman, Marieke and Zaharieva-Stojanovski, Marina (2012) The VerCors Project: Setting Up Basecamp. In: Sixth Workshop Programming Languages meets Program Verification, PLPV 2012, 24 January 2012, Philadelphia, PA, USA.

Zaharieva-Stojanovski, Marina and Huisman, Marieke and Blom, Stefan (2012) A history of BlockingQueues. In: Sixth Workshop on Formal Languages and Analysis of Contract-Oriented Software, FLACOS 2012, 19 September 2012, Bertinoro, Italy.

2010

Blom, Stefan and Pol van de, Jaco and Weber, Michael (2010) LTSmin: Distributed and Symbolic Reachability. In: 22nd International Conference on Computer Aided Verification, CAV 2010, 15-19 July 2010, Edinburgh, UK.

Blom, Stefan and Kant, Gijs and Rensink, Arend (2010) Distributed graph-based state space generation. Electronic Communications of the EASST, 32 . ISSN 1863-2122

2009

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2009) A Database Approach to Distributed State-Space Generation. Journal of Logic and Computation, 21 (1). pp. 45-62. ISSN 0955-792X

Blom, Stefan and Pol van de, Jaco (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. [Report]

Blom, Stefan and Pol van de, Jaco (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. In: 8th International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2009, 4 November 2009, Eindhoven, The Netherlands.

Blom, Stefan and Pol van de, Jaco and Weber, Michael (2009) Bridging the Gap between Enumerative and Symbolic Model Checkers. [Report]

Ketema, Jeroen and Blom, Stefan and Aoto, Takahito and Simonsen, Jakob Grue (2009) Rewriting Transfinite Terms. In: Liber Amicorum for Roel de Vrijer. Lulu, Raleigh, NC, pp. 129-144.

2008

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol van de, Jaco and Rennoch, Axel and Sidorova, Natalia (2008) Simulated time for host-based testing with TTCN-3. Software Testing, Verification and Reliability, 18 (1). pp. 29-49. ISSN 0960-0833

Blom, Stefan and Haverkort, Boudewijn R. and Kuntz, Matthias and Pol van de, Jaco (2008) Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electronic Notes in Theoretical Computer Science, 220 (2). pp. 35-50. ISSN 1571-0661

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2008) A Database Approach to Distributed State Space Generation. Electronic Notes in Theoretical Computer Science, 198 (1). pp. 17-32. ISSN 1571-0661

Blom, Stefan and Pol van de, Jaco (2008) Symbolic Reachability for Process Algebras with Recursive Data Types. In: 5th International Colloquium on Theoretical Aspects of Computing, ICTAC 2008, 1-3 September 2008, Istanbul, Turkey.

2007

Blom, Stefan and Calamé, Jens R. and Lisser, Bert and Orzan, Simona and Pang, Jun and Pol van de, Jaco and Torabi Dashti, Mohammad and Wijs, Anton J. (2007) Distributed Analysis with µCRL: a Compendium of Case Studies. In: 13th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS 2007, 24 March - 01 April 2007, Braga, Portugal.

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol van de, Jaco and Rennoch, Axel and Sidorova, Natalia (2007) TTCN-3 for Distributed Testing Embedded Software. In: 6th International Andrei Ershov Memorial Conference on Perspectives of Systems Informatics, PSI 2006, 27-30 June 2006, Novosibirsk, Russia.

Blom, Stefan and Lisser, Bert and Pol van de, Jaco and Weber, Michael (2007) A Database Approach to Distributed State Space Generation. In: Sixth International Workshop on Parallel and Distributed Methods in verifiCation, PDMC 2007, 8 July 2007, Berlin, Germany.