My Ph.D Students
I supervised the Ph.D. program of the following people:
- Alessandra Cavarra (XII cycle),
University Lecturer in Software Engineering,
University Computing Laboratory - Oxford, U.K.
- Thesis: Applying Abstract State Machines to formalize and integrate the Unified Modeling Language lightweight method, Dec. 2000
- Marianna Nicolosi Asmundo (XIII cycle), Assistant Professor in Computer Science, Dipartimento di Matematica e Informatica, University of Catania, Italy
- Thesis: Consistent composition of Abstract State Machines Models, Dec. 2002
- Patrizia Scandurra (XVIII cycle), Assistant Professor in Computer Science, Dipartimento di Ingegneria gestionale, dell’informazione e della produzione, University of Bergamo, Italy
- Thesis: Model-driven Language Definition: metamodelling methodologies and applications, Dec. 2005
- Paolo Arcaini (XXV cycle), Assistant Professor, Department of Distributed and Dependable Systems, Charles University in Prague, Czech Republic.
- Thesis: Tool-Assisted Validation and Verification Techniques for State-Based Formal Methods, Dec. 2012