Stefan Blom
Stefan Blom
Email verificata su utwente.nl
TitoloCitata daAnno
µCRL: A toolset for analysing algebraic specifications
S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol
International Conference on Computer Aided Verification, 250-254, 2001
2212001
LTSmin: Distributed and symbolic reachability
S Blom, J van de Pol, M Weber
International Conference on Computer Aided Verification, 354-359, 2010
1342010
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J van de Pol, S Blom, T van Dijk
International Conference on Tools and Algorithms for the Construction and …, 2015
1092015
State space reduction by proving confluence
S Blom, J van de Pol
International Conference on Computer Aided Verification, 596-609, 2002
912002
Cyclic lambda calculi
ZM Ariola, S Blom
International Symposium on Theoretical Aspects of Computer Software, 77-106, 1997
801997
A distributed algorithm for strong bisimulation reduction of state spaces
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7 (1), 74-86, 2005
602005
Distributed branching bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
602003
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
International Symposium on Formal Methods, 127-131, 2014
522014
A database approach to distributed state space generation
S Blom, B Lisser, J Van De Pol, M Weber
Electronic Notes in Theoretical Computer Science 198 (1), 17-32, 2008
512008
Skew confluence and the lambda calculus with letrec
ZM Ariola, S Blom
Annals of pure and applied logic 117 (1-3), 95-168, 2002
502002
Symbolic reachability for process algebras with recursive data types
S Blom, J Van De Pol
International Colloquium on Theoretical Aspects of Computing, 81-95, 2008
442008
Partial t-confluence for efficient state space generation
S Blom
432001
Term Graph Rewriting. Syntax and semantics
SCC Blom
Amsterdam: Vrije Universiteit, 2001
422001
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7 (3), 280-291, 2005
382005
Specification and verification of GPGPU programs
S Blom, M Huisman, M Mihelčić
Science of Computer Programming 95, 376-388, 2014
312014
Distributed Analysis with μCRL: A Compendium of Case Studies
S Blom, JR Calamé, B Lisser, S Orzan, J Pang, J Van De Pol, MT Dashti, ...
International Conference on Tools and Algorithms for the Construction and …, 2007
312007
The VerCors project: Setting up basecamp
A Amighi, S Blom, M Huisman, M Zaharieva-Stojanovski
Proceedings of the sixth workshop on Programming languages meets program …, 2012
302012
A database approach to distributed state space generation
S Blom, B Lisser, J Van De Pol, M Weber
Electronic Notes in Theoretical Computer Science 198 (1), 17-32, 2008
292008
A distributed algorithm for strong bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 68 (4), 523-538, 2002
292002
On the axiomatizability of ready traces, ready simulation, and failure traces
S Blom, W Fokkink, S Nain
International Colloquium on Automata, Languages, and Programming, 109-118, 2003
282003
Il sistema al momento non può eseguire l'operazione. Riprova più tardi.
Articoli 1–20