Avinash Malik

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 56

Top Topics

Top Venues

ACM Trans. Embed. Comput. Syst.

Publications

Hongshen Yang, Avinash Malik
Reinforcement Learning Pair Trading: A Dynamic Scaling approach. CoRR (2024)
Hongshen Yang, Avinash Malik
Optimal market-neutral currency trading on the cryptocurrency platform. CoRR (2024)
Avinash Malik
A comparison of machine learning and econometric models for pricing perpetual Bitcoin futures and their application to algorithmic trading. Expert Syst. J. Knowl. Eng. 40 (10) (2023)
Weiyi Zhang, Zoran Salcic, Avinash Malik
Designing, Modeling and Analysis of GALS Software Systems. IEEE Trans. Software Eng. 49 (8) (2023)
Jin Woo Ro, Avinash Malik, Partha S. Roop
High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid Automata. IEEE Trans. Computers 71 (7) (2022)
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. Comput. Methods Programs Biomed. 216 (2022)
Manish Tewary, Zoran Salcic, Morteza Biglari-Abhari, Avinash Malik
Energy-aware scheduling, compilation, and execution of hard-real-time multi-task Java programs. Microprocess. Microsystems 95 (2022)
Manish Tewary, Zoran Salcic, Morteza Biglari-Abhari, Avinash Malik
Compiler-assisted energy reduction of java real-time programs. Microprocess. Microsystems 89 (2022)
Surinder Sood, Avinash Malik, Partha S. Roop
Robust hardware-software Co-simulation framework for design and validation of Hybrid Systems. MEMOCODE (2022)
Tommy Peng, Avinash Malik, Laura R. Bear, Mark L. Trew
Impulse Data Models for the Inverse Problem of Electrocardiography. IEEE J. Biomed. Health Informatics 26 (3) (2022)
Surinder Sood, Avinash Malik, Partha S. Roop
A novel approach to Real-time contract based reasoning for Hybrid Systems. MEMOCODE (2022)
Avinash Malik
Adaptive step size numerical integration for stochastic differential equations with discontinuous drift and diffusion. Numer. Algorithms 87 (2) (2021)
Tommy Peng, Avinash Malik, Mark L. Trew
Predicting drug-mediated pro-arrhythmic effects using pre-drug electrocardiograms. Biomed. Signal Process. Control. 68 (2021)
Jin Woo Ro, Partha S. Roop, Avinash Malik
A New Safety Distance Calculation for Rear-End Collision Avoidance. IEEE Trans. Intell. Transp. Syst. 22 (3) (2021)
Tommy Peng, Avinash Malik, Laura Bear, Mark L. Trew
Basis Function Based Data Driven Learning for the Inverse Problem of Electrocardiography. CoRR (2021)
Surinder Sood, Avinash Malik, Partha S. Roop
Robust Design and Validation of Cyber-physical Systems. ACM Trans. Embed. Comput. Syst. 18 (6) (2020)
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. EMBC (2020)
Weiwei Ai, Nitish D. Patel, Partha S. Roop, Avinash Malik, Mark L. Trew
Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices. IEEE Trans. Biomed. Eng. 67 (2) (2020)
Luman Wang, Avinash Malik, Partha S. Roop, Leo K. Cheng, Niranchan Paskaranandavadivel, Weiwei Ai
A novel approach for model-based design of gastric pacemakers. Comput. Biol. Medicine 116 (2020)
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. IEEE J. Biomed. Health Informatics 24 (6) (2020)
Ke Ren, Avinash Malik
Recommendation Engine for Lower Interest Borrowing on Peer to Peer Lending (P2PL) Platform. CoRR (2019)
Jin Woo Ro, Avinash Malik, Partha S. Roop
A compositional semantics of Simulink/Stateflow based on quantized state hybrid automata. MEMOCODE (2019)
Muhammad Nadeem, Zhenmin Li, Avinash Malik, Morteza Biglari-Abhari, Zoran Salcic
Allocation and scheduling of SystemJ programs on chip multiprocessors with weighted TDMA scheduling. J. Syst. Archit. 98 (2019)
Luman Wang, Avinash Malik, Partha S. Roop, Leo K. Cheng, Niranchan Paskaranandavadivel
A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology. IEEE Trans. Biomed. Eng. 66 (12) (2019)
Weiyi Zhang, Zoran Salcic, Avinash Malik
Towards Formal Modeling and Analysis of SystemJ GALS Systems using Coloured Petri Nets. INDIN (2019)
Manish Tewary, Avinash Malik, Zoran Salcic, Morteza Biglari-Abhari
An Energy Efficient Embedded Processor for Hard Real-Time Java Applications. ARCS (2019)
Avinash Malik, HeeJong Park, Muhammad Nadeem, Zoran Salcic
Memory management of safety-critical hard real-time systems designed in SystemJ. Microprocess. Microsystems 64 (2019)
Tommy Peng, Mark L. Trew, Avinash Malik
Predictive modeling of drug effects on electrocardiograms. Comput. Biol. Medicine 108 (2019)
Ke Ren, Avinash Malik
Recommendation Engine for Lower Interest Borrowing on Peer to Peer Lending (P2PL) Platform. WI (2019)
Ke Ren, Avinash Malik
Investment Recommendation System for Low-Liquidity Online Peer to Peer Lending (P2PL) Marketplaces. WSDM (2019)
Avinash Malik, Partha S. Roop, Nathan Allen, Theo Steger
Emulation of Cyber-Physical Systems Using IEC-61499. IEEE Trans. Ind. Informatics 14 (1) (2018)
Avinash Malik, Tommy Peng, Mark L. Trew
A machine learning approach to reconstruction of heart surface potentials from body surface potentials. EMBC (2018)
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. IEEE Trans. Biomed. Eng. 65 (1) (2018)
Avinash Malik, Cameron G. Walker, Michael J. O'Sullivan, Oliver Sinnen
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay. Comput. Oper. Res. 89 (2018)
Avinash Malik, Tommy Peng, Mark Trew
A machine learning approach to reconstruction of heart surface potentials from body surface potentials. CoRR (2018)
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. ACM Trans. Cyber Phys. Syst. 2 (4) (2018)
Sidharta Andalam, Partha S. Roop, Avinash Malik, Mark Trew
Rethinking the Validation Process for Medical Devices: A Cardiac Pacemaker Case Study. ISORC (2018)
Jin Woo Ro, Partha S. Roop, Avinash Malik, Prakash Ranjitkar
A Formal Approach for Modeling and Simulation of Human Car-Following Behavior. IEEE Trans. Intell. Transp. Syst. 19 (2) (2018)
Avinash Malik, Partha S. Roop
Quantized State Hybrid Automata for Cyber-Physical Systems. CoRR (2018)
Muhammad Nadeem, HeeJong Park, Avinash Malik
Bandwidth Stealing TDMA Arbitration for Real-Time Multiprocessor Applications. TENCON (2018)
Tommy Peng, Mark Trew, Avinash Malik
Parametric Modeling of Electrocardiograms using Particle Swarm optimization. EMBC (2018)
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. EMBC (2017)
Avinash Malik, Partha S. Roop, Sidharta Andalam, Mark Trew, Michael Mendler
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
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. CoRR (2017)
Sidharta Andalam, Nathan Allen, Avinash Malik, Partha S. Roop, Mark Trew
A Novel Emulation Model of the Cardiac Conduction System. ACM Trans. Embed. Comput. Syst. 16 (5s) (2017)
Zoran Salcic, HeeJong Park, Jürgen Teich, Avinash Malik, Muhammad Nadeem
Noc-HMP: A Heterogeneous Multicore Processor for Embedded Systems Designed in SystemJ. ACM Trans. Design Autom. Electr. Syst. 22 (4) (2017)
Zhenmin Li, HeeJong Park, Avinash Malik, Kevin I-Kai Wang, Zoran Salcic, Boris Kuzmin, Michael Glaß, Jürgen Teich
Using design space exploration for finding schedules with guaranteed reaction times of synchronous programs on multi-core architecture. J. Syst. Archit. 74 (2017)
Nicholas Harvey-Lees-Green, Morteza Biglari-Abhari, Avinash Malik, Zoran A. Salcic
A Dynamic Memory Management Unit for Real Time Systems. ISORC (2017)
Hammond A. Pearce, Matthew M. Y. Kuo, Nathan Allen, Partha S. Roop, Avinash Malik
Simulation of cyber-physical systems using IEC61499. MEMOCODE (2017)
Andrew Anderson, Avinash Malik, David Gregg
Automatic Vectorization of Interleaved Data Revisited. ACM Trans. Archit. Code Optim. 12 (4) (2016)
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. CoRR (2016)
Sidharta Andalam, Avinash Malik, Partha S. Roop, Mark L. Trew
Hybrid Automata Model of the Heart for Formal Verification of Pacemakers. ARCH@CPSWeek (2016)
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. DATE (2016)
HeeJong Park, Zhenmin Li, Avinash Malik, Zoran A. Salcic
Times Square - Marriage of Real-Time and Logical-Time in GALS and Synchronous Languages. J. Signal Process. Syst. 84 (1) (2016)
Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Fast Compression of Large Semantic Web Data Using X10. IEEE Trans. Parallel Distributed Syst. 27 (9) (2016)
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. EMBC (2016)
Avinash Malik, David Gregg
Heuristics on Reachability Trees for Bicriteria Scheduling of Stream Graphs on Heterogeneous Multiprocessor Architectures. ACM Trans. Embed. Comput. Syst. 14 (2) (2015)
HeeJong Park, Avinash Malik, Zoran A. Salcic
Scheduling Globally Asynchronous Locally Synchronous Programs for Guaranteed Response Times. ACM Trans. Design Autom. Electr. Syst. 20 (3) (2015)
Dez Packwood, Manu Sharma, Ding Ding, HeeJong Park, Zoran A. Salcic, Avinash Malik, Kevin I-Kai Wang
FPGA-based Mixed-Criticality Execution Platform for SystemJ and the Internet of Industrial Things. ISORC (2015)
Avinash Malik, Partha S. Roop
A unified framework for modeling and implementation of hybrid systems with synchronous controllers. CoRR (2015)
Avinash Malik, Partha S. Roop, Sidharta Andalam, Eugene Yip, Mark Trew
A synchronous rendering of hybrid systems for designing Plant-on-a-Chip (PoC). CoRR (2015)
Zhenmin Li, Avinash Malik, Zoran A. Salcic
Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors with Application-Specific TDMA Scheduling. JTRES (2015)
HeeJong Park, Avinash Malik, Zoran A. Salcic
Compiling and verifying SC-SystemJ programs for safety-critical reactive systems. Comput. Lang. Syst. Struct. 44 (2015)
Jin Woo Ro, Partha S. Roop, Avinash Malik
Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks with Retransmissions. ISORC (2015)
Long Cheng, Avinash Malik, Spyros Kotoulas, Tomas E. Ward, Georgios Theodoropoulos
Scalable RDF Data Compression using X10. CoRR (2014)
HeeJong Park, Avinash Malik, Muhammad Nadeem, Zoran A. Salcic
The Cardiac Pacemaker: SystemJ versus Safety Critical Java. JTRES (2014)
HeeJong Park, Avinash Malik, Zoran A. Salcic
Times square - marriage of real-time and logical-time in GALS and synchronous languages. RTCSA (2014)
HeeJong Park, Avinash Malik, Zoran A. Salcic
WYPIWYE automation systems - An intelligent manufacturing system case study. ETFA (2014)
Zhenmin Li, Avinash Malik, Zoran A. Salcic
TACO: A scalable framework for timing analysis and code optimization of synchronous programs. RTCSA (2014)
Wei-Tsun Sun, Zoran A. Salcic, Alain Girault, Avinash Malik
libDGALS: A library-based approach to design dynamic GALS systems. SIES (2014)
Aravind Vasudevan, Avinash Malik, David Gregg
An improved simulated annealing heuristic for static partitioning of task graphs onto heterogeneous architectures. ICPADS (2014)
Avinash Malik, David Gregg
Orchestrating stream graphs using model checking. ACM Trans. Archit. Code Optim. 10 (3) (2013)
Zoran Salcic, Avinash Malik
GALS-HMP: A heterogeneous multiprocessor for embedded applications. ACM Trans. Embed. Comput. Syst. 12 (1s) (2013)
Servesh Muralidharan, Aravind Vasudevan, Avinash Malik, David Gregg
Heterogeneous Multiconstraint Application Partitioner (HMAP). TrustCom/ISPA/IUCC (2013)
HeeJong Park, Zoran Salcic, Kevin I-Kai Wang, Udayanto Dwi Atmojo, Wei-Tsun Sun, Avinash Malik
A New Design Paradigm for Designing Reactive Pervasive Concurrent Systems with an Ambient Intelligence Example. TrustCom/ISPA/IUCC (2013)
Avinash Malik, Zoran Salcic, Christopher Chong, Salman Javed
System-level approach to the design of a smart distributed surveillance system using systemj. ACM Trans. Embed. Comput. Syst. 11 (4) (2012)
Avinash Malik, Alain Girault, Zoran Salcic
Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ. IEEE Trans. Parallel Distributed Syst. 23 (7) (2012)
Avinash Malik, Alain Girault, Zoran Salcic
A GALS Language for Dynamic Distributed and Reactive Programs. ACSD (2011)
Avinash Malik, Zoran Salcic, Partha S. Roop, Alain Girault
SystemJ: A GALS language for system level design. Comput. Lang. Syst. Struct. 36 (4) (2010)
Wei-Tsun Sun, Zoran Salcic, Avinash Malik
LibGALS: a library for GALS systems design and modeling. ASP-DAC (2010)
Avinash Malik, Zoran A. Salcic, Partha S. Roop
SystemJ compilation using the tandem virtual machine approach. ACM Trans. Design Autom. Electr. Syst. 14 (3) (2009)
Avinash Malik, Zoran A. Salcic, Alain Girault, Adam Walker, Sung Chul Lee
A customizable multiprocessor for Globally Asynchronous Locally Synchronous execution. JTRES (2009)
Avinash Malik, Zoran Salcic, Partha S. Roop
Tandem virtual machine - An efficient execution platform for GALS language SystemJ. ACSAC (2008)