Please note: This is a beta version of the new dblp website.
You can find the classic dblp view of this page here.
You can find the classic dblp view of this page here.
Suzana Andova
2010 – today
- 2012
[j9]Sonja Georgievska, Suzana Andova: Probabilistic may/must testing: retaining probabilities by restricted schedulers. Formal Asp. Comput. 24(4-6): 727-748 (2012)- [j8]Suzana Andova, Sonja Georgievska, Nikola Trcka: Branching bisimulation congruence for probabilistic systems. Theor. Comput. Sci. 413(1): 58-72 (2012)
- [c20]Suzana Andova, Mark G. J. van den Brand, Luc Engelen: Reusable and Correct Endogenous Model Transformations. ICMT 2012: 72-88
- [c19]Sonja Georgievska, Suzana Andova: Probabilistic CSP: Preserving the Laws via Restricted Schedulers. MMB/DFT 2012: 136-150
- [c18]Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff: MDE Basics with a DSL Focus. SFM 2012: 21-57
- [e2]Anthony Sloane, Suzana Andova (Eds.): International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012. ACM 2012, ISBN 978-1-4503-1536-4
- 2011
- [j7]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)
- [c17]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
- [c16]Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards reduction of Paradigm coordination models. PACO 2011: 1-18
- [c15]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
- 2010
- [c14]Sonja Georgievska, Suzana Andova: Composing Systems While Preserving Probabilities. EPEW 2010: 268-283
- [c13]Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Distributed Adaption of Dining Philosophers. FACS 2010: 125-144
- [c12]Sonja Georgievska, Suzana Andova: Retaining the Probabilities in Probabilistic Testing Theory. FOSSACS 2010: 79-93
- [c11]Suzana Andova, Luuk Groenewegen, Erik P. de Vink: Towards Dynamic Adaptation of Probabilistic Systems. ISoLA (2) 2010: 143-159
- [c10]
2000 – 2009
- 2009
- [j6]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)
- [j5]Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink: Formalizing Adaptation On-the-Fly. Electr. Notes Theor. Comput. Sci. 255: 23-44 (2009)
- [c9]Suzana Andova, Sonja Georgievska: On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems. SOFSEM 2009: 67-78
- [e1]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
- [i2]Sonja Georgievska, Suzana Andova: Testing Probabilistic Processes: Can Random Choices Be Unobservable? CoRR abs/0907.1540 (2009)
- 2008
- [j4]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)
- [c8]Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink: Architecting Security with Paradigm. WADS 2008: 255-283
- [c7]Danilo Gligoroski, Suzana Andova, Svein J. Knapskog: On the Importance of the Key Separation Principle for Different Modes of Operation. ISPEC 2008: 404-418
- 2006
- [j3]Suzana Andova, Tim A. C. Willemse: Branching bisimulation for probabilistic systems: Characteristics and decidability. Theor. Comput. Sci. 356(3): 325-355 (2006)
- [c6]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
- [c5]Danilo Gligoroski, Svein J. Knapskog, Suzana Andova: Cryptcoding - Encryption and Error-Correction Coding in a Single Step. Security and Management 2006: 145-151
- [i1]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)
- 2005
- [j2]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
- [c4]Suzana Andova, Holger Hermanns, Joost-Pieter Katoen: Discrete-Time Rewards Model-Checked. FORMATS 2003: 88-104
- 2002
- [j1]Suzana Andova, Jos C. M. Baeten: Alternative composition does not imply non-determinism. Bulletin of the EATCS 76: 125-127 (2002)
- 2001
- [c3]
- 2000
- [c2]
1990 – 1999
- 1999
- [c1]
Coauthor Index
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-10-02 11:23 CEST by the dblp team