Usman Sanwal

According to our database, Usman Sanwal authored at least 9 papers between 2017 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2024

Railway Switch Control Modeling in European Train Control System Level 3.

Francesco Flammini, Stefano Marrone, Roberto Nardone, Usman Sanwal, Cristina Seceleanu, Laura Verde, Valeria Vittorini

Proceedings of the Leveraging Applications of Formal Methods, Verification and Validation. Application Areas, 2024

2022

Distributed Simulations of DNA Multi-strand Dynamics.

Frankie Spencer, Usman Sanwal, Eugen Czeizler

Proceedings of the 12th International Conference on Simulation and Modeling Methodologies, 2022

2021

Towards Scalable Modeling of Biology in Event-B.

Usman Sanwal, Thai Son Hoang, Luigia Petre, Ion Petre

CoRR, 2021

VDNA-Lab: A Computational Simulation Platform for DNA Multi-strand Dynamics.

Frankie Spencer, Usman Sanwal, Eugen Czeizler

Proceedings of the 11th International Conference on Simulation and Modeling Methodologies, 2021

2020

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

2019

Refinement-based modeling of the ErbB signaling pathway.

Bogdan Iancu, Usman Sanwal, Cristian Gratie, Ion Petre

Comput. Biol. Medicine, 2019

2018

Accelerating Viterbi Algorithm using Custom Instruction Approach.

Waqar Ahmad, Imran Hafeez Abbassi, Usman Sanwal, Hasan Mahmood

Proceedings of the 14th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 2018

2017

Stepwise construction of a metabolic network in Event-B: The heat shock response.

Usman Sanwal, Luigia Petre, Ion Petre

Comput. Biol. Medicine, 2017

Combining Refinement and Signal-Temporal Logic for Biological Systems.

Usman Sanwal, Umair Siddique

Proceedings of the Intelligent Computer Mathematics - 10th International Conference, 2017