• 199 Citations
20042010

Research output per year

If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Simona Orzan is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Research Output

  • 199 Citations
  • 13 Conference contribution
  • 4 Report
  • 4 Article
  • 1 Phd Thesis 4 Research NOT TU/e / Graduation NOT TU/e)

Invariants for parameterised Boolean equation systems

Orzan, S. M. & Willemse, T. A. C., 2010, In : Theoretical Computer Science. 411, 11-13, p. 1338-1371

Research output: Contribution to journalArticleAcademicpeer-review

Open Access
  • 4 Citations (Scopus)

    Parameterised anonymity

    Groote, J. F. & Orzan, S. M., 2009, Formal Aspects in Security and Trust (5th International Workshop, FAST 2008, Malaga, Spain, October 9-10, 2008. Revised Selected Papers). Degano, P., Guttman, J. & Martinelli, F. (eds.). Berlin: Springer, p. 177-191 (Lecture Notes in Computer Science; vol. 5491).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    2 Citations (Scopus)
    1 Downloads (Pure)

    Static analysis techniques for parameterised Boolean equation systems

    Orzan, S. M., Wesselink, J. W. & Willemse, T. A. C., 2009, Tools and Algorithms for the Construction and Analysis of Systems (Proceedings 15th International Conference, TACAS 2009, part of ETAPS 2009, York, UK, March 22-29, 2009). Kowalewski, S. & Philippou, A. (eds.). Berlin: Springer, p. 230-245 (Lecture Notes in Computer Science; vol. 5505).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 11 Citations (Scopus)
    2 Downloads (Pure)

    Data failures

    Orzan, S. M. & Torabi Dashti, M., 2008, Distributed Computing (22nd International Symposium, DISC 2008, Arcachon, France, September 22-24, 2008. Proceedings). Taubenfeld, G. (ed.). Berlin: Springer, p. 514-515 (Lecture Notes in Computer Science; vol. 5218).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • Fair exchange is incomparable to consensus

    Orzan, S. M. & Torabi Dashti, M., 2008, Theoretical Aspects of Computing - ICTAC 2008 (5th International Colloquium, Istanbul, Turkey, September 1-3, 2008, Proceedings). Fitzgerald, J. S., Haxthausen, A. E. & Yenigun, H. (eds.). Berlin: Springer, p. 349-363 (Lecture Notes in Computer Science; vol. 5160).

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

  • 1 Citation (Scopus)

    Courses

    Student theses

    Ad-hoc e-voting

    Author: Koenders, F., 31 Aug 2009

    Supervisor: Orzan, S. (Supervisor 1)

    Student thesis: Master

    File

    Verification of security protocols: tool support for update semantics

    Author: Nirmal, S., 31 Aug 2005

    Supervisor: de Vink, E. (Supervisor 1) & Orzan, S. (Supervisor 2)

    Student thesis: Master

    File