dblp.uni-trier.dewww.uni-trier.de

Stefan Blom

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

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

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)