PRISM: Probabilistic Model Checking for Performance and Reliability Analysis Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD {marta.

Source URL: qav.comlab.ox.ac.uk

• Markov processes
• Probability
• Markov models
• Model checkers
• PRISM model checker
• Model checking
• Markov reward model
• Markov chain
• Markov decision process
• Probabilistic CTL
• Prism

Verifying Team Formation Protocols with Probabilistic Model Checking? Taolue Chen, Marta Kwiatkowska, David Parker, and Aistis Simaitis Department of Computer Science, University of Oxford, Wolfson Building, Parks Road,

Source URL: www.prismmodelchecker.org

• Probability
• Dynamic programming
• Markov decision process
• Stochastic control
• PRISM model checker
• Reinforcement learning
• Probabilistic CTL
• Application software

Probabilistic Mobile Ambients Marta Kwiatkowskaa , Gethin Norman∗,a , David Parkera , Maria Grazia Vigliottib a Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD of Computing, Imperi

Source URL: qav.comlab.ox.ac.uk

• Mathematics
• Mathematical logic
• Theoretical computer science
• Logic in computer science
• Temporal logic
• Process calculi
• Ambient calculus
• Computation tree logic
• Bisimulation
• Propositional calculus
• Distribution
• Well-formed formula

Analysis of a Gossip Protocol in PRISM Marta Kwiatkowska, Gethin Norman and David Parker Oxford University Computing Laboratory, Wolfson Building, Parks Road, Oxford, OX1 3QD ABSTRACT Gossip protocols have been proposed

Source URL: qav.comlab.ox.ac.uk

• Network architecture
• Distributed computing
• Gossip protocol
• PRISM model checker
• Computing
• Application software
• Distributed data storage
• Software
• Game theory

The 32nd Umbrella Symposium on Energy Conversion and Energy Storage Scientific Program Monday, April 23 Wolfson Faculty of Chemical Engineering, Hall 1 8:30 – 8:45

Source URL: gtep.technion.ac.il

HistoryUK PLENARY This year’s plenary meeting of History UK will be held on Saturday 14 November 2015 in the Wolfson 1 room of the Institute of Historical Research, Senate House, Malet St. London WC1E 7HU

Source URL: www.history-uk.ac.uk

‫הפקולטה להנדסה כימית ע"ש וולפסון‬ The Wolfson Department of Chemical Engineering Dr. James Crafton, Performance Sciences, Inc.

Source URL: gtep.technion.ac.il

Conference on the History of British Archaeology at Oxford Wolfson College, Oxford 10 am Saturday 31 March – 1pm Sunday 1 April 2007 Speakers include Chris Gosden, Chair of European Archaeology University of Oxford Tim

Source URL: johnevans.ashmolean.org

Research Day GTEP Graduate Fellows Wednesday, November 29th, ::15 The Wolfson Department of Chemical Engineering

Source URL: gtep.technion.ac.il

Repairing Incomplete Reasoners Giorgos Stoilos and Bernardo Cuenca Grau Oxford University Computing Laboratory Wolfson Building, Parks Road, OX1 3QD, Oxford Abstract. The pressing need for scalable query answering has m

Source URL: ceur-ws.org