Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Stefan Blom
2010 – today
- 2012
[c16]Afshin Amighi, Stefan Blom, Marieke Huisman, Marina Zaharieva-Stojanovski: The VerCors project: setting up basecamp. PLPV 2012: 71-82- [c15]Marina Zaharieva-Stojanovski, Marieke Huisman, Stefan Blom: A History of BlockingQueues. FLACOS 2012: 31-35
- 2011
- [j15]Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State-Space Generation. J. Log. Comput. 21(1): 45-62 (2011)
- 2010
- [j14]Stefan Blom, Gijs Kant, Arend Rensink: Distributed Graph-Based State Space Generation. ECEASST 32 (2010)
- [c14]Stefan Blom, Jaco van de Pol, Michael Weber: LTSmin: Distributed and Symbolic Reachability. CAV 2010: 354-359
2000 – 2009
- 2009
- [c13]Stefan Blom, Jaco van de Pol: Distributed Branching Bisimulation Minimization by Inductive Signatures. PDMC 2009: 32-46
- 2008
- [j13]Stefan Blom, Bert Lisser, Jaco van de Pol, Michael Weber: A Database Approach to Distributed State Space Generation. Electr. Notes Theor. Comput. Sci. 198(1): 17-32 (2008)
- [j12]Stefan Blom, Boudewijn R. Haverkort, Matthias Kuntz, Jaco van de Pol: Distributed Markovian Bisimulation Reduction aimed at CSL Model Checking. Electr. Notes Theor. Comput. Sci. 220(2): 35-50 (2008)
- [j11]Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated time for host-based testing with TTCN-3. Softw. Test., Verif. Reliab. 18(1): 29-49 (2008)
- [c12]Stefan Blom, Jaco van de Pol: Symbolic Reachability for Process Algebras with Recursive Data Types. ICTAC 2008: 81-95
- 2007
- [j10]Stefan Blom: Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting. Electr. Notes Theor. Comput. Sci. 72(1): 17-29 (2007)
- [c11]Stefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
- 2006
- [c10]Stefan Blom, Thomas Deiß, Natalia Ioustinova, Ari Kontio, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: TTCN-3 for Distributed Testing Embedded Software. Ershov Memorial Conference 2006: 98-111
- 2005
- [j9]Stefan Blom, Jan Friso Groote, Sjouke Mauw, Alexander Serebrenik: Analysing the BKE-security Protocol with µCRL. Electr. Notes Theor. Comput. Sci. 139(1): 49-90 (2005)
- [j8]Stefan Blom, Simona Orzan: A distributed algorithm for strong bisimulation reduction of state spaces. STTT 7(1): 74-86 (2005)
- [j7]
- [c9]Zena M. Ariola, Stefan Blom: Skew and omega-Skew Confluence and Abstract Böhm Semantics. Processes, Terms and Cycles 2005: 368-403
- [c8]Stefan Blom, Natalia Ioustinova, Jaco van de Pol, Axel Rennoch, Natalia Sidorova: Simulated Time for Testing Railway Interlockings with TTCN-3. FATES 2005: 1-15
- 2004
- [c7]
- 2003
- [j6]Stefan Blom, Simona Orzan: Distributed State Space Minimization. Electr. Notes Theor. Comput. Sci. 80: 109-123 (2003)
- [j5]Stefan Blom, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: New developments around the mCRL tool set. Electr. Notes Theor. Comput. Sci. 80: 284-288 (2003)
- [j4]Stefan Blom, Izak van Langevelde, Bert Lisser: Compressed and Distributed File Formats for Labeled Transition Systems. Electr. Notes Theor. Comput. Sci. 89(1): 68-83 (2003)
- [j3]Stefan Blom, Simona Orzan: Distributed Branching Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 89(1): 99-113 (2003)
- [c6]Stefan Blom, Natalia Ioustinova, Natalia Sidorova: Timed Verification with µCRL. Ershov Memorial Conference 2003: 178-192
- [c5]Stefan Blom, Wan Fokkink, Sumit Nain: On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces. ICALP 2003: 109-118
- 2002
- [j2]Zena M. Ariola, Stefan Blom: Skew confluence and the lambda calculus with letrec. Ann. Pure Appl. Logic 117(1-3): 95-168 (2002)
- [j1]Stefan Blom, Simona Orzan: A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 68(4): 523-538 (2002)
- [c4]
- 2001
- [c3]Stefan Blom, Wan Fokkink, Jan Friso Groote, Izak van Langevelde, Bert Lisser, Jaco van de Pol: µCRL: A Toolset for Analysing Algebraic Specifications. CAV 2001: 250-254
1990 – 1999
- 1997
- [c2]
- 1995
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2012-11-22 00:38 CET by the dblp team