Università di Torino
My main research interests are on performance evaluation and probabilistic verification of discrete event systems based on stochastic Petri nets, high level Petri nets, and stochastic process algebras. In particular my current activity concentrates on the automatic generation of performance models from UML specifications, the modelling of large critical infrastructure while still working on solution methods for GSPN and SWN models.
I am a member of the Petri Nets Steering Committee since 2002, and of the Steering Committee of the International Conference on Quantitative Evaluation of SysTems (QEST) since 2005.
I have been the local technical responsible of the EEC-IST project 28620 TIRAN TaIlorable fault toleRANce frameworks for embedded applications (ended November 2000) and of the EEC-IST project 25434 DEPAUDE (ended March 2003) DepAuDE.
I have been responsible of the workpackage on modelling formalisms of the national project FIRB-Perf .
I am responsible of WP5 (Analysis of Control System Scenario) of the STREP project FP6-2004-IST-4-027513 CRUTIAL (CRitical UTility InfrastructurAL Resilience), an IST 6th framework programme project.
I have been co-chair of the 27th International Conference On Application and Theory of Petri Nets and Other Models of Concurrency (ATPN2006), held in Turku, Finland. 2005 Edition was in Miami
I have helped in the organization of QEST2005 that was held in Torino in September 2005, and I am co-chairing, with Prakash Panangaden, QEST2008, the 5th International Conference on the Quantitative Evaluation of Systems, to be held in St. Malo, France, in September 2008.
I am associate editor of the IEEE Transactions on Software Engineering IEEE-TSE and of LNCS Transactions on Petri Nets and Other Models of Concurrency (ToPNoC)
Recent memberships in International Conferences Program committees
FM2009 (Formal Methods Europe)
QEST2008 (PC co-chair)
ATPN2006 (PC co-chair)
I have got a computer science degree from University of Torino in 1984, a Master degree in Electrical and Computer Engeneering from the University of Massachussetts at Amherst in 1987, and a PhD in Computer Science from the University of Torino in 1989.
I am full professor of computer science at the Dipartimento di Informatica at the University of Torino
GreatSPN tool for GSPN and SWN
I have co-authored a book on GSPN, and I am part of the GreatSPN tool team.
In academic year 2008-2009 I teach a course on telecommunication networks and a course on formal methods for the validation and evaluation of systems (Specifiche di Processi Concorrenti). Additional information and course material is available (in italian) at the site www.educ.di.unito.it
Thesis (first and second level)
A number of thesis are available, see this page (in italian)
Previous teaching activities
In academic year 2007/2008 I teach an introductory course on
telecommunication and a course on formal methods for the
validation and evaluation of systems (Specifiche di Processi
Concorrenti). Additional information and course material is
(in italian) at the site www.educ.di.unito.it.
Susanna Donatelli is the coordinator of the
commission that coordinates
the teaching activities of the computer science curricula (Commissione
Didattica del CCS di Informatica)
[Administration] [Services] [Hostings] [News and events]
|Administrator:email@example.com||Last update: Jan 03, 2001|