Παρακολούθηση
Simona Orzan
Simona Orzan
Fontys University of Applied Sciences
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fontys.nl
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit Amsterdam, 2004
852004
On distributed verification and verified distribution
SM Orzan
Vrije Universiteit Amsterdam, 2004
852004
Distributed branching bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
772003
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
682005
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
492005
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
International Conference on Logic for Programming Artificial Intelligence …, 2007
432007
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, ...
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
332002
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
Invariants for parameterised Boolean equation systems
S Orzan, TAC Willemse
Theoretical Computer Science 411 (11-13), 1338-1371, 2010
162010
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
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
S Orzan, JC van dePol
Software Engineering [SEN], 2005
82005
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
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20