Gabor Karsai
Vanderbilt University
H-index: 59
North America-United States
Top articles of Gabor Karsai
Title | Journal | Author(s) | Publication Date |
---|---|---|---|
An IoT-Based Framework for Distributed Generic Microgrid Controllers | IEEE Transactions on Control Systems Technology | Hao Tu Hui Yu Yuhua Du Scott Eisele Xiaonan Lu | 2024/3/28 |
Distributed Control Application for Smart Grids using RIAPS | Purboday Ghosh Niloy Barua Timothy Krentz Gabor Karsai Abhishek Dubey | 2023/6/26 | |
Incorporating Component-Level Testing into Bayesian Degradation Distributions to Estimate a Voltage Regulator’s Radiation Failure Probabilities | IEEE Transactions on Nuclear Science | Richard H Nederlander Arthur F Witulski Robert A Reed Gabor Karsai Ray L Ladbury | 2023/6/9 |
Distributed Cyber Physical Systems Software Model Checking using Timed Automata | Purboday Ghosh Gabor Karsai | 2023/5/23 | |
Dynamic simplex: Balancing safety and performance in autonomous cyber physical systems | Baiting Luo Shreyas Ramakrishna Ava Pettet Christopher Kuhn Gabor Karsai | 2023/5/9 | |
INDICES: Applying DDDAS Principles for Performance Interference-aware Cloud-to-Fog Application Migration | Shashank Shekhar Ajay Dev Chhokra Anirban Bhattacharjee Yogesh Barve Shweta Khare | 2023/3/31 | |
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams | Rahul Bhadani Gabor Karsai Hao Tu Srdjan Lukic | 2023/12/10 | |
Assurance provenance: the next challenge in software documentation | Gabor Karsai Daniel Balasubramanian | 2022/10/17 | |
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems | ACM Transactions on Cyber-Physical Systems (TCPS) | Shreyas Ramakrishna Zahra Rahiminasab Gabor Karsai Arvind Easwaran Abhishek Dubey | 2022/4/11 |
Anti-carla: An adversarial testing framework for autonomous vehicles in carla | Shreyas Ramakrishna Baiting Luo Christopher B Kuhn Gabor Karsai Abhishek Dubey | 2022/10/8 | |
Risk-aware scene sampling for dynamic assurance of autonomous systems | Shreyas Ramakrishna Baiting Luo Yogesh Barve Gabor Karsai Abhishek Dubey | 2022/3/22 | |
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications | Purboday Ghosh Hao Tu Timothy Krentz Gabor Karsai Srdjan Lukic | 2022/8/1 | |
Methodology for Correlating Historical Degradation Data to Radiation-Induced Degradation System Effects in Small Satellites | Richard H Nederlander Arthur F Witulski Robert A Reed Enxia Zhang Ronald D Schrimpf | 2022 | |
Peer-to-peer communication trade-offs for smart grid applications | Purboday Ghosh Shashank Shekhar Yashen Lin Ulrich Muenz Gabor Karsai | 2022/7/25 | |
Syntheto: A Surface Language for APT and ACL2 | arXiv preprint arXiv:2205.11706 | Alessandro Coglio Eric McCarthy Stephen Westfold Daniel Balasubramanian Abhishek Dubey | 2022/5/24 |
Model-Based Intent-Driven Adaptive Software (MIDAS) | Gabor Karsai Alessandro Coglio Abhishek Dubey Vanderbilt University KESTREL INST PALO ALTO CA | 2022/5/12 | |
Fault-adaptive autonomy in systems with learning-enabled components | Sensors | Daniel Stojcsics Dimitrios Boursinos Nagabhushan Mahadevan Xenofon Koutsoukos Gabor Karsai | 2021/9/11 |
A system-level modeling approach for simulating radiation effects in successive-approximation analog-to-digital converters | IEEE Transactions on Nuclear Science | MW Rony En Xia Zhang Mahmud Reaz Kan Li Andrew Daniel | 2021/5/6 |
Connecting Mission Profiles and Radiation Vulnerability Assessment | Richard H Nederlande Kaitlyn L Ryder Arthur F Witulski Gabor Karsai Nag Mahadevan | 2021/8/7 | |
Towards model-based intent-driven adaptive software | Daniel Balasubramanian Alessandro Coglio Abhishek Dubey Gabor Karsai | 2021 |