TEMPO - 2014 - Annual activity report

TEMPO

TEMPO - 2014

Team Tempo

Members

Overall Objectives

Objectives

Research Program

Cyber Physical Systems
Verification of Embedded Systems Properties

Application Domains

Cyber Physical Systems
Simulation
Automated Test Generation

New Software and Platforms

SimSoC

New Results

Highlights of the Year
Approximately Timed Simulation
Automated generation of simulator
Automated Test
SAT based bounded model checking

Partnerships and Cooperations

International Initiatives

Dissemination

Promoting Scientific Activities
Teaching - Supervision - Juries

Bibliography

Major publications
Publications of the year
References in notes

Previous |

Home | Next next

This project is an international collaboration project. Although it is adminstratively attached to Inria Rocquencourt, the project is mostly run at East China Normal University, in Shanghai.

Creation of the Team: 2014 January 01

Section: Members

Research Scientists

Vania Joloboff [Team leader, Inria]

Mingsong Chen [Team leader, ECNU]

PhD Students

Haifeng Gu [ECNU]

Xinqian Zhang [ECNU]

Others

Shenpeng Wang [Master Student]

Shengpeng Liu [Master Student]

Previous |

Home | Next next