Simona Orzan

According to our database, Simona Orzan authored at least 18 papers between 2003 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

A mixed data grid approach for systemic city questions.

Tom Langhorst, Simona Orzan, Teade Punter, Bernd-Jan Witkamp

Proceedings of the 1st International Workshop on Advances in Environmental Sensing Systems for Smart Cities, 2023

2010

Invariants for Parameterised Boolean Equation Systems.

Simona Orzan, Tim A. C. Willemse

Theor. Comput. Sci., 2010

2009

Static Analysis Techniques for Parameterised Boolean Equation Systems.

Simona Orzan, Wieger Wesselink, Tim A. C. Willemse

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008

Data Failures.

Simona Orzan, Muhammad Torabi Dashti

Proceedings of the Distributed Computing, 22nd International Symposium, 2008

Parameterised Anonymity.

Jan Friso Groote, Simona Orzan

Proceedings of the Formal Aspects in Security and Trust, 5th International Workshop, 2008

Fair Exchange Is Incomparable to Consensus.

Simona Orzan, Muhammad Torabi Dashti

Proceedings of the Theoretical Aspects of Computing, 2008

Refinement of Kripke Models for Dynamics.

Francien Dechesne, Simona Orzan, Yanjing Wang

Proceedings of the Theoretical Aspects of Computing, 2008

2007

Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.

Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.

Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan

Proceedings of the Logic for Programming, 2007

2006

Distribution of a Simple Shared Dataspace Architecture.

Simona Orzan, Jaco van de Pol

Fundam. Informaticae, 2006

Epistemic Verification of Anonymity.

Jan van Eijck, Simona Orzan

Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

A Framework for Automatically Checking Anonymity with <i>mu</i> CRL.

Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti

Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005

Distributed state space minimization.

Stefan Blom, Simona Orzan

Int. J. Softw. Tools Technol. Transf., 2005

A distributed algorithm for strong bisimulation reduction of state spaces.

Stefan Blom, Simona Orzan

Int. J. Softw. Tools Technol. Transf., 2005

Multiparty Contract Signing Over a Reliable Network.

Simona Orzan, Erik P. de Vink

Proceedings of the First International Workshop on Security and Trust Management, 2005

2004

A State Space Distribution Policy Based on Abstract Interpretation.

Simona Orzan, Jaco van de Pol, Miguel Valero Espada

Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

2003

Distributed Branching Bisimulation Reduction of State Spaces.

Stefan Blom, Simona Orzan

Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

Verification of Distributed Dataspace Architectures.

Simona Orzan, Jaco van de Pol

Proceedings of the Perspectives of Systems Informatics, 2003