1![Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi Stochastic Model Checking? Marta Kwiatkowska, Gethin Norman, and David Parker School of Computer Science, University of Birmingham Edgbaston, Birmingham B15 2TT, United Kingdom Abstract. This tutorial presents an overvi](https://www.pdfsearch.io/img/ed439e59e99bc0a188145a82580ba0a6.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2011-06-22 09:34:32
|
---|
2![The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known The Unbearable Lightness of Monitoring: Direct Monitoring in BitTorrent Tom Chothia, Marco Cova, Chris Novakovic, and Camilo Gonz´alez Toro School of Computer Science, University of Birmingham, UK Abstract. It is known](https://www.pdfsearch.io/img/ba55d029f2f713ce35affbcbdef70632.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|
3![Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output Probabilistic Point-to-Point Information Leakage Tom Chothia∗ , Yusuke Kawamoto∗ , Chris Novakovic∗ and David Parker∗ ∗ School of Computer Science University of Birmingham, Birmingham, UK Abstract—The output](https://www.pdfsearch.io/img/6aedb2e541fb6a9f44167ad11b457c36.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|
4![A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m A Tool for Estimating Information Leakage? Tom Chothia, Yusuke Kawamoto, and Chris Novakovic School of Computer Science, University of Birmingham, Birmingham, UK Abstract. We present leakiEst, a tool that estimates how m](https://www.pdfsearch.io/img/ed485874de2170dcfc6ab466e7e4d42e.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|
5![Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t Organising Monkeys or How to Run a Hacking Club Andreea-Ina Radu, Sam L. Thomas School of Computer Science University of Birmingham Email: {A.I.Radu, S.L.Thomas}@cs.bham.ac.uk Abstract—We describe the organisation of t](https://www.pdfsearch.io/img/de54818d57ba49d3be0d04313a1ac569.jpg) | Add to Reading ListSource URL: afnom.netLanguage: English - Date: 2018-10-16 09:54:50
|
---|
6![Module 3 : Promotion examples Press Releases Austin Public Library / Austin History Center: The History Center announces a special Family Day at the Archives. Birmingham Public Library: Press Release recruiting Module 3 : Promotion examples Press Releases Austin Public Library / Austin History Center: The History Center announces a special Family Day at the Archives. Birmingham Public Library: Press Release recruiting](https://www.pdfsearch.io/img/f827245e4ca67287cf17ba5b3a8a18fa.jpg) | Add to Reading ListSource URL: archive-it.orgLanguage: English - Date: 2018-04-25 19:46:12
|
---|
7![LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK LeakWatch: Estimating Information Leakage from Java Programs Tom Chothia1 , Yusuke Kawamoto2? , and Chris Novakovic1 1 School of Computer Science, University of Birmingham, UK](https://www.pdfsearch.io/img/c0f3cc9f3b27012d4611d7e297a2a439.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|
8![Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15 Probabilistic Model Checking of Contention Resolution in the IEEELow-Rate Wireless Personal Area Network Protocol Matthias Fruth School of Computer Science, University of Birmingham, Edgbaston, Birmingham, B15](https://www.pdfsearch.io/img/2144c00ab04d68b819d9e92e3d3a36b0.jpg) | Add to Reading ListSource URL: qav.comlab.ox.ac.ukLanguage: English - Date: 2007-06-27 11:48:43
|
---|
9![University of Birmingham Chiara Mingarelli Posted on Tuesday 14th April 2015 Marie Curie Postdoctoral Fellow, California Institute of Technology PhD Astrophysics (2014) University of Birmingham Chiara Mingarelli Posted on Tuesday 14th April 2015 Marie Curie Postdoctoral Fellow, California Institute of Technology PhD Astrophysics (2014)](https://www.pdfsearch.io/img/f8afafcd53beb5b650ab5916945d9ab9.jpg) | Add to Reading ListSource URL: www.chiaramingarelli.comLanguage: English - Date: 2015-05-06 01:44:17
|
---|
10![An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK An Offline Capture The Flag-Style Virtual Machine and an Assessment of its Value for Cybersecurity Education Tom Chothia School of Computer Science University of Birmingham, UK](https://www.pdfsearch.io/img/9430d8a909fb53abad392ac50100ab78.jpg) | Add to Reading ListSource URL: www.cs.bham.ac.ukLanguage: English - Date: 2017-06-07 20:45:26
|
---|