Ph.D. in Ingegneria Informatica E Dei Sistemi , 25th cycle (2010-2012)
Ph.D. obtained in 2014
Dissertation:
DESIGN TIME METHODOLOGY FOR THE FORMAL MODELING AND VERIFICATION OF SMART ENVIRONMENTS
Tutors:
Fulvio CornoPublications
Works published during the Ph.D. View all publications in Porto@Iris
- Corno, Fulvio; Sanaullah, Muhammad (2014)
Design-time formal verification for smart environments: an exploratory perspective. In: JOURNAL OF AMBIENT INTELLIGENCE AND HUMANIZED COMPUTING, vol. 5, pp. 581-599. ISSN 1868-5137
Contributo su Rivista - Corno, Fulvio; Sanaullah, Muhammad (2014)
Modeling and Formal Verification of Smart Environments. In: SECURITY AND COMMUNICATION NETWORKS, vol. 7, pp. 1582-1598. ISSN 1939-0122
Contributo su Rivista - Sanaullah, Muhammad (2014)
Design Time Methodology for the Formal Modeling and Verification of Smart Environments. relatore: Professor Fulvio Corno, 25. XXV, P.: 135
Doctoral Thesis - Corno, Fulvio; Sanaullah, Muhammad (2011)
Formal Verification of Device State Chart Models. In: The 7th International Conference on Intelligent Environments, Nottingham (UK), 25-28/07/2011, pp. 66-73. ISBN: 9780769544526
Contributo in Atti di Convegno (Proceeding)