University of Oxford Logo University of OxfordDepartment of Computer Science - Home
Linked in
Linked in
Follow us on twitter
Twitter
On Facebook
Facebook
Instagram
Instagram

Computer Science Technical Reports

2018201720162015201420132012201120102009200820072006200520042003

1974

Compositional Strategy Synthesis for Stochastic Games with Multiple Objectives

Nicolas Basset‚ Marta Kwiatkowska and Clemens Wiltsche

Department of Computer Science. Oxford‚ UK. 2016.

[RR-16-06]

Whither the privacy breach case studies?

Andrew Simpson

No. RR−16−06. Department of Computer Science. Oxford‚ UK. 2016.

[CS-RR-16-04]

Uniform Sampling for Timed Automata with Application to Language Inclusion

Nicolas Basset‚ Benoît Barbot‚ Marta Kwiatkowska and Marc Beunardeau

No. CS−RR−16−04. Department of Computer Science. Oxford‚ UK. 2016.

[RR-16-05]

Towards a Principled Approach for Engineering Privacy by Design

Majed Alshammari and Andrew Simpson

No. RR−16−05. Department of Computer Science. Oxford‚ UK. 2016.

Building Power Consumption Models from Executable Timed I/O Automata Specifications

Benoît Barbot‚ Marta Kwiatkowska‚ Alexandru Mereacre and Nicola Paoletti

Department of Computer Science. Oxford‚ UK. 2016.