Simona Orzan

According to our database1, Simona Orzan authored at least 17 papers between 2002 and 2010.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2010
Invariants for Parameterised Boolean Equation Systems.
Theor. Comput. Sci., 2010

2009
Static Analysis Techniques for Parameterised Boolean Equation Systems.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2009

2008
Data Failures.
Proceedings of the Distributed Computing, 22nd International Symposium, 2008

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

Fair Exchange Is Incomparable to Consensus.
Proceedings of the Theoretical Aspects of Computing, 2008

Refinement of Kripke Models for Dynamics.
Proceedings of the Theoretical Aspects of Computing, 2008

2007
Distributed Analysis with <i>mu</i> CRL: A Compendium of Case Studies.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2007

Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.
Proceedings of the Logic for Programming, 2007

2006
Distribution of a Simple Shared Dataspace Architecture.
Fundam. Informaticae, 2006

Epistemic Verification of Anonymity.
Proceedings of the Second International Workshop on Views on Designing Complex Architectures, 2006

A Framework for Automatically Checking Anonymity with <i>mu</i> CRL.
Proceedings of the Trustworthy Global Computing, Second Symposium, 2006

2005
Multiparty Contract Signing Over a Reliable Network.
Proceedings of the First International Workshop on Security and Trust Management, 2005

2004
A State Space Distribution Policy Based on Abstract Interpretation.
Proceedings of the 3rd International Workshop on Parallel and Distributed Methods in Verification, 2004

2003
Distributed State Space Minimization.
Proceedings of the Eighth International Workshop on Formal Methods for Industrial Critical Systems, 2003

Distributed Branching Bisimulation Reduction of State Spaces.
Proceedings of the 2nd International Workshop on Parallel and Distributed Model Checking, 2003

Verification of Distributed Dataspace Architectures.
Proceedings of the Perspectives of Systems Informatics, 2003

2002
A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces.
Proceedings of the Parallel and Distributed Model Checking, 2002


  Loading...