Suzana Andova

Sonja Georgievska, Suzana Andova: Probabilistic may/must testing: retaining probabilities by restricted schedulers. Formal Asp. Comput. 24(4-6): 727-748 (2012)

Suzana Andova, Sonja Georgievska, Nikola Trcka: Branching bisimulation congruence for probabilistic systems. Theor. Comput. Sci. 413(1): 58-72 (2012)

Suzana Andova, Mark G. J. van den Brand, Luc Engelen: Reusable and Correct Endogenous Model Transformations. ICMT 2012: 72-88

Sonja Georgievska, Suzana Andova: Probabilistic CSP: Preserving the Laws via Restricted Schedulers. MMB/DFT 2012: 136-150

Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff: MDE Basics with a DSL Focus. SFM 2012: 21-57

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76(8): 711-735 (2011)

Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy: Formalizing a Domain Specific Language Using SOS: An Industrial Case Study. SLE 2011: 223-242

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards reduction of Paradigm coordination models. PACO 2011: 1-18

Suzana Andova, Mark van den Brand, Luc Engelen: Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models. AMMSE 2011: 65-79

Sonja Georgievska, Suzana Andova: Composing Systems While Preserving Probabilities. EPEW 2010: 268-283

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Distributed Adaption of Dining Philosophers. FACS 2010: 125-144

Sonja Georgievska, Suzana Andova: Retaining the Probabilities in Probabilistic Testing Theory. FOSSACS 2010: 79-93

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159

Sonja Georgievska, Suzana Andova: Testing Reactive Probabilistic Processes. QAPL 2010: 99-113

Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Dynamic Consistency in Process Algebra: From Paradigm to ACP. Electr. Notes Theor. Comput. Sci. 229(2): 3-20 (2009)

Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink: Formalizing Adaptation On-the-Fly. Electr. Notes Theor. Comput. Sci. 255: 23-44 (2009)

Suzana Andova, Sonja Georgievska: On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. SOFSEM 2009: 67-78

Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez (Eds.): Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications. EPTCS 13, 2009

Sonja Georgievska, Suzana Andova: Testing Probabilistic Processes: Can Random Choices Be Unobservable? CoRR abs/0907.1540 (2009)

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)

Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink: Architecting Security with Paradigm. WADS 2008: 255-283

Danilo Gligoroski, Suzana Andova, Svein J. Knapskog: On the Importance of the Key Separation Principle for Different Modes of Operation. ISPEC 2008: 404-418

Suzana Andova, Tim A. C. Willemse: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006)

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

Danilo Gligoroski, Svein J. Knapskog, Suzana Andova: Cryptcoding - Encryption and Error-Correction Coding in a Single Step. Security and Management 2006: 145-151

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)

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)

Suzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104

Suzana Andova, Jos C. M. Baeten: Alternative composition does not imply non-determinism. Bulletin of the EATCS 76: 125-127 (2002)

Suzana Andova, Jos C. M. Baeten: Abstraction in Probabilistic Process Algebra. TACAS 2001: 204-219

Suzana Andova: Time and Probability in Process Algebra. AMAST 2000: 323-338

Suzana Andova: Process Algebra with Probabilistic Choice. ARTS 1999: 111-129