Simona Orzan

HOME      PUBLICATIONS      SOFTWARE      PERSONAL      BOOKMARKS

 

    2009

  • Invariants for parameterised boolean equation systems
    with Tim Willemse
    In Journal of Theoretical Computer Science (to appear).
  • Static Analysis Techniques for Parameterised Boolean Equation Systems
    with Wieger Wesselink and Tim Willemse
    In Proceedings TACAS'09, York, UK, March 2009. LNCS 5505.

    • 2008

  • Parameterised Anonymity
    with Jan Friso Groote
    In Proceedings FAST'08, Malaga, Spain, October 2008. LNCS 5491.
  • Data failures (brief announcement)
    with Mohammad Torabi Dashti
    In Proceedings DISC'08, Arcachon, France, September 2008. LNCS 5218.
  • Invariants for parameterised boolean equation systems
    with Tim Willemse
    In Proceedings CONCUR'08, Toronto, Canada, August 2008. LNCS 5201.
        - technical report
  • Fair exchange is incomparable to consensus
    with Mohammad Torabi Dashti
    In Proceedings ICTAC'08, Istanbul, Turkey, September 2008. LNCS 5160.
  • Refinement of Kripke Models for Dynamics
    with Francien Dechesne, Yanjing Wang
    In Proceedings ICTAC'08, Istanbul, Turkey, September 2008. LNCS 5160.

    • 2007

  • Operational and Epistemic Approaches to Protocol Analysis: Bridging the Gap
    with Francien Dechesne, MohammadReza Mousavi
    In Proceedings LPAR'07, LNCS 4790.
  • Distributed analysis with muCRL: A compendium of case studies
    with Stefan Blom, Jens Calame, Bert Lisser, Jun Pang, Jaco van de Pol,
    Mohammad Torabi Dashti, Anton Wijs
    In Proceedings TACAS'07, LNCS 4424.

    • 2006

  • A Framework for Automatically Checking Anonymity with mCRL
    with Tom Chothia, Jun Pang, Mohammad Torabi Dashti
    In Proceedings TGC'06, LNCS 4661.
        - the tools
  • Epistemic Verification of Anonymity
    with Jan van Eijck
    In Proceedings VODCA'06, Bertinoro, Italy, September 2006. ENTCS.
        - LYS
  • Distribution of a simple shared dataspace architecture
    with Jaco van de Pol
    Fundamenta Informaticae. 2006.

    • 2005

  • Modeling the Epistemics of Communication with Functional Programming
    with Jan van Eijck
    In Proceedings TFP'05, Tallinn, Estonia, September 2005.
  • Multiparty Contract Signing over a Reliable Network
    with Erik de Vink
    In Proceedings STM'05, Milano, Italy, September 2005. ENTCS.
  • Distributed State Space Minimization
    with Stefan Blom
    International Journal on Software Tools for Technlogy Transfer (STTT) 7(3), 2005.
  • A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces
    with Stefan Blom
    International Journal on Software Tools for Technlogy Transfer (STTT) 7(1), 2005.
  • Detecting strongly connected components in large distributed state spaces
    with Jaco van de Pol
    CWI Technical Report, January 2005.

    • 2004

  • A State Space Distribution Policy based on Abstract Interpretation
    with Jaco van de Pol, Miguel Valero Espada
    Proceedings PDMC'04. ENTCS 128(3).
  • On distributed verification and verified distribution.
    PhD thesis, defended on November 25, 2004, at the Free University Amsterdam
    thesis and the 10 minutes informal presentation (lekenpraatje)

    • 2003

  • Distributed Branching Bisimulation Reduction of State Spaces
    with Stefan Blom
    Proceedings PDMC'03, Boulder, Colorado, USA, July 2003. ENTCS 89(1).
  • Verification of distributed dataspace architectures
    with Jaco van de Pol
    Proceedings PSI'03, Novosibirsk, Russia, July 2003. LNCS 2890.
  • Distributed State Space Minimization
    with Stefan Blom
    Proceedings FMICS'03, Roros, Norway, June 2003. ENTCS 80.
        - award

    • 2002

  • Distribution of a simple shared dataspace architecture
    with Jaco van de Pol
    Proceedings FOCLASA'02, Brno, Czech Republic, August 2002. ENTCS 68(3).
  • A Distributed Algorithm for Strong Bisimulation Reduction of State Spaces
    with Stefan Blom
    Proceedings PDMC'02, Brno, Czech Republic, August 2002. ENTCS 68(4).
  • On Lossless Compression of 1-bit Audio Signals
    with Franziska Bittner, Dee Denteneer, Simon Kronemeijer, Misja Nuyens,
    Jaques Rougemont, Evgeny Verbitskiy, Dmitri Znamenski
    the 42nd European study group with industry (SWI'02), Amsterdam,
    February 2002, CWI Syllabus 51, G.M.Hek(ed.)

    • 2001

  • Distributing requirements specifications on Basic Splice
    CWI Technical Report, January 2001
 

Last modified: November 26, 2009.