Παρακολούθηση
Simona Orzan
Simona Orzan
Fontys University of Applied Sciences
Η διεύθυνση ηλεκτρονικού ταχυδρομείου έχει επαληθευτεί στον τομέα fontys.nl
Τίτλος
Παρατίθεται από
Παρατίθεται από
Έτος
On distributed verification and verified distribution
SM Orzan
912004
Distributed branching bisimulation reduction of state spaces
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
762003
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
702005
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
Trustworthy Global Computing: Second Symposium, TGC 2006, Lucca, Italy …, 2007
492007
Distributed state space minimization
S Blom, S Orzan
International Journal on Software Tools for Technology Transfer 7, 280-291, 2005
482005
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
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
352007
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
352005
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
342002
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
262009
Invariants for parameterised Boolean equation systems
S Orzan, TAC Willemse
Theoretical Computer Science 411 (11-13), 1338-1371, 2010
172010
Distributed state space minimization
S Blom, S Orzan
Electronic Notes in Theoretical Computer Science 80, 109-123, 2003
172003
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
SM Orzan, JC van de Pol
Centrum voor Wiskunde en Informatica, 2005
92005
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
A state space distributed policy based on abstract interpretation
S Orzan, J van de Pol, M Espada
ENTCS 128, 35-45, 0
7
Invariants for parameterised boolean equation systems
S Orzan, TAC Willemse
International Conference on Concurrency Theory, 187-202, 2008
62008
Parameterised anonymity
JF Groote, S Orzan
International Workshop on Formal Aspects in Security and Trust, 177-191, 2008
32008
Δεν είναι δυνατή η εκτέλεση της ενέργειας από το σύστημα αυτή τη στιγμή. Προσπαθήστε ξανά αργότερα.
Άρθρα 1–20