| 2013 | MODELS | Applying Model Transformation and Event-B for Specifying an Industrial DSL. | Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff |
| 2011 | SLE | Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. | Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy |
| 2010 | FOSSACS | Retaining the Probabilities in Probabilistic Testing Theory. | Sonja Georgievska, Suzana Andova |
| 2010 | ISoLA | Towards Dynamic Adaptation of Probabilistic Systems. | Suzana Andova, Luuk Groenewegen, Erik P. de Vink |
| 2009 | SOFSEM | On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. | Suzana Andova, Sonja Georgievska |
| 2008 | ICSE | Architecting Security with Paradigm. | Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink |
| 2008 | ISPEC | On the Importance of the Key Separation Principle for Different Modes of Operation. | Danilo Gligoroski, Suzana Andova, Svein J. Knapskog |
| 2006 | CONCUR | A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification. | Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse |
| 2001 | TACAS | Abstraction in Probabilistic Process Algebra. | Suzana Andova, Jos C. M. Baeten |