2008 |
25 | EE | Stefan Blom,
Jaco van de Pol:
Symbolic Reachability for Process Algebras with Recursive Data Types.
ICTAC 2008: 81-95 |
24 | EE | 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) |
23 | EE | 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) |
22 | EE | 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) |
2007 |
21 | EE | 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 |
20 | EE | Stefan Blom:
Lifting Infinite Normal Form Definitions From Term Rewriting to Term Graph Rewriting.
Electr. Notes Theor. Comput. Sci. 72(1): 17-29 (2007) |
2006 |
19 | EE | 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 |
18 | EE | 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 |
17 | EE | Zena M. Ariola,
Stefan Blom:
Skew and omega-Skew Confluence and Abstract Böhm Semantics.
Processes, Terms and Cycles 2005: 368-403 |
16 | EE | 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) |
15 | EE | Stefan Blom,
Simona Orzan:
A distributed algorithm for strong bisimulation reduction of state spaces.
STTT 7(1): 74-86 (2005) |
14 | EE | Stefan Blom,
Simona Orzan:
Distributed state space minimization.
STTT 7(3): 280-291 (2005) |
2004 |
13 | EE | Stefan Blom:
An Approximation Based Approach to Infinitary Lambda Calculi.
RTA 2004: 221-232 |
2003 |
12 | EE | Stefan Blom,
Natalia Ioustinova,
Natalia Sidorova:
Timed Verification with µCRL.
Ershov Memorial Conference 2003: 178-192 |
11 | EE | Stefan Blom,
Wan Fokkink,
Sumit Nain:
On the Axiomatizability of Ready Traces, Ready Simulation, and Failure Traces.
ICALP 2003: 109-118 |
10 | EE | Stefan Blom,
Simona Orzan:
Distributed State Space Minimization.
Electr. Notes Theor. Comput. Sci. 80: (2003) |
9 | EE | 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: (2003) |
8 | EE | Stefan Blom,
Izak van Langevelde,
Bert Lisser:
Compressed and Distributed File Formats for Labeled Transition Systems.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
7 | EE | Stefan Blom,
Simona Orzan:
Distributed Branching Bisimulation Reduction of State Spaces.
Electr. Notes Theor. Comput. Sci. 89(1): (2003) |
2002 |
6 | EE | Stefan Blom,
Jaco van de Pol:
State Space Reduction by Proving Confluence.
CAV 2002: 596-609 |
5 | | Zena M. Ariola,
Stefan Blom:
Skew confluence and the lambda calculus with letrec.
Ann. Pure Appl. Logic 117(1-3): 95-168 (2002) |
4 | EE | Stefan Blom,
Simona Orzan:
A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces.
Electr. Notes Theor. Comput. Sci. 68(4): (2002) |
2001 |
3 | EE | 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 |
1997 |
2 | | Zena M. Ariola,
Stefan Blom:
Cyclic Lambda Calculi.
TACS 1997: 77-106 |
1995 |
1 | | Stefan Blom:
A Complete Proof System for Nested Term Graphs.
HOA 1995: 74-89 |