University of Oxford Logo University of OxfordDepartment of Computer Science - Home
On Facebook
Facebook
Follow us on twitter
Twitter
Linked in
Linked in
Flickr
Flickr
Google plus
Google plus
Digg
Digg
Pinterest
Pinterest
Stumble Upon
Stumble Upon

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.