| 2026 | ISORC | Hard Real-Time Embedded Implementation of Closed-Loop Gastric Pacemaker. | HyungJoo Eugene Lee, Avinash Malik, Partha S. Roop, Nathan Allen, Daniel Martinez |
| 2025 | EMSOFT | Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains. | Moon Soo Kim, Avinash Malik, Partha S. Roop |
| 2025 | MEMOCODE | Compositional training for Safe AI-based Cyber-Physical Systems. | Sobhan Chatterjee, Saumya Shankar, Partha S. Roop |
| 2025 | MEMOCODE | Tuning into my heart through wearables: Towards a formal cardiac digital twin. | Partha S. Roop, Nathan Allen, Shahab Kazemi |
| 2025 | MEMOCODE | Formal Methods for Cryogenic Cyber Physical Systems (CCPS). | Duleepa J. Thrimawithana, Partha S. Roop, Sobhan Chatterjee, Maryam Hemmati |
| 2025 | MEMOCODE | Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks. | Steph Wu, Nathan Allen, Alex Baird, Hammond Pearce, Partha S. Roop |
| 2024 | MEMOCODE | Exploring Compositional Neural Networks for Real-Time Systems. | Sobhan Chatterjee, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2024 | RV | A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. | Sai Rohan Harshavardhan Vuppala, Nathan Allen, Srinivas Pinisetty, Partha S. Roop |
| 2023 | SIGCSE | Evolving a Programming CS2 Course: A Decade-Long Experience Report. | Nasser Giacaman, Partha S. Roop, Valerio Terragni |
| 2022 | CBMS | Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2022 | MEMOCODE | Runtime Verification for Clinically Interpretable Arrhythmia Classification. | Alex Baird, Srinivas Pinisetty, Nathan Allen, Nitish D. Patel, Partha S. Roop |
| 2022 | MEMOCODE | Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. | Alex Baird, Hammond Pearce, Srinivas Pinisetty, Partha S. Roop |
| 2022 | MEMOCODE | Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. | Surinder Sood, Avinash Malik, Partha S. Roop |
| 2022 | MEMOCODE | A novel approach to Real-time contract based reasoning for Hybrid Systems. | Surinder Sood, Avinash Malik, Partha S. Roop |
| 2021 | MEMOCODE | Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. | Kelvin Anto, Partha S. Roop, Akshya K. Swain |
| 2021 | MEMOCODE | A secure insulin infusion system using verification monitors. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop |
| 2021 | SAC | Runtime verification of implantable medical devices using multiple physiological signals. | Abhinandan Panda, Srinivas Pinisetty, Partha S. Roop, K. Ajay Babu, M. Sabarimalai Manikandan |
| 2020 | DATE | A compositional approach using Keras for neural networks in real-time systems. | Xin Yang, Partha S. Roop, Hammond A. Pearce, Jin Woo Ro |
| 2020 | MEMOCODE | 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 |
| 2019 | MEMOCODE | A compositional approach for real-time machine learning. | Nathan Allen, Yash Raje, Jin Woo Ro, Partha S. Roop |
| 2019 | MEMOCODE | Securing implantable medical devices with runtime enforcement hardware. | Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Srinivas Pinisetty |
| 2019 | MEMOCODE | A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. | Jin Woo Ro, Avinash Malik, Partha S. Roop |
| 2018 | ESOP | Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. | Joaqun Aguado, Michael Mendler, Marc Pouzet, Partha S. Roop, Reinhard von Hanxleden |
| 2018 | ISORC | Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. | Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew |
| 2018 | ISORC | Faster Function Blocks for Precision Timed Industrial Automation. | Hammond A. Pearce, Partha S. Roop, Morteza Biglari-Abhari, Martin Schoeberl |
| 2018 | MEMOCODE | Security of Pacemakers using Runtime Verification. | Srinivas Pinisetty, Partha S. Roop, Vidula Sawant, Gerardo Schneider |
| 2018 | MEMOCODE | Synchronous neural networks for cyber-physical systems. | Partha S. Roop, Hammond A. Pearce, Keyan Monadjem |
| 2017 | CCS | Detecting Inter-App Information Leakage Paths. | Shweta Bhandari, Frdric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur |
| 2017 | FDL | Compositional timing-aware semantics for synchronous programming. | Joaqun Aguado, Michael Mendler, Jia Jie Wang, Bruno Bodin, Partha S. Roop |
| 2017 | ISORC | A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. | Nathan Allen, Hammond A. Pearce, Partha S. Roop, Reinhard von Hanxleden |
| 2017 | MEMOCODE | Simulation of cyber-physical systems using IEC61499. | Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik |
| 2017 | TrustCom | SneakLeak: Detecting Multipartite Leakage Paths in Android Apps. | Shweta Bhandari, Frdric Herbreteau, Vijay Laxmi, Akka Zemmari, Partha S. Roop, Manoj Singh Gaur |
| 2016 | DATE | Requirements-centric closed-loop validation of implantable cardiac devices. | Weiwei Ai, Nitish D. Patel, Partha S. Roop |
| 2016 | DATE | 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 |
| 2016 | DATE | Precision timed industrial automation systems. | Matthew M. Y. Kuo, Sidharta Andalam, Partha S. Roop |
| 2016 | EMSOFT | Energy and timing aware synchronous programming. | Jia Jie Wang, Partha S. Roop, Alain Girault |
| 2016 | ISORC | Mixed-Criticality Systems as a Service for Non-critical Tasks. | Mahmood Hikmet, Matthew M. Y. Kuo, Partha S. Roop, Prakash Ranjitkar |
| 2016 | ISORC | RunSync: A Predictable Runtime for Precision Timed Automation Systems. | Hammond A. Pearce, Matthew M. Y. Kuo, Partha S. Roop, Morteza Biglari-Abhari |
| 2015 | ISORC | Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks. | Mahmood Hikmet, Partha S. Roop, Prakash Ranjitkar |
| 2015 | ISORC | Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. | Jin Woo Ro, Partha S. Roop, Avinash Malik |
| 2015 | ISORC | Synthesizing Multirate Programs from IEC 61499. | Li Hsien Yoong, Partha S. Roop |
| 2014 | ETFA | A model-driven approach with synchronous semantics for developing hard real-time WSNs. | Jin Woo Ro, Zeeshan Ejaz Bhatti, Partha S. Roop |
| 2014 | RTAS | Relaxing the synchronous approach for mixed-criticality systems. | Eugene Yip, Matthew M. Y. Kuo, Partha S. Roop, David Broman |
| 2013 | CASES | ILPc: A novel approach for scalable timing analysis of synchronous programs. | Jia Jie Wang, Partha S. Roop, Sidharta Andalam |
| 2013 | DAC | Precise timing analysis for direct-mapped caches. | Sidharta Andalam, Alain Girault, Roopak Sinha, Partha S. Roop, Jan Reineke |
| 2013 | ICWS | Stateful Web Services - Auto Modeling and Composition. | Syed Adeel Ali, Partha S. Roop, Ian Warren |
| 2012 | DATE | Correct-by-construction multi-component SoC design. | Roopak Sinha, Partha S. Roop, Zoran Salcic, Samik Basu |
| 2012 | ETFA | Model-driven development of industrial embedded systems: Challenges faced and lessons learnt. | K. Nicholas, Zeeshan Ejaz Bhatti, Partha S. Roop |
| 2012 | ICSOC | 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, Partha S. Roop |
| 2011 | DAC | Efficient WCRT analysis of synchronous programs using reachability. | Matthew M. Y. Kuo, Roopak Sinha, Partha S. Roop |
| 2011 | DATE | Pruning infeasible paths for tight WCRT analysis of synchronous programs. | Sidharta Andalam, Partha S. Roop, Alain Girault |
| 2011 | DSD | Compiling Esterel for Multi-core Execution. | Simon Yuan, Li Hsien Yoong, Partha S. Roop |
| 2010 | DATE | Deterministic, predictable and light-weight multithreading using PRET-C. | Sidharta Andalam, Partha S. Roop, Alain Girault |
| 2010 | MEMOCODE | Predictable multithreading of embedded applications using PRET-C. | Sidharta Andalam, Partha S. Roop, Alain Girault |
| 2009 | CASES | Tight WCRT analysis of synchronous C programs. | Partha S. Roop, Sidharta Andalam, Reinhard von Hanxleden, Simon Yuan, Claus Traulsen |
| 2009 | DATE | Multi-clock Soc design using protocol conversion. | Roopak Sinha, Partha S. Roop, Samik Basu, Zoran Salcic |
| 2009 | ETFA | A Hierarchical and Concurrent Approach for IEC 61499 Function Blocks. | Gareth Shaw, Partha S. Roop, Zoran Salcic |
| 2008 | VLSID | A Module Checking Based Converter Synthesis Approach for SoCs. | Roopak Sinha, Partha S. Roop, Samik Basu |
| 2007 | MEMOCODE | McCharts and Multiclock FSMs for modeling large scale systems. | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
| 2006 | MEMOCODE | The SystemJ approach to system-level design. | Flavius Gruian, Partha S. Roop, Zoran A. Salcic, Ivan Radojevic |
| 2006 | VLSID | Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation. | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
| 2006 | RTCSA | A Scheduler Support Unit for Reactive Microprocessors. | Zoran A. Salcic, Flavius Gruian, Partha S. Roop, Alif Wahid |
| 2005 | ASPDAC | REMIC: design of a reactive embedded microprocessor core. | Zoran A. Salcic, Dong Hui, Partha S. Roop, Morteza Biglari-Abhari |
| 2005 | FDL | Modelling Heterogeneous Embedded Systems in DFCarts. | Ivan Radojevic, Zoran A. Salcic, Partha S. Roop |
| 2005 | IFM | Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. | Robi Malik, Partha S. Roop |
| 2004 | EMSOFT | Towards direct execution of esterel programs on reactive processors. | Partha S. Roop, Zoran A. Salcic, M. W. Sajeewa Dayaratne |
| 2003 | VLSID | A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems. | Partha S. Roop, Zoran A. Salcic, Morteza Biglari-Abhari, Abbas Bigdeli |
| 2002 | FPL | REFLIX: A Processor Core for Reactive Embedded Applications. | Zoran A. Salcic, Partha S. Roop, Morteza Biglari-Abhari, Abbas Bigdeli |
| 2002 | ICCD | k-time Forced Simulation: A Formal Verification Technique for IP Reuse. | Partha S. Roop, Arcot Sowmya, S. Ramesh |
| 2001 | ASPDAC | A formal approach to component based development of synchronous programs. | Partha S. Roop, Arcot Sowmya, S. Ramesh |
| 2000 | VLSID | Automatic Component Matching Using Forced Simulation. | Partha S. Roop, Arcot Sowmya, S. Ramesh |
| 1998 | ECRTS | Hidden time model for specification and verification of embedded systems. | Partha S. Roop, Arcot Sowmya |
| 1998 | VLSID | CFSMcharts: A New Language for Microprocessor Based system Design. | Partha S. Roop, Arcot Sowmya |
| 1995 | VLSID | Implementation of design functions by available devices: a new algorithm. | Raj S. Mitra, Partha S. Roop, Anupam Basu |