Coordinates

Mail: Dipartimento di Informatica, Sapienza Università di Roma, Via Salaria 113, I-00198 Roma, Italy
Office: Room 336 third floor
E-mail: my_surname@di.uniroma1.it
Phone: +39 06 4991 8352
Fax: +39 06 8541842

Curriculum Vitae (October 12, 2011)
Model Checking Labs @ Sapienza

Research

Formal Methods: Automatic Synthesis
Automatic Synthesis of Control Software for Discrete Time Linear Hybrid Systems

Formal Methods: Automatic Verification
Model Checking Nash Equilibria in MAD Distributed Systems
Model Checking Safety Properties for Discrete Time Linear Hybrid Systems
Model Checking and Space Applications
Model Checking and SysML

Risk Analysis

Information Retrieval

Publications

By year
By topic
Bibtex entries
DBLP database
Google scholar

Projects

ULISSE

A complete list of the projects in which our group is involved can be found here.