Simona Orzan

Publication Activity (10 Years)

Years Active: 2002-2023
Publications (10 Years): 1

Top Topics

Storage Systems

Fault Tolerance

Top Venues

Publications

Tom Langhorst, Simona Orzan, Teade Punter, Bernd-Jan Witkamp
A mixed data grid approach for systemic city questions. EnvSys@MobiSys (2023)
Simona Orzan, Tim A. C. Willemse
Invariants for Parameterised Boolean Equation Systems. Theor. Comput. Sci. 411 (11-13) (2010)
Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
Static Analysis Techniques for Parameterised Boolean Equation Systems. TACAS (2009)
Francien Dechesne, Simona Orzan, Yanjing Wang
Refinement of Kripke Models for Dynamics. ICTAC (2008)
Simona Orzan, Muhammad Torabi Dashti
Data Failures. DISC (2008)
Simona Orzan, Muhammad Torabi Dashti
Fair Exchange Is Incomparable to Consensus. ICTAC (2008)
Simona Orzan, Tim A. C. Willemse
Invariants for Parameterised Boolean Equation Systems. CONCUR (2008)
Jan Friso Groote, Simona Orzan
Parameterised Anonymity. Formal Aspects in Security and Trust (2008)
Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. LPAR (2007)
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
CRL: A Compendium of Case Studies. TACAS (2007)
Jan van Eijck, Simona Orzan
Epistemic Verification of Anonymity. Electron. Notes Theor. Comput. Sci. 168 (2007)
Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti
CRL. TGC (2006)
Simona Orzan, Jaco van de Pol
Distribution of a Simple Shared Dataspace Architecture. Fundam. Informaticae 73 (4) (2006)
Simona Orzan, Erik P. de Vink
Multiparty Contract Signing Over a Reliable Network. Electron. Notes Theor. Comput. Sci. 157 (3) (2006)
Stefan Blom, Simona Orzan
Distributed state space minimization. Int. J. Softw. Tools Technol. Transf. 7 (3) (2005)
Stefan Blom, Simona Orzan
A distributed algorithm for strong bisimulation reduction of state spaces. Int. J. Softw. Tools Technol. Transf. 7 (1) (2005)
Simona Orzan, Jaco van de Pol, Miguel Valero Espada
A State Space Distribution Policy Based on Abstract Interpretation. Electron. Notes Theor. Comput. Sci. 128 (3) (2005)
Simona Orzan, Jaco van de Pol
Verification of Distributed Dataspace Architectures. Ershov Memorial Conference (2003)
Stefan Blom, Simona Orzan
Distributed Branching Bisimulation Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 89 (1) (2003)
Simona Orzan, Jaco van de Pol
Distribution of a Simple Shared Dataspace Architecture. Electron. Notes Theor. Comput. Sci. 68 (3) (2003)
Stefan Blom, Simona Orzan
Distributed State Space Minimization. Electron. Notes Theor. Comput. Sci. 80 (2003)
Stefan Blom, Simona Orzan
A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces. Electron. Notes Theor. Comput. Sci. 68 (4) (2002)