E-LIB Suche - Ergebnisse für: Malik, Avinash

1

Designing, Modelling and Analysis of GALS Software Systems:

Zhang, Weiyi ; Salcic, Zoran ; Malik, Avinash
IEEE Transactions on Software Engineering. , 2023

Link: https://doi.org/10.1109/..

2

A comparison of machine learning and econometric models for..:

Malik, Avinash
Expert Systems. 40 (2023) 10 - p. , 2023

Link: https://doi.org/10.1111/..

3

Impulse Data Models for the Inverse Problem of Electrocardi..:

Peng, Tommy ; Malik, Avinash ; Bear, Laura R..
IEEE Journal of Biomedical and Health Informatics. 26 (2022) 3 - p. 1353-1361 , 2022

Link: https://doi.org/10.1109/..

4

Energy-aware scheduling, compilation, and execution of hard..:

Tewary, Manish ; Salcic, Zoran ; Biglari-Abhari, Morteza.
Microprocessors and Microsystems. 95 (2022) - p. 104721 , 2022

Link: https://doi.org/10.1016/..

5

Robust hardware-software Co-simulation framework for design..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Sood, Surinder ; Malik, Avinash ; Roop, Partha - p. 1-11 , 2022

Link: https://doi.org/10.1109/..

6

High Fidelity Simulation of Hybrid Systems using Higher Ord..:

Ro, Jin Woo ; Malik, Avinash ; Roop, Partha
IEEE Transactions on Computers. 71 (2022) 7 - p. 1668-1680 , 2022

Link: https://doi.org/10.1109/..

7

Efficient simulation of general stochastic hybrid systems:

Malik, Avinash
Nonlinear Analysis: Hybrid Systems. 46 (2022) - p. 101234 , 2022

Link: https://doi.org/10.1016/..

8

A framework for the design of a closed-loop gastric pacemak..:

Wang, Luman ; Malik, Avinash ; Roop, Partha S...
Computer Methods and Programs in Biomedicine. 216 (2022) - p. 106652 , 2022

Link: https://doi.org/10.1016/..

9

A novel approach to Real-time contract based reasoning for ..:

, In: 2022 20th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE),

Sood, Surinder ; Malik, Avinash ; Roop, Partha - p. 1-11 , 2022

Link: https://doi.org/10.1109/..

10

Compiler-assisted energy reduction of java real-time progra..:

Tewary, Manish ; Salcic, Zoran ; Biglari-Abhari, Morteza.
Microprocessors and Microsystems. 89 (2022) - p. 104436 , 2022

Link: https://doi.org/10.1016/..

11

Predicting drug-mediated pro-arrhythmic effects using pre-d..:

Peng, Tommy ; Malik, Avinash ; Trew, Mark L.
Biomedical Signal Processing and Control. 68 (2021) - p. 102712 , 2021

Link: https://doi.org/10.1016/..

12

A novel approach for model-based design of gastric pacemake..:

Wang, Luman ; Malik, Avinash ; Roop, Partha S....
Computers in Biology and Medicine. 116 (2020) - p. 103576 , 2020

Link: https://doi.org/10.1016/..

13

Adaptive step size numerical integration for stochastic dif..:

Malik, Avinash
Numerical Algorithms. 87 (2020) 2 - p. 849-872 , 2020

Link: https://doi.org/10.1007/..

14

A dynamic Quantized State System execution framework for Hy..:

Malik, Avinash ; Roop, Partha
Nonlinear Analysis: Hybrid Systems. 36 (2020) - p. 100870 , 2020

Link: https://doi.org/10.1016/..

15

Robust Design and Validation of Cyber-physical Systems:

Sood, Surinder ; Malik, Avinash ; Roop, Partha
ACM Transactions on Embedded Computing Systems (TECS). 18 (2019) 6 - p. 1-21 , 2019

Link: https://dl.acm.org/doi/1..