Follow
Avinash Malik
Title
Cited by
Cited by
Year
SystemJ: A GALS language for system level design
A Malik, Z Salcic, PS Roop, A Girault
Computer Languages, Systems & Structures 36 (4), 317-344, 2010
992010
A formal approach for modeling and simulation of human car-following behavior
JW Ro, PS Roop, A Malik, P Ranjitkar
IEEE transactions on intelligent transportation systems 19 (2), 639-648, 2017
512017
SystemJ compilation using the tandem virtual machine approach
A Malik, Z Salcic, PS Roop
ACM Transactions on Design Automation of Electronic Systems (TODAES) 14 (3 …, 2009
302009
Towards the emulation of the cardiac conduction system for pacemaker validation
E Yip, S Andalam, PS Roop, A Malik, ML Trew, W Ai, N Patel
ACM transactions on cyber-physical systems 2 (4), 1-26, 2018
242018
Automatic vectorization of interleaved data revisited
A Anderson, A Malik, D Gregg
ACM Transactions on Architecture and Code Optimization (TACO) 12 (4), 1-25, 2015
242015
System-level approach to the design of a smart distributed surveillance system using systemj
A Malik, Z Salcic, C Chong, S Javed
ACM Transactions on Embedded Computing Systems (TECS) 11 (4), 1-24, 2013
232013
Closing the loop: Validation of implantable cardiac devices with computational heart models
W Ai, ND Patel, PS Roop, A Malik, ML Trew
IEEE journal of biomedical and health informatics 24 (6), 1579-1588, 2019
222019
A new safety distance calculation for rear-end collision avoidance
JW Ro, PS Roop, A Malik
IEEE Transactions on Intelligent Transportation Systems 22 (3), 1742-1747, 2020
212020
Emulation of cyber-physical systems using IEC-61499
A Malik, PS Roop, N Allen, T Steger
IEEE Transactions on Industrial Informatics 14 (1), 380-389, 2017
202017
A parametric computational model of the action potential of pacemaker cells
W Ai, ND Patel, PS Roop, A Malik, S Andalam, E Yip, N Allen, ML Trew
IEEE Transactions on Biomedical Engineering 65 (1), 123-130, 2017
202017
Efficient Parallel Dictionary Encoding for RDF Data.
L Cheng, A Malik, S Kotoulas, TE Ward, G Theodoropoulos
Snowbird, 2014
202014
Orchestrating stream graphs using model checking
A Malik, D Gregg
ACM Transactions on Architecture and Code Optimization (TACO) 10 (3), 1-25, 2013
202013
A machine learning approach to reconstruction of heart surface potentials from body surface potentials
A Malik, T Peng, ML Trew
2018 40th Annual International Conference of the IEEE Engineering in …, 2018
192018
Investment recommendation system for low-liquidity online peer to peer lending (P2PL) marketplaces
K Ren, A Malik
Proceedings of the Twelfth ACM International Conference on Web Search and …, 2019
182019
Satisfiability modulo theory (SMT) formulation for optimal scheduling of task graphs with communication delay
A Malik, C Walker, M O’Sullivan, O Sinnen
Computers & Operations Research 89, 113-126, 2018
182018
Cardiac electrical modeling for closed-loop validation of implantable devices
W Ai, ND Patel, PS Roop, A Malik, ML Trew
IEEE Transactions on Biomedical Engineering 67 (2), 536-544, 2019
172019
A unified framework for the design of distributed cyber-physical systems-industrial automation example
SS Setty, H Yaqoob, A Malik, I Kevin, K Wang, Z Salcic, H Park, ...
2015 IEEE 10th Conference on Industrial Electronics and Applications (ICIEA …, 2015
162015
TACO: A scalable framework for timing analysis and code optimization of synchronous programs
Z Li, A Malik, Z Salcic
2014 IEEE 20th International Conference on Embedded and Real-Time Computing …, 2014
162014
Modular compilation of hybrid systems for emulation and large scale simulation
A Malik, PS Roop, S Andalam, M Trew, M Mendler
ACM Transactions on Embedded Computing Systems (TECS) 16 (5s), 1-21, 2017
132017
GALS-HMP: A heterogeneous multiprocessor for embedded applications
Z Salcic, A Malik
ACM Transactions on Embedded Computing Systems (TECS) 12 (1s), 1-26, 2013
132013
The system can't perform the operation now. Try again later.
Articles 1–20