Model based verification of spiking neural networks in cyber physical systems
Pradhan, Ankit, King, Jonathan, Pinisetty, Srinivas, Roop, Partha S.
Published in IEEE transactions on computers (01.09.2023)
Published in IEEE transactions on computers (01.09.2023)
Get full text
Journal Article
Towards Personalised Mood Prediction and Explanation for Depression from Biophysical Data
Chatterjee, Sobhan, Mishra, Jyoti, Sundram, Frederick, Roop, Partha
Published in Sensors (Basel, Switzerland) (27.12.2023)
Published in Sensors (Basel, Switzerland) (27.12.2023)
Get full text
Journal Article
Development of closed-loop modelling framework for adaptive respiratory pacemakers
Ai, Weiwei, Suresh, Vinod, Roop, Partha S.
Published in Computers in biology and medicine (01.02.2022)
Published in Computers in biology and medicine (01.02.2022)
Get full text
Journal Article
Resonant model-A new paradigm for modeling an action potential of biological cells
Sehgal, Sucheta, Patel, Nitish D, Malik, Avinash, Roop, Partha S, Trew, Mark L
Published in PloS one (22.05.2019)
Published in PloS one (22.05.2019)
Get full text
Journal Article
A New Safety Distance Calculation for Rear-End Collision Avoidance
Ro, Jin Woo, Roop, Partha S., Malik, Avinash
Published in IEEE transactions on intelligent transportation systems (01.03.2021)
Published in IEEE transactions on intelligent transportation systems (01.03.2021)
Get full text
Journal Article
Decoding ChatGPT's 'impact' on the future of healthcare
Pearce, Hammond, Roop, Partha
Published in Cancer research, statistics, and treatment (Online) (01.01.2023)
Published in Cancer research, statistics, and treatment (Online) (01.01.2023)
Get full text
Journal Article
Incremental Security Enforcement for Cyber-Physical Systems
Panda, Abhinandan, Baird, Alex, Pinisetty, Srinivas, Roop, Partha
Published in IEEE access (01.01.2023)
Published in IEEE access (01.01.2023)
Get full text
Journal Article
A Predictable Framework for Safety-Critical Embedded Systems
Andalam, Sidharta, Roop, Partha S, Girault, Alain, Traulsen, Claus
Published in IEEE transactions on computers (01.07.2014)
Published in IEEE transactions on computers (01.07.2014)
Get full text
Journal Article
Compositional runtime enforcement revisited
Pinisetty, Srinivas, Pradhan, Ankit, Roop, Partha, Tripakis, Stavros
Published in Formal methods in system design (01.12.2021)
Published in Formal methods in system design (01.12.2021)
Get full text
Journal Article
Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices
Ai, Weiwei, Patel, Nitish D., Roop, Partha S., Malik, Avinash, Trew, Mark L.
Published in IEEE transactions on biomedical engineering (01.02.2020)
Published in IEEE transactions on biomedical engineering (01.02.2020)
Get full text
Journal Article
Scalable Security Enforcement for Cyber Physical Systems
Baird, Alex, Panda, Abhinandan, Pearce, Hammond, Pinisetty, Srinivas, Roop, Partha
Published in IEEE access (2024)
Published in IEEE access (2024)
Get full text
Journal Article
Emulation of Cyber-Physical Systems Using IEC-61499
Malik, Avinash, Roop, Partha S, Allen, Nathan, Steger, Theo
Published in IEEE transactions on industrial informatics (01.01.2018)
Published in IEEE transactions on industrial informatics (01.01.2018)
Get full text
Journal Article
A novel approach for model-based design of gastric pacemakers
Wang, Luman, Malik, Avinash, Roop, Partha S., Cheng, Leo K., Paskaranandavadivel, Niranchan, Ai, Weiwei
Published in Computers in biology and medicine (01.01.2020)
Published in Computers in biology and medicine (01.01.2020)
Get full text
Journal Article
Unified Functional Safety Assessment of Industrial Automation Systems
Bhatti, Zeeshan E., Roop, Partha S., Sinha, Roopak
Published in IEEE transactions on industrial informatics (01.02.2017)
Published in IEEE transactions on industrial informatics (01.02.2017)
Get full text
Journal Article
Compositional cyber-physical epidemiology of COVID-19
Ro, Jin Woo, Allen, Nathan, Ai, Weiwei, Prasad, Debi, Roop, Partha S
Published in Scientific reports (11.11.2020)
Published in Scientific reports (11.11.2020)
Get full text
Journal Article