Travelled to:1 × Portugal
1 × United Kingdom
Collaborated with:W.Wesselink T.A.C.Willemse S.Blom J.R.Calame B.Lisser J.Pang J.v.d.Pol M.T.Dashti A.Wijs
Talks about:analysi (2) parameteris (1) compendium (1) distribut (1) techniqu (1) boolean (1) system (1) static (1) studi (1) equat (1)
Person: Simona Orzan
DBLP: Orzan:Simona
Contributed to:
20092007Wrote 2 papers:
- TACAS-2009-OrzanWW #equation #static analysis
- Static Analysis Techniques for Parameterised Boolean Equation Systems (SO, WW, TACW), pp. 230–245.
- TACAS-2007-BlomCLOPPDW #analysis #case study #distributed
- Distributed Analysis with µCRL: A Compendium of Case Studies (SB, JRC, BL, SO, JP, JvdP, MTD, AW), pp. 683–689.