3 citations · 3 across the 2 of their papers we have counts for
2 papers
cs.LO2009
Testing Probabilistic Processes: Can Random Choices Be Unobservable?
Sonja Georgievska, Suzana Andova
A central paradigm behind process semantics based on observability and testing is that the exact moment of occurring of an internal nondeterministic choice is unobservable. It is n…
cs.CR2006★ 3 cited
A framework for compositional verification of security protocols
Suzana Andova, Cas Cremers, Kristian Gjosteen +3
Automatic security protocol analysis is currently feasible only for small protocols. Since larger protocols quite often are composed of many small protocols, compositional analysis…