| On distributed verification and verified distribution SM Orzan | 91 | 2004 |
| Distributed branching bisimulation reduction of state spaces S Blom, S Orzan Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003 | 76 | 2003 |
| 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 | 70 | 2005 |
| Epistemic verification of anonymity J Van Eijck, S Orzan Electronic Notes in Theoretical Computer Science 168, 159-174, 2007 | 58 | 2007 |
| A Framework for Automatically Checking Anonymity with μCRL T Chothia, S Orzan, J Pang, M Torabi Dashti Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy
, 2007 | 49 | 2007 |
| Distributed state space minimization S Blom, S Orzan International Journal on Software Tools for Technology Transfer 7, 280-291, 2005 | 48 | 2005 |
| Operational and epistemic approaches to protocol analysis: Bridging the gap F Dechesne, MR Mousavi, S Orzan International Conference on Logic for Programming Artificial Intelligence
, 2007 | 43 | 2007 |
| 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 | 35 | 2007 |
| A state space distribution policy based on abstract interpretation S Orzan, J van de Pol, MV Espada Electronic Notes in Theoretical Computer Science 128 (3), 35-45, 2005 | 35 | 2005 |
| 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 | 34 | 2002 |
| Static analysis techniques for parameterised Boolean equation systems S Orzan, W Wesselink, TAC Willemse International Conference on Tools and Algorithms for the Construction and
, 2009 | 26 | 2009 |
| Invariants for parameterised Boolean equation systems S Orzan, TAC Willemse Theoretical Computer Science 411 (11-13), 1338-1371, 2010 | 17 | 2010 |
| Distributed state space minimization S Blom, S Orzan Electronic Notes in Theoretical Computer Science 80, 109-123, 2003 | 17 | 2003 |
| Modelling the epistemics of communication with functional programming J van Eijck, S Orzan Sixth Symposium on Trends in Functional Programming TFP 5, 44-59, 2005 | 15 | 2005 |
| Refinement of kripke models for dynamics F Dechesne, S Orzan, Y Wang Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium
, 2008 | 10 | 2008 |
| Detecting strongly connected components in large distributed state spaces SM Orzan, JC van de Pol Centrum voor Wiskunde en Informatica, 2005 | 9 | 2005 |
| Distribution of a simple shared dataspace architecture S Orzan, J van de Pol Electronic Notes in Theoretical Computer Science 68 (3), 371-388, 2003 | 7 | 2003 |
| A state space distributed policy based on abstract interpretation S Orzan, J van de Pol, M Espada ENTCS 128, 35-45, 0 | 7 | |
| Invariants for parameterised boolean equation systems S Orzan, TAC Willemse International Conference on Concurrency Theory, 187-202, 2008 | 6 | 2008 |
| Parameterised anonymity JF Groote, S Orzan International Workshop on Formal Aspects in Security and Trust, 177-191, 2008 | 3 | 2008 |
Stefan BlomUniversity of TwentePatvirtintas el. paštas utwente.nl
