Simona Orzan

Simona Orzan

Fontys University of Applied Sciences - Eindhoven / Netherlands
Natural Sciences / Mathematical Sciences
AD Scientific Index ID: 4439164
Fontys Hogescholen
person_outline Simona Orzan's MOST POPULAR ARTICLES
1-) On distributed verification and verified distribution
2-) Distributed branching bisimulation reduction of state spaces Electronic Notes in Theoretical Computer Science 89 (1), 99-113, 2003
3-) A distributed algorithm for strong bisimulation reduction of state spaces International Journal on Software Tools for Technology Transfer 7, 74-86, 2005
4-) Epistemic verification of anonymity Electronic Notes in Theoretical Computer Science 168, 159-174, 2007
5-) A Framework for Automatically Checking Anonymity with μCRL International Symposium on Trustworthy Global Computing, 301-318, 2006