Simona Orzan
Simona Orzan
freelance technical consultant, Antracit (University ;-))
Verified email at antracit.nl - Homepage
TitleCited byYear
Distributed branching bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
592003
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
582005
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit, 2004
562004
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit, 2004
562004
Epistemic verification of anonymity
J Van Eijck, S Orzan
Electronic Notes in Theoretical Computer Science 168, 159-174, 2007
542007
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
482006
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
392007
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7 (3), 280-291, 2005
382005
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
322005
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
312007
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
292002
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
222009
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
Invariants for parameterised Boolean equation systems
S Orzan, TAC Willemse
Theoretical Computer Science 411 (11-13), 1338-1371, 2010
122010
Refinement of kripke models for dynamics
F Dechesne, S Orzan, Y Wang
International Colloquium on Theoretical Aspects of Computing, 111-125, 2008
112008
Distributed state space minimization
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 80, 109-123, 2003
112003
Detecting strongly connected components in large distributed state spaces
S Orzan, JC van dePol
Software Engineering [SEN], 2005
82005
Invariants for parameterised boolean equation systems
S Orzan, TAC Willemse
International Conference on Concurrency Theory, 187-202, 2008
72008
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