Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDBibTeX records: Avinash Malik
@article{DBLP:journals/es/Malik23,
author = {Avinash Malik},
title = {A comparison of machine learning and econometric models for pricing
perpetual Bitcoin futures and their application to algorithmic trading},
journal = {Expert Syst. J. Knowl. Eng.},
volume = {40},
number = {10},
year = {2023},
url = {https://doi.org/10.1111/exsy.13414},
doi = {10.1111/EXSY.13414},
timestamp = {Sun, 10 Dec 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/es/Malik23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tse/ZhangSM23,
author = {Weiyi Zhang and
Zoran Salcic and
Avinash Malik},
title = {Designing, Modeling and Analysis of {GALS} Software Systems},
journal = {{IEEE} Trans. Software Eng.},
volume = {49},
number = {8},
pages = {3989--4003},
year = {2023},
url = {https://doi.org/10.1109/TSE.2023.3278055},
doi = {10.1109/TSE.2023.3278055},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tse/ZhangSM23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cmpb/WangMRCP22,
author = {Luman Wang and
Avinash Malik and
Partha S. Roop and
Leo K. Cheng and
Niranchan Paskaranandavadivel},
title = {A framework for the design of a closed-loop gastric pacemaker for
treating conduction block},
journal = {Comput. Methods Programs Biomed.},
volume = {216},
pages = {106652},
year = {2022},
url = {https://doi.org/10.1016/j.cmpb.2022.106652},
doi = {10.1016/J.CMPB.2022.106652},
timestamp = {Tue, 16 Aug 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cmpb/WangMRCP22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/TewarySBM22a,
author = {Manish Tewary and
Zoran Salcic and
Morteza Biglari{-}Abhari and
Avinash Malik},
title = {Compiler-assisted energy reduction of java real-time programs},
journal = {Microprocess. Microsystems},
volume = {89},
pages = {104436},
year = {2022},
url = {https://doi.org/10.1016/j.micpro.2022.104436},
doi = {10.1016/J.MICPRO.2022.104436},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/TewarySBM22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/TewarySBM22,
author = {Manish Tewary and
Zoran Salcic and
Morteza Biglari{-}Abhari and
Avinash Malik},
title = {Energy-aware scheduling, compilation, and execution of hard-real-time
multi-task Java programs},
journal = {Microprocess. Microsystems},
volume = {95},
pages = {104721},
year = {2022},
url = {https://doi.org/10.1016/j.micpro.2022.104721},
doi = {10.1016/J.MICPRO.2022.104721},
timestamp = {Wed, 17 May 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/TewarySBM22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tc/RoMR22,
author = {Jin Woo Ro and
Avinash Malik and
Partha S. Roop},
title = {High Fidelity Simulation of Hybrid Systems using Higher Order Hybrid
Automata},
journal = {{IEEE} Trans. Computers},
volume = {71},
number = {7},
pages = {1668--1680},
year = {2022},
url = {https://doi.org/10.1109/TC.2021.3100746},
doi = {10.1109/TC.2021.3100746},
timestamp = {Tue, 28 Jun 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tc/RoMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/PengMBT22,
author = {Tommy Peng and
Avinash Malik and
Laura R. Bear and
Mark L. Trew},
title = {Impulse Data Models for the Inverse Problem of Electrocardiography},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {26},
number = {3},
pages = {1353--1361},
year = {2022},
url = {https://doi.org/10.1109/JBHI.2021.3106645},
doi = {10.1109/JBHI.2021.3106645},
timestamp = {Fri, 01 Apr 2022 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/PengMBT22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SoodMR22,
author = {Surinder Sood and
Avinash Malik and
Partha S. Roop},
title = {Robust hardware-software Co-simulation framework for design and validation
of Hybrid Systems},
booktitle = {20th {ACM-IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2022, Shanghai, China, October 13-14,
2022},
pages = {1--11},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954590},
doi = {10.1109/MEMOCODE57689.2022.9954590},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/SoodMR22.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/SoodMR22a,
author = {Surinder Sood and
Avinash Malik and
Partha S. Roop},
title = {A novel approach to Real-time contract based reasoning for Hybrid
Systems},
booktitle = {20th {ACM-IEEE} International Conference on Formal Methods and Models
for System Design, {MEMOCODE} 2022, Shanghai, China, October 13-14,
2022},
pages = {1--11},
publisher = {{IEEE}},
year = {2022},
url = {https://doi.org/10.1109/MEMOCODE57689.2022.9954599},
doi = {10.1109/MEMOCODE57689.2022.9954599},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/SoodMR22a.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/bspc/PengMT21,
author = {Tommy Peng and
Avinash Malik and
Mark L. Trew},
title = {Predicting drug-mediated pro-arrhythmic effects using pre-drug electrocardiograms},
journal = {Biomed. Signal Process. Control.},
volume = {68},
pages = {102712},
year = {2021},
url = {https://doi.org/10.1016/j.bspc.2021.102712},
doi = {10.1016/J.BSPC.2021.102712},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/bspc/PengMT21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/na/Malik21,
author = {Avinash Malik},
title = {Adaptive step size numerical integration for stochastic differential
equations with discontinuous drift and diffusion},
journal = {Numer. Algorithms},
volume = {87},
number = {2},
pages = {849--872},
year = {2021},
url = {https://doi.org/10.1007/s11075-020-00990-x},
doi = {10.1007/S11075-020-00990-X},
timestamp = {Tue, 01 Jun 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/na/Malik21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/RoRM21,
author = {Jin Woo Ro and
Partha S. Roop and
Avinash Malik},
title = {A New Safety Distance Calculation for Rear-End Collision Avoidance},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {22},
number = {3},
pages = {1742--1747},
year = {2021},
url = {https://doi.org/10.1109/TITS.2020.2975015},
doi = {10.1109/TITS.2020.2975015},
timestamp = {Tue, 23 Mar 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/RoRM21.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-2102-00570,
author = {Tommy Peng and
Avinash Malik and
Laura Bear and
Mark L. Trew},
title = {Basis Function Based Data Driven Learning for the Inverse Problem
of Electrocardiography},
journal = {CoRR},
volume = {abs/2102.00570},
year = {2021},
url = {https://arxiv.org/abs/2102.00570},
eprinttype = {arXiv},
eprint = {2102.00570},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-2102-00570.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/WangMRCPA20,
author = {Luman Wang and
Avinash Malik and
Partha S. Roop and
Leo K. Cheng and
Niranchan Paskaranandavadivel and
Weiwei Ai},
title = {A novel approach for model-based design of gastric pacemakers},
journal = {Comput. Biol. Medicine},
volume = {116},
pages = {103576},
year = {2020},
url = {https://doi.org/10.1016/j.compbiomed.2019.103576},
doi = {10.1016/J.COMPBIOMED.2019.103576},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/WangMRCPA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/AiPRMT20,
author = {Weiwei Ai and
Nitish D. Patel and
Partha S. Roop and
Avinash Malik and
Mark L. Trew},
title = {Cardiac Electrical Modeling for Closed-Loop Validation of Implantable
Devices},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {67},
number = {2},
pages = {536--544},
year = {2020},
url = {https://doi.org/10.1109/TBME.2019.2917212},
doi = {10.1109/TBME.2019.2917212},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/AiPRMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SoodMR20,
author = {Surinder Sood and
Avinash Malik and
Partha S. Roop},
title = {Robust Design and Validation of Cyber-physical Systems},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {18},
number = {6},
pages = {116:1--116:21},
year = {2020},
url = {https://doi.org/10.1145/3362098},
doi = {10.1145/3362098},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/SoodMR20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/titb/AiPRMT20,
author = {Weiwei Ai and
Nitish D. Patel and
Partha S. Roop and
Avinash Malik and
Mark L. Trew},
title = {Closing the Loop: Validation of Implantable Cardiac Devices With Computational
Heart Models},
journal = {{IEEE} J. Biomed. Health Informatics},
volume = {24},
number = {6},
pages = {1579--1588},
year = {2020},
url = {https://doi.org/10.1109/JBHI.2019.2947007},
doi = {10.1109/JBHI.2019.2947007},
timestamp = {Thu, 13 Aug 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/titb/AiPRMT20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/WangMRCPA20,
author = {Luman Wang and
Avinash Malik and
Partha S. Roop and
Leo K. Cheng and
Niranchan Paskaranandavadivel and
Weiwei Ai},
title = {Design of a closed-loop gastric pacemaker for modulating dysrhythmic
conduction patterns via extracellular potentials},
booktitle = {42nd Annual International Conference of the {IEEE} Engineering in
Medicine {\&} Biology Society, {EMBC} 2020, Montreal, QC, Canada,
July 20-24, 2020},
pages = {2504--2507},
publisher = {{IEEE}},
year = {2020},
url = {https://doi.org/10.1109/EMBC44109.2020.9175500},
doi = {10.1109/EMBC44109.2020.9175500},
timestamp = {Mon, 27 Sep 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/WangMRCPA20.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cbm/PengTM19,
author = {Tommy Peng and
Mark L. Trew and
Avinash Malik},
title = {Predictive modeling of drug effects on electrocardiograms},
journal = {Comput. Biol. Medicine},
volume = {108},
pages = {332--344},
year = {2019},
url = {https://doi.org/10.1016/j.compbiomed.2019.03.027},
doi = {10.1016/J.COMPBIOMED.2019.03.027},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/cbm/PengTM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/NadeemLMBS19,
author = {Muhammad Nadeem and
Zhenmin Li and
Avinash Malik and
Morteza Biglari{-}Abhari and
Zoran Salcic},
title = {Allocation and scheduling of SystemJ programs on chip multiprocessors
with weighted {TDMA} scheduling},
journal = {J. Syst. Archit.},
volume = {98},
pages = {63--78},
year = {2019},
url = {https://doi.org/10.1016/j.sysarc.2019.06.009},
doi = {10.1016/J.SYSARC.2019.06.009},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/jsa/NadeemLMBS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/mam/MalikPNS19,
author = {Avinash Malik and
HeeJong Park and
Muhammad Nadeem and
Zoran Salcic},
title = {Memory management of safety-critical hard real-time systems designed
in SystemJ},
journal = {Microprocess. Microsystems},
volume = {64},
pages = {101--119},
year = {2019},
url = {https://doi.org/10.1016/j.micpro.2018.10.007},
doi = {10.1016/J.MICPRO.2018.10.007},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/mam/MalikPNS19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/WangMRCP19,
author = {Luman Wang and
Avinash Malik and
Partha S. Roop and
Leo K. Cheng and
Niranchan Paskaranandavadivel},
title = {A Formal Approach for Scalable Simulation of Gastric {ICC} Electrophysiology},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {66},
number = {12},
pages = {3320--3329},
year = {2019},
url = {https://doi.org/10.1109/TBME.2019.2904043},
doi = {10.1109/TBME.2019.2904043},
timestamp = {Wed, 02 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/WangMRCP19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/arcs/TewaryMSB19,
author = {Manish Tewary and
Avinash Malik and
Zoran Salcic and
Morteza Biglari{-}Abhari},
editor = {Martin Schoeberl and
Christian Hochberger and
Sascha Uhrig and
J{\"{u}}rgen Brehm and
Thilo Pionteck},
title = {An Energy Efficient Embedded Processor for Hard Real-Time Java Applications},
booktitle = {Architecture of Computing Systems - {ARCS} 2019 - 32nd International
Conference, Copenhagen, Denmark, May 20-23, 2019, Proceedings},
series = {Lecture Notes in Computer Science},
volume = {11479},
pages = {281--292},
publisher = {Springer},
year = {2019},
url = {https://doi.org/10.1007/978-3-030-18656-2\_21},
doi = {10.1007/978-3-030-18656-2\_21},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/arcs/TewaryMSB19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/indin/ZhangSM19,
author = {Weiyi Zhang and
Zoran Salcic and
Avinash Malik},
title = {Towards Formal Modeling and Analysis of SystemJ {GALS} Systems using
Coloured Petri Nets},
booktitle = {17th {IEEE} International Conference on Industrial Informatics, {INDIN}
2019, Helsinki, Finland, July 22-25, 2019},
pages = {152--159},
publisher = {{IEEE}},
year = {2019},
url = {https://doi.org/10.1109/INDIN41052.2019.8972025},
doi = {10.1109/INDIN41052.2019.8972025},
timestamp = {Tue, 02 Apr 2024 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/indin/ZhangSM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/RoMR19,
author = {Jin Woo Ro and
Avinash Malik and
Partha S. Roop},
editor = {Partha S. Roop and
Naijun Zhan and
Sicun Gao and
Pierluigi Nuzzo},
title = {A compositional semantics of Simulink/Stateflow based on quantized
state hybrid automata},
booktitle = {Proceedings of the 17th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2019, La Jolla, CA,
USA, October 9-11, 2019},
pages = {1:1--1:11},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3359986.3361198},
doi = {10.1145/3359986.3361198},
timestamp = {Sat, 20 May 2023 11:52:14 +0200},
biburl = {https://dblp.org/rec/conf/memocode/RoMR19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/webi/RenM19,
author = {Ke Ren and
Avinash Malik},
editor = {Payam M. Barnaghi and
Georg Gottlob and
Yannis Manolopoulos and
Theodoros Tzouramanis and
Athena Vakali},
title = {Recommendation Engine for Lower Interest Borrowing on Peer to Peer
Lending {(P2PL)} Platform},
booktitle = {2019 {IEEE/WIC/ACM} International Conference on Web Intelligence,
{WI} 2019, Thessaloniki, Greece, October 14-17, 2019},
pages = {265--269},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3350546.3352528},
doi = {10.1145/3350546.3352528},
timestamp = {Thu, 12 Aug 2021 09:49:21 +0200},
biburl = {https://dblp.org/rec/conf/webi/RenM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/wsdm/RenM19,
author = {Ke Ren and
Avinash Malik},
editor = {J. Shane Culpepper and
Alistair Moffat and
Paul N. Bennett and
Kristina Lerman},
title = {Investment Recommendation System for Low-Liquidity Online Peer to
Peer Lending {(P2PL)} Marketplaces},
booktitle = {Proceedings of the Twelfth {ACM} International Conference on Web Search
and Data Mining, {WSDM} 2019, Melbourne, VIC, Australia, February
11-15, 2019},
pages = {510--518},
publisher = {{ACM}},
year = {2019},
url = {https://doi.org/10.1145/3289600.3290959},
doi = {10.1145/3289600.3290959},
timestamp = {Sat, 30 May 2020 20:02:29 +0200},
biburl = {https://dblp.org/rec/conf/wsdm/RenM19.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1907-11634,
author = {Ke Ren and
Avinash Malik},
title = {Recommendation Engine for Lower Interest Borrowing on Peer to Peer
Lending {(P2PL)} Platform},
journal = {CoRR},
volume = {abs/1907.11634},
year = {2019},
url = {http://arxiv.org/abs/1907.11634},
eprinttype = {arXiv},
eprint = {1907.11634},
timestamp = {Tue, 30 Jul 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1907-11634.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cor/MalikWOS18,
author = {Avinash Malik and
Cameron G. Walker and
Michael J. O'Sullivan and
Oliver Sinnen},
title = {Satisfiability modulo theory {(SMT)} formulation for optimal scheduling
of task graphs with communication delay},
journal = {Comput. Oper. Res.},
volume = {89},
pages = {113--126},
year = {2018},
url = {https://doi.org/10.1016/j.cor.2017.08.012},
doi = {10.1016/J.COR.2017.08.012},
timestamp = {Tue, 21 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cor/MalikWOS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tbe/AiPRMAYAT18,
author = {Weiwei Ai and
Nitish D. Patel and
Partha S. Roop and
Avinash Malik and
Sidharta Andalam and
Eugene Yip and
Nathan Allen and
Mark L. Trew},
title = {A Parametric Computational Model of the Action Potential of Pacemaker
Cells},
journal = {{IEEE} Trans. Biomed. Eng.},
volume = {65},
number = {1},
pages = {123--130},
year = {2018},
url = {https://doi.org/10.1109/TBME.2017.2695537},
doi = {10.1109/TBME.2017.2695537},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tbe/AiPRMAYAT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tcps/YipARMTAP18,
author = {Eugene Yip and
Sidharta Andalam and
Partha S. Roop and
Avinash Malik and
Mark L. Trew and
Weiwei Ai and
Nitish D. Patel},
title = {Towards the Emulation of the Cardiac Conduction System for Pacemaker
Validation},
journal = {{ACM} Trans. Cyber Phys. Syst.},
volume = {2},
number = {4},
pages = {32:1--32:26},
year = {2018},
url = {https://doi.org/10.1145/3134845},
doi = {10.1145/3134845},
timestamp = {Mon, 26 Jun 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tcps/YipARMTAP18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tii/MalikRAS18,
author = {Avinash Malik and
Partha S. Roop and
Nathan Allen and
Theo Steger},
title = {Emulation of Cyber-Physical Systems Using {IEC-61499}},
journal = {{IEEE} Trans. Ind. Informatics},
volume = {14},
number = {1},
pages = {380--389},
year = {2018},
url = {https://doi.org/10.1109/TII.2017.2724206},
doi = {10.1109/TII.2017.2724206},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tii/MalikRAS18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tits/RoRMR18,
author = {Jin Woo Ro and
Partha S. Roop and
Avinash Malik and
Prakash Ranjitkar},
title = {A Formal Approach for Modeling and Simulation of Human Car-Following
Behavior},
journal = {{IEEE} Trans. Intell. Transp. Syst.},
volume = {19},
number = {2},
pages = {639--648},
year = {2018},
url = {https://doi.org/10.1109/TITS.2017.2759273},
doi = {10.1109/TITS.2017.2759273},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tits/RoRMR18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/PengTM18,
author = {Tommy Peng and
Mark Trew and
Avinash Malik},
title = {Parametric Modeling of Electrocardiograms using Particle Swarm optimization},
booktitle = {40th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2018, Honolulu, HI, USA, July
18-21, 2018},
pages = {1--4},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EMBC.2018.8512814},
doi = {10.1109/EMBC.2018.8512814},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/PengTM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/MalikPT18,
author = {Avinash Malik and
Tommy Peng and
Mark L. Trew},
title = {A machine learning approach to reconstruction of heart surface potentials
from body surface potentials},
booktitle = {40th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2018, Honolulu, HI, USA, July
18-21, 2018},
pages = {4828--4831},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/EMBC.2018.8513207},
doi = {10.1109/EMBC.2018.8513207},
timestamp = {Thu, 14 Oct 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/MalikPT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/AndalamRMT18,
author = {Sidharta Andalam and
Partha S. Roop and
Avinash Malik and
Mark Trew},
title = {Rethinking the Validation Process for Medical Devices: {A} Cardiac
Pacemaker Case Study},
booktitle = {21st {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2018, Singapore, Singapore, May 29-31, 2018},
pages = {134--137},
publisher = {{IEEE} Computer Society},
year = {2018},
url = {https://doi.org/10.1109/ISORC.2018.00027},
doi = {10.1109/ISORC.2018.00027},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/AndalamRMT18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/tencon/NadeemPM18,
author = {Muhammad Nadeem and
HeeJong Park and
Avinash Malik},
title = {Bandwidth Stealing {TDMA} Arbitration for Real-Time Multiprocessor
Applications},
booktitle = {{TENCON} 2018 - 2018 {IEEE} Region 10 Conference, Jeju, South Korea,
October 28-31, 2018},
pages = {1504--1509},
publisher = {{IEEE}},
year = {2018},
url = {https://doi.org/10.1109/TENCON.2018.8650476},
doi = {10.1109/TENCON.2018.8650476},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/tencon/NadeemPM18.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1802-02240,
author = {Avinash Malik and
Tommy Peng and
Mark Trew},
title = {A machine learning approach to reconstruction of heart surface potentials
from body surface potentials},
journal = {CoRR},
volume = {abs/1802.02240},
year = {2018},
url = {http://arxiv.org/abs/1802.02240},
eprinttype = {arXiv},
eprint = {1802.02240},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1802-02240.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/abs-1806-05754,
author = {Avinash Malik and
Partha S. Roop},
title = {Quantized State Hybrid Automata for Cyber-Physical Systems},
journal = {CoRR},
volume = {abs/1806.05754},
year = {2018},
url = {http://arxiv.org/abs/1806.05754},
eprinttype = {arXiv},
eprint = {1806.05754},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/abs-1806-05754.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/jsa/LiPMWSKGT17,
author = {Zhenmin Li and
HeeJong Park and
Avinash Malik and
Kevin I{-}Kai Wang and
Zoran Salcic and
Boris Kuzmin and
Michael Gla{\ss} and
J{\"{u}}rgen Teich},
title = {Using design space exploration for finding schedules with guaranteed
reaction times of synchronous programs on multi-core architecture},
journal = {J. Syst. Archit.},
volume = {74},
pages = {30--45},
year = {2017},
url = {https://doi.org/10.1016/j.sysarc.2016.12.003},
doi = {10.1016/J.SYSARC.2016.12.003},
timestamp = {Mon, 24 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/jsa/LiPMWSKGT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MalikRATM17,
author = {Avinash Malik and
Partha S. Roop and
Sidharta Andalam and
Mark Trew and
Michael Mendler},
title = {Modular Compilation of Hybrid Systems for Emulation and Large Scale
Simulation},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {5s},
pages = {118:1--118:21},
year = {2017},
url = {https://doi.org/10.1145/3126536},
doi = {10.1145/3126536},
timestamp = {Sat, 08 Jan 2022 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tecs/MalikRATM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/AndalamAMRT17,
author = {Sidharta Andalam and
Nathan Allen and
Avinash Malik and
Partha S. Roop and
Mark Trew},
title = {A Novel Emulation Model of the Cardiac Conduction System},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {16},
number = {5s},
pages = {157:1--157:20},
year = {2017},
url = {https://doi.org/10.1145/3126542},
doi = {10.1145/3126542},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/AndalamAMRT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/SalcicPTMN17,
author = {Zoran Salcic and
HeeJong Park and
J{\"{u}}rgen Teich and
Avinash Malik and
Muhammad Nadeem},
title = {Noc-HMP: {A} Heterogeneous Multicore Processor for Embedded Systems
Designed in SystemJ},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {22},
number = {4},
pages = {73:1--73:25},
year = {2017},
url = {https://doi.org/10.1145/3073416},
doi = {10.1145/3073416},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/SalcicPTMN17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/AiPRMAT17,
author = {Weiwei Ai and
Nitish D. Patel and
Partha S. Roop and
Avinash Malik and
Nathan Allen and
Mark L. Trew},
title = {An intracardiac electrogram model to bridge virtual hearts and implantable
cardiac devices},
booktitle = {2017 39th Annual International Conference of the {IEEE} Engineering
in Medicine and Biology Society (EMBC), Jeju Island, South Korea,
July 11-15, 2017},
pages = {1974--1977},
publisher = {{IEEE}},
year = {2017},
url = {https://doi.org/10.1109/EMBC.2017.8037237},
doi = {10.1109/EMBC.2017.8037237},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/embc/AiPRMAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/Harvey-Lees-Green17,
author = {Nicholas Harvey{-}Lees{-}Green and
Morteza Biglari{-}Abhari and
Avinash Malik and
Zoran A. Salcic},
title = {A Dynamic Memory Management Unit for Real Time Systems},
booktitle = {20th {IEEE} International Symposium on Real-Time Distributed Computing,
{ISORC} 2017, Toronto, ON, Canada, May 16-18, 2017},
pages = {84--91},
publisher = {{IEEE} Computer Society},
year = {2017},
url = {https://doi.org/10.1109/ISORC.2017.4},
doi = {10.1109/ISORC.2017.4},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/Harvey-Lees-Green17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/memocode/PearceKARM17,
author = {Hammond A. Pearce and
Matthew M. Y. Kuo and
Nathan Allen and
Partha S. Roop and
Avinash Malik},
editor = {Jean{-}Pierre Talpin and
Patricia Derler and
Klaus Schneider},
title = {Simulation of cyber-physical systems using {IEC61499}},
booktitle = {Proceedings of the 15th {ACM-IEEE} International Conference on Formal
Methods and Models for System Design, {MEMOCODE} 2017, Vienna, Austria,
September 29 - October 02, 2017},
pages = {136--145},
publisher = {{ACM}},
year = {2017},
url = {https://doi.org/10.1145/3127041.3127052},
doi = {10.1145/3127041.3127052},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/memocode/PearceKARM17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/AiPRMAT17,
author = {Weiwei Ai and
Nitish D. Patel and
Partha S. Roop and
Avinash Malik and
Nathan Allen and
Mark L. Trew},
title = {An intracardiac electrogram model to bridge virtual hearts and implantable
cardiac devices},
journal = {CoRR},
volume = {abs/1703.01107},
year = {2017},
url = {http://arxiv.org/abs/1703.01107},
eprinttype = {arXiv},
eprint = {1703.01107},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/AiPRMAT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/AndersonMG16,
author = {Andrew Anderson and
Avinash Malik and
David Gregg},
title = {Automatic Vectorization of Interleaved Data Revisited},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {12},
number = {4},
pages = {50:1--50:25},
year = {2016},
url = {https://doi.org/10.1145/2838735},
doi = {10.1145/2838735},
timestamp = {Mon, 28 Aug 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/taco/AndersonMG16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/ChengMKWT16,
author = {Long Cheng and
Avinash Malik and
Spyros Kotoulas and
Tomas E. Ward and
Georgios Theodoropoulos},
title = {Fast Compression of Large Semantic Web Data Using {X10}},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {27},
number = {9},
pages = {2603--2617},
year = {2016},
url = {https://doi.org/10.1109/TPDS.2015.2496579},
doi = {10.1109/TPDS.2015.2496579},
timestamp = {Mon, 26 Oct 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tpds/ChengMKWT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/vlsisp/ParkLMS16,
author = {HeeJong Park and
Zhenmin Li and
Avinash Malik and
Zoran A. Salcic},
title = {Times Square - Marriage of Real-Time and Logical-Time in {GALS} and
Synchronous Languages},
journal = {J. Signal Process. Syst.},
volume = {84},
number = {1},
pages = {163--180},
year = {2016},
url = {https://doi.org/10.1007/s11265-015-0991-7},
doi = {10.1007/S11265-015-0991-7},
timestamp = {Thu, 12 Mar 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/vlsisp/ParkLMS16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/cpsweek/AndalamMRT16,
author = {Sidharta Andalam and
Avinash Malik and
Partha S. Roop and
Mark L. Trew},
editor = {Goran Frehse and
Matthias Althoff},
title = {Hybrid Automata Model of the Heart for Formal Verification of Pacemakers},
booktitle = {ARCH@CPSWeek 2016, 3rd International Workshop on Applied Verification
for Continuous and Hybrid Systems, Vienna, Austria},
series = {EPiC Series in Computing},
volume = {43},
pages = {9--17},
publisher = {EasyChair},
year = {2016},
url = {https://doi.org/10.29007/822m},
doi = {10.29007/822M},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cpsweek/AndalamMRT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/date/AllenARMTP16,
author = {Nathan Allen and
Sidharta Andalam and
Partha S. Roop and
Avinash Malik and
Mark Trew and
Nitish D. Patel},
editor = {Luca Fanucci and
J{\"{u}}rgen Teich},
title = {Modular code generation for emulating the electrical conduction system
of the human heart},
booktitle = {2016 Design, Automation {\&} Test in Europe Conference {\&}
Exhibition, {DATE} 2016, Dresden, Germany, March 14-18, 2016},
pages = {648--653},
publisher = {{IEEE}},
year = {2016},
url = {https://ieeexplore.ieee.org/document/7459390/},
timestamp = {Mon, 09 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/date/AllenARMTP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/embc/AndalamRMRPT16,
author = {Sidharta Andalam and
Harshavardhan Ramanna and
Avinash Malik and
Partha S. Roop and
Nitish D. Patel and
Mark L. Trew},
title = {Hybrid automata models of cardiac ventricular electrophysiology for
real-time computational applications},
booktitle = {38th Annual International Conference of the {IEEE} Engineering in
Medicine and Biology Society, {EMBC} 2016, Orlando, FL, USA, August
16-20, 2016},
pages = {5595--5598},
publisher = {{IEEE}},
year = {2016},
url = {https://doi.org/10.1109/EMBC.2016.7591995},
doi = {10.1109/EMBC.2016.7591995},
timestamp = {Wed, 16 Oct 2019 14:14:50 +0200},
biburl = {https://dblp.org/rec/conf/embc/AndalamRMRPT16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/YipARMTAP16,
author = {Eugene Yip and
Sidharta Andalam and
Partha S. Roop and
Avinash Malik and
Mark Trew and
Weiwei Ai and
Nitish D. Patel},
title = {Towards the Emulation of the Cardiac Conduction System for Pacemaker
Testing},
journal = {CoRR},
volume = {abs/1603.05315},
year = {2016},
url = {http://arxiv.org/abs/1603.05315},
eprinttype = {arXiv},
eprint = {1603.05315},
timestamp = {Fri, 02 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/YipARMTAP16.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/ParkMS15,
author = {HeeJong Park and
Avinash Malik and
Zoran A. Salcic},
title = {Compiling and verifying SC-SystemJ programs for safety-critical reactive
systems},
journal = {Comput. Lang. Syst. Struct.},
volume = {44},
pages = {251--282},
year = {2015},
url = {https://doi.org/10.1016/j.cl.2015.08.006},
doi = {10.1016/J.CL.2015.08.006},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/ParkMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MalikG15,
author = {Avinash Malik and
David Gregg},
title = {Heuristics on Reachability Trees for Bicriteria Scheduling of Stream
Graphs on Heterogeneous Multiprocessor Architectures},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {14},
number = {2},
pages = {23:1--23:26},
year = {2015},
url = {https://doi.org/10.1145/2638553},
doi = {10.1145/2638553},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/MalikG15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/ParkMS15,
author = {HeeJong Park and
Avinash Malik and
Zoran A. Salcic},
title = {Scheduling Globally Asynchronous Locally Synchronous Programs for
Guaranteed Response Times},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {20},
number = {3},
pages = {40:1--40:25},
year = {2015},
url = {https://doi.org/10.1145/2740961},
doi = {10.1145/2740961},
timestamp = {Fri, 30 Aug 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/todaes/ParkMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/RoRM15,
author = {Jin Woo Ro and
Partha S. Roop and
Avinash Malik},
title = {Schedule Synthesis for Time-Triggered Multi-hop Wireless Networks
with Retransmissions},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {94--101},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORC.2015.24},
doi = {10.1109/ISORC.2015.24},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/RoRM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/isorc/PackwoodSDPSMW15,
author = {Dez Packwood and
Manu Sharma and
Ding Ding and
HeeJong Park and
Zoran A. Salcic and
Avinash Malik and
Kevin I{-}Kai Wang},
title = {FPGA-based Mixed-Criticality Execution Platform for SystemJ and the
Internet of Industrial Things},
booktitle = {{IEEE} 18th International Symposium on Real-Time Distributed Computing,
{ISORC} 2015, Auckland, New Zealand, 13-17 April, 2015},
pages = {174--181},
publisher = {{IEEE} Computer Society},
year = {2015},
url = {https://doi.org/10.1109/ISORC.2015.27},
doi = {10.1109/ISORC.2015.27},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/isorc/PackwoodSDPSMW15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/LiMS15,
author = {Zhenmin Li and
Avinash Malik and
Zoran A. Salcic},
editor = {Lukasz Ziarek},
title = {Reducing Worst Case Reaction Time of Synchronous Programs on Chip-multiprocessors
with Application-Specific {TDMA} Scheduling},
booktitle = {Proceedings of the 13th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2015, Paris, France, October
7-8, 2015},
pages = {11:1--11:9},
publisher = {{ACM}},
year = {2015},
url = {https://doi.org/10.1145/2822304.2822306},
doi = {10.1145/2822304.2822306},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/LiMS15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MalikR15,
author = {Avinash Malik and
Partha S. Roop},
title = {A unified framework for modeling and implementation of hybrid systems
with synchronous controllers},
journal = {CoRR},
volume = {abs/1501.05936},
year = {2015},
url = {http://arxiv.org/abs/1501.05936},
eprinttype = {arXiv},
eprint = {1501.05936},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MalikR15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/MalikRAYT15,
author = {Avinash Malik and
Partha S. Roop and
Sidharta Andalam and
Eugene Yip and
Mark Trew},
title = {A synchronous rendering of hybrid systems for designing Plant-on-a-Chip
(PoC)},
journal = {CoRR},
volume = {abs/1510.04336},
year = {2015},
url = {http://arxiv.org/abs/1510.04336},
eprinttype = {arXiv},
eprint = {1510.04336},
timestamp = {Mon, 13 Aug 2018 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/MalikRAYT15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/etfa/ParkMS14,
author = {HeeJong Park and
Avinash Malik and
Zoran A. Salcic},
editor = {Antoni Grau and
Herminio Mart{\'{\i}}nez},
title = {{WYPIWYE} automation systems - An intelligent manufacturing system
case study},
booktitle = {Proceedings of the 2014 {IEEE} Emerging Technology and Factory Automation,
{ETFA} 2014, Barcelona, Spain, September 16-19, 2014},
pages = {1--8},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/ETFA.2014.7005124},
doi = {10.1109/ETFA.2014.7005124},
timestamp = {Wed, 16 Oct 2019 14:14:55 +0200},
biburl = {https://dblp.org/rec/conf/etfa/ParkMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/icpads/VasudevanMG14,
author = {Aravind Vasudevan and
Avinash Malik and
David Gregg},
title = {An improved simulated annealing heuristic for static partitioning
of task graphs onto heterogeneous architectures},
booktitle = {20th {IEEE} International Conference on Parallel and Distributed Systems,
{ICPADS} 2014, Hsinchu, Taiwan, December 16-19, 2014},
pages = {95--102},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/PADSW.2014.7097796},
doi = {10.1109/PADSW.2014.7097796},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/icpads/VasudevanMG14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/ParkMNS14,
author = {HeeJong Park and
Avinash Malik and
Muhammad Nadeem and
Zoran A. Salcic},
editor = {Wolfgang Puffitsch},
title = {The Cardiac Pacemaker: SystemJ versus Safety Critical Java},
booktitle = {Proceedings of the 12th International Workshop on Java Technologies
for Real-time and Embedded Systems, {JTRES} 2014, Niagara Falls, NY,
USA, October 13-14, 2014},
pages = {37},
publisher = {{ACM}},
year = {2014},
url = {https://doi.org/10.1145/2661020.2661030},
doi = {10.1145/2661020.2661030},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/jtres/ParkMNS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/LiMS14,
author = {Zhenmin Li and
Avinash Malik and
Zoran A. Salcic},
title = {{TACO:} {A} scalable framework for timing analysis and code optimization
of synchronous programs},
booktitle = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
Computing Systems and Applications, Chongqing, China, August 20-22,
2014},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTCSA.2014.6910556},
doi = {10.1109/RTCSA.2014.6910556},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/LiMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/rtcsa/ParkMS14,
author = {HeeJong Park and
Avinash Malik and
Zoran A. Salcic},
title = {Times square - marriage of real-time and logical-time in {GALS} and
synchronous languages},
booktitle = {2014 {IEEE} 20th International Conference on Embedded and Real-Time
Computing Systems and Applications, Chongqing, China, August 20-22,
2014},
pages = {1--10},
publisher = {{IEEE} Computer Society},
year = {2014},
url = {https://doi.org/10.1109/RTCSA.2014.6910540},
doi = {10.1109/RTCSA.2014.6910540},
timestamp = {Thu, 23 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/rtcsa/ParkMS14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/sies/SunSGM14,
author = {Wei{-}Tsun Sun and
Zoran A. Salcic and
Alain Girault and
Avinash Malik},
title = {libDGALS: {A} library-based approach to design dynamic {GALS} systems},
booktitle = {Proceedings of the 9th {IEEE} International Symposium on Industrial
Embedded Systems, {SIES} 2014, Pisa, Italy, June 18-20, 2014},
pages = {104--111},
publisher = {{IEEE}},
year = {2014},
url = {https://doi.org/10.1109/SIES.2014.6871194},
doi = {10.1109/SIES.2014.6871194},
timestamp = {Wed, 16 Oct 2019 14:14:53 +0200},
biburl = {https://dblp.org/rec/conf/sies/SunSGM14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/corr/ChengMKWT14,
author = {Long Cheng and
Avinash Malik and
Spyros Kotoulas and
Tomas E. Ward and
Georgios Theodoropoulos},
title = {Scalable {RDF} Data Compression using {X10}},
journal = {CoRR},
volume = {abs/1403.2404},
year = {2014},
url = {http://arxiv.org/abs/1403.2404},
eprinttype = {arXiv},
eprint = {1403.2404},
timestamp = {Tue, 25 Jun 2019 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/corr/ChengMKWT14.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/taco/MalikG13,
author = {Avinash Malik and
David Gregg},
title = {Orchestrating stream graphs using model checking},
journal = {{ACM} Trans. Archit. Code Optim.},
volume = {10},
number = {3},
pages = {19:1--19:25},
year = {2013},
url = {https://doi.org/10.1145/2512435},
doi = {10.1145/2512435},
timestamp = {Wed, 17 Feb 2021 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/taco/MalikG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/SalcicM13,
author = {Zoran Salcic and
Avinash Malik},
title = {{GALS-HMP:} {A} heterogeneous multiprocessor for embedded applications},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {12},
number = {1s},
pages = {58:1--58:26},
year = {2013},
url = {https://doi.org/10.1145/2435227.2435254},
doi = {10.1145/2435227.2435254},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/SalcicM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/MuralidharanVMG13,
author = {Servesh Muralidharan and
Aravind Vasudevan and
Avinash Malik and
David Gregg},
title = {Heterogeneous Multiconstraint Application Partitioner {(HMAP)}},
booktitle = {12th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2013 / 11th {IEEE} International
Symposium on Parallel and Distributed Processing with Applications,
{ISPA-13} / 12th {IEEE} International Conference on Ubiquitous Computing
and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013},
pages = {999--1007},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TrustCom.2013.122},
doi = {10.1109/TRUSTCOM.2013.122},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/MuralidharanVMG13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/trustcom/ParkSWASM13,
author = {HeeJong Park and
Zoran Salcic and
Kevin I{-}Kai Wang and
Udayanto Dwi Atmojo and
Wei{-}Tsun Sun and
Avinash Malik},
title = {A New Design Paradigm for Designing Reactive Pervasive Concurrent
Systems with an Ambient Intelligence Example},
booktitle = {12th {IEEE} International Conference on Trust, Security and Privacy
in Computing and Communications, TrustCom 2013 / 11th {IEEE} International
Symposium on Parallel and Distributed Processing with Applications,
{ISPA-13} / 12th {IEEE} International Conference on Ubiquitous Computing
and Communications, IUCC-2013, Melbourne, Australia, July 16-18, 2013},
pages = {1188--1197},
publisher = {{IEEE} Computer Society},
year = {2013},
url = {https://doi.org/10.1109/TrustCom.2013.143},
doi = {10.1109/TRUSTCOM.2013.143},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/trustcom/ParkSWASM13.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tecs/MalikSCJ12,
author = {Avinash Malik and
Zoran Salcic and
Christopher Chong and
Salman Javed},
title = {System-level approach to the design of a smart distributed surveillance
system using systemj},
journal = {{ACM} Trans. Embed. Comput. Syst.},
volume = {11},
number = {4},
pages = {77:1--77:24},
year = {2012},
url = {https://doi.org/10.1145/2362336.2362344},
doi = {10.1145/2362336.2362344},
timestamp = {Tue, 08 Sep 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tecs/MalikSCJ12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/tpds/MalikGS12,
author = {Avinash Malik and
Alain Girault and
Zoran Salcic},
title = {Formal Semantics, Compilation and Execution of the {GALS} Programming
Language DSystemJ},
journal = {{IEEE} Trans. Parallel Distributed Syst.},
volume = {23},
number = {7},
pages = {1240--1254},
year = {2012},
url = {https://doi.org/10.1109/TPDS.2011.258},
doi = {10.1109/TPDS.2011.258},
timestamp = {Fri, 02 Oct 2020 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tpds/MalikGS12.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/acsd/MalikGS11,
author = {Avinash Malik and
Alain Girault and
Zoran Salcic},
editor = {Beno{\^{\i}}t Caillaud and
Josep Carmona and
Kunihiko Hiraishi},
title = {A {GALS} Language for Dynamic Distributed and Reactive Programs},
booktitle = {11th International Conference on Application of Concurrency to System
Design, {ACSD} 2011, Newcastle Upon Tyne, UK, 20-24 June, 2011},
pages = {173--182},
publisher = {{IEEE} Computer Society},
year = {2011},
url = {https://doi.org/10.1109/ACSD.2011.30},
doi = {10.1109/ACSD.2011.30},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/acsd/MalikGS11.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/cl/MalikSRG10,
author = {Avinash Malik and
Zoran Salcic and
Partha S. Roop and
Alain Girault},
title = {SystemJ: {A} {GALS} language for system level design},
journal = {Comput. Lang. Syst. Struct.},
volume = {36},
number = {4},
pages = {317--344},
year = {2010},
url = {https://doi.org/10.1016/j.cl.2010.01.001},
doi = {10.1016/J.CL.2010.01.001},
timestamp = {Tue, 11 Feb 2020 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/cl/MalikSRG10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aspdac/SunSM10,
author = {Wei{-}Tsun Sun and
Zoran Salcic and
Avinash Malik},
title = {LibGALS: a library for {GALS} systems design and modeling},
booktitle = {Proceedings of the 15th Asia South Pacific Design Automation Conference,
{ASP-DAC} 2010, Taipei, Taiwan, January 18-21, 2010},
pages = {107--112},
publisher = {{IEEE}},
year = {2010},
url = {https://doi.org/10.1109/ASPDAC.2010.5419912},
doi = {10.1109/ASPDAC.2010.5419912},
timestamp = {Wed, 16 Oct 2019 14:14:52 +0200},
biburl = {https://dblp.org/rec/conf/aspdac/SunSM10.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@article{DBLP:journals/todaes/MalikSR09,
author = {Avinash Malik and
Zoran A. Salcic and
Partha S. Roop},
title = {SystemJ compilation using the tandem virtual machine approach},
journal = {{ACM} Trans. Design Autom. Electr. Syst.},
volume = {14},
number = {3},
pages = {34:1--34:37},
year = {2009},
url = {https://doi.org/10.1145/1529255.1529256},
doi = {10.1145/1529255.1529256},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/todaes/MalikSR09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/jtres/MalikSGWL09,
author = {Avinash Malik and
Zoran A. Salcic and
Alain Girault and
Adam Walker and
Sung Chul Lee},
editor = {M. Teresa Higuera{-}Toledano and
Martin Schoeberl},
title = {A customizable multiprocessor for Globally Asynchronous Locally Synchronous
execution},
booktitle = {Proceedings of the 7th International Workshop on Java Technologies
for Real-Time and Embedded Systems, {JTRES} 2009, Madrid, Spain, September
23-25, 2009},
series = {{ACM} International Conference Proceeding Series},
pages = {120--129},
publisher = {{ACM}},
year = {2009},
url = {https://doi.org/10.1145/1620405.1620423},
doi = {10.1145/1620405.1620423},
timestamp = {Sat, 24 Nov 2018 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/jtres/MalikSGWL09.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
@inproceedings{DBLP:conf/aPcsac/MalikSR08,
author = {Avinash Malik and
Zoran Salcic and
Partha S. Roop},
title = {Tandem virtual machine - An efficient execution platform for {GALS}
language SystemJ},
booktitle = {13th Asia-Pacific Computer Systems Architecture Conference, {ACSAC}
2008, Hsinchu, China, August 4-6, 2008},
pages = {1--8},
publisher = {{IEEE} Computer Society},
year = {2008},
url = {https://doi.org/10.1109/APCSAC.2008.4625451},
doi = {10.1109/APCSAC.2008.4625451},
timestamp = {Fri, 24 Mar 2023 00:00:00 +0100},
biburl = {https://dblp.org/rec/conf/aPcsac/MalikSR08.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-04-25 05:45 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
