Professor CIARDO Gianfranco

Team : MoVe
Invited by : Fabrice KORDON
Arrival date : 04/02/2007
Departure date : 04/27/2007

Research activity

- Formal aspects of software engineering, in particular symbolic model-checking algorithms and decision diagrams
- Load balance and performance analysis of Web servers
- Distributed algorithms
- Performance, dependability, and safety evaluation of fault-tolerant and distributed computer systems
- Specification formalisms and solution algorithms for modeling tools

Departure date : 04/27/2007
Mentions légales
Site map