Stefan Blom

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

Coauthor Index

1	Zena M. Ariola	[2] [5] [17]
2	Jens R. Calame	[21]
3	Muhammad Torabi Dashti	[21]
4	Thomas Deiß	[19]
5	Wan Fokkink	[3] [11]
6	Jan Friso Groote	[3] [9] [16]
7	Natalia Ioustinova	[12] [18] [19]
8	Ari Kontio	[19]
9	Izak van Langevelde	[3] [8] [9]
10	Bert Lisser	[3] [8] [9] [21]
11	Sjouke Mauw	[16]
12	Sumit Nain	[11]
13	Simona Orzan	[4] [7] [10] [14] [15] [21]
14	Jun Pang	[21]
15	Jaco van de Pol	[3] [6] [9] [18] [19] [21]
16	Axel Rennoch	[18] [19]
17	Alexander Serebrenik	[16]
18	Natalia Sidorova	[12] [18] [19]
19	Anton Wijs	[21]

Colors in the list of coauthors