Author Publications

Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Date | Item Type
Jump to: 2014 | 2013 | 2012 | 2010 | 2009 | 2008 | 2007
Number of items: 22.

2014

Guck, Dennis and Timmer, Mark and Blom, Stefan (2014) Extending Markov Automata with State and Action Rewards. In: 12th Workshop on Quantitative Aspects of Programming Languages and Systems, QAPL 2014, 12-13 April 2014, Grenoble, France.

2013

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

Amighi, Afshin and Blom, Stefan and Huisman, Marieke and Mostowski, Wojciech and Zaharieva-Stojanovski, Marina (2013) Formal specifications for Java’s synchronisation classes. [Report]

Blom, Stefan and Huisman, Marieke (2013) Witnessing the elimination of magic wands. [Report]

Blom, Stefan and Huisman, Marieke and Mihelcic, Matej (2013) Specification and verification of GPGPU programs. [Report]

Blom, Stefan and Kiniry, Joseph and Huisman, Marieke (2013) How do developers use APIs? A case study in concurrency. In: 18th International Conference on Engineering of Complex Computer Systems, ICECCS 2013, 17-19 July 2013, Singapore (pp. pp. 212-221).

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 (pp. pp. 71-82).

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 (pp. pp. 31-35).

2010

Blom, Stefan and Pol, Jaco van de 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 (pp. pp. 354-359).

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, Jaco van de 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, Jaco van de (2009) Distributed Branching Bisimulation Minimization by Inductive Signatures. [Report]

Blom, Stefan and Pol, Jaco van de (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 (pp. pp. 32-46).

Blom, Stefan and Pol, Jaco van de 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, Jaco van de 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, Jaco van de (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, Jaco van de 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, Jaco van de (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 (pp. pp. 81-95).

2007

Blom, Stefan and Calamé, Jens R. and Lisser, Bert and Orzan, Simona and Pang, Jun and Pol, Jaco van de 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 (pp. pp. 683-689).

Blom, Stefan and Deiß, Thomas and Ioustinova, Natalia and Kontio, Ari and Pol, Jaco van de 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 (pp. pp. 98-111).

Blom, Stefan and Lisser, Bert and Pol, Jaco van de 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 (pp. pp. 17-32).

This list was generated on Fri Jul 25 05:16:14 2014 CEST.