Suzana Andova

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

Collaborative distances:

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2014
Dynamic adaptation with distributed control in Paradigm.
Sci. Comput. Program., 2014

2013
Applying Model Transformation and Event-B for Specifying an Industrial DSL.
Proceedings of the 10th International Workshop on Model Driven Engineering, 2013

2012
Branching bisimulation congruence for probabilistic systems.
Theor. Comput. Sci., 2012

Probabilistic may/must testing: retaining probabilities by restricted schedulers.
Formal Aspects Comput., 2012

MDE Basics with a DSL Focus.
Proceedings of the Formal Methods for Model-Driven Engineering, 2012

Probabilistic CSP: Preserving the Laws via Restricted Schedulers.
Proceedings of the Measurement, Modelling, and Evaluation of Computing Systems and Dependability and Fault Tolerance, 2012

Reusable and Correct Endogenous Model Transformations.
Proceedings of the Theory and Practice of Model Transformations, 2012

2011
Dynamic consistency in process algebra: From Paradigm to ACP.
Sci. Comput. Program., 2011

Towards reduction of Paradigm coordination models
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
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.
Proceedings of the Software Language Engineering - 4th International Conference, 2011

2010
Testing Reactive Probabilistic Processes
Proceedings of the Proceedings Eighth Workshop on Quantitative Aspects of Programming Languages, 2010

Towards Dynamic Adaptation of Probabilistic Systems.
Proceedings of the Leveraging Applications of Formal Methods, Verification, and Validation, 2010

Retaining the Probabilities in Probabilistic Testing Theory.
Proceedings of the Foundations of Software Science and Computational Structures, 2010

Distributed Adaption of Dining Philosophers.
Proceedings of the Formal Aspects of Component Software - 7th International Workshop, 2010

Composing Systems While Preserving Probabilities.
Proceedings of the Computer Performance Engineering, 2010

2009
Formalizing Adaptation On-the-Fly.
Proceedings of the 8th International Workshop on the Foundations of Coordination Languages and Software Architectures, 2009

Testing Probabilistic Processes: Can Random Choices Be Unobservable?
CoRR, 2009

On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems.
Proceedings of the SOFSEM 2009: Theory and Practice of Computer Science, 2009

2008
A framework for compositional verification of security protocols.
Inf. Comput., 2008

On the Importance of the Key Separation Principle for Different Modes of Operation.
Proceedings of the Information Security Practice and Experience, 2008

Architecting Security with Paradigm.
Proceedings of the Architecting Dependable Systems VI, 2008

2006
Branching bisimulation for probabilistic systems: Characteristics and decidability.
Theor. Comput. Sci., 2006

Cryptcoding - Encryption and Error-Correction Coding in a Single Step.
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.
Proceedings of the CONCUR 2006 - Concurrency Theory, 17th International Conference, 2006

2004
Equivalences for Silent Transitions in Probabilistic Systems: (Extended Abstract).
Proceedings of the 11th International Workshop on Expressiveness in Concurrency, 2004

2003
Discrete-Time Rewards Model-Checked.
Proceedings of the Formal Modeling and Analysis of Timed Systems: First International Workshop, 2003

2002
Alternative composition does not imply non-determinism.
Bull. EATCS, 2002

2001
Abstraction in Probabilistic Process Algebra.
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2001

2000
Time and Probability in Process Algebra.
Proceedings of the Algebraic Methodology and Software Technology. 8th International Conference, 2000

1999
Process Algebra with Probabilistic Choice.
Proceedings of the Formal Methods for Real-Time and Probabilistic Systems, 1999


  Loading...