Taolue Chen

Dr Taolue Chen

Research Assistant

Leaving date: 2nd September 2013

Themes:

• Automated Verification

Completed Projects:

• VERIWARE
• CONNECT-IP

See also

• Personal Pages

Selected Publications

View AllManage publications

• On Stochastic Games with Multiple Objectives

  Taolue Chen‚ Vojtěch Forejt‚ Marta Kwiatkowska‚ Aistis Simaitis and Clemens Wiltsche

  No. RR−13−06. DCS. 2013.

  Details about On Stochastic Games with Multiple Objectives | BibTeX data for On Stochastic Games with Multiple Objectives | Download  (pdf) of On Stochastic Games with Multiple Objectives

• Efficient Probabilistic Parameter Synthesis for Adaptive Systems

  Taolue Chen‚ Tingting Han‚ Marta Kwiatkowska and Hongyang Qu

  No. RR−13−04. DCS. 2013.

  Details about Efficient Probabilistic Parameter Synthesis for Adaptive Systems | BibTeX data for Efficient Probabilistic Parameter Synthesis for Adaptive Systems | Download  (pdf) of Efficient Probabilistic Parameter Synthesis for Adaptive Systems

• 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

• Probabilistic Model Checking
• Quantitative Analysis and Verification