Simona Orzan
Simona Orzan
freelance technical consultant, Antracit (University ;-))
Verified email at antracit.nl - Homepage
Title
Cited by
Cited by
Year
Distributed branching bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
632003
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
592005
On distributed verification and verified distribution
S Orzan
PhD thesis, Free University of Amsterdam, 2004
582004
On distributed verification and verified distribution
S Orzan
PhD thesis, Free University of Amsterdam, 2004
582004
Epistemic verification of anonymity
J Van Eijck, S Orzan
Electronic Notes in Theoretical Computer Science 168, 159-174, 2007
512007
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
452006
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7 (3), 280-291, 2005
402005
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
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
332005
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
292007
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
282002
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
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
142010
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, 1-15, 2003
92003
Invariants for parameterised boolean equation systems
S Orzan, TAC Willemse
International Conference on Concurrency Theory, 187-202, 2008
72008
Detecting strongly connected components in large distributed state spaces
S Orzan, JC van dePol
Software Engineering [SEN], 2005
72005
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