Follow
Simona Orzan
Title
Cited by
Cited by
Year
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit Amsterdam, 2004
772004
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit Amsterdam, 2004
772004
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 (1), 74-86, 2005
652005
Epistemic verification of anonymity
J Van Eijck, S Orzan
Electronic Notes in Theoretical Computer Science 168, 159-174, 2007
582007
A Framework for Automatically Checking Anonymity with ́CRL
T Chothia, S Orzan, J Pang, M Torabi Dashti
International Symposium on Trustworthy Global Computing, 301-318, 2006
472006
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7 (3), 280-291, 2005
462005
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
412007
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
382005
Distributed Analysis with ́CRL: A Compendium of Case Studies
S Blom, JR Calamé, B Lisser, S Orzan, J Pang, J Pol, MT Dashti, AJ Wijs
International Conference on Tools and Algorithms for the Construction and …, 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
322002
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
232009
Invariants for parameterised Boolean equation systems
S Orzan, TAC Willemse
Theoretical Computer Science 411 (11-13), 1338-1371, 2010
152010
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
Distributed state space minimization
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 80, 109-123, 2003
152003
Refinement of kripke models for dynamics
F Dechesne, S Orzan, Y Wang
International Colloquium on Theoretical Aspects of Computing, 111-125, 2008
112008
Detecting strongly connected components in large distributed state spaces
S Orzan, JC van dePol
Software Engineering [SEN], 2005
72005
Invariants for parameterised boolean equation systems
S Orzan, TAC Willemse
International Conference on Concurrency Theory, 187-202, 2008
62008
Distribution of a simple shared dataspace architecture
S Orzan, J van de Pol
Electronic Notes in Theoretical Computer Science 68 (3), 371-388, 2003
62003
The system can't perform the operation now. Try again later.
Articles 1–20