Implementation of design functions by available devices: a new algorithm. - Raj S. Mitra; Partha S. Roop; Anupam Basu (VLSI Design, 1995)

A new algorithm for implementation of design functions by available devices. - Raj S. Mitra; Partha S. Roop; Anupam Basu (IEEE Trans. Very Large Scale Integr. Syst., 1996)

Hidden time model for specification and verification of embedded systems. - Partha S. Roop; Arcot Sowmya (ECRTS, 1998)

CFSMcharts: A New Language for Microprocessor Based system Design. - Partha S. Roop; Arcot Sowmya (VLSI Design, 1998)

Automated Component Adaptation by Forced Simulation. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ACAC, 2000)

Automatic Component Matching Using Forced Simulation. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (VLSI Design, 2000)

Forced simulation: a formal approach to component based development of embedded systems. - Partha S. Roop (2000)

A formal approach to component based development of synchronous programs. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ASP-DAC, 2001)

Forced simulation: A technique for automating component reuse in embedded systems. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ACM Trans. Design Autom. Electr. Syst., 2001)

REFLIX: A Processor Core for Reactive Embedded Applications. - Zoran A. Salcic; Partha S. Roop; Morteza Biglari-Abhari; Abbas Bigdeli (FPL, 2002)

k-time Forced Simulation: A Formal Verification Technique for IP Reuse. - Partha S. Roop; Arcot Sowmya; S. Ramesh 001 (ICCD, 2002)

A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems. - Partha S. Roop; Zoran A. Salcic; Morteza Biglari-Abhari; Abbas Bigdeli (VLSI Design, 2003)

A Customer Test Generator for Web-Based Systems. - Rick Mugridge; Bruce A. MacDonald; Partha S. Roop (XP, 2003)

Five Challenges in Teaching XP. - Rick Mugridge; Bruce A. MacDonald; Partha S. Roop; Ewan D. Tempero (XP, 2003)

HiDRA: A New Architecture for Heterogeneous Embedded Systems. - Zoran A. Salcic; Partha S. Roop; Dong Hui; Ivan Radojevic (ESA/VLSI, 2004)

Towards direct execution of esterel programs on reactive processors. - Partha S. Roop; Zoran A. Salcic; M. W. Sajeewa Dayaratne (EMSOFT, 2004)

Customizing Processor Cores to Support Reactivity. - Zoran A. Salcic; Partha S. Roop (ERSA, 2004)

REFLIX: a processor core with native support for control-dominated embedded applications. - Zoran A. Salcic; Partha S. Roop; Morteza Biglari-Abhari; Abbas Bigdeli (Microprocess. Microsystems, 2004)

REMIC: design of a reactive embedded microprocessor core. - Zoran A. Salcic; Dong Hui; Partha S. Roop; Morteza Biglari-Abhari (ASP-DAC, 2005)

Modelling Heterogeneous Embedded Systems in DFCarts. - Ivan Radojevic; Zoran A. Salcic; Partha S. Roop (FDL, 2005)

Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. - Robi Malik; Partha S. Roop (IFM, 2005)

Adaptive Verification using Forced Simulation. - Roopak Sinha; Partha S. Roop; Bakhadyr Khoussainov (FESCA@ETAPS, 2005)

A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform. - Ivan Radojevic; Zoran A. Salcic; Partha S. Roop (Int. J. Softw. Eng. Knowl. Eng., 2005)

The SystemJ approach to system-level design. - Flavius Gruian; Partha S. Roop; Zoran A. Salcic; Ivan Radojevic (MEMOCODE, 2006)

A Scheduler Support Unit for Reactive Microprocessors. - Zoran A. Salcic; Flavius Gruian; Partha S. Roop; Alif Wahid (RTCSA, 2006)

Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation. - Ivan Radojevic; Zoran A. Salcic; Partha S. Roop (VLSI Design, 2006)

Modeling Embedded Systems: From SystemC and Esterel to DFCharts. - Ivan Radojevic; Zoran A. Salcic; Partha S. Roop (IEEE Des. Test Comput., 2006)

Local Module Checking for CTL Specifications. - Samik Basu 001; Partha S. Roop; Roopak Sinha (FESCA@ETAPS, 2006)

HiDRA - A reactive multiprocessor architecture for heterogeneous embedded systems. - Zoran A. Salcic; Dong Hui; Partha S. Roop; Morteza Biglari-Abhari (Microprocess. Microsystems, 2006)

McCharts and Multiclock FSMs for modeling large scale systems. - Ivan Radojevic; Zoran A. Salcic; Partha S. Roop (MEMOCODE, 2007)

A Model Checking Approach to Protocol Conversion. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (SLA++P@ETAPS, 2007)

Precise specification matching for adaptive reuse in embedded systems. - Hai-Feng Guo; Miao Liu; Partha S. Roop; C. R. Ramakrishnan 001; I. V. Ramakrishnan (J. Appl. Log., 2007)

Tandem virtual machine - An efficient execution platform for GALS language SystemJ. - Avinash Malik; Zoran Salcic; Partha S. Roop (ACSAC, 2008)

A Module Checking Based Converter Synthesis Approach for SoCs. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (VLSI Design, 2008)

SoC Design Approach Using Convertibility Verification. - Roopak Sinha; Partha S. Roop; Samik Basu 001 (EURASIP J. Embed. Syst., 2008)

STARPro - A new multithreaded direct execution platform for Esterel. - Simon Yuan; Sidharta Andalam; Li Hsien Yoong; Partha S. Roop; Zoran A. Salcic (SLAP@ETAPS, 2008)

Specification Enforcing Refinement for Convertibility Verification. - Partha S. Roop; Alain Girault; Roopak Sinha; Gregor Goessler (ACSD, 2009)

Tight WCRT analysis of synchronous C programs. - Partha S. Roop; Sidharta Andalam; Reinhard von Hanxleden; Simon Yuan; Claus Traulsen (CASES, 2009)

Multi-clock Soc design using protocol conversion. - Roopak Sinha; Partha S. Roop; Samik Basu 001; Zoran Salcic (DATE, 2009)

A Hierarchical and Concurrent Approach for IEC 61499 Function Blocks. - Gareth Shaw; Partha S. Roop; Zoran Salcic (ETFA, 2009)

A New Multithreaded Architecture Supporting Direct Execution of Esterel. - Simon Yuan; Li Hsien Yoong; Sidharta Andalam; Partha S. Roop; Zoran Salcic (EURASIP J. Embed. Syst., 2009)

A Synchronous Approach for IEC 61499 Function Block Implementation. - Li Hsien Yoong; Partha S. Roop; Valeriy Vyatkin; Zoran A. Salcic (IEEE Trans. Computers, 2009)

SystemJ compilation using the tandem virtual machine approach. - Avinash Malik; Zoran A. Salcic; Partha S. Roop (ACM Trans. Design Autom. Electr. Syst., 2009)

Deterministic, predictable and light-weight multithreading using PRET-C. - Sidharta Andalam; Partha S. Roop; Alain Girault (DATE, 2010)

Predictable multithreading of embedded applications using PRET-C. - Sidharta Andalam; Partha S. Roop; Alain Girault (MEMOCODE, 2010)

SystemJ: A GALS language for system level design. - Avinash Malik; Zoran Salcic; Partha S. Roop; Alain Girault (Comput. Lang. Syst. Struct., 2010)

Verifying IEC 61499 Function Blocks Using Esterel. - Li Hsien Yoong; Partha S. Roop (IEEE Embed. Syst. Lett., 2010)

Efficient WCRT analysis of synchronous programs using reachability. - Matthew M. Y. Kuo; Roopak Sinha; Partha S. Roop (DAC, 2011)

Pruning infeasible paths for tight WCRT analysis of synchronous programs. - Sidharta Andalam; Partha S. Roop; Alain Girault (DATE, 2011)

Environment Modelling for Tighter Timing Analysis of Synchronous Programs. - Sidharta Andalam; Roopak Sinha; Partha S. Roop (DELTA, 2011)

Compiling Esterel for Multi-core Execution. - Simon Yuan; Li Hsien Yoong; Partha S. Roop (DSD, 2011)

Unified management of control flow and data mismatches in web service composition. - Syed Adeel Ali; Partha S. Roop; Ian Warren; Zeeshan Ejaz Bhatti (SOSE, 2011)

Design of Distributed Heterogeneous Embedded Systems in DDFCharts. - Ivan Radojevic; Zoran Salcic; Partha S. Roop (IEEE Trans. Parallel Distributed Syst., 2011)

Correct-by-construction multi-component SoC design. - Roopak Sinha; Partha S. Roop; Zoran Salcic; Samik Basu 001 (DATE, 2012)

Model-driven development of industrial embedded systems: Challenges faced and lessons learnt. - K. Nicholas; Zeeshan Ejaz Bhatti; Partha S. Roop (ETFA, 2012)

A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis. - Zachary J. Oster; Syed Adeel Ali; Ganesh Ram Santhanam; Samik Basu 001; Partha S. Roop (ICSOC, 2012)

Combining IEC 61499 Model-Based Design with Component-Based Architecture for Robotics. - Li Hsien Yoong; Zeeshan Ejaz Bhatti; Partha S. Roop (SIMPAR, 2012)

Implementing constrained cyber-physical systems with IEC 61499. - Li Hsien Yoong; Partha S. Roop; Zoran Salcic (ACM Trans. Embed. Comput. Syst., 2012)

Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499. - Li Hsien Yoong; Gareth Shaw; Partha S. Roop; Zoran Salcic (IEEE Trans. Syst. Man Cybern. Part C, 2012)

Precision Timed Embedded Systems Using TickPAD Memory. - Matthew M. Y. Kuo; Partha S. Roop; Sidharta Andalam; Nitish D. Patel (ACSD, 2013)

Programming and Timing Analysis of Parallel Programs on Multicores. - Eugene Yip; Partha S. Roop; Morteza Biglari-Abhari; Alain Girault (ACSD, 2013)

ILPc: A novel approach for scalable timing analysis of synchronous programs. - Jia Jie Wang; Partha S. Roop; Sidharta Andalam (CASES, 2013)

Precise timing analysis for direct-mapped caches. - Sidharta Andalam; Alain Girault; Roopak Sinha; Partha S. Roop; Jan Reineke 001 (DAC, 2013)

Stateful Web Services - Auto Modeling and Composition. - Syed Adeel Ali; Partha S. Roop; Ian Warren (ICWS, 2013)

Web Service Choreography: Unanimous Handling of Control and Data. - Syed Adeel Ali; Partha S. Roop; Ian Warren (Int. J. Softw. Informatics, 2013)

A model-driven approach with synchronous semantics for developing hard real-time WSNs. - Jin Woo Ro; Zeeshan Ejaz Bhatti; Partha S. Roop (ETFA, 2014)

Relaxing the synchronous approach for mixed-criticality systems. - Eugene Yip; Matthew M. Y. Kuo; Partha S. Roop; David Broman (RTAS, 2014)

A Predictable Framework for Safety-Critical Embedded Systems. - Sidharta Andalam; Partha S. Roop; Alain Girault; Claus Traulsen (IEEE Trans. Computers, 2014)

Sequentially Constructive Concurrency - A Conservative Extension of the Synchronous Model of Computation. - Reinhard von Hanxleden; Michael Mendler; Joaquín Aguado; Björn Duderstadt; Insa Fuhrmann; Christian Motika; Stephen Mercer; Owen O'Brien; Partha S. Roop (ACM Trans. Embed. Comput. Syst., 2014)

A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. - Roopak Sinha; Alain Girault; Gregor Goessler; Partha S. Roop (ACM Trans. Design Autom. Electr. Syst., 2014)

Model-Driven Design Using IEC 61499 - A Synchronous Approach for Embedded and Automation Systems. - Li Hsien Yoong; Partha S. Roop; Zeeshan Ejaz Bhatti; Matthew M. Y. Kuo (Springer, 2015)

Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks. - Mahmood Hikmet; Partha S. Roop; Prakash Ranjitkar (ISORC, 2015)

Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. - Jin Woo Ro; Partha S. Roop; Avinash Malik (ISORC, 2015)

Synthesizing Multirate Programs from IEC 61499. - Li Hsien Yoong; Partha S. Roop (ISORC, 2015)

A unified framework for modeling and implementation of hybrid systems with synchronous controllers. - Avinash Malik; Partha S. Roop (CoRR, 2015)

A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC). - Avinash Malik; Partha S. Roop; Sidharta Andalam; Eugene Yip; Mark Trew (CoRR, 2015)

Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. - Sidharta Andalam; Avinash Malik; Partha S. Roop; Mark L. Trew (ARCH@CPSWeek, 2016)

Requirements-centric closed-loop validation of implantable cardiac devices. - Weiwei Ai; Nitish D. Patel; Partha S. Roop (DATE, 2016)

Modular code generation for emulating the electrical conduction system of the human heart. - Nathan Allen; Sidharta Andalam; Partha S. Roop; Avinash Malik; Mark Trew; Nitish D. Patel (DATE, 2016)

Precision timed industrial automation systems. - Matthew M. Y. Kuo; Sidharta Andalam; Partha S. Roop (DATE, 2016)

Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications. - Sidharta Andalam; Harshavardhan Ramanna; Avinash Malik; Partha S. Roop; Nitish D. Patel; Mark L. Trew (EMBC, 2016)

Energy and timing aware synchronous programming. - Jia Jie Wang; Partha S. Roop; Alain Girault (EMSOFT, 2016)

A Novel WCET Semantics of Synchronous Programs. - Michael Mendler; Partha S. Roop; Bruno Bodin (FORMATS, 2016)

Mixed-Criticality Systems as a Service for Non-critical Tasks. - Mahmood Hikmet; Matthew M. Y. Kuo; Partha S. Roop; Prakash Ranjitkar (ISORC, 2016)

RunSync: A Predictable Runtime for Precision Timed Automation Systems. - Hammond A. Pearce; Matthew M. Y. Kuo; Partha S. Roop; Morteza Biglari-Abhari (ISORC, 2016)

The ForeC Synchronous Deterministic Parallel Programming Language for Multicores. - Eugene Yip; Alain Girault; Partha S. Roop; Morteza Biglari-Abhari (MCSoC, 2016)

Towards the Emulation of the Cardiac Conduction System for Pacemaker Testing. - Eugene Yip; Sidharta Andalam; Partha S. Roop; Avinash Malik; Mark Trew; Weiwei Ai; Nitish D. Patel (CoRR, 2016)

Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks. - Roopak Sinha; Partha S. Roop; Gareth Shaw; Zoran A. Salcic; Matthew M. Y. Kuo (IEEE Trans. Ind. Informatics, 2016)

Detecting Inter-App Information Leakage Paths. - Shweta Bhandari; Frédéric Herbreteau; Vijay Laxmi; Akka Zemmari; Partha S. Roop; Manoj Singh Gaur (AsiaCCS, 2017)

An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices. - Weiwei Ai; Nitish D. Patel; Partha S. Roop; Avinash Malik; Nathan Allen; Mark L. Trew (EMBC, 2017)

Compositional timing-aware semantics for synchronous programming. - Joaquín Aguado; Michael Mendler; Jia Jie Wang; Bruno Bodin; Partha S. Roop (FDL, 2017)

A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. - Nathan Allen; Hammond A. Pearce; Partha S. Roop; Reinhard von Hanxleden (ISORC, 2017)

Simulation of cyber-physical systems using IEC61499. - Hammond A. Pearce; Matthew M. Y. Kuo; Nathan Allen; Partha S. Roop; Avinash Malik (MEMOCODE, 2017)

Runtime enforcement of reactive systems using synchronous enforcers. - Srinivas Pinisetty; Partha S. Roop; Steven Smyth; Stavros Tripakis; Reinhard von Hanxleden (SPIN, 2017)

SneakLeak: Detecting Multipartite Leakage Paths in Android Apps. - Shweta Bhandari; Frédéric Herbreteau; Vijay Laxmi; Akka Zemmari; Partha S. Roop; Manoj Singh Gaur (TrustCom/BigDataSE/ICESS, 2017)

A Novel Emulation Model of the Cardiac Conduction System. - Sidharta Andalam; Nathan Allen; Avinash Malik; Partha S. Roop; Mark Trew (ACM Trans. Embed. Comput. Syst., 2017)

Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. - Avinash Malik; Partha S. Roop; Sidharta Andalam; Mark Trew; Michael Mendler (ACM Trans. Embed. Comput. Syst., 2017)

Runtime Enforcement of Cyber-Physical Systems. - Srinivas Pinisetty; Partha S. Roop; Steven Smyth; Nathan Allen; Stavros Tripakis; Reinhard von Hanxleden (ACM Trans. Embed. Comput. Syst., 2017)

Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction. - Jiajie Wang; Michael Mendler; Partha S. Roop; Bruno Bodin (ACM Trans. Embed. Comput. Syst., 2017)

Unified Functional Safety Assessment of Industrial Automation Systems. - Zeeshan Ejaz Bhatti; Partha S. Roop; Roopak Sinha (IEEE Trans. Ind. Informatics, 2017)

Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. - Michael Mendler; Joaquín Aguado; Bruno Bodin; Partha S. Roop; Reinhard von Hanxleden (Models, Mindsets, Meta, 2018)

Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. - Joaquín Aguado; Michael Mendler; Marc Pouzet; Partha S. Roop; Reinhard von Hanxleden (ESOP, 2018)

Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. - Sidharta Andalam; Partha S. Roop; Avinash Malik; Mark Trew (ISORC, 2018)

Faster Function Blocks for Precision Timed Industrial Automation. - Hammond A. Pearce; Partha S. Roop; Morteza Biglari-Abhari; Martin Schoeberl (ISORC, 2018)

Security of Pacemakers using Runtime Verification. - Srinivas Pinisetty; Partha S. Roop; Vidula Sawant; Gerardo Schneider (MEMOCODE, 2018)

Synchronous neural networks for cyber-physical systems. - Partha S. Roop; Hammond A. Pearce; Keyan Monadjem (MEMOCODE, 2018)

Quantized State Hybrid Automata for Cyber-Physical Systems. - Avinash Malik; Partha S. Roop (CoRR, 2018)

A Parametric Computational Model of the Action Potential of Pacemaker Cells. - Weiwei Ai; Nitish D. Patel; Partha S. Roop; Avinash Malik; Sidharta Andalam; Eugene Yip; Nathan Allen; Mark L. Trew (IEEE Trans. Biomed. Eng., 2018)

Formal Modeling and Verification of Controllers for a Family of DRAM Caches. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam; S. Ramesh 002; Partha S. Roop (IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., 2018)

Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation. - Eugene Yip; Sidharta Andalam; Partha S. Roop; Avinash Malik; Mark L. Trew; Weiwei Ai; Nitish D. Patel (ACM Trans. Cyber Phys. Syst., 2018)

Emulation of Cyber-Physical Systems Using IEC-61499. - Avinash Malik; Partha S. Roop; Nathan Allen; Theo Steger (IEEE Trans. Ind. Informatics, 2018)

A Formal Approach for Modeling and Simulation of Human Car-Following Behavior. - Jin Woo Ro; Partha S. Roop; Avinash Malik; Prakash Ranjitkar (IEEE Trans. Intell. Transp. Syst., 2018)

Synthesizing IEC 61499 Function Blocks to hardware. - Hammond A. Pearce; Partha S. Roop (ICEIC, 2019)

A formal analysis approach for verifying the design of respiratory pacing devices. - Chad E. Eichler; Vinod Suresh; Partha S. Roop (I2MTC, 2019)

A compositional approach for real-time machine learning. - Nathan Allen; Yash Raje; Jin Woo Ro; Partha S. Roop (MEMOCODE, 2019)

Securing implantable medical devices with runtime enforcement hardware. - Hammond A. Pearce; Matthew M. Y. Kuo; Partha S. Roop; Srinivas Pinisetty (MEMOCODE, 2019)

A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. - Jin Woo Ro; Avinash Malik; Partha S. Roop (MEMOCODE, 2019)

A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology. - Luman Wang; Avinash Malik; Partha S. Roop; Leo K. Cheng; Niranchan Paskaranandavadivel (IEEE Trans. Biomed. Eng., 2019)

Formal Modeling and Verification of a Victim DRAM Cache. - Debiprasanna Sahoo; Swaraj Sha; Manoranjan Satpathy; Madhu Mutyam; S. Ramesh 002; Partha S. Roop (ACM Trans. Design Autom. Electr. Syst., 2019)

A compositional approach using Keras for neural networks in real-time systems. - Xin Yang; Partha S. Roop; Hammond A. Pearce; Jin Woo Ro (DATE, 2020)

Design of a closed-loop gastric pacemaker for modulating dysrhythmic conduction patterns via extracellular potentials. - Luman Wang; Avinash Malik; Partha S. Roop; Leo K. Cheng; Niranchan Paskaranandavadivel; Weiwei Ai (EMBC, 2020)

Semantics-Directed Hardware Generation of Hybrid Systems. - Nathan Allen; Partha S. Roop (ICCPS, 2020)

Formal Modeling and Verification of Rate Adaptive Pacemakers for Heart Failure. - Moon Soo Kim; Weiwei Ai; Partha S. Roop; Nathan Allen; Rohit Ramchandra; Julian Paton (MEMOCODE, 2020)

Formal Runtime Monitoring Approaches for Autonomous Vehicles. - Saumya Shankar; Ujwal V. R; Srinivas Pinisetty; Partha S. Roop (OVERLAY, 2020)

A novel approach for model-based design of gastric pacemakers. - Luman Wang; Avinash Malik; Partha S. Roop; Leo K. Cheng; Niranchan Paskaranandavadivel; Weiwei Ai (Comput. Biol. Medicine, 2020)

SneakLeak+: Large-scale klepto apps analysis. - Shweta Bhandari; Frédéric Herbreteau; Vijay Laxmi; Akka Zemmari; Manoj Singh Gaur; Partha S. Roop (Future Gener. Comput. Syst., 2020)

Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices. - Weiwei Ai; Nitish D. Patel; Partha S. Roop; Avinash Malik; Mark L. Trew (IEEE Trans. Biomed. Eng., 2020)

Robust Design and Validation of Cyber-physical Systems. - Surinder Sood; Avinash Malik; Partha S. Roop (ACM Trans. Embed. Comput. Syst., 2020)

Smart I/O Modules for Mitigating Cyber-Physical Attacks on Industrial Control Systems. - Hammond A. Pearce; Srinivas Pinisetty; Partha S. Roop; Matthew M. Y. Kuo; Abhisek Ukil (IEEE Trans. Ind. Informatics, 2020)

Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models. - Weiwei Ai; Nitish D. Patel; Partha S. Roop; Avinash Malik; Mark L. Trew (IEEE J. Biomed. Health Informatics, 2020)

Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. - Kelvin Anto; Partha S. Roop; Akshya K. Swain (MEMOCODE, 2021)

A secure insulin infusion system using verification monitors. - Abhinandan Panda; Srinivas Pinisetty; Partha S. Roop (MEMOCODE, 2021)

Runtime verification of implantable medical devices using multiple physiological signals. - Abhinandan Panda; Srinivas Pinisetty; Partha S. Roop; K. Ajay Babu; M. Sabarimalai Manikandan (SAC, 2021)

Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers. - Hammond Pearce; Xin Yang; Srinivas Pinisetty; Partha S. Roop (CoRR, 2021)

Designing Neural Networks for Real-Time Systems. - Hammond A. Pearce; Xin Yang; Partha S. Roop; Marc Katzef; Tórur Biskopstø Strøm (IEEE Embed. Syst. Lett., 2021)

Compositional runtime enforcement revisited. - Srinivas Pinisetty; Ankit Pradhan; Partha S. Roop; Stavros Tripakis (Formal Methods Syst. Des., 2021)

A New Safety Distance Calculation for Rear-End Collision Avoidance. - Jin Woo Ro; Partha S. Roop; Avinash Malik (IEEE Trans. Intell. Transp. Syst., 2021)

Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. - Abhinandan Panda; Srinivas Pinisetty; Partha S. Roop (CBMS, 2022)

Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors. - Abhinandan Panda; Srinivas Pinisetty; Partha S. Roop (ISBRA, 2022)

Runtime Verification for Clinically Interpretable Arrhythmia Classification. - Alex Baird; Srinivas Pinisetty; Nathan Allen; Nitish D. Patel; Partha S. Roop (MEMOCODE, 2022)

Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. - Alex Baird; Hammond Pearce; Srinivas Pinisetty; Partha S. Roop (MEMOCODE, 2022)

Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. - Surinder Sood; Avinash Malik; Partha S. Roop (MEMOCODE, 2022)

A novel approach to Real-time contract based reasoning for Hybrid Systems. - Surinder Sood; Avinash Malik; Partha S. Roop (MEMOCODE, 2022)

Development of closed-loop modelling framework for adaptive respiratory pacemakers. - Weiwei Ai; Vinod Suresh; Partha S. Roop (Comput. Biol. Medicine, 2022)

A framework for the design of a closed-loop gastric pacemaker for treating conduction block. - Luman Wang; Avinash Malik; Partha S. Roop; Leo K. Cheng; Niranchan Paskaranandavadivel (Comput. Methods Programs Biomed., 2022)

Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG. - Abhinandan Panda; Srinivas Pinisetty; Partha S. Roop (CoRR, 2022)

High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata. - Jin Woo Ro; Avinash Malik; Partha S. Roop (IEEE Trans. Computers, 2022)

STF: Spatial Temporal Fusion for Trajectory Prediction. - Pengqian Han; Partha S. Roop; Jiamou Liu; Tianzhe Bao; Yifei Wang 003 (M2VIP, 2023)

Evolving a Programming CS2 Course: A Decade-Long Experience Report. - Nasser Giacaman; Partha S. Roop; Valerio Terragni (SIGCSE (1), 2023)

A Novel Framework for the Design of Resilient Cyber-Physical Systems Using Control Theory and Formal Methods. - Kelvin Anto; Akshya Kumar Swain; Partha S. Roop (IEEE Access, 2023)

Incremental Security Enforcement for Cyber-Physical Systems. - Abhinandan Panda; Alex Baird; Srinivas Pinisetty; Partha S. Roop (IEEE Access, 2023)

S-T CRF: Spatial-Temporal Conditional Random Field for Human Trajectory Prediction. - Pengqian Han; Jiamou Liu; Jialing He; Zeyu Zhang 004; Song Yang 001; Yanni Tang; Partha S. Roop (CoRR, 2023)

A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications. - Abhinandan Panda; Srinivas Pinisetty; Partha S. Roop (IEEE Embed. Syst. Lett., 2023)

Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. - Eugene Yip; Alain Girault; Partha S. Roop; Morteza Biglari-Abhari (ACM Trans. Program. Lang. Syst., 2023)

Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. - Ankit Pradhan; Jonathan King; Srinivas Pinisetty; Partha S. Roop (IEEE Trans. Computers, 2023)

Exploring Compositional Neural Networks for Real-Time Systems. - Sobhan Chatterjee; Nathan Allen; Nitish D. Patel; Partha S. Roop (MEMOCODE, 2024)

A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. - Sai Rohan Harshavardhan Vuppala; Nathan Allen; Srinivas Pinisetty; Partha S. Roop (RV, 2024)

Runtime Verified Neural Networks for Cyber-Physical Systems. - Dhiren Tripuramallu; Ayush Anand 001; Srinivas Pinisetty; Hammond Pearce; Partha S. Roop (VORTEX@ISSTA, 2024)

Scalable Security Enforcement for Cyber Physical Systems. - Alex Baird; Abhinandan Panda; Hammond Pearce; Srinivas Pinisetty; Partha S. Roop (IEEE Access, 2024)

Logical Synchrony Networks: A Formal Model for Deterministic Distribution. - Logan Kenwright; Partha S. Roop; Nathan Allen; Sanjay Lall; Calin Cascaval; Tammo Spalink; Martin Izzard (IEEE Access, 2024)

The Future of Software Engineering in an AI-Driven World. - Valerio Terragni; Partha S. Roop; Kelly Blincoe (CoRR, 2024)

Towards Personalised Mood Prediction and Explanation for Depression from Biophysical Data. - Sobhan Chatterjee; Jyoti Mishra; Frederick Sundram; Partha S. Roop (Sensors, 2024)

An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG. - Abhinandan Panda; Ayush Anand 001; Srinivas Pinisetty; Partha S. Roop (IEEE Embed. Syst. Lett., 2024)

Runtime Enforcement of CPS against Signal Temporal Logic. - Han Su 003; Saumya Shankar; Srinivas Pinisetty; Partha S. Roop; Naijun Zhan (HSCC, 2025)

Securing Pacemakers Using Runtime Monitors over Physiological Signals. - Abhinandan Panda; Srinivas Pinisetty; Partha S. Roop (ACM Trans. Embed. Comput. Syst., 2025)

Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains. - Moon Kim 006; Avinash Malik; Partha S. Roop (CoRR, 2025)

The Future of AI-Driven Software Engineering. - Valerio Terragni; Annie Vella; Partha S. Roop; Kelly Blincoe (ACM Trans. Softw. Eng. Methodol., 2025)

Timetide: A programming model for logically synchronous distributed systems. - Logan Kenwright; Partha S. Roop; Nathan Allen; Calin Cascaval; Avinash Malik (CoRR, 2025)