| On distributed verification and verified distribution SM Orzan Vrije Universiteit Amsterdam, 2004 | 80 | 2004 |
| On distributed verification and verified distribution SM Orzan Vrije Universiteit Amsterdam, 2004 | 80 | 2004 |
| Distributed branching bisimulation reduction of state spaces S Blom, S Orzan Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003 | 74 | 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 | 67 | 2005 |
| Epistemic verification of anonymity J Van Eijck, S Orzan Electronic Notes in Theoretical Computer Science 168, 159-174, 2007 | 59 | 2007 |
| Distributed state space minimization S Blom, S Orzan International Journal on Software Tools for Technology Transfer 7, 280-291, 2005 | 48 | 2005 |
| 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 | 47 | 2007 |
| Operational and epistemic approaches to protocol analysis: Bridging the gap F Dechesne, MR Mousavi, S Orzan Logic for Programming, Artificial Intelligence, and Reasoning: 14th …, 2007 | 42 | 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 | 39 | 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, ... Tools and Algorithms for the Construction and Analysis of Systems: 13th …, 2007 | 33 | 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 | 33 | 2002 |
| Static analysis techniques for parameterised Boolean equation systems S Orzan, W Wesselink, TAC Willemse Tools and Algorithms for the Construction and Analysis of Systems: 15th …, 2009 | 22 | 2009 |
| Distributed state space minimization S Blom, S Orzan Electronic Notes in Theoretical Computer Science 80, 109-123, 2003 | 16 | 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 |
| 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 |
| Invariants for parameterised Boolean equation systems S Orzan, TAC Willemse Theoretical Computer Science 411 (11-13), 1338-1371, 2010 | 14 | 2010 |
| Refinement of kripke models for dynamics F Dechesne, S Orzan, Y Wang Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008 | 11 | 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 | 7 | 2003 |
| 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 |
Stefan BlomUniversity of TwenteGeverifieerd e-mailadres voor utwente.nl
