| 2009 |
|---|
| 13 | EE | Suzana Andova,
Sonja Georgievska:
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.
SOFSEM 2009: 67-78 |
| 2008 |
|---|
| 12 | EE | Danilo Gligoroski,
Suzana Andova,
Svein J. Knapskog:
On the Importance of the Key Separation Principle for Different Modes of Operation.
ISPEC 2008: 404-418 |
| 11 | EE | Suzana Andova,
Cas J. F. Cremers,
Kristian Gjøsteen,
Sjouke Mauw,
Stig Fr. Mjølsnes,
Sasa Radomirovic:
A framework for compositional verification of security protocols.
Inf. Comput. 206(2-4): 425-459 (2008) |
| 2006 |
|---|
| 10 | EE | Suzana Andova,
Jos C. M. Baeten,
Tim A. C. Willemse:
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.
CONCUR 2006: 327-342 |
| 9 | | Danilo Gligoroski,
Svein J. Knapskog,
Suzana Andova:
Cryptcoding - Encryption and Error-Correction Coding in a Single Step.
Security and Management 2006: 145-151 |
| 8 | EE | Suzana Andova,
Cas J. F. Cremers,
Kristian Gjøsteen,
Sjouke Mauw,
Stig Fr. Mjølsnes,
Sasa Radomirovic:
A framework for compositional verification of security protocols
CoRR abs/cs/0611062: (2006) |
| 7 | EE | Suzana Andova,
Tim A. C. Willemse:
Branching bisimulation for probabilistic systems: Characteristics and decidability.
Theor. Comput. Sci. 356(3): 325-355 (2006) |
| 2005 |
|---|
| 6 | EE | Suzana Andova,
Tim A. C. Willemse:
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).
Electr. Notes Theor. Comput. Sci. 128(2): 53-66 (2005) |
| 2003 |
|---|
| 5 | EE | Suzana Andova,
Holger Hermanns,
Joost-Pieter Katoen:
Discrete-Time Rewards Model-Checked.
FORMATS 2003: 88-104 |
| 2002 |
|---|
| 4 | | Suzana Andova,
Jos C. M. Baeten:
Alternative composition does not imply non-determinism.
Bulletin of the EATCS 76: 125-127 (2002) |
| 2001 |
|---|
| 3 | EE | Suzana Andova,
Jos C. M. Baeten:
Abstraction in Probabilistic Process Algebra.
TACAS 2001: 204-219 |
| 2000 |
|---|
| 2 | EE | Suzana Andova:
Time and Probability in Process Algebra.
AMAST 2000: 323-338 |
| 1999 |
|---|
| 1 | EE | Suzana Andova:
Process Algebra with Probabilistic Choice.
ARTS 1999: 111-129 |
