dblp.uni-trier.dewww.uni-trier.de

Simona Orzan

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2009
20EESimona Orzan, Wieger Wesselink, Tim A. C. Willemse: Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS 2009: 230-245
2008
19EESimona Orzan, Tim A. C. Willemse: Invariants for Parameterised Boolean Equation Systems. CONCUR 2008: 187-202
18EESimona Orzan, Muhammad Torabi Dashti: Data Failures. DISC 2008: 514-515
17EEJan Friso Groote, Simona Orzan: Parameterised Anonymity. Formal Aspects in Security and Trust 2008: 177-191
16EEFrancien Dechesne, Simona Orzan, Yanjing Wang: Refinement of Kripke Models for Dynamics. ICTAC 2008: 111-125
15EESimona Orzan, Muhammad Torabi Dashti: Fair Exchange Is Incomparable to Consensus. ICTAC 2008: 349-363
2007
14EEFrancien Dechesne, Mohammad Reza Mousavi, Simona Orzan: Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR 2007: 226-241
13EEStefan Blom, Jens R. Calame, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs: Distributed Analysis with mu CRL: A Compendium of Case Studies. TACAS 2007: 683-689
12EEJan van Eijck, Simona Orzan: Epistemic Verification of Anonymity. Electr. Notes Theor. Comput. Sci. 168: 159-174 (2007)
2006
11EETom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
10EESimona Orzan, Erik P. de Vink: Multiparty Contract Signing Over a Reliable Network. Electr. Notes Theor. Comput. Sci. 157(3): 27-41 (2006)
9EESimona Orzan, Jaco van de Pol: Distribution of a Simple Shared Dataspace Architecture. Fundam. Inform. 73(4): 535-559 (2006)
2005
8EESimona Orzan, Jaco van de Pol, Miguel Valero Espada: A State Space Distribution Policy Based on Abstract Interpretation. Electr. Notes Theor. Comput. Sci. 128(3): 35-45 (2005)
7EEStefan Blom, Simona Orzan: A distributed algorithm for strong bisimulation reduction of state spaces. STTT 7(1): 74-86 (2005)
6EEStefan Blom, Simona Orzan: Distributed state space minimization. STTT 7(3): 280-291 (2005)
2003
5EESimona Orzan, Jaco van de Pol: Verification of Distributed Dataspace Architectures. Ershov Memorial Conference 2003: 192-206
4EESimona Orzan, Jaco van de Pol: Distribution of a Simple Shared Dataspace Architecture. Electr. Notes Theor. Comput. Sci. 68(3): (2003)
3EEStefan Blom, Simona Orzan: Distributed State Space Minimization. Electr. Notes Theor. Comput. Sci. 80: (2003)
2EEStefan Blom, Simona Orzan: Distributed Branching Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 89(1): (2003)
2002
1EEStefan Blom, Simona Orzan: A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Electr. Notes Theor. Comput. Sci. 68(4): (2002)

Coauthor Index

1Stefan Blom [1] [2] [3] [6] [7] [13]
2Jens R. Calame [13]
3Tom Chothia [11]
4Muhammad Torabi Dashti [11] [13] [15] [18]
5Francien Dechesne [14] [16]
6Jan van Eijck [12]
7Miguel Valero Espada [8]
8Jan Friso Groote [17]
9Bert Lisser [13]
10Mohammad Reza Mousavi [14]
11Jun Pang [11] [13]
12Jaco van de Pol [4] [5] [8] [9] [13]
13Erik P. de Vink [10]
14Yanjing Wang [16]
15Wieger Wesselink [20]
16Anton Wijs [13]
17Tim A. C. Willemse [19] [20]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)