Get started
Author

Avinash Malik

Observed names: A Malik, A. Malik, Malik Avinash, Malik, Avinash, malik, Avinash
Observed institutions: University of Auckland, Trinity College Dublin, Auckland University of Technology, IBM (Ireland), Centre Inria de l'Université Grenoble Alpes, IBM Research - Ireland
ORCID: 0000-0002-7524-8292
Observed ORCID: 0000-0002-7524-8292
OpenAlex ID: A5007782699
SystemJ: A GALS language for system level design
2010 · Avinash Malik, Zoran Salcic, et al. · Computer Languages · 74
Towards the Emulation of the Cardiac Conduction System for Pacemaker Validation
2018 · Eugene Yip, Sidharta Andalam, et al. · ACM Transactions on Cyber-Physical Systems · 47
PDF
A Formal Approach for Modeling and Simulation of Human Car-Following Behavior
2017 · Jin Woo Ro, Partha S. Roop, et al. · IEEE Transactions on Intelligent Transportation Systems · 47
Cardiac Electrical Modeling for Closed-Loop Validation of Implantable Devices
2019 · Weiwei Ai, Nitish D. Patel, et al. · IEEE Transactions on Biomedical Engineering · 46
Modular Compilation of Hybrid Systems for Emulation and Large Scale Simulation
2017 · Avinash Malik, Partha S. Roop, et al. · ACM Transactions on Embedded Computing Systems · 31
An intracardiac electrogram model to bridge virtual hearts and implantable cardiac devices
2017 · Weiwei Ai, Nitish Patel, et al. · Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) · 31
A New Safety Distance Calculation for Rear-End Collision Avoidance
2020 · Jin Woo Ro, Partha S. Roop, et al. · IEEE Transactions on Intelligent Transportation Systems · 27
Closing the Loop: Validation of Implantable Cardiac Devices With Computational Heart Models
2019 · Weiwei Ai, Nitish D. Patel, et al. · IEEE Journal of Biomedical and Health Informatics · 26
Automatic Vectorization of Interleaved Data Revisited
2015 · Andrew Anderson, Avinash Malik, et al. · ACM Transactions on Architecture and Code Optimization · 24
PDF
Simulation of cyber-physical systems using IEC61499
2017 · Hammond A. Pearce, Matthew M. Y. Kuo, et al. · ACM/IEEE International Conference on Formal Methods and Models for Co-Design (MEMOCODE) · 21
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
2017 · Avinash Malik, Cameron Walker, et al. · Computers & Operations Research · 20
A Parametric Computational Model of the Action Potential of Pacemaker Cells
2017 · Weiwei Ai, Nitish D. Patel, et al. · IEEE Transactions on Biomedical Engineering · 19
System-level approach to the design of a smart distributed surveillance system using systemj
2012 · Avinash Malik, Zoran Salcic, et al. · ACM Transactions on Embedded Computing Systems · 19
Reinforcement Learning Pair Trading: A Dynamic Scaling Approach
2024 · Hongshen Yang, Avinash Malik · Journal of risk and financial management · 16
PDF
SystemJ compilation using the tandem virtual machine approach
2009 · Avinash Malik, Zoran Salcic, et al. · ACM Transactions on Design Automation of Electronic Systems · 16
A machine learning approach to reconstruction of heart surface potentials from body surface potentials
2018 · Avinash Malik, Tommy Peng, et al. · Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) · 14
PDF
Emulation of Cyber-Physical Systems Using IEC-61499
2017 · Avinash Malik, Partha S Roop, et al. · IEEE Transactions on Industrial Informatics · 14
Efficient Parallel Dictionary Encoding for RDF Data.
2014 · Long Cheng, Avinash Malik, et al. · Maynooth University ePrints and eTheses Archive (Maynooth University) · 14
PDF
Investment Recommendation System for Low-Liquidity Online Peer to Peer Lending (P2PL) Marketplaces
2019 · Ke Ren, Avinash Malik · ACM International Conference on Web Search and Data Mining (WSDM) · 13
Resonant model—A new paradigm for modeling an action potential of biological cells
2019 · Sucheta Sehgal, Nitish D. Patel, et al. · PLoS ONE · 12
PDF
A Formal Approach for Scalable Simulation of Gastric ICC Electrophysiology
2019 · Luman Wang, Avinash Malik, et al. · IEEE Transactions on Biomedical Engineering · 12
Orchestrating stream graphs using model checking
2013 · Avinash Malik, David Gregg · ACM Transactions on Architecture and Code Optimization · 12
PDF
A novel approach for model-based design of gastric pacemakers
2019 · Luman Wang, Avinash Malik, et al. · Computers in Biology and Medicine · 11
A unified framework for the design of distributed cyber-physical systems - industrial automation example
2015 · Suraksha S. Setty, Humaa Yaqoob, et al. · IEEE Conference on Industrial Electronics and Applications (ICIEA) · 11
Hybrid automata models of cardiac ventricular electrophysiology for real-time computational applications
2016 · Sidharta Andalam, Harshavardhan Ramanna, et al. · Annual International Conference of the IEEE Engineering in Medicine and Biology Society (EMBC) · 10
Works count: 104
Citation count: 820
H-index: 15
I10-index: 28
Year
Topic
Type