Verification of Distributed Dataspace Architectures. - Simona Orzan; Jaco van de Pol (Ershov Memorial Conference, 2003)

Distributed Branching Bisimulation Reduction of State Spaces. - Stefan Blom; Simona Orzan (PDMC@CAV, 2003)

A State Space Distribution Policy Based on Abstract Interpretation. - Simona Orzan; Jaco van de Pol; Miguel Valero Espada (PDMC, 2004)

Multiparty Contract Signing Over a Reliable Network. - Simona Orzan; Erik P. de Vink (STM, 2005)

A distributed algorithm for strong bisimulation reduction of state spaces. - Stefan Blom; Simona Orzan (Int. J. Softw. Tools Technol. Transf., 2005)

Distributed state space minimization. - Stefan Blom; Simona Orzan (Int. J. Softw. Tools Technol. Transf., 2005)

A Framework for Automatically Checking Anonymity with mu CRL. - Tom Chothia; Simona Orzan; Jun Pang 001; Muhammad Torabi Dashti (TGC, 2006)

Epistemic Verification of Anonymity. - Jan van Eijck; Simona Orzan (VODCA@FOSAD, 2006)

Distribution of a Simple Shared Dataspace Architecture. - Simona Orzan; Jaco van de Pol (Fundam. Informaticae, 2006)

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap. - Francien Dechesne; Mohammad Reza Mousavi 001; Simona Orzan (LPAR, 2007)

Distributed Analysis with mu CRL: A Compendium of Case Studies. - Stefan Blom; Jens R. Calamé; Bert Lisser; Simona Orzan; Jun Pang 001; Jaco van de Pol; Muhammad Torabi Dashti; Anton Wijs (TACAS, 2007)

Refinement of Kripke Models for Dynamics. - Francien Dechesne; Simona Orzan; Yanjing Wang 001 (ICTAC, 2008)

Fair Exchange Is Incomparable to Consensus. - Simona Orzan; Muhammad Torabi Dashti (ICTAC, 2008)

Parameterised Anonymity. - Jan Friso Groote; Simona Orzan (Formal Aspects in Security and Trust, 2008)

Data Failures. - Simona Orzan; Muhammad Torabi Dashti (DISC, 2008)

Static Analysis Techniques for Parameterised Boolean Equation Systems. - Simona Orzan; Wieger Wesselink; Tim A. C. Willemse (TACAS, 2009)

Invariants for Parameterised Boolean Equation Systems. - Simona Orzan; Tim A. C. Willemse (Theor. Comput. Sci., 2010)

A mixed data grid approach for systemic city questions. - Tom Langhorst; Simona Orzan; Teade Punter; Bernd-Jan Witkamp (EnvSys@MobiSys, 2023)