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 | 99 | 2010 |
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 | 50 | 2017 |
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 | 30 | 2009 |
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 | 25 | 2018 |
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 | 24 | 2015 |
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 | 23 | 2020 |
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 | 23 | 2013 |
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 | 22 | 2019 |
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 | 21 | 2018 |
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 | 21 | 2017 |
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 | 20 | 2018 |
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 | 20 | 2017 |
Efficient Parallel Dictionary Encoding for RDF Data. L Cheng, A Malik, S Kotoulas, TE Ward, G Theodoropoulos Snowbird, 2014 | 20 | 2014 |
Orchestrating stream graphs using model checking A Malik, D Gregg ACM Transactions on Architecture and Code Optimization (TACO) 10 (3), 1-25, 2013 | 20 | 2013 |
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 | 19 | 2019 |
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 | 18 | 2019 |
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 | 16 | 2015 |
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 | 16 | 2014 |
Resonant model—A new paradigm for modeling an action potential of biological cells S Sehgal, ND Patel, A Malik, PS Roop, ML Trew Plos one 14 (5), e0216999, 2019 | 13 | 2019 |
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 | 13 | 2017 |