Chris Chilton

Chris Chilton

Doctoral Student

Leaving date: 31st July 2013

Themes:

• Automated Verification

Completed Projects:

• CONNECT-IP

See also

• Home Page (including publications)

Selected Publications

View AllManage publications

• An Algebraic Theory of Interface Automata

  Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska

  No. RR−13−02. DCS. 2013.

  Details about An Algebraic Theory of Interface Automata | BibTeX data for An Algebraic Theory of Interface Automata | Download  (pdf) of An Algebraic Theory of Interface Automata

• Revisiting Timed Specification Theories: A Linear−Time Perspective

  Chris Chilton‚ Marta Kwiatkowska and Xu Wang

  No. CS−RR−12−04. DCS. 2012.

  Details about Revisiting Timed Specification Theories: A Linear−Time Perspective | BibTeX data for Revisiting Timed Specification Theories: A Linear−Time Perspective | Download  (pdf) of Revisiting Timed Specification Theories: A Linear−Time Perspective

• A Compositional Specification Theory for Component Behaviours

  Taolue Chen‚ Chris Chilton‚ Bengt Jonsson and Marta Kwiatkowska

  No. CS−RR−12−01. DCS. 2012.

  Details about A Compositional Specification Theory for Component Behaviours | BibTeX data for A Compositional Specification Theory for Component Behaviours | Download  (pdf) of A Compositional Specification Theory for Component Behaviours

Activities

• Quantitative Analysis and Verification

Supervisor