Professor CIARDO Gianfranco
Team : MoVe
Invited by : Fabrice KORDON
Arrival date : 04/02/2007
Departure date : 04/27/2007
http://www.cs.ucr.edu/~ciardo
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