| Formal verification of cyber-physical systems: coping with continuous elements MU Sanwal, O Hasan International conference on computational science and its applications, 358-371, 2013 | 46 | 2013 |
| Formally analyzing continuous aspects of cyber-physical systems modeled by homogeneous linear differential equations MU Sanwal, O Hasan Cyber Physical Systems. Design, Modeling, and Evaluation: 5th International …, 2015 | 8 | 2015 |
| Stepwise construction of a metabolic network in Event-B: The heat shock response U Sanwal, L Petre, I Petre Computers in Biology and Medicine 91, 1-12, 2017 | 5 | 2017 |
| Refinement-based modeling of the ErbB signaling pathway B Iancu, U Sanwal, C Gratie, I Petre Computers in Biology and Medicine 106, 91-96, 2019 | 3 | 2019 |
| Computational Science and Its Applications–ICCSA 2013 MU Sanwal, O Hasan vol. Lecture Nottes in Computer Science 7971, ch. Formal Verification of …, 2013 | 2 | 2013 |
| Scalable reaction network modeling with automatic validation of consistency in Event-B U Sanwal, TS Hoang, L Petre, I Petre Scientific Reports 12 (1), 1287, 2022 | 1 | 2022 |
| Combining refinement and signal-temporal logic for biological systems U Sanwal, U Siddique Intelligent Computer Mathematics: 10th International Conference, CICM 2017 …, 2017 | 1 | 2017 |
| Distributed Simulations of DNA Multi-strand Dynamics F Spencer, MU Sanwal, E Czeizler 12th International Conference on Simulation and Modeling Methodologies …, 2022 | | 2022 |
| Large Scale Biological Models in Rodin U Sanwal, TS Hoang, L Petre, I Petre Developer Workshop, 2021, 27, 2021 | | 2021 |
| Towards Scalable Modeling of Biology in Event-B U Sanwal, TS Hoang, L Petre, I Petre arXiv preprint arXiv:2105.10344, 2021 | | 2021 |
| VDNA-Lab: A Computational Simulation Platform for DNA Multi-strand Dynamics. F Spencer, U Sanwal, E Czeizler SIMULTECH, 288-294, 2021 | | 2021 |
| A Computational Model for The Access to Medical Service in a Basic Prototype of a Healthcare System L Petre, U Sanwal, G Shah, C Panchal, D Tyagi, I Petre Fundamenta Informaticae 171 (1-4), 331-343, 2020 | | 2020 |
| An Event-B Model for a Basic Prototype of a Healthcare System L Petre, U Sanwal, G Shah, C Panchal, D Tiwari, I Petre Workshop on Programming Theory, 64, 2018 | | 2018 |
| Accelerating Viterbi Algorithm using Custom Instruction Approach W Ahmad, IH Abbassi, U Sanwal, H Mahmood 2018 14th IEEE/ASME International Conference on Mechatronic and Embedded …, 2018 | | 2018 |
Ion PetreProfessor of Mathematics, University of Turku, FinlandVerified email at utu.fi
