Simona Orzan - researchr profile publications

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 20 from 20

2009

Static Analysis Techniques for Parameterised Boolean Equation SystemsSimona Orzan, Wieger Wesselink, Tim A. C. Willemse. TACAS 2009: 230-245 [doi]

2008

2007

2006

A Framework for Automatically Checking Anonymity with ::::mu:::: CRLTom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti. tgc 2007: 301-318 [doi]

Multiparty Contract Signing Over a Reliable NetworkSimona Orzan, Erik P. de Vink. ENTCS, 157(3):27-41, 2006. [doi]

Distribution of a Simple Shared Dataspace ArchitectureSimona Orzan, Jaco van de Pol. FUIN, 73(4):535-559, 2006. [doi]

2005

Distributed state space minimizationStefan Blom, Simona Orzan. STTT, 7(3):280-291, 2005. [doi]

A distributed algorithm for strong bisimulation reduction of state spacesStefan Blom, Simona Orzan. STTT, 7(1):74-86, 2005. [doi]

A State Space Distribution Policy Based on Abstract InterpretationSimona Orzan, Jaco van de Pol, Miguel Valero Espada. ENTCS, 128(3):35-45, 2005. [doi]

2003

Distributed State Space MinimizationStefan Blom, Simona Orzan. ENTCS, 80:109-123, 2003. [doi]

Distributed Branching Bisimulation Reduction of State SpacesStefan Blom, Simona Orzan. ENTCS, 89(1):99-113, 2003. [doi]

Verification of Distributed Dataspace ArchitecturesSimona Orzan, Jaco van de Pol. ershov 2003: 192-206 [doi]

Distribution of a Simple Shared Dataspace ArchitectureSimona Orzan, Jaco van de Pol. ENTCS, 68(3):371-388, 2003. [doi]

2002

A Distributed Algorithm for Strong Bisimulation Reduction of State SpacesStefan Blom, Simona Orzan. ENTCS, 68(4):523-538, 2002. [doi]

Sign in or sign up to see more results.

runs on WebDSL