Volgen
Stefan Blom
Stefan Blom
Geverifieerd e-mailadres voor utwente.nl
Titel
Geciteerd door
Geciteerd door
Jaar
µCRL: A toolset for analysing algebraic specifications
S Blom, W Fokkink, JF Groote, I Van Langevelde, B Lisser, J Van de Pol
Computer Aided Verification: 13th International Conference, CAV 2001 Paris …, 2001
2252001
LTSmin: high-performance language-independent model checking
G Kant, A Laarman, J Meijer, J Van de Pol, S Blom, T Van Dijk
Tools and Algorithms for the Construction and Analysis of Systems: 21st …, 2015
1732015
LTSmin: Distributed and Symbolic Reachability
S Blom, J van de Pol, M Weber
Computer Aided Verification: 22nd International Conference, CAV 2010 …, 2010
1442010
State space reduction by proving confluence
S Blom, J van de Pol
Computer Aided Verification: 14th International Conference, CAV 2002 …, 2002
942002
Cyclic lambda calculi
ZM Ariola, S Blom
Theoretical Aspects of Computer Software: Third International Symposium …, 1997
841997
The VerCors tool for verification of concurrent programs
S Blom, M Huisman
FM 2014: Formal Methods: 19th International Symposium, Singapore, May 12-16 …, 2014
832014
The VerCors tool set: verification of parallel and concurrent software
S Blom, S Darabi, M Huisman, W Oortwijn
Integrated Formal Methods: 13th International Conference, IFM 2017, Turin …, 2017
762017
Distributed branching bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
742003
A distributed algorithm for strong bisimulation reduction of state spaces
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 74-86, 2005
672005
Skew confluence and the lambda calculus with letrec
ZM Ariola, S Blom
Annals of pure and applied logic 117 (1-3), 95-168, 2002
552002
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
522008
Specification and verification of GPGPU programs
S Blom, M Huisman, M Mihelčić
Science of Computer Programming 95, 376-388, 2014
512014
Symbolic reachability for process algebras with recursive data types
S Blom, J Van De Pol
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
512008
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 280-291, 2005
482005
Term Graph Rewriting. Syntax and semantics
SCC Blom
452001
Partial -confluence for efficient state space generation
SCC Blom
Software Engineering [SEN], 2001
432001
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
402012
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, ...
Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007
332007
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
332002
On the axiomatizability of ready traces, ready simulation, and failure traces
S Blom, W Fokkink, S Nain
Automata, Languages and Programming: 30th International Colloquium, ICALP …, 2003
322003
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20