Suzana Andova

According to our database, Suzana Andova authored at least 31 papers between 1999 and 2014.

Collaborative distances:

• Dijkstra number of three.
• Erdős number of four.

2014

Dynamic adaptation with distributed control in Paradigm.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Sci. Comput. Program., 2014

2013

Applying Model Transformation and Event-B for Specifying an Industrial DSL.

Ulyana Tikhonova, Maarten Manders, Mark van den Brand, Suzana Andova, Tom Verhoeff

Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

2012

Branching bisimulation congruence for probabilistic systems.

Suzana Andova, Sonja Georgievska, Nikola Trcka

Theor. Comput. Sci., 2012

Probabilistic may/must testing: retaining probabilities by restricted schedulers.

Sonja Georgievska, Suzana Andova

Formal Aspects Comput., 2012

MDE Basics with a DSL Focus.

Suzana Andova, Mark G. J. van den Brand, Luc J. P. Engelen, Tom Verhoeff

Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Probabilistic CSP: Preserving the Laws via Restricted Schedulers.

Sonja Georgievska, Suzana Andova

Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Reusable and Correct Endogenous Model Transformations.

Suzana Andova, Mark G. J. van den Brand, Luc Engelen

Proceedings of the Theory and Practice of Model Transformations, 2012

2011

Dynamic consistency in process algebra: From Paradigm to ACP.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Sci. Comput. Program., 2011

Towards reduction of Paradigm coordination models

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Proceedings of the Proceedings First International Workshop on Process Algebra and Coordination, 2011

Prototyping the Semantics of a DSL using ASF+SDF: Link to Formal Verification of DSL Models

Suzana Andova, Mark van den Brand, Luc Engelen

Proceedings of the Proceedings Second International Workshop on Algebraic Methods in Model-based Software Engineering, 2011

Formalizing a Domain Specific Language Using SOS: An Industrial Case Study.

Frank P. M. Stappers, Sven Weber, Michel A. Reniers, Suzana Andova, Istvan Nagy

Proceedings of the Software Language Engineering - 4th International Conference, 2011

2010

Testing Reactive Probabilistic Processes

Sonja Georgievska, Suzana Andova

Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Towards Dynamic Adaptation of Probabilistic Systems.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Retaining the Probabilities in Probabilistic Testing Theory.

Sonja Georgievska, Suzana Andova

Proceedings of the Foundations of Software Science and Computational Structures, 2010

Distributed Adaption of Dining Philosophers.

Suzana Andova, Luuk Groenewegen, Erik P. de Vink

Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Composing Systems While Preserving Probabilities.

Sonja Georgievska, Suzana Andova

Proceedings of the Computer Performance Engineering, 2010

2009

Formalizing Adaptation On-the-Fly.

Suzana Andova, Luuk Groenewegen, J. Stafleu, Erik P. de Vink

Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Testing Probabilistic Processes: Can Random Choices Be Unobservable?

Sonja Georgievska, Suzana Andova

CoRR, 2009

On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.

Suzana Andova, Sonja Georgievska

Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008

A framework for compositional verification of security protocols.

Suzana Andova, Cas Cremers, Kristian Gjøsteen, Sjouke Mauw, Stig Fr. Mjølsnes, Sasa Radomirovic

Inf. Comput., 2008

On the Importance of the Key Separation Principle for Different Modes of Operation.

Danilo Gligoroski, Suzana Andova, Svein J. Knapskog

Proceedings of the Information Security Practice and Experience, 2008

Architecting Security with Paradigm.

Suzana Andova, Luuk Groenewegen, Jan H. S. Verschuren, Erik P. de Vink

Proceedings of the Architecting Dependable Systems VI, 2008

2006

Branching bisimulation for probabilistic systems: Characteristics and decidability.

Suzana Andova, Tim A. C. Willemse

Theor. Comput. Sci., 2006

Cryptcoding - Encryption and Error-Correction Coding in a Single Step.

Danilo Gligoroski, Svein J. Knapskog, Suzana Andova

Proceedings of the 2006 International Conference on Security & Management, 2006

A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification.

Suzana Andova, Jos C. M. Baeten, Tim A. C. Willemse

Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2004

Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).

Suzana Andova, Tim A. C. Willemse

Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

2003

Discrete-Time Rewards Model-Checked.

Suzana Andova, Holger Hermanns, Joost-Pieter Katoen

Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002

Alternative composition does not imply non-determinism.

Suzana Andova, Jos C. M. Baeten

Bull. EATCS, 2002

2001

Abstraction in Probabilistic Process Algebra.

Suzana Andova, Jos C. M. Baeten

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000

Time and Probability in Process Algebra.

Suzana Andova

Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999

Process Algebra with Probabilistic Choice.

Suzana Andova

Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999