Combining Refinement and Signal-Temporal Logic for Biological Systems. - Usman Sanwal; Umair Siddique (CICM, 2017)

Stepwise construction of a metabolic network in Event-B: The heat shock response. - Usman Sanwal; Luigia Petre; Ion Petre (Comput. Biol. Medicine, 2017)

Accelerating Viterbi Algorithm using Custom Instruction Approach. - Waqar Ahmad; Imran Hafeez Abbassi; Usman Sanwal; Hasan Mahmood (MESA, 2018)

Refinement-based modeling of the ErbB signaling pathway. - Bogdan Iancu; Usman Sanwal; Cristian Gratie; Ion Petre (Comput. Biol. Medicine, 2019)

A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System. - Luigia Petre; Usman Sanwal; Gohar Shah; Charmi Panchal; Dwitiya Tyagi; Ion Petre (Fundam. Informaticae, 2020)

VDNA-Lab: A Computational Simulation Platform for DNA Multi-strand Dynamics. - Frankie Spencer; Usman Sanwal; Eugen Czeizler (SIMULTECH, 2021)

Towards Scalable Modeling of Biology in Event-B. - Usman Sanwal; Thai Son Hoang; Luigia Petre; Ion Petre (CoRR, 2021)

Distributed Simulations of DNA Multi-strand Dynamics. - Frankie Spencer; Usman Sanwal; Eugen Czeizler (SIMULTECH, 2022)

Railway Switch Control Modeling in European Train Control System Level 3. - Francesco Flammini; Stefano Marrone 001; Roberto Nardone; Usman Sanwal; Cristina Seceleanu; Laura Verde; Valeria Vittorini (ISoLA (5), 2024)