Abstract Hidden Markov Models: a monadic account of quantitative information flow von Annabelle McIver, Carroll Morgan, Tahiry Rabehaja

Volltext

Statistical Model Checking of Wireless Mesh Routing Protocols von Höfner, Peter, McIver, Annabelle

Volltext

Quantitative Evaluation of Systems: 15th International Conference, QEST 2018, Beijing, China, September 4-7, 2018, Proceedings von McIver, Annabelle, Horvath, Andras

Volltext

Formal Methods - The Next 30 Years: Third World Congress, FM 2019, Porto, Portugal, October 7-11, 2019, Proceedings von ter Beek, Maurice H, McIver, Annabelle, Oliveira, José N

Volltext

Probabilistic guarded commands mechanized in HOL von Hurd, Joe, McIver, Annabelle, Morgan, Carroll

Volltext

Probabilistic Concurrent Kleene Algebra von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Volltext

Adopting Formal Methods in an Industrial Setting: The Railways Case von ter Beek, Maurice H., Borälv, Arne, Fantechi, Alessandro, Ferrari, Alessio, Gnesi, Stefania, Löfving, Christer, Mazzanti, Franco

Volltext

LIFT: Learning Fault Trees from Observational Data von Nauta, Meike, Bucur, Doina, Stoelinga, Mariëlle

Volltext

Universal optimality and robust utility bounds for metric differential privacy1 von Fernandes, Natasha, McIver, Annabelle, Palamidessi, Catuscia, Ding, Ming

Volltext

Logic for Programming, Artificial Intelligence, and Reasoning: 20th International Conference, LPAR-20 2015, Suva, Fiji, November 24-28, 2015, Proceedings von Davis, Martin, Fehnker, Ansgar, McIver, Annabelle, Voronkov, Andrei

Volltext

Universal optimality and robust utility bounds for metric differential privacy von Fernandes, Natasha, McIver, Annabelle, Palamidessi, Catuscia, Ding, Ming

Volltext

Editorial von McIver, Annabelle, ter Beek, Maurice H

Volltext

Formal methods: practical applications and foundations von ter Beek Maurice H, McIver Annabelle

Volltext

Editorial von McIver Annabelle, ter Beek Maurice H

Volltext

Editorial von McIver, Annabelle, ter Beek, Maurice H

Volltext

Editorial von McIver, Annabelle, ter Beek, Maurice H

Volltext

Model exploration and analysis for quantitative safety refinement in probabilistic B von Ndukwu, Ukachukwu, McIver, Annabelle

Volltext

Probabilistic predicate transformers von Morgan, Carroll, McIver, Annabelle, Seidel, Karen

Volltext

Schedulers and finishers: On generating and filtering the behaviours of an event structure von McIver, Annabelle, Rabehaja, Tahiry, Struth, Georg

Volltext

Experiments in Information Flow Analysis von McIver, Annabelle

Volltext