Follow
Simona Orzan
Title
Cited by
Cited by
Year
On distributed verification and verified distribution
SM Orzan
882004
On distributed verification and verified distribution
SM Orzan
882004
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
692005
Epistemic verification of anonymity
J Van Eijck, S Orzan
Electronic Notes in Theoretical Computer Science 168, 159-174, 2007
582007
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 280-291, 2005
502005
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
482007
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
422007
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
352007
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
352005
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
342002
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
252009
Distributed state space minimization
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 80, 109-123, 2003
172003
Invariants for parameterised Boolean equation systems
S Orzan, TAC Willemse
Theoretical Computer Science 411 (11-13), 1338-1371, 2010
162010
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
152005
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
152005
Refinement of kripke models for dynamics
F Dechesne, S Orzan, Y Wang
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
102008
Detecting strongly connected components in large distributed state spaces
SM Orzan, JC van de Pol
Centrum voor Wiskunde en Informatica, 2005
92005
Distribution of a simple shared dataspace architecture
S Orzan, J van de Pol
Electronic Notes in Theoretical Computer Science 68 (3), 371-388, 2003
72003
Distribution of a simple shared dataspace architecture
S Orzan, J van de Pol
Electronic Notes in Theoretical Computer Science 68 (3), 371-388, 2003
72003
The system can't perform the operation now. Try again later.
Articles 1–20