Suzana Andova

Publication Activity (10 Years)

Years Active: 1999-2014
Publications (10 Years): 0

Top Topics

Probability Functions

Probabilistic Approaches

Distributed Control

Top Venues

Formal Aspects Comput.

Sci. Comput. Program.

Publications

Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Dynamic adaptation with distributed control in Paradigm. Sci. Comput. Program. 94 (2014)
Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff
Applying Model Transformation and Event-B for Specifying an Industrial DSL. MoDeVVa@MoDELS (2013)
Suzana Andova, Sonja Georgievska, Nikola Trcka
Branching bisimulation congruence for probabilistic systems. Theor. Comput. Sci. 413 (1) (2012)
Sonja Georgievska, Suzana Andova
Probabilistic may/must testing: retaining probabilities by restricted schedulers. Formal Aspects Comput. 24 (4-6) (2012)
Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff
MDE Basics with a DSL Focus. SFM (2012)
Suzana Andova, Mark G. J. van den Brand, Luc Engelen
Reusable and Correct Endogenous Model Transformations. ICMT@TOOLS (2012)
Sonja Georgievska, Suzana Andova
Probabilistic CSP: Preserving the Laws via Restricted Schedulers. MMB/DFT (2012)
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)
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)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Towards reduction of Paradigm coordination models PACO (2011)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Dynamic consistency in process algebra: From Paradigm to ACP. Sci. Comput. Program. 76 (8) (2011)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Distributed Adaption of Dining Philosophers. FACS (2010)
Sonja Georgievska, Suzana Andova
Testing Reactive Probabilistic Processes QAPL (2010)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) (2010)
Sonja Georgievska, Suzana Andova
Composing Systems While Preserving Probabilities. EPEW (2010)
Sonja Georgievska, Suzana Andova
Retaining the Probabilities in Probabilistic Testing Theory. FoSSaCS (2010)
Suzana Andova, Sonja Georgievska
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. SOFSEM (2009)
Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink
Formalizing Adaptation On-the-Fly. Electron. Notes Theor. Comput. Sci. 255 (2009)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
Dynamic Consistency in Process Algebra: From Paradigm to ACP. Electron. Notes Theor. Comput. Sci. 229 (2) (2009)
Sonja Georgievska, Suzana Andova
Testing Probabilistic Processes: Can Random Choices Be Unobservable? CoRR (2009)
Danilo Gligoroski, Suzana Andova, Svein J. Knapskog
On the Importance of the Key Separation Principle for Different Modes of Operation. ISPEC (2008)
Suzana Andova, Cas 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) (2008)
Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
Architecting Security with Paradigm. WADS (2008)
Suzana Andova, Tim A. C. Willemse
Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356 (3) (2006)
Danilo Gligoroski, Svein J. Knapskog, Suzana Andova
Cryptcoding - Encryption and Error-Correction Coding in a Single Step. Security and Management (2006)
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
A framework for compositional verification of security protocols CoRR (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)
Suzana Andova, Tim A. C. Willemse
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract). EXPRESS (2004)
Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
Discrete-Time Rewards Model-Checked. FORMATS (2003)
Suzana Andova, Jos C. M. Baeten
Alternative composition does not imply non-determinism. Bull. EATCS 76 (2002)
Suzana Andova, Jos C. M. Baeten
Abstraction in Probabilistic Process Algebra. TACAS (2001)
Suzana Andova
Time and Probability in Process Algebra. AMAST (2000)
Suzana Andova
Process Algebra with Probabilistic Choice. ARTS (1999)