Abstract Hidden Markov Models: a monadic account of quantitative information flow
Annabelle McIver, Carroll Morgan, Tahiry Rabehaja
Published in Logical methods in computer science (01.01.2019)
Published in Logical methods in computer science (01.01.2019)
Get full text
Journal Article
Characterising Testing Preorders for Finite Probabilistic Processes
Deng, Yuxin, van Glabbeek, Robert, Hennessy, Matthew, Morgan, Carroll
Published in Logical methods in computer science (28.10.2008)
Published in Logical methods in computer science (28.10.2008)
Get full text
Journal Article
Probabilistic guarded commands mechanized in HOL
Hurd, Joe, McIver, Annabelle, Morgan, Carroll
Published in Theoretical computer science (23.11.2005)
Published in Theoretical computer science (23.11.2005)
Get full text
Journal Article
Conference Proceeding
Formal Methods, Foundations and Applications: 14th Brazilian Symposium, SBMF 2011, São Paulo, Brazil, September 26-30, 2011, Revised Selected Papers
Year of Publication 2011
Get full text
Conference Proceeding
Real-Reward Testing for Probabilistic Processes (Extended Abstract)
Deng, Yuxin, van Glabbeek, Rob, Hennessy, Matthew, Morgan, Carroll
Published in Electronic proceedings in theoretical computer science (04.07.2011)
Published in Electronic proceedings in theoretical computer science (04.07.2011)
Get full text
Journal Article
The Shadow Knows: Refinement of Ignorance in Sequential Programs
Get full text
Book Chapter
Conference Proceeding