Softtide: A Deterministic Middleware for Real-Time Systems.

Partha S. Roop University of Auckland, New Zealand http://www.ele.auckland.ac.nz/~roop/ https://orcid.org/0000-0001-9654-5678 https://www.wikidata.org/entity/Q92216386

Jiajie Wang Saumya Shankar Partha S. Roop Softtide: A Deterministic Middleware for Real-Time Systems. 14:1-14:25 2026 January 25 ACM Trans. Embed. Comput. Syst. 1 https://doi.org/10.1145/3774891 db/journals/tecs/tecs25.html#WangSR26 streams/journals/tecs

Junjie Shi Christian Hakert Kay Heider Mario Günzel Nils Hölscher Daniel Kuhse Jian-Jia Chen Logan Kenwright Sobhan Chatterjee Nathan Allen Partha S. Roop WCET-Aware Partitioning and Allocation of Disaggregated Networks for Multicore Systems. 309-312 2025 October 17 IEEE Embed. Syst. Lett. 5 https://doi.org/10.1109/LES.2025.3600584 db/journals/esl/esl17.html#ShiHHGHKCKCAR25 streams/journals/esl

Abhinandan Panda Srinivas Pinisetty Partha S. Roop Securing Pacemakers Using Runtime Monitors over Physiological Signals. 50:1-50:41 2025 May 24 ACM Trans. Embed. Comput. Syst. 3 https://doi.org/10.1145/3638286 db/journals/tecs/tecs24.html#PandaPR25 streams/journals/tecs

Logan Kenwright Partha S. Roop Nathan Allen Calin Cascaval Avinash Malik Timetide: A Programming Model for Logically Synchronous Distributed Systems. 100:1-100:25 2025 24 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3763794 db/journals/tecs/tecs24.html#KenwrightRACM25

Valerio Terragni Annie Vella Partha S. Roop Kelly Blincoe The Future of AI-Driven Software Engineering. 120:1-120:20 2025 June 34 ACM Trans. Softw. Eng. Methodol. 5 https://doi.org/10.1145/3715003 https://www.wikidata.org/entity/Q135937645 db/journals/tosem/tosem34.html#TerragniVRB25 streams/journals/tosem

Jiajie Wang Saumya Shankar Partha S. Roop Softtide: a deterministic middleware for real-time systems. 17-18 2025 CODES+ISSS https://doi.org/10.1145/3742873.3755987 https://ieeexplore.ieee.org/document/11261626 conf/codesisss/2025 db/conf/codesisss/codesisss2025.html#WangSR25 streams/conf/codesisss Moon Soo Kim Avinash Malik Partha S. Roop Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains. 7-8 2025 EMSOFT https://doi.org/10.1145/3742874.3756008 https://ieeexplore.ieee.org/document/11230503 conf/emsoft/2025 db/conf/emsoft/emsoft2025.html#KimMR25 streams/conf/emsoft Han Su 0003 Saumya Shankar Srinivas Pinisetty Partha S. Roop Naijun Zhan Runtime Enforcement of CPS against Signal Temporal Logic. 18:1-18:11 2025 HSCC https://doi.org/10.1145/3716863.3718052 conf/hybrid/2025 db/conf/hybrid/hscc2025.html#SuSPRZ25 Sobhan Chatterjee Saumya Shankar Partha S. Roop Compositional training for Safe AI-based Cyber-Physical Systems. 3-15 2025 MEMOCODE https://doi.org/10.1145/3742875.3754679 conf/memocode/2025 db/conf/memocode/memocode2025.html#ChatterjeeSR25 Steph Wu Nathan Allen Alex Baird Hammond Pearce Partha S. Roop Mitigation of Cyber-physical Attacks in Industry 4.0 using Secure Function Blocks. 16-27 2025 MEMOCODE https://doi.org/10.1145/3742875.3754685 conf/memocode/2025 db/conf/memocode/memocode2025.html#WuABPR25 Duleepa J. Thrimawithana Partha S. Roop Sobhan Chatterjee Maryam Hemmati Formal Methods for Cryogenic Cyber Physical Systems (CCPS). 100-110 2025 MEMOCODE https://doi.org/10.1145/3742875.3754692 conf/memocode/2025 db/conf/memocode/memocode2025.html#ThrimawithanaRC25 Partha S. Roop Nathan Allen Shahab Kazemi Tuning into my heart through wearables: Towards a formal cardiac digital twin. 111-121 2025 MEMOCODE https://doi.org/10.1145/3742875.3754694 conf/memocode/2025 db/conf/memocode/memocode2025.html#RoopAK25 Partha S. Roop Jerónimo Castrillón Yongjun Park 0001 Proceedings of the 26th ACM SIGPLAN/SIGBED International Conference on Languages, Compilers, and Tools for Embedded Systems, LCTES 2025, Seoul, Republic of Korea, June 16-17, 2025 LCTES ACM 2025 979-8-4007-1921-9 https://doi.org/10.1145/3735452 db/conf/lctrts/lctes2025.html

Han Su 0003 Saumya Shankar Srinivas Pinisetty Partha S. Roop Naijun Zhan Runtime Enforcement of CPS against Signal Temporal Logic. 2025 February abs/2502.11584 CoRR https://doi.org/10.48550/arXiv.2502.11584 db/journals/corr/corr2502.html#abs-2502-11584 streams/journals/corr

Moon Kim 0006 Avinash Malik Partha S. Roop Frequency Automata: A novel formal model of hybrid systems in combined time and frequency domains. 2025 June abs/2506.00251 CoRR https://doi.org/10.48550/arXiv.2506.00251 db/journals/corr/corr2506.html#abs-2506-00251 streams/journals/corr

Logan Kenwright Partha S. Roop Nathan Allen Calin Cascaval Avinash Malik Timetide: A programming model for logically synchronous distributed systems. 2025 July abs/2507.14471 CoRR https://doi.org/10.48550/arXiv.2507.14471 db/journals/corr/corr2507.html#abs-2507-14471 streams/journals/corr

Alex Baird Abhinandan Panda Hammond Pearce Srinivas Pinisetty Partha S. Roop Scalable Security Enforcement for Cyber Physical Systems. 14385-14410 2024 12 IEEE Access https://doi.org/10.1109/ACCESS.2024.3357714 https://www.wikidata.org/entity/Q129407176 db/journals/access/access12.html#BairdPPPR24

Logan Kenwright Partha S. Roop Nathan Allen Sanjay Lall Calin Cascaval Tammo Spalink Martin Izzard Logical Synchrony Networks: A Formal Model for Deterministic Distribution. 80872-80883 2024 12 IEEE Access https://doi.org/10.1109/ACCESS.2024.3411017 https://www.wikidata.org/entity/Q135990776 db/journals/access/access12.html#KenwrightRALCSI24

Abhinandan Panda Ayush Anand 0001 Srinivas Pinisetty Partha S. Roop An Explainable and Formal Framework for Hypertension Monitoring Using ECG and PPG. 405-408 2024 December 16 IEEE Embed. Syst. Lett. 4 https://doi.org/10.1109/LES.2024.3443449 db/journals/esl/esl16.html#PandaAPR24 streams/journals/esl

Sobhan Chatterjee Jyoti Mishra Frederick Sundram Partha S. Roop Towards Personalised Mood Prediction and Explanation for Depression from Biophysical Data. 164 2024 24 Sensors 1 https://doi.org/10.3390/s24010164 https://www.wikidata.org/entity/Q135864523 db/journals/sensors/sensors24.html#ChatterjeeMSR24

Sobhan Chatterjee Nathan Allen Nitish D. Patel Partha S. Roop Exploring Compositional Neural Networks for Real-Time Systems. 46-57 2024 MEMOCODE https://doi.org/10.1109/MEMOCODE63347.2024.00010 conf/memocode/2024 db/conf/memocode/memocode2024.html#ChatterjeeAPR24 streams/conf/memocode Sai Rohan Harshavardhan Vuppala Nathan Allen Srinivas Pinisetty Partha S. Roop A Formal Approach for Safe Reinforcement Learning: A Rate-Adaptive Pacemaker Case Study. 3-21 2024 RV https://doi.org/10.1007/978-3-031-74234-7_1 conf/rv/2024 db/conf/rv/rv2024.html#VuppalaAPR24 streams/conf/rv Dhiren Tripuramallu Ayush Anand 0001 Srinivas Pinisetty Hammond Pearce Partha S. Roop Runtime Verified Neural Networks for Cyber-Physical Systems. 44-51 2024 VORTEX@ISSTA https://doi.org/10.1145/3679008.3685547 https://www.wikidata.org/entity/Q130993404 conf/vortex/2024 db/conf/vortex/vortex2024.html#TripuramalluAPP24

Logan Kenwright Partha S. Roop Nathan Allen Sanjay Lall Calin Cascaval Tammo Spalink Martin Izzard Logical Synchrony Networks: A formal model for deterministic distribution. 2024 abs/2402.07433 CoRR https://doi.org/10.48550/arXiv.2402.07433 db/journals/corr/corr2402.html#abs-2402-07433

Valerio Terragni Partha S. Roop Kelly Blincoe The Future of Software Engineering in an AI-Driven World. 2024 abs/2406.07737 CoRR https://doi.org/10.48550/arXiv.2406.07737 db/journals/corr/corr2406.html#abs-2406-07737

Abhinandan Panda Alex Baird Srinivas Pinisetty Partha S. Roop Incremental Security Enforcement for Cyber-Physical Systems. 18475-18498 2023 11 IEEE Access https://doi.org/10.1109/ACCESS.2023.3246121 db/journals/access/access11.html#PandaBPR23

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. 73556-73567 2023 11 IEEE Access https://doi.org/10.1109/ACCESS.2023.3295421 https://www.wikidata.org/entity/Q135334236 db/journals/access/access11.html#AntoSR23

Abhinandan Panda Srinivas Pinisetty Partha S. Roop A Novel Mapping of ECG and PPG to Ensure the Safety of Health Monitoring Applications. 49-52 2023 March 15 IEEE Embed. Syst. Lett. 1 https://doi.org/10.1109/LES.2022.3194709 db/journals/esl/esl15.html#PandaPR23

Ankit Pradhan Jonathan King Srinivas Pinisetty Partha S. Roop Model Based Verification of Spiking Neural Networks in Cyber Physical Systems. 2426-2439 2023 September 72 IEEE Trans. Computers 9 https://doi.org/10.1109/TC.2023.3251841 db/journals/tc/tc72.html#PradhanKPR23

Eugene Yip Alain Girault Partha S. Roop Morteza Biglari-Abhari Synchronous Deterministic Parallel Programming for Multi-Cores with ForeC. 11:1-11:74 2023 June 45 ACM Trans. Program. Lang. Syst. 2 https://doi.org/10.1145/3591594 https://www.wikidata.org/entity/Q130817075 db/journals/toplas/toplas45.html#YipGRB23

Pengqian Han Partha S. Roop Jiamou Liu Tianzhe Bao Yifei Wang 0003 STF: Spatial Temporal Fusion for Trajectory Prediction. 1-6 2023 M2VIP https://doi.org/10.1109/M2VIP58386.2023.10413434 conf/m2vip/2023 db/conf/m2vip/m2vip2023.html#HanRLBW23 Nasser Giacaman Partha S. Roop Valerio Terragni Evolving a Programming CS2 Course: A Decade-Long Experience Report. 507-513 2023 SIGCSE (1) https://doi.org/10.1145/3545945.3569831 https://www.wikidata.org/entity/Q130819391 conf/sigcse/2023-1 db/conf/sigcse/sigcse2023-1.html#GiacamanRT23

Pengqian Han Partha S. Roop Jiamou Liu Tianzhe Bao Yifei Wang 0003 STF: Spatial Temporal Fusion for Trajectory Prediction. 2023 abs/2311.18149 CoRR https://doi.org/10.48550/arXiv.2311.18149 db/journals/corr/corr2311.html#abs-2311-18149

Pengqian Han Jiamou Liu Jialing He Zeyu Zhang 0004 Song Yang 0001 Yanni Tang Partha S. Roop S-T CRF: Spatial-Temporal Conditional Random Field for Human Trajectory Prediction. 2023 abs/2311.18198 CoRR https://doi.org/10.48550/arXiv.2311.18198 db/journals/corr/corr2311.html#abs-2311-18198

Weiwei Ai Vinod Suresh Partha S. Roop Development of closed-loop modelling framework for adaptive respiratory pacemakers. 105136 2022 141 Comput. Biol. Medicine https://doi.org/10.1016/j.compbiomed.2021.105136 https://www.wikidata.org/entity/Q136297204 db/journals/cbm/cbm141.html#AiSR22

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. 106652 2022 216 Comput. Methods Programs Biomed. https://doi.org/10.1016/j.cmpb.2022.106652 https://www.wikidata.org/entity/Q113319965 db/journals/cmpb/cmpb216.html#WangMRCP22

Jin Woo Ro Avinash Malik Partha S. Roop High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata. 1668-1680 2022 71 IEEE Trans. Computers 7 https://doi.org/10.1109/TC.2021.3100746 https://www.wikidata.org/entity/Q135271964 db/journals/tc/tc71.html#RoMR22

Abhinandan Panda Srinivas Pinisetty Partha S. Roop Policy-Based Diabetes Detection using Formal Runtime Verification Monitors. 333-338 2022 CBMS https://doi.org/10.1109/CBMS55023.2022.00066 conf/cbms/2022 db/conf/cbms/cbms2022.html#PandaPR22 Abhinandan Panda Srinivas Pinisetty Partha S. Roop Policy-Based Hypertension Monitoring Using Formal Runtime Verification Monitors. 169-179 2022 ISBRA https://doi.org/10.1007/978-3-031-23198-8_16 conf/isbra/2022 db/conf/isbra/isbra2022.html#PandaPR22 Alex Baird Srinivas Pinisetty Nathan Allen Nitish D. Patel Partha S. Roop Runtime Verification for Clinically Interpretable Arrhythmia Classification. 1-10 2022 MEMOCODE https://doi.org/10.1109/MEMOCODE57689.2022.9954594 conf/memocode/2022 db/conf/memocode/memocode2022.html#BairdPAPR22 Alex Baird Hammond Pearce Srinivas Pinisetty Partha S. Roop Runtime Interchange of Enforcers for Adaptive Attacks: A Security Analysis Framework for Drones. 1-11 2022 MEMOCODE https://doi.org/10.1109/MEMOCODE57689.2022.9954593 https://www.wikidata.org/entity/Q133889090 conf/memocode/2022 db/conf/memocode/memocode2022.html#BairdPPR22 Surinder Sood Avinash Malik Partha S. Roop Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. 1-11 2022 MEMOCODE https://doi.org/10.1109/MEMOCODE57689.2022.9954590 conf/memocode/2022 db/conf/memocode/memocode2022.html#SoodMR22 Surinder Sood Avinash Malik Partha S. Roop A novel approach to Real-time contract based reasoning for Hybrid Systems. 1-11 2022 MEMOCODE https://doi.org/10.1109/MEMOCODE57689.2022.9954599 conf/memocode/2022 db/conf/memocode/memocode2022.html#SoodMR22a

Abhinandan Panda Srinivas Pinisetty Partha S. Roop Runtime Monitoring and Statistical Approaches for Correlation Analysis of ECG and PPG. 2022 abs/2202.00559 CoRR https://arxiv.org/abs/2202.00559 db/journals/corr/corr2202.html#abs-2202-00559

Hammond A. Pearce Xin Yang 0035 Partha S. Roop Marc Katzef Tórur Biskopstø Strøm Designing Neural Networks for Real-Time Systems. 94-97 2021 13 IEEE Embed. Syst. Lett. 3 https://doi.org/10.1109/LES.2020.3009910 https://www.wikidata.org/entity/Q133889092 db/journals/esl/esl13.html#PearceYRKS21

Srinivas Pinisetty Ankit Pradhan Partha S. Roop Stavros Tripakis Compositional runtime enforcement revisited. 205-252 2021 59 Formal Methods Syst. Des. 1 https://doi.org/10.1007/s10703-022-00401-y db/journals/fmsd/fmsd59.html#PinisettyPRT21

Jin Woo Ro Partha S. Roop Avinash Malik A New Safety Distance Calculation for Rear-End Collision Avoidance. 1742-1747 2021 22 IEEE Trans. Intell. Transp. Syst. 3 https://doi.org/10.1109/TITS.2020.2975015 https://www.wikidata.org/entity/Q135271960 db/journals/tits/tits22.html#RoRM21

Abhinandan Panda Srinivas Pinisetty Partha S. Roop A secure insulin infusion system using verification monitors. 56-65 2021 MEMOCODE https://doi.org/10.1145/3487212.3487342 conf/memocode/2021 db/conf/memocode/memocode2021.html#pandaPR21 Kelvin Anto Partha S. Roop Akshya K. Swain Formal modelling of attack scenarios and mitigation strategies in IEEE 1588. 134-141 2021 MEMOCODE https://doi.org/10.1145/3487212.3487346 conf/memocode/2021 db/conf/memocode/memocode2021.html#AntoRS21 Abhinandan Panda Srinivas Pinisetty Partha S. Roop K. Ajay Babu M. Sabarimalai Manikandan Runtime verification of implantable medical devices using multiple physiological signals. 1837-1840 2021 SAC https://doi.org/10.1145/3412841.3442139 conf/sac/2021 db/conf/sac/sac2021.html#pandaPRKM21

Hammond Pearce Xin Yang 0035 Srinivas Pinisetty Partha S. Roop Runtime Interchange for Adaptive Re-use of Intelligent Cyber-Physical System Controllers. 2021 abs/2110.01974 CoRR https://arxiv.org/abs/2110.01974 db/journals/corr/corr2110.html#abs-2110-01974

Luman Wang Avinash Malik Partha S. Roop Leo K. Cheng Niranchan Paskaranandavadivel Weiwei Ai A novel approach for model-based design of gastric pacemakers. 103576 2020 116 Comput. Biol. Medicine https://doi.org/10.1016/j.compbiomed.2019.103576 https://www.wikidata.org/entity/Q93060660 db/journals/cbm/cbm116.html#WangMRCPA20

Shweta Bhandari Frédéric Herbreteau Vijay Laxmi Akka Zemmari Manoj Singh Gaur Partha S. Roop <i>SneakLeak+</i>: Large-scale klepto apps analysis. 593-603 2020 109 Future Gener. Comput. Syst. https://doi.org/10.1016/j.future.2018.05.047 https://www.wikidata.org/entity/Q115043295 db/journals/fgcs/fgcs109.html#BhandariHLZGR20

Weiwei Ai Nitish D. Patel Partha S. Roop Avinash Malik Mark L. Trew Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices. 536-544 2020 67 IEEE Trans. Biomed. Eng. 2 https://doi.org/10.1109/TBME.2019.2917212 https://www.wikidata.org/entity/Q92073877 db/journals/tbe/tbe67.html#AiPRMT20

Surinder Sood Avinash Malik Partha S. Roop Robust Design and Validation of Cyber-physical Systems. 116:1-116:21 2020 18 ACM Trans. Embed. Comput. Syst. 6 https://doi.org/10.1145/3362098 https://www.wikidata.org/entity/Q126798343 db/journals/tecs/tecs18.html#SoodMR20

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. 4659-4669 2020 16 IEEE Trans. Ind. Informatics 7 https://doi.org/10.1109/TII.2019.2945520 https://www.wikidata.org/entity/Q133889099 db/journals/tii/tii16.html#PearcePRKU20

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. 1579-1588 2020 24 IEEE J. Biomed. Health Informatics 6 https://doi.org/10.1109/JBHI.2019.2947007 https://www.wikidata.org/entity/Q90716210 db/journals/titb/titb24.html#AiPRMT20

Xin Yang 0035 Partha S. Roop Hammond A. Pearce Jin Woo Ro A compositional approach using Keras for neural networks in real-time systems. 1109-1114 2020 DATE https://doi.org/10.23919/DATE48585.2020.9116371 https://www.wikidata.org/entity/Q133889097 conf/date/2020 db/conf/date/date2020.html#YangRPR20 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. 2504-2507 2020 EMBC https://doi.org/10.1109/EMBC44109.2020.9175500 https://www.wikidata.org/entity/Q100447891 conf/embc/2020 db/conf/embc/embc2020.html#WangMRCPA20 Nathan Allen Partha S. Roop Semantics-Directed Hardware Generation of Hybrid Systems. 259-268 2020 ICCPS https://doi.org/10.1109/ICCPS48487.2020.00037 conf/iccps/2020 db/conf/iccps/iccps2020.html#AllenR20 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. 1-11 2020 MEMOCODE https://doi.org/10.1109/MEMOCODE51338.2020.9315160 conf/memocode/2020 db/conf/memocode/memocode2020.html#KimARARP20 Saumya Shankar Ujwal V. R Srinivas Pinisetty Partha S. Roop Formal Runtime Monitoring Approaches for Autonomous Vehicles. 89-94 2020 OVERLAY https://ceur-ws.org/Vol-2785/paper15.pdf conf/overlay/2020 db/conf/overlay/overlay2020.html#ShankarRPR20

Hammond A. Pearce Xin Yang 0035 Partha S. Roop Marc Katzef Tórur Biskopstø Strøm Designing Neural Networks for Real-Time Systems. 2020 abs/2008.11830 CoRR https://arxiv.org/abs/2008.11830 db/journals/corr/corr2008.html#abs-2008-11830

Luman Wang Avinash Malik Partha S. Roop Leo K. Cheng Niranchan Paskaranandavadivel A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology. 3320-3329 2019 66 IEEE Trans. Biomed. Eng. 12 https://doi.org/10.1109/TBME.2019.2904043 https://www.wikidata.org/entity/Q92353047 db/journals/tbe/tbe66.html#WangMRCP19

Debiprasanna Sahoo Swaraj Sha Manoranjan Satpathy Madhu Mutyam S. Ramesh 0002 Partha S. Roop Formal Modeling and Verification of a Victim DRAM Cache. 20:1-20:23 2019 24 ACM Trans. Design Autom. Electr. Syst. 2 https://doi.org/10.1145/3306491 https://www.wikidata.org/entity/Q128377588 db/journals/todaes/todaes24.html#SahooSSMRR19

Hammond A. Pearce Partha S. Roop Synthesizing IEC 61499 Function Blocks to hardware. 1-6 2019 ICEIC https://doi.org/10.23919/ELINFOCOM.2019.8706345 https://www.wikidata.org/entity/Q133889101 conf/elinfocom/2019 db/conf/elinfocom/iceic2019.html#PearceR19 Chad E. Eichler Vinod Suresh Partha S. Roop A formal analysis approach for verifying the design of respiratory pacing devices. 1-5 2019 I2MTC https://doi.org/10.1109/I2MTC.2019.8826912 conf/i2mtc/2019 db/conf/i2mtc/i2mtc2019.html#EichlerSR19 Jin Woo Ro Avinash Malik Partha S. Roop A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. 1:1-1:11 2019 MEMOCODE https://doi.org/10.1145/3359986.3361198 conf/memocode/2019 db/conf/memocode/memocode2019.html#RoMR19 Hammond A. Pearce Matthew M. Y. Kuo Partha S. Roop Srinivas Pinisetty Securing implantable medical devices with runtime enforcement hardware. 3:1-3:9 2019 MEMOCODE https://doi.org/10.1145/3359986.3361200 https://www.wikidata.org/entity/Q133889100 conf/memocode/2019 db/conf/memocode/memocode2019.html#PearceKRP19 Nathan Allen Yash Raje Jin Woo Ro Partha S. Roop A compositional approach for real-time machine learning. 7:1-7:5 2019 MEMOCODE https://doi.org/10.1145/3359986.3361204 conf/memocode/2019 db/conf/memocode/memocode2019.html#AllenRRR19 Partha S. Roop Naijun Zhan Sicun Gao Pierluigi Nuzzo 0002 Proceedings of the 17th ACM-IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE 2019, La Jolla, CA, USA, October 9-11, 2019. ACM MEMOCODE 2019 978-1-4503-6997-8 https://dl.acm.org/citation.cfm?id=3359986 db/conf/memocode/memocode2019.html

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. 123-130 2018 65 IEEE Trans. Biomed. Eng. 1 https://doi.org/10.1109/TBME.2017.2695537 https://www.wikidata.org/entity/Q38823370 db/journals/tbe/tbe65.html#AiPRMAYAT18

Debiprasanna Sahoo Swaraj Sha Manoranjan Satpathy Madhu Mutyam S. Ramesh 0002 Partha S. Roop Formal Modeling and Verification of Controllers for a Family of DRAM Caches. 2485-2496 2018 37 IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. 11 https://doi.org/10.1109/TCAD.2018.2857318 db/journals/tcad/tcad37.html#SahooSSMRR18

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. 32:1-32:26 2018 2 ACM Trans. Cyber Phys. Syst. 4 https://doi.org/10.1145/3134845 https://www.wikidata.org/entity/Q129487285 db/journals/tcps/tcps2.html#YipARMTAP18

Avinash Malik Partha S. Roop Nathan Allen Theo Steger Emulation of Cyber-Physical Systems Using IEC-61499. 380-389 2018 14 IEEE Trans. Ind. Informatics 1 https://doi.org/10.1109/TII.2017.2724206 https://www.wikidata.org/entity/Q135271982 db/journals/tii/tii14.html#MalikRAS18

Jin Woo Ro Partha S. Roop Avinash Malik Prakash Ranjitkar A Formal Approach for Modeling and Simulation of Human Car-Following Behavior. 639-648 2018 19 IEEE Trans. Intell. Transp. Syst. 2 https://doi.org/10.1109/TITS.2017.2759273 https://www.wikidata.org/entity/Q135271983 db/journals/tits/tits19.html#RoRMR18

Michael Mendler Joaquín Aguado Bruno Bodin Partha S. Roop Reinhard von Hanxleden Logic Meets Algebra: Compositional Timing Analysis for Synchronous Reactive Multithreading. 45-67 2018 Models, Mindsets, Meta https://doi.org/10.1007/978-3-030-22348-9_5 conf/birthday/2018steffen db/conf/birthday/steffen2018.html#MendlerABRH18 Joaquín Aguado Michael Mendler Marc Pouzet Partha S. Roop Reinhard von Hanxleden Deterministic Concurrency: A Clock-Synchronised Shared Memory Approach. 86-113 2018 ESOP https://doi.org/10.1007/978-3-319-89884-1_4 conf/esop/2018 db/conf/esop/esop2018.html#AguadoMPRH18 Hammond A. Pearce Partha S. Roop Morteza Biglari-Abhari Martin Schoeberl Faster Function Blocks for Precision Timed Industrial Automation. 67-74 2018 ISORC https://doi.org/10.1109/ISORC.2018.00017 https://doi.ieeecomputersociety.org/10.1109/ISORC.2018.00017 https://www.wikidata.org/entity/Q133889103 conf/isorc/2018 db/conf/isorc/isorc2018.html#PearceRBS18 Sidharta Andalam Partha S. Roop Avinash Malik Mark Trew Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. 134-137 2018 ISORC https://doi.org/10.1109/ISORC.2018.00027 https://doi.ieeecomputersociety.org/10.1109/ISORC.2018.00027 conf/isorc/2018 db/conf/isorc/isorc2018.html#AndalamRMT18 Partha S. Roop Hammond A. Pearce Keyan Monadjem Synchronous neural networks for cyber-physical systems. 33-42 2018 MEMOCODE https://doi.org/10.1109/MEMCOD.2018.8556931 https://www.wikidata.org/entity/Q133889104 conf/memocode/2018 db/conf/memocode/memocode2018.html#RoopPM18 Srinivas Pinisetty Partha S. Roop Vidula Sawant Gerardo Schneider Security of Pacemakers using Runtime Verification. 51-61 2018 MEMOCODE https://doi.org/10.1109/MEMCOD.2018.8556922 conf/memocode/2018 db/conf/memocode/memocode2018.html#PinisettyRSS18

Avinash Malik Partha S. Roop Quantized State Hybrid Automata for Cyber-Physical Systems. 2018 abs/1806.05754 CoRR http://arxiv.org/abs/1806.05754 db/journals/corr/corr1806.html#abs-1806-05754

Avinash Malik Partha S. Roop Sidharta Andalam Mark Trew Michael Mendler Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. 118:1-118:21 2017 16 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3126536 https://www.wikidata.org/entity/Q130897297 db/journals/tecs/tecs16.html#MalikRATM17

Sidharta Andalam Nathan Allen Avinash Malik Partha S. Roop Mark Trew A Novel Emulation Model of the Cardiac Conduction System. 157:1-157:20 2017 16 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3126542 db/journals/tecs/tecs16.html#AndalamAMRT17

Jiajie Wang Michael Mendler Partha S. Roop Bruno Bodin Timing Analysis of Synchronous Programs using WCRT Algebra: Scalability through Abstraction. 177:1-177:19 2017 16 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3126520 db/journals/tecs/tecs16.html#WangMRB17

Srinivas Pinisetty Partha S. Roop Steven Smyth Nathan Allen Stavros Tripakis Reinhard von Hanxleden Runtime Enforcement of Cyber-Physical Systems. 178:1-178:25 2017 16 ACM Trans. Embed. Comput. Syst. 5s https://doi.org/10.1145/3126500 db/journals/tecs/tecs16.html#PinisettyRSATH17

Zeeshan Ejaz Bhatti Partha S. Roop Roopak Sinha Unified Functional Safety Assessment of Industrial Automation Systems. 17-26 2017 13 IEEE Trans. Ind. Informatics 1 https://doi.org/10.1109/TII.2016.2610185 db/journals/tii/tii13.html#BhattiRS17

Shweta Bhandari Frédéric Herbreteau Vijay Laxmi Akka Zemmari Partha S. Roop Manoj Singh Gaur Detecting Inter-App Information Leakage Paths. 908-910 2017 AsiaCCS https://doi.org/10.1145/3052973.3055163 conf/ccs/2017asia db/conf/ccs/asiaccs2017.html#BhandariHLZRG17 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. 1974-1977 2017 EMBC https://doi.org/10.1109/EMBC.2017.8037237 https://www.wikidata.org/entity/Q47419901 conf/embc/2017 db/conf/embc/embc2017.html#AiPRMAT17 Joaquín Aguado Michael Mendler Jia Jie Wang Bruno Bodin Partha S. Roop Compositional timing-aware semantics for synchronous programming. 1-8 2017 FDL https://doi.org/10.1109/FDL.2017.8303895 conf/fdl/2017 db/conf/fdl/fdl2017.html#AguadoMWBR17 Nathan Allen Hammond A. Pearce Partha S. Roop Reinhard von Hanxleden A Model Driven Approach for Cardiac Pacemaker Design Using a PRET Processor. 168-175 2017 ISORC https://doi.org/10.1109/ISORC.2017.5 https://doi.ieeecomputersociety.org/10.1109/ISORC.2017.5 conf/isorc/2017 db/conf/isorc/isorc2017.html#AllenPRH17 Hammond A. Pearce Matthew M. Y. Kuo Nathan Allen Partha S. Roop Avinash Malik Simulation of cyber-physical systems using IEC61499. 136-145 2017 MEMOCODE https://doi.org/10.1145/3127041.3127052 conf/memocode/2017 db/conf/memocode/memocode2017.html#PearceKARM17 Srinivas Pinisetty Partha S. Roop Steven Smyth Stavros Tripakis Reinhard von Hanxleden Runtime enforcement of reactive systems using synchronous enforcers. 80-89 2017 SPIN https://doi.org/10.1145/3092282.3092291 conf/spin/2017 db/conf/spin/spin2017.html#PinisettyRSTH17 Shweta Bhandari Frédéric Herbreteau Vijay Laxmi Akka Zemmari Partha S. Roop Manoj Singh Gaur SneakLeak: Detecting Multipartite Leakage Paths in Android Apps. 285-292 2017 TrustCom/BigDataSE/ICESS https://doi.org/10.1109/Trustcom/BigDataSE/ICESS.2017.249 https://doi.ieeecomputersociety.org/10.1109/Trustcom/BigDataSE/ICESS.2017.249 conf/trustcom/2017 db/conf/trustcom/trustcom2017.html#BhandariHLZRG17

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. 2017 abs/1703.01107 CoRR http://arxiv.org/abs/1703.01107 db/journals/corr/corr1703.html#AiPRMAT17

Roopak Sinha Partha S. Roop Gareth Shaw Zoran A. Salcic Matthew M. Y. Kuo Hierarchical and Concurrent ECCs for IEC 61499 Function Blocks. 59-68 2016 12 IEEE Trans. Ind. Informatics 1 https://doi.org/10.1109/TII.2015.2496262 https://www.wikidata.org/entity/Q58799786 db/journals/tii/tii12.html#SinhaRSSK16

Sidharta Andalam Avinash Malik Partha S. Roop Mark L. Trew Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. 9-17 2016 ARCH@CPSWeek https://doi.org/10.29007/822m conf/cpsweek/2016arch db/conf/cpsweek/arch2016.html#AndalamMRT16 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. 648-653 2016 DATE https://ieeexplore.ieee.org/document/7459390/ conf/date/2016 db/conf/date/date2016.html#AllenARMTP16 Weiwei Ai Nitish D. Patel Partha S. Roop Requirements-centric closed-loop validation of implantable cardiac devices. 846-849 2016 DATE https://ieeexplore.ieee.org/document/7459426/ conf/date/2016 db/conf/date/date2016.html#AiPR16 Matthew M. Y. Kuo Sidharta Andalam Partha S. Roop Precision timed industrial automation systems. 1024-1025 2016 DATE https://ieeexplore.ieee.org/document/7459458/ conf/date/2016 db/conf/date/date2016.html#KuoAR16 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. 5595-5598 2016 EMBC https://doi.org/10.1109/EMBC.2016.7591995 https://www.wikidata.org/entity/Q47941658 conf/embc/2016 db/conf/embc/embc2016.html#AndalamRMRPT16 Jia Jie Wang Partha S. Roop Alain Girault Energy and timing aware synchronous programming. 1:1-1:10 2016 EMSOFT https://doi.org/10.1145/2968478.2968500 conf/emsoft/2016 db/conf/emsoft/emsoft2016.html#WangRG16 Michael Mendler Partha S. Roop Bruno Bodin A Novel WCET Semantics of Synchronous Programs. 195-210 2016 FORMATS https://doi.org/10.1007/978-3-319-44878-7_12 https://www.wikidata.org/entity/Q64454049 conf/formats/2016 db/conf/formats/formats2016.html#MendlerRB16 Hammond A. Pearce Matthew M. Y. Kuo Partha S. Roop Morteza Biglari-Abhari RunSync: A Predictable Runtime for Precision Timed Automation Systems. 116-123 2016 ISORC https://doi.org/10.1109/ISORC.2016.25 https://doi.ieeecomputersociety.org/10.1109/ISORC.2016.25 conf/isorc/2016 db/conf/isorc/isorc2016.html#PearceKRB16 Mahmood Hikmet Matthew M. Y. Kuo Partha S. Roop Prakash Ranjitkar Mixed-Criticality Systems as a Service for Non-critical Tasks. 221-228 2016 ISORC https://doi.org/10.1109/ISORC.2016.38 https://doi.ieeecomputersociety.org/10.1109/ISORC.2016.38 conf/isorc/2016 db/conf/isorc/isorc2016.html#HikmetKRR16 Eugene Yip Alain Girault Partha S. Roop Morteza Biglari-Abhari The ForeC Synchronous Deterministic Parallel Programming Language for Multicores. 297-304 2016 MCSoC https://doi.org/10.1109/MCSoC.2016.13 https://doi.ieeecomputersociety.org/10.1109/MCSoC.2016.13 conf/mcsoc/2016 db/conf/mcsoc/mcsoc2016.html#YipGRB16

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. 2016 abs/1603.05315 CoRR http://arxiv.org/abs/1603.05315 db/journals/corr/corr1603.html#YipARMTAP16

Srinivas Pinisetty Partha S. Roop Steven Smyth Stavros Tripakis Reinhard von Hanxleden Runtime enforcement of reactive systems using synchronous enforcers. 2016 abs/1612.05030 CoRR http://arxiv.org/abs/1612.05030 db/journals/corr/corr1612.html#PinisettyRSTH16

Li Hsien Yoong Partha S. Roop Zeeshan Ejaz Bhatti Matthew M. Y. Kuo Model-Driven Design Using IEC 61499 - A Synchronous Approach for Embedded and Automation Systems. I-XVIII, 1-194 Springer 2015 978-3-319-10520-8 https://doi.org/10.1007/978-3-319-10521-5 https://www.wikidata.org/entity/Q133892740 Li Hsien Yoong Partha S. Roop Synthesizing Multirate Programs from IEC 61499. 43-50 2015 ISORC https://doi.org/10.1109/ISORC.2015.26 https://doi.ieeecomputersociety.org/10.1109/ISORC.2015.26 conf/isorc/2015 db/conf/isorc/isorc2015.html#YoongR15 Jin Woo Ro Partha S. Roop Avinash Malik Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. 94-101 2015 ISORC https://doi.org/10.1109/ISORC.2015.24 https://doi.ieeecomputersociety.org/10.1109/ISORC.2015.24 conf/isorc/2015 db/conf/isorc/isorc2015.html#RoRM15 Mahmood Hikmet Partha S. Roop Prakash Ranjitkar Fairness-Based Measures for Safety-Critical Vehicular Ad-Hoc Networks. 142-149 2015 ISORC https://doi.org/10.1109/ISORC.2015.44 https://doi.ieeecomputersociety.org/10.1109/ISORC.2015.44 conf/isorc/2015 db/conf/isorc/isorc2015.html#HikmetRR15

Avinash Malik Partha S. Roop A unified framework for modeling and implementation of hybrid systems with synchronous controllers. 2015 abs/1501.05936 CoRR http://arxiv.org/abs/1501.05936 db/journals/corr/corr1501.html#MalikR15

Avinash Malik Partha S. Roop Sidharta Andalam Eugene Yip Mark Trew A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC). 2015 abs/1510.04336 CoRR http://arxiv.org/abs/1510.04336 db/journals/corr/corr1510.html#MalikRAYT15

Sidharta Andalam Partha S. Roop Alain Girault Claus Traulsen A Predictable Framework for Safety-Critical Embedded Systems. 1600-1612 2014 63 IEEE Trans. Computers 7 https://doi.org/10.1109/TC.2013.28 http://doi.ieeecomputersociety.org/10.1109/TC.2013.28 db/journals/tc/tc63.html#AndalamRGT14

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. 144:1-144:26 2014 13 ACM Trans. Embed. Comput. Syst. 4s https://doi.org/10.1145/2627350 db/journals/tecs/tecs13.html#HanxledenMADFMM14

Roopak Sinha Alain Girault Gregor Goessler Partha S. Roop A Formal Approach to Incremental Converter Synthesis for System-on-Chip Design. 13:1-13:30 2014 20 ACM Trans. Design Autom. Electr. Syst. 1 https://doi.org/10.1145/2663344 db/journals/todaes/todaes20.html#SinhaGGR14

Jin Woo Ro Zeeshan Ejaz Bhatti Partha S. Roop A model-driven approach with synchronous semantics for developing hard real-time WSNs. 1-8 2014 ETFA https://doi.org/10.1109/ETFA.2014.7005178 conf/etfa/2014 db/conf/etfa/etfa2014.html#RoBR14 Eugene Yip Matthew M. Y. Kuo Partha S. Roop David Broman Relaxing the synchronous approach for mixed-criticality systems. 89-100 2014 RTAS https://doi.org/10.1109/RTAS.2014.6925993 https://doi.ieeecomputersociety.org/10.1109/RTAS.2014.6925993 https://www.wikidata.org/entity/Q133892741 conf/rtas/2014 db/conf/rtas/rtas2014.html#YipKRB14

Syed Adeel Ali Partha S. Roop Ian Warren Web Service Choreography: Unanimous Handling of Control and Data. 309-330 2013 7 Int. J. Softw. Informatics 2 http://www.ijsi.org/ch/reader/view_abstract.aspx?file_no=i159 db/journals/ijsi/ijsi7.html#AliRW13

Eugene Yip Partha S. Roop Morteza Biglari-Abhari Alain Girault Programming and Timing Analysis of Parallel Programs on Multicores. 160-169 2013 ACSD https://doi.org/10.1109/ACSD.2013.19 https://doi.ieeecomputersociety.org/10.1109/ACSD.2013.19 conf/acsd/2013 db/conf/acsd/acsd2013.html#YipRBG13 Matthew M. Y. Kuo Partha S. Roop Sidharta Andalam Nitish D. Patel Precision Timed Embedded Systems Using TickPAD Memory. 206-215 2013 ACSD https://doi.org/10.1109/ACSD.2013.30 https://doi.ieeecomputersociety.org/10.1109/ACSD.2013.30 https://www.wikidata.org/entity/Q133892744 conf/acsd/2013 db/conf/acsd/acsd2013.html#KuoRAP13 Jia Jie Wang Partha S. Roop Sidharta Andalam ILPc: A novel approach for scalable timing analysis of synchronous programs. 20:1-20:10 2013 CASES https://doi.org/10.1109/CASES.2013.6662526 http://dl.acm.org/citation.cfm?id=2555749 conf/cases/2013 db/conf/cases/cases2013.html#WangRA13 Sidharta Andalam Alain Girault Roopak Sinha Partha S. Roop Jan Reineke 0001 Precise timing analysis for direct-mapped caches. 148:1-148:10 2013 DAC https://doi.org/10.1145/2463209.2488917 conf/dac/2013 db/conf/dac/dac2013.html#AndalamGSRR13 Syed Adeel Ali Partha S. Roop Ian Warren Stateful Web Services - Auto Modeling and Composition. 284-291 2013 ICWS https://doi.org/10.1109/ICWS.2013.46 https://doi.ieeecomputersociety.org/10.1109/ICWS.2013.46 conf/icws/2013 db/conf/icws/icws2013.html#AliRW13

Li Hsien Yoong Partha S. Roop Zoran Salcic Implementing constrained cyber-physical systems with IEC 61499. 78:1-78:22 2012 11 ACM Trans. Embed. Comput. Syst. 4 https://doi.org/10.1145/2362336.2362345 https://www.wikidata.org/entity/Q58800098 db/journals/tecs/tecs11.html#YoongRS12

Li Hsien Yoong Gareth Shaw Partha S. Roop Zoran Salcic Synthesizing Globally Asynchronous Locally Synchronous Systems With IEC 61499. 1465-1477 2012 42 IEEE Trans. Syst. Man Cybern. Part C 6 https://doi.org/10.1109/TSMCC.2012.2191404 https://www.wikidata.org/entity/Q58800111 db/journals/tsmc/tsmcc42.html#YoongSRS12

Roopak Sinha Partha S. Roop Zoran Salcic Samik Basu 0001 Correct-by-construction multi-component SoC design. 647-652 2012 DATE https://doi.org/10.1109/DATE.2012.6176551 https://doi.ieeecomputersociety.org/10.1109/DATE.2012.6176551 http://dl.acm.org/citation.cfm?id=2492871 conf/date/2012 db/conf/date/date2012.html#SinhaRSB12 K. Nicholas Zeeshan Ejaz Bhatti Partha S. Roop Model-driven development of industrial embedded systems: Challenges faced and lessons learnt. 1-4 2012 ETFA https://doi.org/10.1109/ETFA.2012.6489690 conf/etfa/2012 db/conf/etfa/etfa2012.html#NicholasBR12 Zachary J. Oster Syed Adeel Ali Ganesh Ram Santhanam Samik Basu 0001 Partha S. Roop A Service Composition Framework Based on Goal-Oriented Requirements Engineering, Model Checking, and Qualitative Preference Analysis. 283-297 2012 ICSOC https://doi.org/10.1007/978-3-642-34321-6_19 conf/icsoc/2012 db/conf/icsoc/icsoc2012.html#OsterASBR12 Li Hsien Yoong Zeeshan Ejaz Bhatti Partha S. Roop Combining IEC 61499 Model-Based Design with Component-Based Architecture for Robotics. 349-360 2012 SIMPAR https://doi.org/10.1007/978-3-642-34327-8_32 conf/simpar/2012 db/conf/simpar/simpar2012.html#YoongBR12

Ivan Radojevic Zoran Salcic Partha S. Roop Design of Distributed Heterogeneous Embedded Systems in DDFCharts. 296-308 2011 22 IEEE Trans. Parallel Distributed Syst. 2 https://doi.org/10.1109/TPDS.2010.69 http://doi.ieeecomputersociety.org/10.1109/TPDS.2010.69 https://www.wikidata.org/entity/Q58800144 db/journals/tpds/tpds22.html#RadojevicSR11

Matthew M. Y. Kuo Roopak Sinha Partha S. Roop Efficient WCRT analysis of synchronous programs using reachability. 480-485 2011 DAC https://doi.org/10.1145/2024724.2024837 https://www.wikidata.org/entity/Q133892742 conf/dac/2011 db/conf/dac/dac2011.html#KuoSR11 Sidharta Andalam Partha S. Roop Alain Girault Pruning infeasible paths for tight WCRT analysis of synchronous programs. 204-209 2011 DATE https://doi.org/10.1109/DATE.2011.5763043 https://doi.ieeecomputersociety.org/10.1109/DATE.2011.5763043 conf/date/2011 db/conf/date/date2011.html#AndalamRG11 Sidharta Andalam Roopak Sinha Partha S. Roop Environment Modelling for Tighter Timing Analysis of Synchronous Programs. 150-155 2011 DELTA https://doi.org/10.1109/DELTA.2011.35 https://doi.ieeecomputersociety.org/10.1109/DELTA.2011.35 conf/delta/2011 db/conf/delta/delta2011.html#AndalamSR11 Simon Yuan Li Hsien Yoong Partha S. Roop Compiling Esterel for Multi-core Execution. 727-735 2011 DSD https://doi.org/10.1109/DSD.2011.97 https://doi.ieeecomputersociety.org/10.1109/DSD.2011.97 conf/dsd/2011 db/conf/dsd/dsd2011.html#YuanYR11 Syed Adeel Ali Partha S. Roop Ian Warren Zeeshan Ejaz Bhatti Unified management of control flow and data mismatches in web service composition. 93-101 2011 SOSE https://doi.org/10.1109/SOSE.2011.6139097 https://doi.ieeecomputersociety.org/10.1109/SOSE.2011.6139097 conf/sose/2011 db/conf/sose/sose2011.html#AliRWB11

Avinash Malik Zoran Salcic Partha S. Roop Alain Girault SystemJ: A GALS language for system level design. 317-344 2010 36 Comput. Lang. Syst. Struct. 4 https://doi.org/10.1016/j.cl.2010.01.001 https://www.wikidata.org/entity/Q58800249 db/journals/cl/cl36.html#MalikSRG10

Li Hsien Yoong Partha S. Roop Verifying IEC 61499 Function Blocks Using Esterel. 1-4 2010 2 IEEE Embed. Syst. Lett. 1 https://doi.org/10.1109/LES.2010.2042275 db/journals/esl/esl2.html#YoongR10

Sidharta Andalam Partha S. Roop Alain Girault Deterministic, predictable and light-weight multithreading using PRET-C. 1653-1656 2010 DATE https://doi.org/10.1109/DATE.2010.5457078 http://dl.acm.org/citation.cfm?id=1871325 conf/date/2010 db/conf/date/date2010.html#AndalamRG10 Sidharta Andalam Partha S. Roop Alain Girault Predictable multithreading of embedded applications using PRET-C. 159-168 2010 MEMOCODE https://doi.org/10.1109/MEMCOD.2010.5558636 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2010.5558636 conf/memocode/2010 db/conf/memocode/memocode2010.html#AndalamRG10

Simon Yuan Li Hsien Yoong Sidharta Andalam Partha S. Roop Zoran Salcic A New Multithreaded Architecture Supporting Direct Execution of Esterel. 2009 2009 EURASIP J. Embed. Syst. https://doi.org/10.1155/2009/610891 https://www.wikidata.org/entity/Q58800282 db/journals/ejes/ejes2009.html#YuanYARS09

Li Hsien Yoong Partha S. Roop Valeriy Vyatkin Zoran A. Salcic A Synchronous Approach for IEC 61499 Function Block Implementation. 1599-1614 2009 58 IEEE Trans. Computers 12 https://doi.org/10.1109/TC.2009.128 http://doi.ieeecomputersociety.org/10.1109/TC.2009.128 https://www.wikidata.org/entity/Q58800262 db/journals/tc/tc58.html#YoongRVS09

Avinash Malik Zoran A. Salcic Partha S. Roop SystemJ compilation using the tandem virtual machine approach. 2009 14 ACM Trans. Design Autom. Electr. Syst. 3 https://doi.org/10.1145/1529255.1529256 https://www.wikidata.org/entity/Q58800326 db/journals/todaes/todaes14.html#MalikSR09 34:1-34:37

Partha S. Roop Alain Girault Roopak Sinha Gregor Goessler Specification Enforcing Refinement for Convertibility Verification. 148-157 2009 ACSD https://doi.org/10.1109/ACSD.2009.25 https://doi.ieeecomputersociety.org/10.1109/ACSD.2009.25 conf/acsd/2009 db/conf/acsd/acsd2009.html#RoopGSG09 Partha S. Roop Sidharta Andalam Reinhard von Hanxleden Simon Yuan Claus Traulsen Tight WCRT analysis of synchronous C programs. 205-214 2009 CASES https://doi.org/10.1145/1629395.1629424 conf/cases/2009 db/conf/cases/cases2009.html#RoopAHYT09 Roopak Sinha Partha S. Roop Samik Basu 0001 Zoran Salcic Multi-clock Soc design using protocol conversion. 123-128 2009 DATE https://doi.org/10.1109/DATE.2009.5090644 http://dl.acm.org/citation.cfm?id=1874650 conf/date/2009 db/conf/date/date2009.html#SinhaRBS09 Gareth Shaw Partha S. Roop Zoran Salcic A Hierarchical and Concurrent Approach for IEC 61499 Function Blocks. 1-8 2009 ETFA https://doi.org/10.1109/ETFA.2009.5347020 https://www.wikidata.org/entity/Q58800273 conf/etfa/2009 db/conf/etfa/etfa2009.html#ShawRS09

Roopak Sinha Partha S. Roop Samik Basu 0001 SoC Design Approach Using Convertibility Verification. 2008 2008 EURASIP J. Embed. Syst. https://doi.org/10.1155/2008/296206 https://www.wikidata.org/entity/Q59215959 db/journals/ejes/ejes2008.html#SinhaRB08

Avinash Malik Zoran Salcic Partha S. Roop Tandem virtual machine - An efficient execution platform for GALS language SystemJ. 1-8 2008 ACSAC https://doi.org/10.1109/APCSAC.2008.4625451 https://doi.ieeecomputersociety.org/10.1109/APCSAC.2008.4625451 https://www.wikidata.org/entity/Q58800338 conf/aPcsac/2008 db/conf/aPcsac/aPcsac2008.html#MalikSR08 Roopak Sinha Partha S. Roop Samik Basu 0001 A Module Checking Based Converter Synthesis Approach for SoCs. 492-501 2008 VLSI Design https://doi.org/10.1109/VLSI.2008.109 https://doi.ieeecomputersociety.org/10.1109/VLSI.2008.109 conf/vlsid/2008 db/conf/vlsid/vlsid2008.html#SinhaRB08 Simon Yuan Sidharta Andalam Li Hsien Yoong Partha S. Roop Zoran A. Salcic STARPro - A new multithreaded direct execution platform for Esterel. 37-55 2008 conf/slap/2008 SLA++P https://doi.org/10.1016/j.entcs.2008.01.005 https://www.wikidata.org/entity/Q58800314 db/conf/slap/slap2008.html#YuanAYRS09

Hai-Feng Guo Miao Liu Partha S. Roop C. R. Ramakrishnan 0001 I. V. Ramakrishnan Precise specification matching for adaptive reuse in embedded systems. 333-355 2007 5 J. Appl. Log. 2 https://doi.org/10.1016/j.jal.2005.12.016 db/journals/japll/japll5.html#GuoLRRR07

Ivan Radojevic Zoran A. Salcic Partha S. Roop McCharts and Multiclock FSMs for modeling large scale systems. 3-12 2007 conf/memocode/2007 MEMOCODE https://doi.org/10.1109/MEMCOD.2007.371257 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2007.371257 http://dl.acm.org/citation.cfm?id=1340610 https://www.wikidata.org/entity/Q58800389 db/conf/memocode/memocode2007.html#RadojevicSR07 Roopak Sinha Partha S. Roop Samik Basu 0001 A Model Checking Approach to Protocol Conversion. 81-94 2007 conf/slap/2007 SLA++P https://doi.org/10.1016/j.entcs.2008.05.012 db/conf/slap/slap2007.html#SinhaRB08

Ivan Radojevic Zoran A. Salcic Partha S. Roop Modeling Embedded Systems: From SystemC and Esterel to DFCharts. 348-358 2006 23 IEEE Des. Test Comput. 5 https://doi.org/10.1109/MDT.2006.130 http://doi.ieeecomputersociety.org/10.1109/MDT.2006.130 https://www.wikidata.org/entity/Q58800471 db/journals/dt/dt23.html#RadojevicSR06

Zoran A. Salcic Dong Hui Partha S. Roop Morteza Biglari-Abhari HiDRA - A reactive multiprocessor architecture for heterogeneous embedded systems. 72-85 2006 30 Microprocess. Microsystems 2 https://doi.org/10.1016/j.micpro.2005.05.001 https://www.wikidata.org/entity/Q58800468 db/journals/mam/mam30.html#SalcicHRB06

Flavius Gruian Partha S. Roop Zoran A. Salcic Ivan Radojevic The SystemJ approach to system-level design. 149-158 2006 conf/memocode/2006 MEMOCODE https://doi.org/10.1109/MEMCOD.2006.1695918 https://doi.ieeecomputersociety.org/10.1109/MEMCOD.2006.1695918 http://dl.acm.org/citation.cfm?id=2674371 db/conf/memocode/memocode2006.html#GruianRSR06 Zoran A. Salcic Flavius Gruian Partha S. Roop Alif Wahid A Scheduler Support Unit for Reactive Microprocessors. 368-372 2006 conf/rtcsa/2006 RTCSA https://doi.org/10.1109/RTCSA.2006.9 https://doi.ieeecomputersociety.org/10.1109/RTCSA.2006.9 https://www.wikidata.org/entity/Q58800446 db/conf/rtcsa/rtcsa2006.html#SalcicGRW06 Ivan Radojevic Zoran A. Salcic Partha S. Roop Design of Heterogeneous Embedded Systems Using DFCharts Model of Computation. 461-464 2006 conf/vlsid/2006 VLSI Design https://doi.org/10.1109/VLSID.2006.67 https://doi.ieeecomputersociety.org/10.1109/VLSID.2006.67 https://www.wikidata.org/entity/Q58800454 db/conf/vlsid/vlsid2006.html#RadojevicSR06 Samik Basu 0001 Partha S. Roop Roopak Sinha Local Module Checking for CTL Specifications. 125-141 2006 conf/fesca/2006 FESCA@ETAPS https://doi.org/10.1016/j.entcs.2006.02.035 db/conf/fesca/fesca2006.html#BasuRS07

Ivan Radojevic Zoran A. Salcic Partha S. Roop A New Model for Heterogeneous Embedded Systems - What Esterel and SyncCharts Need to Become a Suitable Specification Platform. 405-410 2005 15 Int. J. Softw. Eng. Knowl. Eng. 2 https://doi.org/10.1142/S0218194005001963 https://www.wikidata.org/entity/Q58800489 db/journals/ijseke/ijseke15.html#RadojevicSR05

Zoran A. Salcic Dong Hui Partha S. Roop Morteza Biglari-Abhari REMIC: design of a reactive embedded microprocessor core. 977-981 2005 conf/aspdac/2005 ASP-DAC https://doi.org/10.1145/1120725.1120771 https://doi.org/10.1109/ASPDAC.2005.1466503 https://www.wikidata.org/entity/Q130956328 db/conf/aspdac/aspdac2005.html#SalcicHRB05 Ivan Radojevic Zoran A. Salcic Partha S. Roop Modelling Heterogeneous Embedded Systems in DFCarts. 441-453 2005 FDL http://www.ecsi-association.org/ecsi/main.asp?l1=library&fn=def&id=426 conf/fdl/2005 db/conf/fdl/fdl2005.html#RadojevicSR05 Robi Malik Partha S. Roop Adaptive Techniques for Specification Matching in Embedded Systems: A Comparative Study. 33-52 2005 conf/ifm/2005 IFM https://doi.org/10.1007/11589976_4 db/conf/ifm/ifm2005.html#MalikR05 Roopak Sinha Partha S. Roop Bakhadyr Khoussainov Adaptive Verification using Forced Simulation. 171-197 2005 conf/fesca/2005 FESCA@ETAPS https://doi.org/10.1016/j.entcs.2005.02.047 db/conf/fesca/fesca2005.html#SinhaRK05

Zoran A. Salcic Partha S. Roop Morteza Biglari-Abhari Abbas Bigdeli REFLIX: a processor core with native support for control-dominated embedded applications. 13-25 2004 28 Microprocess. Microsystems 1 https://doi.org/10.1016/j.micpro.2003.08.001 https://www.wikidata.org/entity/Q58800536 db/journals/mam/mam28.html#SalcicRBB04

Zoran A. Salcic Partha S. Roop Dong Hui Ivan Radojevic HiDRA: A New Architecture for Heterogeneous Embedded Systems. 164-170 2004 conf/csreaESA/2004 ESA/VLSI db/conf/csreaESA/csreaESA2004.html#SalcicRHR04 Partha S. Roop Zoran A. Salcic M. W. Sajeewa Dayaratne Towards direct execution of esterel programs on reactive processors. 240-248 2004 conf/emsoft/2004 EMSOFT https://doi.org/10.1145/1017753.1017793 db/conf/emsoft/emsoft2004.html#RoopSD04 Zoran A. Salcic Partha S. Roop Customizing Processor Cores to Support Reactivity. 194-202 2004 conf/ersa/2004 ERSA db/conf/ersa/ersa2004.html#SalcicR04 Partha S. Roop Zoran A. Salcic Morteza Biglari-Abhari Abbas Bigdeli A New Reactive Processor with Architectural Support for Control Dominated Embedded Systems. 189-194 2003 conf/vlsid/2003 VLSI Design https://doi.org/10.1109/ICVD.2003.1183135 https://doi.ieeecomputersociety.org/10.1109/ICVD.2003.1183135 https://www.wikidata.org/entity/Q58800549 db/conf/vlsid/vlsid2003.html#RoopSBB03 Rick Mugridge Bruce A. MacDonald Partha S. Roop A Customer Test Generator for Web-Based Systems. 189-197 https://doi.org/10.1007/3-540-44870-5_24 2003 conf/xpu/2003 XP db/conf/xpu/xp2003.html#MugridgeMR03 Rick Mugridge Bruce A. MacDonald Partha S. Roop Ewan D. Tempero Five Challenges in Teaching XP. 406-409 https://doi.org/10.1007/3-540-44870-5_62 2003 conf/xpu/2003 XP db/conf/xpu/xp2003.html#MugridgeMRT03 Zoran A. Salcic Partha S. Roop Morteza Biglari-Abhari Abbas Bigdeli REFLIX: A Processor Core for Reactive Embedded Applications. 945-945 2002 conf/fpl/2002 FPL https://doi.org/10.1007/3-540-46117-5_97 db/conf/fpl/fpl2002.html#SalcicRBB02 Partha S. Roop Arcot Sowmya S. Ramesh 0001 k-time Forced Simulation: A Formal Verification Technique for IP Reuse. 50-55 2002 conf/iccd/2002 ICCD https://doi.org/10.1109/ICCD.2002.1106747 https://doi.ieeecomputersociety.org/10.1109/ICCD.2002.1106747 db/conf/iccd/iccd2002.html#RoopSR02

Partha S. Roop Arcot Sowmya S. Ramesh 0001 Forced simulation: A technique for automating component reuse in embedded systems. 602-628 2001 6 ACM Trans. Design Autom. Electr. Syst. 4 https://doi.org/10.1145/502175.502185 db/journals/todaes/todaes6.html#RoopSR01

Partha S. Roop Arcot Sowmya S. Ramesh 0001 A formal approach to component based development of synchronous programs. 421-424 2001 conf/aspdac/2001 ASP-DAC https://doi.org/10.1145/370155.370432 db/conf/aspdac/aspdac2001.html#RoopSR01 Partha S. Roop Forced simulation: a formal approach to component based development of embedded systems. 2000 University of New South Wales, Sydney, Australia http://hdl.handle.net/1959.4/20470 https://unsworks.unsw.edu.au/bitstreams/87e6d777-d642-4d93-a734-394b00d60ba5/download https://doi.org/10.26190/unsworks/21455 https://www.base-search.net/Record/06fb7e3ecc3bafed6a811e6261f1b3a93cd869ae5b7d3e5a54b446fc31192b81 base-search.net (ftunswworks:oai:unsworks.library.unsw.edu.au:1959.4/20470) Partha S. Roop Arcot Sowmya S. Ramesh 0001 Automated Component Adaptation by Forced Simulation. 74-81 2000 conf/aPcsac/2000 ACAC https://doi.org/10.1109/ACAC.2000.824326 https://doi.ieeecomputersociety.org/10.1109/ACAC.2000.824326 db/conf/aPcsac/acac2000.html#RoopSR00 Partha S. Roop Arcot Sowmya S. Ramesh 0001 Automatic Component Matching Using Forced Simulation. 64-69 2000 conf/vlsid/2000 VLSI Design https://doi.org/10.1109/ICVD.2000.812586 https://doi.ieeecomputersociety.org/10.1109/ICVD.2000.812586 db/conf/vlsid/vlsid2000.html#RoopSR00 Partha S. Roop Arcot Sowmya Hidden time model for specification and verification of embedded systems. 98-105 1998 ECRTS https://doi.org/10.1109/EMWRTS.1998.685073 https://doi.ieeecomputersociety.org/10.1109/EMWRTS.1998.685073 conf/ecrts/1998 db/conf/ecrts/ecrts1998.html#RoopS98 Partha S. Roop Arcot Sowmya CFSMcharts: A New Language for Microprocessor Based system Design. 342-346 1998 conf/vlsid/1998 VLSI Design https://doi.org/10.1109/ICVD.1998.646630 https://doi.ieeecomputersociety.org/10.1109/ICVD.1998.646630 db/conf/vlsid/vlsid1998.html#RoopS98

Raj S. Mitra Partha S. Roop Anupam Basu A new algorithm for implementation of design functions by available devices. 170-180 1996 4 IEEE Trans. Very Large Scale Integr. Syst. 2 https://doi.org/10.1109/92.502190 db/journals/tvlsi/tvlsi4.html#MitraRB96

Raj S. Mitra Partha S. Roop Anupam Basu Implementation of design functions by available devices: a new algorithm. 30-35 1995 conf/vlsid/1995 VLSI Design https://doi.org/10.1109/ICVD.1995.512073 https://doi.ieeecomputersociety.org/10.1109/ICVD.1995.512073 db/conf/vlsid/vlsid1995.html#MitraRB95 Joaquín Aguado Weiwei Ai Syed Adeel Ali Nathan Allen Ayush Anand 0001 Sidharta Andalam Kelvin Anto K. Ajay Babu Alex Baird Tianzhe Bao Anupam Basu Samik Basu 0001 Shweta Bhandari Zeeshan Ejaz Bhatti Abbas Bigdeli Morteza Biglari-Abhari Kelly Blincoe Bruno Bodin David Broman Calin Cascaval Jerónimo Castrillón Sobhan Chatterjee Jian-Jia Chen Leo K. Cheng M. W. Sajeewa Dayaratne Chad E. DrakeChad E. Eichler Björn Duderstadt Insa Fuhrmann Sicun Gao Manoj Singh Gaur Nasser Giacaman Alain Girault Gregor GößlerGregor Goessler Flavius Gruian Mario Günzel Haifeng GuoHai-Feng Guo Christian Hakert Pengqian Han Reinhard von Hanxleden Jialing He Kay Heider Maryam Hemmati Frédéric Herbreteau Mahmood Hikmet Nils Hölscher Dong Hui Martin Izzard Marc Katzef Shahab Kazemi Logan Kenwright Bakhadyr Khoussainov Moon Kim 0006 Moon Soo Kim Jonathan King Daniel Kuhse Matthew M. Y. Kuo Sanjay Lall Vijay Laxmi Jiamou Liu Miao Liu Stephen Loftus-MercerStephen Mercer Bruce A. MacDonald Avinash Malik Robi Malik M. Sabarimalai Manikandan Michael Mendler Jyoti Mishra Raj S. Mitra Keyan Monadjem Christian Motika Rick Mugridge Madhu Mutyam K. Nicholas Pierluigi Nuzzo 0002 Owen O'Brien Zachary J. Oster Abhinandan Panda Yongjun Park 0001 Niranchan Paskaranandavadivel Nitish D. Patel Julian Paton Hammond A. PearceHammond Pearce Srinivas Pinisetty Marc Pouzet Ankit Pradhan Ujwal V. R Ivan Radojevic Yash Raje C. R. Ramakrishnan 0001 I. V. Ramakrishnan Harshavardhan Ramanna Rohit Ramchandra S. Ramesh 0001 S. Ramesh 0002 Prakash Ranjitkar Jan Reineke 0001 Jin Woo Ro Debiprasanna Sahoo Zoran A. SalcicZoran Salcic Ganesh Ram Santhanam Manoranjan Satpathy Vidula Sawant Gerardo Schneider Martin Schoeberl Swaraj Sha Saumya Shankar Gareth Shaw Junjie Shi Roopak Sinha Steven Smyth Surinder Sood Arcot Sowmya Tammo Spalink Theo Steger Tórur Biskopstø Strøm Han Su 0003 Frederick Sundram Vinod Suresh Akshya K. SwainAkshya Kumar Swain Yanni Tang Ewan D. Tempero Valerio Terragni Duleepa J. Thrimawithana Claus Traulsen Mark L. TrewMark Trew Stavros Tripakis Dhiren Tripuramallu Abhisek Ukil Annie Vella Sai Rohan Harshavardhan Vuppala Valeriy Vyatkin Alif Wahid Jiajie WangJia Jie Wang Luman Wang Yifei Wang 0003 Ian Warren Steph Wu Song Yang 0001 Xin Yang 0035 Eugene Yip Li Hsien Yoong Simon Yuan Akka Zemmari Naijun Zhan Zeyu Zhang 0004