Concepedia
Statistics
Publications
11
Citations
359
H-Index
10
Active since
1997
Affiliations
Eindhoven University of Technology(Current)
Norwegian University of Science and Technology
Leiden University
Suzana Andova is an author at Eindhoven University of Technology specializing in engineering, formal methods, and computer science.
Top concepts
EngineeringFormal MethodsComputer ScienceFormal VerificationAutomated ReasoningVerificationBusinessAutomationGame TheoryProbability
Publications per year
1997–2012
Probabilistic process algebra
Suzana Andova · Data Archiving and Networked Services (DANS) · 2002 · 104 citations · Full text
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjøsteen et al. · Information and Computation · 2007 · 58 citations · Full text
Compositional Verification, Engineering, Verification +9
Discrete-time rewards model-checked (to appear)
Suzana Andova, Holger Hermanns, Joost-Pieter Katoen · Formal Modeling and Analysis of Timed Systems · 2003 · 45 citations
Engineering, Stochastic Game, Game Theory +9
Branching bisimulation for probabilistic systems: Characteristics and decidability
Suzana Andova, Tim A. C. Willemse · Theoretical Computer Science · 2006 · 30 citations · Full text
Engineering, Automated Reasoning, Probabilistic System +7
Cryptcoding : encryption and error-correction coding in a single step
Danilo Gligoroski, Svein J. Knapskog, Suzana Andova · Munich Personal RePEc Archive (Ludwig Maximilian University of Munich) · 2006 · 28 citations
1–5 of 11