Computer Science Technical Reports

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.

Main sections