Avinash Malik

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