Zobrazeno 1 - 10
of 45
pro vyhledávání: '"Daniel Balasubramanian"'
Autor:
Ajay D Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Saqib Hasan, Daniel Balasubramanian, Gabor Karsai
Publikováno v:
International Journal of Prognostics and Health Management, Vol 9, Iss 1 (2018)
Fault management systems that observe the state of the system, decide if there is an anomaly and then take automated actions to isolate faults. For example, in electrical networks relays and breaks isolate faults in order to arrest failure propagatio
Externí odkaz:
https://doaj.org/article/fea6eaac1a80426b8962b548433413f8
Autor:
Xingyu Zhou, Robert Canady, Yi Li, Shunxing Bao, Yogesh Barve, Daniel Balasubramanian, Aniruddha Gokhale
Publikováno v:
2022 IEEE International Conference on Cloud Engineering (IC2E).
Publikováno v:
2022 IEEE International Conference on Assured Autonomy (ICAA).
Autor:
Gabor Karsai, Daniel Balasubramanian
Publikováno v:
Leveraging Applications of Formal Methods, Verification and Validation. Software Engineering ISBN: 9783031197550
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::0f188995cd5aeb7aef378cc3db6e13cb
https://doi.org/10.1007/978-3-031-19756-7_6
https://doi.org/10.1007/978-3-031-19756-7_6
Autor:
Aniruddha Gokhale, Zhuangwei Kang, Robert Canady, Xingyu Zhou, Daniel Balasubramanian, Shunxing Bao
Publikováno v:
Annual Conference of the PHM Society. 13
Given the diverse deployments of sensor nodes in prognostics and health management (PHM) applications, the use of small form-factor, low-cost and power-efficient microcontrollers (MCUs) has become a practical option for long-term monitoring and front
Publikováno v:
Proceedings of the 18th ACM SIGPLAN International Workshop on Domain-Specific Modeling.
This paper presents our preliminary results developing an incremental query and transformation engine for our modeling framework. Our prior framework combined WebGME, a cloud-based collaborative modeling tool, with FORMULA, a language and tool for sp
Publikováno v:
Lecture Notes in Computer Science ISBN: 9783030891589
ISoLA
ISoLA
Model-based software engineering plays an increasing role in system development. The abstractions offered by models provide a basis for tasks such as analysis, synthesis, and automated reasoning. However, like traditional software engineering, model-
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_________::c5acf83b88b9a0eaf48f1acb201ae7fc
https://doi.org/10.1007/978-3-030-89159-6_24
https://doi.org/10.1007/978-3-030-89159-6_24
Autor:
Abhishek Dubey, Ajay Chhokra, Gabor Karsai, Saqib Hasan, Daniel Balasubramanian, Nagabhushan Mahadevan
Publikováno v:
Scopus-Elsevier
International Journal of Prognostics and Health Management, Vol 9, Iss 1 (2018)
International Journal of Prognostics and Health Management, Vol 9, Iss 1 (2018)
fault management systems that observe the state of the system, decide if there is an anomaly and then take automated actions to isolate faults. For example, in electrical networks relays and breaks isolate faults in order to arrest failure propagatio
Publikováno v:
IEEE Symposium on Security and Privacy
The rowhammer bug belongs to software-induced hardware faults, and has been exploited to form a wide range of powerful rowhammer attacks. Yet, how to effectively detect such attacks remains a challenging problem. In this paper, we propose a novel app
Autor:
Abhishek Dubey, Pranav Kumar, Subhav Pradhan, William R. Otte, William Emfinger, Gabor Karsai, Tihamér Levendovszky, Daniel Balasubramanian
Publikováno v:
Journal of Systems and Software. 122:344-363
We describe resilient operation of cyber-physical application platforms.We describe implicit design-time encoding of the reconfiguration.We describe design-time analysis and validation tools for these systems. Improvements in mobile networking combin