Muhammad Usman Sanwal


Peer-reviewed publications

A4 Conference proceedings
Combining Refinement and Signal-Temporal Logic for Biological Systems (2017)
Usman Sanwal, Umair Siddique
A1 Journal article (refereed)
Stepwise Construction of a Metabolic Network in Event-B: The Heat Shock Response (2017)
Usman Sanwal, Luigia Petre, Ion Petre
Computers in Biology and Medicine
View on publisher's site
A4 Conference proceedings
Formally Analyzing Continuous Aspects of Cyber-Physical Systems modeled by Homogeneous Linear Differential Equations (2015)
Muhammad Usman Sanwal, Osman Hasan
Lecture notes for computer science

Last updated on 2018-19-09 at 19:50