Simona Orzan

22 papers A 3B 2C 3Journal 4Unranked 10
YearRankTypeTitle / Venue / Authors
2023 — conf
A mixed data grid approach for systemic city questions.
EnvSys@MobiSys
Tom Langhorst, Simona Orzan, Teade Punter, Bernd-Jan Witkamp
2010 J jnl
Invariants for Parameterised Boolean Equation Systems.
Theor. Comput. Sci.
Simona Orzan, Tim A. C. Willemse
2009 A conf
Static Analysis Techniques for Parameterised Boolean Equation Systems.
TACAS
Simona Orzan, Wieger Wesselink, Tim A. C. Willemse
2008 A conf
Data Failures.
DISC
Simona Orzan, Muhammad Torabi Dashti
2008 C conf
Fair Exchange Is Incomparable to Consensus.
ICTAC
Simona Orzan, Muhammad Torabi Dashti
2008 B conf
Invariants for Parameterised Boolean Equation Systems.
CONCUR
Simona Orzan, Tim A. C. Willemse
2008 — conf
Parameterised Anonymity.
Formal Aspects in Security and Trust
Jan Friso Groote, Simona Orzan
2008 C conf
Refinement of Kripke Models for Dynamics.
ICTAC
Francien Dechesne, Simona Orzan, Yanjing Wang
2007 A conf
Distributed Analysis with
TACAS
Stefan Blom, Jens R. Calamé, Bert Lisser, Simona Orzan, Jun Pang, Jaco van de Pol, Muhammad Torabi Dashti, Anton Wijs
2007 B conf
Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap.
LPAR
Francien Dechesne, Mohammad Reza Mousavi, Simona Orzan
2006 — conf
A Framework for Automatically Checking Anonymity with
TGC
Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti
2006 J jnl
Distribution of a Simple Shared Dataspace Architecture.
Fundam. Informaticae
Simona Orzan, Jaco van de Pol
2006 — conf
Epistemic Verification of Anonymity.
VODCA@FOSAD
Jan van Eijck, Simona Orzan
2005 J jnl
A distributed algorithm for strong bisimulation reduction of state spaces.
Int. J. Softw. Tools Technol. Transf.
Stefan Blom, Simona Orzan
2005 J jnl
Distributed state space minimization.
Int. J. Softw. Tools Technol. Transf.
Stefan Blom, Simona Orzan
2005 — conf
Multiparty Contract Signing Over a Reliable Network.
STM
Simona Orzan, Erik P. de Vink
2004 — conf
A State Space Distribution Policy Based on Abstract Interpretation.
PDMC
Simona Orzan, Jaco van de Pol, Miguel Valero Espada
2003 — conf
Distributed Branching Bisimulation Reduction of State Spaces.
PDMC@CAV
Stefan Blom, Simona Orzan
2003 C conf
Distributed State Space Minimization.
FMICS
Stefan Blom, Simona Orzan
2003 — conf
Verification of Distributed Dataspace Architectures.
Ershov Memorial Conference
Simona Orzan, Jaco van de Pol
2002 — conf
A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces.
PDMC@CONCUR
Stefan Blom, Simona Orzan
2002 — conf
Distribution of a Simple Shared Dataspace Architecture.
FOCLASA
Simona Orzan, Jaco van de Pol