S. Andova

List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

Publication	Date of Publication	Type
scientific article; zbMATH DE number 7311343 (Why is no real title available?)	2021-02-16	Paper
Formalizing adaptation on-the-fly	2017-05-19	Paper
Dynamic consistency in process algebra: from paradigm to ACP Electronic Notes in Theoretical Computer Science	2015-03-19	Paper
Equivalences for silent transitions in probabilistic systems (extended abstract)	2013-09-25	Paper
Probabilistic may/must testing: retaining probabilities by restricted schedulers Formal Aspects of Computing	2013-03-22	Paper
Branching bisimulation congruence for probabilistic systems Theoretical Computer Science	2012-03-13	Paper
Dynamic consistency in process algebra: from paradigm to ACP Science of Computer Programming	2011-06-07	Paper
Retaining the probabilities in probabilistic testing theory Foundations of Software Science and Computational Structures	2010-04-27	Paper
On Compositionality, Efficiency, and Applicability of Abstraction in Probabilistic Systems Lecture Notes in Computer Science	2009-02-03	Paper
A framework for compositional verification of security protocols Information and Computation	2008-04-16	Paper
A Complete Axiomatisation of Branching Bisimulation for Probabilistic Systems with an Application in Protocol Verification CONCUR 2006 – Concurrency Theory	2007-09-04	Paper
Branching bisimulation for probabilistic systems: characteristics and decidability Theoretical Computer Science	2006-05-29	Paper
Formal Modeling and Analysis of Timed Systems Lecture Notes in Computer Science	2006-01-10	Paper
scientific article; zbMATH DE number 1929306 (Why is no real title available?)	2003-06-17	Paper
scientific article; zbMATH DE number 1701760 (Why is no real title available?)	2002-02-05	Paper
scientific article; zbMATH DE number 1696898 (Why is no real title available?)	2002-01-28	Paper

Research outcomes over time

This page was built for person: S. Andova