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

A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. - Avinash Malik; Zoran A. Salcic; Alain Girault; Adam Walker; Sung Chul Lee (JTRES, 2009)

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

LibGALS: a library for GALS systems design and modeling. - Wei-Tsun Sun; Zoran Salcic; Avinash Malik (ASP-DAC, 2010)

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

A GALS Language for Dynamic Distributed and Reactive Programs. - Avinash Malik; Alain Girault; Zoran Salcic (ACSD, 2011)

System-level approach to the design of a smart distributed surveillance system using systemj. - Avinash Malik; Zoran Salcic; Christopher Chong; Salman Javed (ACM Trans. Embed. Comput. Syst., 2012)

Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. - Avinash Malik; Alain Girault; Zoran Salcic (IEEE Trans. Parallel Distributed Syst., 2012)

Heterogeneous Multiconstraint Application Partitioner (HMAP). - Servesh Muralidharan; Aravind Vasudevan; Avinash Malik; David Gregg (TrustCom/ISPA/IUCC, 2013)

A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. - HeeJong Park 001; Zoran Salcic; Kevin I-Kai Wang; Udayanto Dwi Atmojo; Wei-Tsun Sun; Avinash Malik (TrustCom/ISPA/IUCC, 2013)

Orchestrating stream graphs using model checking. - Avinash Malik; David Gregg (ACM Trans. Archit. Code Optim., 2013)

GALS-HMP: A heterogeneous multiprocessor for embedded applications. - Zoran Salcic; Avinash Malik (ACM Trans. Embed. Comput. Syst., 2013)

WYPIWYE automation systems - An intelligent manufacturing system case study. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (ETFA, 2014)

An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures. - Aravind Vasudevan; Avinash Malik; David Gregg (ICPADS, 2014)

The Cardiac Pacemaker: SystemJ versus Safety Critical Java. - HeeJong Park 001; Avinash Malik; Muhammad Nadeem; Zoran A. Salcic (JTRES, 2014)

TACO: A scalable framework for timing analysis and code optimization of synchronous programs. - Zhenmin Li; Avinash Malik; Zoran A. Salcic (RTCSA, 2014)

Times square - marriage of real-time and logical-time in GALS and synchronous languages. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (RTCSA, 2014)

libDGALS: A library-based approach to design dynamic GALS systems. - Wei-Tsun Sun; Zoran A. Salcic; Alain Girault; Avinash Malik (SIES, 2014)

Scalable RDF Data Compression using X10. - Long Cheng 003; Avinash Malik; Spyros Kotoulas; Tomas E. Ward; Georgios Theodoropoulos 001 (CoRR, 2014)

FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things. - Dez Packwood; Manu Sharma; Ding Ding; HeeJong Park 001; Zoran A. Salcic; Avinash Malik; Kevin I-Kai Wang (ISORC, 2015)

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

Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors with Application-Specific TDMA Scheduling. - Zhenmin Li; Avinash Malik; Zoran A. Salcic (JTRES, 2015)

Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (Comput. Lang. Syst. Struct., 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)

Heuristics on Reachability Trees for Bicriteria Scheduling of Stream Graphs on Heterogeneous Multiprocessor Architectures. - Avinash Malik; David Gregg (ACM Trans. Embed. Comput. Syst., 2015)

Scheduling Globally Asynchronous Locally Synchronous Programs for Guaranteed Response Times. - HeeJong Park 001; Avinash Malik; Zoran A. Salcic (ACM Trans. Design Autom. Electr. Syst., 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)

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)

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)

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)

Automatic Vectorization of Interleaved Data Revisited. - Andrew Anderson 001; Avinash Malik; David Gregg (ACM Trans. Archit. Code Optim., 2016)

Fast Compression of Large Semantic Web Data Using X10. - Long Cheng 003; Avinash Malik; Spyros Kotoulas; Tomas E. Ward; Georgios Theodoropoulos 001 (IEEE Trans. Parallel Distributed Syst., 2016)

Times Square - Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages. - HeeJong Park 001; Zhenmin Li; Avinash Malik; Zoran A. Salcic (J. Signal Process. Syst., 2016)

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)

A Dynamic Memory Management Unit for Real Time Systems. - Nicholas Harvey-Lees-Green; Morteza Biglari-Abhari; Avinash Malik; Zoran A. Salcic (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)

Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture. - Zhenmin Li; HeeJong Park 001; Avinash Malik; Kevin I-Kai Wang; Zoran Salcic; Boris Kuzmin; Michael Glaß; Jürgen Teich (J. Syst. Archit., 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)

Noc-HMP: A Heterogeneous Multicore Processor for Embedded Systems Designed in SystemJ. - Zoran Salcic; HeeJong Park 001; Jürgen Teich; Avinash Malik; Muhammad Nadeem (ACM Trans. Design Autom. Electr. Syst., 2017)

A machine learning approach to reconstruction of heart surface potentials from body surface potentials. - Avinash Malik; Tommy Peng; Mark L. Trew (EMBC, 2018)

Parametric Modeling of Electrocardiograms using Particle Swarm optimization. - Tommy Peng; Mark Trew; Avinash Malik (EMBC, 2018)

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

Bandwidth Stealing TDMA Arbitration for Real-Time Multiprocessor Applications. - Muhammad Nadeem; HeeJong Park 001; Avinash Malik (TENCON, 2018)

Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay. - Avinash Malik; Cameron G. Walker; Michael J. O'Sullivan; Oliver Sinnen (Comput. Oper. Res., 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)

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)

An Energy Efficient Embedded Processor for Hard Real-Time Java Applications. - Manish Tewary; Avinash Malik; Zoran Salcic; Morteza Biglari-Abhari (ARCS, 2019)

Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets. - Weiyi Zhang 003; Zoran Salcic; Avinash Malik (INDIN, 2019)

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

Recommendation Engine for Lower Interest Borrowing on Peer to Peer Lending (P2PL) Platform. - Ke Ren; Avinash Malik (WI, 2019)

Investment Recommendation System for Low-Liquidity Online Peer to Peer Lending (P2PL) Marketplaces. - Ke Ren; Avinash Malik (WSDM, 2019)

Predictive modeling of drug effects on electrocardiograms. - Tommy Peng; Mark L. Trew; Avinash Malik (Comput. Biol. Medicine, 2019)

Allocation and scheduling of SystemJ programs on chip multiprocessors with weighted TDMA scheduling. - Muhammad Nadeem; Zhenmin Li; Avinash Malik; Morteza Biglari-Abhari; Zoran Salcic (J. Syst. Archit., 2019)

Memory management of safety-critical hard real-time systems designed in SystemJ. - Avinash Malik; HeeJong Park 001; Muhammad Nadeem; Zoran Salcic (Microprocess. Microsystems, 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)

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)

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)

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)

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)

Predicting drug-mediated pro-arrhythmic effects using pre-drug electrocardiograms. - Tommy Peng; Avinash Malik; Mark L. Trew (Biomed. Signal Process. Control., 2021)

Basis Function Based Data Driven Learning for the Inverse Problem of Electrocardiography. - Tommy Peng; Avinash Malik; Laura Bear; Mark L. Trew (CoRR, 2021)

Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion. - Avinash Malik (Numer. Algorithms, 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)

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)

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)

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

Impulse Data Models for the Inverse Problem of Electrocardiography. - Tommy Peng; Avinash Malik; Laura R. Bear; Mark L. Trew (IEEE J. Biomed. Health Informatics, 2022)

Compiler-assisted energy reduction of java real-time programs. - Manish Tewary; Zoran Salcic; Morteza Biglari-Abhari; Avinash Malik (Microprocess. Microsystems, 2022)

Energy-aware scheduling, compilation, and execution of hard-real-time multi-task Java programs. - Manish Tewary; Zoran Salcic; Morteza Biglari-Abhari; Avinash Malik (Microprocess. Microsystems, 2022)

Designing, Modeling and Analysis of GALS Software Systems. - Weiyi Zhang 003; Zoran Salcic; Avinash Malik (IEEE Trans. Software Eng., 2023)

A comparison of machine learning and econometric models for pricing perpetual Bitcoin futures and their application to algorithmic trading. - Avinash Malik (Expert Syst. J. Knowl. Eng., 2023)

Optimal market-neutral currency trading on the cryptocurrency platform. - Hongshen Yang; Avinash Malik (CoRR, 2024)

Reinforcement Learning Pair Trading: A Dynamic Scaling approach. - Hongshen Yang; Avinash Malik (CoRR, 2024)

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)

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

Efficient compilation and execution of synchronous programs via type-state programming. - Avinash Malik (CoRR, 2025)