| 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 | Efficient compilation and execution of synchronous programs via type-state programming. | Avinash Malik |
| 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 |
| 2019 | INDIN | Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets. | Weiyi Zhang, Zoran Salcic, Avinash Malik |
| 2019 | MEMOCODE | A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. | Jin Woo Ro, Avinash Malik, Partha S. Roop |
| 2019 | WSDM | Investment Recommendation System for Low-Liquidity Online Peer to Peer Lending (P2PL) Marketplaces. | Ke Ren, Avinash Malik |
| 2018 | ISORC | Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. | Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew |
| 2018 | Tencon | Bandwidth Stealing TDMA Arbitration for Real-Time Multiprocessor Applications. | Muhammad Nadeem, HeeJong Park, Avinash Malik |
| 2017 | ISORC | A Dynamic Memory Management Unit for Real Time Systems. | Nicholas Harvey-Lees-Green, Morteza Biglari-Abhari, Avinash Malik, Zoran A. Salcic |
| 2017 | MEMOCODE | Simulation of cyber-physical systems using IEC61499. | Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik |
| 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 |
| 2015 | ISORC | FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things. | Dez Packwood, Manu Sharma, Ding Ding, HeeJong Park, Zoran A. Salcic, Avinash Malik, Kevin I-Kai Wang |
| 2015 | ISORC | Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. | Jin Woo Ro, Partha S. Roop, Avinash Malik |
| 2014 | ETFA | WYPIWYE automation systems - An intelligent manufacturing system case study. | HeeJong Park, Avinash Malik, Zoran A. Salcic |
| 2014 | ICPADS | An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures. | Aravind Vasudevan, Avinash Malik, David Gregg |
| 2014 | RTCSA | TACO: A scalable framework for timing analysis and code optimization of synchronous programs. | Zhenmin Li, Avinash Malik, Zoran A. Salcic |
| 2014 | RTCSA | Times square - marriage of real-time and logical-time in GALS and synchronous languages. | HeeJong Park, Avinash Malik, Zoran A. Salcic |
| 2013 | TrustCom | Heterogeneous Multiconstraint Application Partitioner (HMAP). | Servesh Muralidharan, Aravind Vasudevan, Avinash Malik, David Gregg |
| 2013 | TrustCom | A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. | HeeJong Park, Zoran Salcic, Kevin I-Kai Wang, Udayanto Dwi Atmojo, Wei-Tsun Sun, Avinash Malik |
| 2010 | ASPDAC | LibGALS: a library for GALS systems design and modeling. | Wei-Tsun Sun, Zoran Salcic, Avinash Malik |