Suzana Andova

35 papers A 1B 5C 1Journal 9Unranked 17
YearRankTypeTitle / Venue / Authors
2014 J jnl
Dynamic adaptation with distributed control in Paradigm.
Sci. Comput. Program.
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2013 — conf
Applying Model Transformation and Event-B for Specifying an Industrial DSL.
MoDeVVa@MoDELS
Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff
2012 J jnl
Branching bisimulation congruence for probabilistic systems.
Theor. Comput. Sci.
Suzana Andova, Sonja Georgievska, Nikola Trcka
2012 — ed.
International Workshop on Language Descriptions, Tools, and Applications, LDTA '12, Tallinn, Estonia, March 31 - April 1, 2012
LDTA
Anthony Sloane, Suzana Andova
2012 — conf
MDE Basics with a DSL Focus.
SFM
Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff
2012 — conf
Probabilistic CSP: Preserving the Laws via Restricted Schedulers.
MMB/DFT
Sonja Georgievska, Suzana Andova
2012 J jnl
Probabilistic may/must testing: retaining probabilities by restricted schedulers.
Formal Aspects Comput.
Sonja Georgievska, Suzana Andova
2012 — conf
Reusable and Correct Endogenous Model Transformations.
ICMT@TOOLS
Suzana Andova, Mark G. J. van den Brand, Luc Engelen
2011 J jnl
Dynamic consistency in process algebra: From Paradigm to ACP.
Sci. Comput. Program.
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2011 B conf
Formalizing a Domain Specific Language Using SOS: An Industrial Case Study.
SLE
Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy
2011 — conf
Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models
AMMSE
Suzana Andova, Mark van den Brand, Luc Engelen
2011 — conf
Towards reduction of Paradigm coordination models
PACO
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2010 — conf
Composing Systems While Preserving Probabilities.
EPEW
Sonja Georgievska, Suzana Andova
2010 — conf
Distributed Adaption of Dining Philosophers.
FACS
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2010 B conf
Retaining the Probabilities in Probabilistic Testing Theory.
FoSSaCS
Sonja Georgievska, Suzana Andova
2010 — conf
Testing Reactive Probabilistic Processes
QAPL
Sonja Georgievska, Suzana Andova
2010 — conf
Towards Dynamic Adaptation of Probabilistic Systems.
ISoLA (2)
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2009 — conf
Formalizing Adaptation On-the-Fly.
FOCLASA
Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink
2009 B conf
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.
SOFSEM
Suzana Andova, Sonja Georgievska
2009 — ed.
Proceedings First Workshop on Quantitative Formal Methods: Theory and Applications, QFM 2009, Eindhoven, The Netherlands, 3rd November 2009.
QFM
Suzana Andova, Annabelle McIver, Pedro R. D'Argenio, Pieter J. L. Cuijpers, Jasen Markovski, Carroll Morgan, Manuel Núñez
2009 J jnl
Testing Probabilistic Processes: Can Random Choices Be Unobservable?
CoRR
Sonja Georgievska, Suzana Andova
2008 J jnl
A framework for compositional verification of security protocols.
Inf. Comput.
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2008 B conf
Architecting Security with Paradigm.
WADS
Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink
2008 — conf
Dynamic Consistency in Process Algebra: From Paradigm to ACP.
FOCLASA@ICALP
Suzana Andova, Luuk Groenewegen, Erik P. de Vink
2008 C conf
On the Importance of the Key Separation Principle for Different Modes of Operation.
ISPEC
Danilo Gligoroski, Suzana Andova, Svein J. Knapskog
2006 B conf
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.
CONCUR
Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse
2006 J jnl
A framework for compositional verification of security protocols
CoRR
Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic
2006 J jnl
Branching bisimulation for probabilistic systems: Characteristics and decidability.
Theor. Comput. Sci.
Suzana Andova, Tim A. C. Willemse
2006 — conf
Cryptcoding - Encryption and Error-Correction Coding in a Single Step.
Security and Management
Danilo Gligoroski, Svein J. Knapskog, Suzana Andova
2004 — conf
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).
EXPRESS
Suzana Andova, Tim A. C. Willemse
2003 — conf
Discrete-Time Rewards Model-Checked.
FORMATS
Suzana Andova, Holger Hermanns, Joost-Pieter Katoen
2002 J jnl
Alternative composition does not imply non-determinism.
Bull. EATCS
Suzana Andova, Jos C. M. Baeten
2001 A conf
Abstraction in Probabilistic Process Algebra.
TACAS
Suzana Andova, Jos C. M. Baeten
2000 — conf
Time and Probability in Process Algebra.
AMAST
Suzana Andova
1999 — conf
Process Algebra with Probabilistic Choice.
ARTS
Suzana Andova