| Distributed branching bisimulation reduction of state spaces S Blom, S Orzan Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003 | 64 | 2003 |
| On distributed verification and verified distribution S Orzan PhD thesis, Free University of Amsterdam, 2004 | 60 | 2004 |
| On distributed verification and verified distribution S Orzan PhD thesis, Free University of Amsterdam, 2004 | 60 | 2004 |
| 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 | 59 | 2005 |
| Epistemic verification of anonymity J Van Eijck, S Orzan Electronic Notes in Theoretical Computer Science 168, 159-174, 2007 | 51 | 2007 |
| A framework for automatically checking anonymity with μCRL T Chothia, S Orzan, J Pang, MT Dashti International Symposium on Trustworthy Global Computing, 301-318, 2006 | 45 | 2006 |
| Distributed state space minimization S Blom, S Orzan International Journal on Software Tools for Technology Transfer 7 (3), 280-291, 2005 | 40 | 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 | 39 | 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 | 33 | 2005 |
| 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 | 30 | 2007 |
| 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 | 28 | 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 | 23 | 2009 |
| Invariants for parameterised Boolean equation systems S Orzan, TAC Willemse Theoretical Computer Science 411 (11-13), 1338-1371, 2010 | 15 | 2010 |
| 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 |
| 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 International Colloquium on Theoretical Aspects of Computing, 111-125, 2008 | 11 | 2008 |
| Distributed state space minimization S Blom, S Orzan Electronic Notes in Theoretical Computer Science 80, 1-15, 2003 | 10 | 2003 |
| Invariants for parameterised boolean equation systems S Orzan, TAC Willemse International Conference on Concurrency Theory, 187-202, 2008 | 7 | 2008 |
| Detecting strongly connected components in large distributed state spaces S Orzan, JC van dePol Software Engineering [SEN], 2005 | 7 | 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 | 6 | 2003 |
