Volgen
Simona Orzan
Titel
Geciteerd door
Geciteerd door
Jaar
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit Amsterdam, 2004
802004
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit Amsterdam, 2004
802004
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
672005
Epistemic verification of anonymity
J Van Eijck, S Orzan
Electronic Notes in Theoretical Computer Science 168, 159-174, 2007
592007
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 280-291, 2005
482005
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
472007
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
422007
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
392005
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
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
332002
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
222009
Distributed state space minimization
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 80, 109-123, 2003
162003
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
Theoretical Aspects of Computing-ICTAC 2008: 5th International Colloquium …, 2008
112008
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
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20