Partha S. Roop

ORCID

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 85

Top Venues

MEMOCODE

CoRR

ISORC

ACM Trans. Embed. Comput. Syst.

Publications

Sobhan Chatterjee, Jyoti Mishra, Frederick Sundram, Partha S. Roop
Towards Personalised Mood Prediction and Explanation for Depression from Biophysical Data. Sensors 24 (1) (2024)
Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard
Logical Synchrony Networks: A Formal Model for Deterministic Distribution. IEEE Access 12 (2024)
Logan Kenwright, Partha S. Roop, Nathan Allen, Sanjay Lall, Calin Cascaval, Tammo Spalink, Martin Izzard
Logical Synchrony Networks: A formal model for deterministic distribution. CoRR (2024)
Alex Baird, Abhinandan Panda, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop
Scalable Security Enforcement for Cyber Physical Systems. IEEE Access 12 (2024)
Valerio Terragni, Partha S. Roop, Kelly Blincoe
The Future of Software Engineering in an AI-Driven World. CoRR (2024)
Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari
Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. ACM Trans. Program. Lang. Syst. 45 (2) (2023)
Nasser Giacaman, Partha S. Roop, Valerio Terragni
Evolving a Programming CS2 Course: A Decade-Long Experience Report. SIGCSE (1) (2023)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications. IEEE Embed. Syst. Lett. 15 (1) (2023)
Abhinandan Panda, Alex Baird, Srinivas Pinisetty, Partha S. Roop
Incremental Security Enforcement for Cyber-Physical Systems. IEEE Access 11 (2023)
Kelvin Anto, Akshya Kumar Swain, Partha S. Roop
A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods. IEEE Access 11 (2023)
Ankit Pradhan, Jonathan King, Srinivas Pinisetty, Partha S. Roop
Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. IEEE Trans. Computers 72 (9) (2023)
Jin Woo Ro, Avinash Malik, Partha S. Roop
High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata. IEEE Trans. Computers 71 (7) (2022)
Luman Wang, Avinash Malik, Partha S. Roop, Leo K. Cheng, Niranchan Paskaranandavadivel
A framework for the design of a closed-loop gastric pacemaker for treating conduction block. Comput. Methods Programs Biomed. 216 (2022)
Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop
Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. MEMOCODE (2022)
Surinder Sood, Avinash Malik, Partha S. Roop
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. MEMOCODE (2022)
Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop
Runtime Verification for Clinically Interpretable Arrhythmia Classification. MEMOCODE (2022)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG. CoRR (2022)
Weiwei Ai, Vinod Suresh, Partha S. Roop
Development of closed-loop modelling framework for adaptive respiratory pacemakers. Comput. Biol. Medicine 141 (2022)
Surinder Sood, Avinash Malik, Partha S. Roop
A novel approach to Real-time contract based reasoning for Hybrid Systems. MEMOCODE (2022)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors. ISBRA (2022)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. CBMS (2022)
Srinivas Pinisetty, Ankit Pradhan, Partha S. Roop, Stavros Tripakis
Compositional runtime enforcement revisited. Formal Methods Syst. Des. 59 (1) (2021)
Hammond A. Pearce, Xin Yang, Partha S. Roop, Marc Katzef, Tórur Biskopstø Strøm
Designing Neural Networks for Real-Time Systems. IEEE Embed. Syst. Lett. 13 (3) (2021)
Hammond Pearce, Xin Yang, Srinivas Pinisetty, Partha S. Roop
Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers. CoRR (2021)
Kelvin Anto, Partha S. Roop, Akshya K. Swain
Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. MEMOCODE (2021)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop
A secure insulin infusion system using verification monitors. MEMOCODE (2021)
Jin Woo Ro, Partha S. Roop, Avinash Malik
A New Safety Distance Calculation for Rear-End Collision Avoidance. IEEE Trans. Intell. Transp. Syst. 22 (3) (2021)
Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, Ajay Babu K, M. Sabarimalai Manikandan
Runtime verification of implantable medical devices using multiple physiological signals. SAC (2021)
Surinder Sood, Avinash Malik, Partha S. Roop
Robust Design and Validation of Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. 18 (6) (2020)
Hammond A. Pearce, Srinivas Pinisetty, Partha S. Roop, Matthew M. Y. Kuo, Abhisek Ukil
Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems. IEEE Trans. Ind. Informatics 16 (7) (2020)
Luman Wang, Avinash Malik, Partha S. Roop, Leo K. Cheng, Niranchan Paskaranandavadivel, Weiwei Ai
Design of a closed-loop gastric pacemaker for modulating dysrhythmic conduction patterns via extracellular potentials. EMBC (2020)
Hammond A. Pearce, Xin Yang, Partha S. Roop, Marc Katzef, Tórur Biskopstø Strøm
Designing Neural Networks for Real-Time Systems. CoRR (2020)
Moon Soo Kim, Weiwei Ai, Partha S. Roop, Nathan Allen, Rohit Ramchandra, Julian Paton
Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. MEMOCODE (2020)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Mark L. Trew
Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices. IEEE Trans. Biomed. Eng. 67 (2) (2020)
Saumya Shankar, Ujwal V. R, Srinivas Pinisetty, Partha S. Roop
Formal Runtime Monitoring Approaches for Autonomous Vehicles. OVERLAY (2020)
Luman Wang, Avinash Malik, Partha S. Roop, Leo K. Cheng, Niranchan Paskaranandavadivel, Weiwei Ai
A novel approach for model-based design of gastric pacemakers. Comput. Biol. Medicine 116 (2020)
Xin Yang, Partha S. Roop, Hammond A. Pearce, Jin Woo Ro
A compositional approach using Keras for neural networks in real-time systems. DATE (2020)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Mark L. Trew
Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models. IEEE J. Biomed. Health Informatics 24 (6) (2020)
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Manoj Singh Gaur, Partha S. Roop
: Large-scale klepto apps analysis. Future Gener. Comput. Syst. 109 (2020)
Nathan Allen, Partha S. Roop
Semantics-Directed Hardware Generation of Hybrid Systems. ICCPS (2020)
Hammond A. Pearce, Partha S. Roop
Synthesizing IEC 61499 Function Blocks to hardware. ICEIC (2019)
Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop
A compositional approach for real-time machine learning. MEMOCODE (2019)
Jin Woo Ro, Avinash Malik, Partha S. Roop
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. MEMOCODE (2019)
Luman Wang, Avinash Malik, Partha S. Roop, Leo K. Cheng, Niranchan Paskaranandavadivel
A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology. IEEE Trans. Biomed. Eng. 66 (12) (2019)
Chad E. Eichler, Vinod Suresh, Partha S. Roop
A formal analysis approach for verifying the design of respiratory pacing devices. I2MTC (2019)
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop
Formal Modeling and Verification of a Victim DRAM Cache. ACM Trans. Design Autom. Electr. Syst. 24 (2) (2019)
Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty
Securing implantable medical devices with runtime enforcement hardware. MEMOCODE (2019)
Partha S. Roop, Hammond A. Pearce, Keyan Monadjem
Synchronous neural networks for cyber-physical systems. MEMOCODE (2018)
Avinash Malik, Partha S. Roop, Nathan Allen, Theo Steger
Emulation of Cyber-Physical Systems Using IEC-61499. IEEE Trans. Ind. Informatics 14 (1) (2018)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Sidharta Andalam, Eugene Yip, Nathan Allen, Mark L. Trew
A Parametric Computational Model of the Action Potential of Pacemaker Cells. IEEE Trans. Biomed. Eng. 65 (1) (2018)
Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider
Security of Pacemakers using Runtime Verification. MEMOCODE (2018)
Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark L. Trew, Weiwei Ai, Nitish D. Patel
Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew
Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. ISORC (2018)
Joaquín Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden
Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. ESOP (2018)
Jin Woo Ro, Partha S. Roop, Avinash Malik, Prakash Ranjitkar
A Formal Approach for Modeling and Simulation of Human Car-Following Behavior. IEEE Trans. Intell. Transp. Syst. 19 (2) (2018)
Avinash Malik, Partha S. Roop
Quantized State Hybrid Automata for Cyber-Physical Systems. CoRR (2018)
Debiprasanna Sahoo, Swaraj Sha, Manoranjan Satpathy, Madhu Mutyam, S. Ramesh, Partha S. Roop
Formal Modeling and Verification of Controllers for a Family of DRAM Caches. IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 37 (11) (2018)
Hammond A. Pearce, Partha S. Roop, Morteza Biglari-Abhari, Martin Schoeberl
Faster Function Blocks for Precision Timed Industrial Automation. ISORC (2018)
Michael Mendler, Joaquín Aguado, Bruno Bodin, Partha S. Roop, Reinhard von Hanxleden
Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. Models, Mindsets, Meta (2018)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices. EMBC (2017)
Avinash Malik, Partha S. Roop, Sidharta Andalam, Mark Trew, Michael Mendler
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur
Detecting Inter-App Information Leakage Paths. AsiaCCS (2017)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Nathan Allen, Mark L. Trew
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices. CoRR (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Nathan Allen, Stavros Tripakis, Reinhard von Hanxleden
Runtime Enforcement of Cyber-Physical Systems. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Sidharta Andalam, Nathan Allen, Avinash Malik, Partha S. Roop, Mark Trew
A Novel Emulation Model of the Cardiac Conduction System. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Jiajie Wang, Michael Mendler, Partha S. Roop, Bruno Bodin
Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Zeeshan Ejaz Bhatti, Partha S. Roop, Roopak Sinha
Unified Functional Safety Assessment of Industrial Automation Systems. IEEE Trans. Ind. Informatics 13 (1) (2017)
Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden
A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. ISORC (2017)
Joaquín Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha S. Roop
Compositional timing-aware semantics for synchronous programming. FDL (2017)
Shweta Bhandari, Frédéric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur
SneakLeak: Detecting Multipartite Leakage Paths in Android Apps. TrustCom/BigDataSE/ICESS (2017)
Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik
Simulation of cyber-physical systems using IEC61499. MEMOCODE (2017)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. SPIN (2017)
Weiwei Ai, Nitish D. Patel, Partha S. Roop
Requirements-centric closed-loop validation of implantable cardiac devices. DATE (2016)
Eugene Yip, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Weiwei Ai, Nitish D. Patel
Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing. CoRR (2016)
Sidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. ARCH@CPSWeek (2016)
Nathan Allen, Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew, Nitish D. Patel
Modular code generation for emulating the electrical conduction system of the human heart. DATE (2016)
Matthew M. Y. Kuo, Sidharta Andalam, Partha S. Roop
Precision timed industrial automation systems. DATE (2016)
Mahmood Hikmet, Matthew M. Y. Kuo, Partha S. Roop, Prakash Ranjitkar
Mixed-Criticality Systems as a Service for Non-critical Tasks. ISORC (2016)
Eugene Yip, Alain Girault, Partha S. Roop, Morteza Biglari-Abhari
The ForeC Synchronous Deterministic Parallel Programming Language for Multicores. MCSoC (2016)
Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Morteza Biglari-Abhari
RunSync: A Predictable Runtime for Precision Timed Automation Systems. ISORC (2016)
Michael Mendler, Partha S. Roop, Bruno Bodin
A Novel WCET Semantics of Synchronous Programs. FORMATS (2016)
Jia Jie Wang, Partha S. Roop, Alain Girault
Energy and timing aware synchronous programming. EMSOFT (2016)
Roopak Sinha, Partha S. Roop, Gareth Shaw, Zoran A. Salcic, Matthew M. Y. Kuo
Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks. IEEE Trans. Ind. Informatics 12 (1) (2016)
Sidharta Andalam, Harshavardhan Ramanna, Avinash Malik, Partha S. Roop, Nitish D. Patel, Mark L. Trew
Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications. EMBC (2016)
Srinivas Pinisetty, Partha S. Roop, Steven Smyth, Stavros Tripakis, Reinhard von Hanxleden
Runtime enforcement of reactive systems using synchronous enforcers. CoRR (2016)
Avinash Malik, Partha S. Roop
A unified framework for modeling and implementation of hybrid systems with synchronous controllers. CoRR (2015)
Mahmood Hikmet, Partha S. Roop, Prakash Ranjitkar
Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks. ISORC (2015)
Li Hsien Yoong, Partha S. Roop
Synthesizing Multirate Programs from IEC 61499. ISORC (2015)
Avinash Malik, Partha S. Roop, Sidharta Andalam, Eugene Yip, Mark Trew
A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC). CoRR (2015)
Jin Woo Ro, Partha S. Roop, Avinash Malik
Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. ISORC (2015)
Roopak Sinha, Alain Girault, Gregor Goessler, Partha S. Roop
A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. ACM Trans. Design Autom. Electr. Syst. 20 (1) (2014)
Sidharta Andalam, Partha S. Roop, Alain Girault, Claus Traulsen
A Predictable Framework for Safety-Critical Embedded Systems. IEEE Trans. Computers 63 (7) (2014)
Jin Woo Ro, Zeeshan Ejaz Bhatti, Partha S. Roop
A model-driven approach with synchronous semantics for developing hard real-time WSNs. ETFA (2014)
Reinhard von Hanxleden, Michael Mendler, Joaquín Aguado, Björn Duderstadt, Insa Fuhrmann, Christian Motika, Stephen Mercer, Owen O'Brien, Partha S. Roop
Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. ACM Trans. Embed. Comput. Syst. 13 (4s) (2014)
Eugene Yip, Matthew M. Y. Kuo, Partha S. Roop, David Broman
Relaxing the synchronous approach for mixed-criticality systems. RTAS (2014)
Syed Adeel Ali, Partha S. Roop, Ian Warren
Web Service Choreography: Unanimous Handling of Control and Data. Int. J. Softw. Informatics 7 (2) (2013)
Matthew M. Y. Kuo, Partha S. Roop, Sidharta Andalam, Nitish D. Patel
Precision Timed Embedded Systems Using TickPAD Memory. ACSD (2013)
Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke
Precise timing analysis for direct-mapped caches. DAC (2013)
Eugene Yip, Partha S. Roop, Morteza Biglari-Abhari, Alain Girault
Programming and Timing Analysis of Parallel Programs on Multicores. ACSD (2013)
Jia Jie Wang, Partha S. Roop, Sidharta Andalam
ILPc: A novel approach for scalable timing analysis of synchronous programs. CASES (2013)

Partha S. Roop.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Partha S. Roop