• 1080 Citations
  • 18 h-Index
1987 …2021
If you made any changes in Pure these will be visible here soon.

Research Outputs 1987 2019

Filter
Conference paper
2015

Conditioning in Probabilistic Programming

Jansen, N., Kaminski, B. L., Katoen, J. P., Olmedo, F., Gretz, F. & McIver, A., 21 Dec 2015, In : Electronic Notes in Theoretical Computer Science. 319, p. 199-216 18 p.

Research output: Contribution to journalConference paperResearchpeer-review

Probabilistic Programming
Computer programming
Conditioning
Semantics
Precondition
2013

Probabilistic concurrent Kleene algebra

McIver, A., Rabehaja, T. & Struth, G., 2013, In : Proceedings 11th International Workshop on Quantitative Aspects of Programming Languages and Systems : Rome, 23rd-24th March 2013. p. 97-115 19 p.

Research output: Contribution to journalConference paperResearchpeer-review

Kleene Algebra
Concurrent
Probabilistic Automata
Algebra
Nondeterminism
2011

Model exploration and analysis for quantitative safety refinement in probabilistic B

Ndukwu, U. & McIver, A., 17 Jun 2011, In : Proceedings of the 15th International Refinement Workshop (Refine 2011) : Limerick, Ireland, 20th June 2011. 55, p. 101-120 20 p.

Research output: Contribution to journalConference paperResearchpeer-review

Model checking
Systems analysis
Specifications
Controllers