Muhammad Sanaullah

Dottorato in Ingegneria Informatica E Dei Sistemi , 25^o ciclo (2010-2012)

Dottorato concluso nel 2014

DESIGN TIME METHODOLOGY FOR THE FORMAL MODELING AND VERIFICATION OF SMART ENVIRONMENTS

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)
Design time Methodology for the Formal Verification of Intelligent Domotic Environments. In: International Symposium on Ambient Intelligence, Salamanca (ES), 6th - 8th April 2011, pp. 9-16. ISBN: 9783642199363
Contributo in Atti di Convegno (Proceeding)
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)