E-LIB Suche - Ergebnisse für: Roop, Partha

1

Securing Pacemakers using Runtime Monitors over Physiologic..:

Panda, Abhinandan ; Pinisetty, Srinivas ; Roop, Partha
ACM Transactions on Embedded Computing Systems. , 2024

Link: https://doi.org/10.1145/..

2

Logical Synchrony Networks: A Formal Model for Deterministi..:

Kenwright, Logan ; Roop, Partha ; Allen, Nathan...
IEEE Access. 12 (2024) - p. 80872-80883 , 2024

Link: https://doi.org/10.1109/..

3

DIGIPREDICT: physiological, behavioural and environmental p..:

Chan, Amy Hai Yan ; Te Ao, Braden ; Baggott, Christina...
BMJ Open Respiratory Research. 11 (2024) 1 - p. e002275 , 2024

Link: https://doi.org/10.1136/..

4

LSD increases sleep duration the night after microdosing:

Allen, Nathan ; Jeremiah, Aron ; Murphy, Robin...
Translational Psychiatry. 14 (2024) 1 - p. , 2024

Link: https://doi.org/10.1038/..

5

Scalable Security Enforcement for Cyber Physical Systems:

Baird, Alex ; Panda, Abhinandan ; Pearce, Hammond..
IEEE Access. 12 (2024) - p. 14385-14410 , 2024

Link: https://doi.org/10.1109/..

6

Incremental Security Enforcement for Cyber-Physical Systems:

Panda, Abhinandan ; Baird, Alex ; Pinisetty, Srinivas.
IEEE Access. 11 (2023) - p. 18475-18498 , 2023

Link: https://doi.org/10.1109/..

7

STF: Spatial Temporal Fusion for Trajectory Prediction:

, In: 2023 29th International Conference on Mechatronics and Machine Vision in Practice (M2VIP),

Han, Pengqian ; Roop, Partha ; Liu, Jiamou.. - p. 1-6 , 2023

Link: https://doi.org/10.1109/..

8

An open-label pilot trial assessing tolerability and feasib..:

Donegan, Carina Joy ; Daldegan-Bueno, Dimitri ; Sumner, Rachael...
Pilot and Feasibility Studies. 9 (2023) 1 - p. , 2023

Link: https://doi.org/10.1186/..

9

Evolving a Programming CS2 Course: A Decade-Long Experience..:

, In: Proceedings of the 54th ACM Technical Symposium on Computer Science Education V. 1,

Giacaman, Nasser ; Roop, Partha ; Terragni, Valerio - p. 507-513 , 2023

Link: https://dl.acm.org/doi/1..

10

A Novel Mapping of ECG and PPG to Ensure the Safety of Heal..:

Panda, Abhinandan ; Pinisetty, Srinivas ; Roop, Partha
IEEE Embedded Systems Letters. 15 (2023) 1 - p. 49-52 , 2023

Link: https://doi.org/10.1109/..

11

Towards Personalised Mood Prediction and Explanation for De..:

Chatterjee, Sobhan ; Mishra, Jyoti ; Sundram, Frederick.
Sensors. 24 (2023) 1 - p. 164 , 2023

Link: https://doi.org/10.3390/..

12

A Novel Framework for the Design of Resilient Cyber-Physica..:

Anto, Kelvin ; Swain, Akshya Kumar ; Roop, Partha
IEEE Access. 11 (2023) - p. 73556-73567 , 2023

Link: https://doi.org/10.1109/..

13

A novel approach to Real-time contract based reasoning for ..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Sood, Surinder ; Malik, Avinash ; Roop, Partha - p. 1-11 , 2022

Link: https://doi.org/10.1109/..

14

Policy-Based Hypertension Monitoring Using Formal Runtime V..:

, In: Bioinformatics Research and Applications; Lecture Notes in Computer Science,

Panda, Abhinandan ; Pinisetty, Srinivas ; Roop, Partha - p. 169-179 , 2022

Link: https://doi.org/10.1007/..

15

Runtime Interchange of Enforcers for Adaptive Attacks: A Se..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Baird, Alex ; Pearce, Hammond ; Pinisetty, Srinivas. - p. 1-11 , 2022

Link: https://doi.org/10.1109/..