Gabor Karsai

ORCID

Publication Activity (10 Years)

Years Active: 1988-2024
Publications (10 Years): 77

Top Venues

Publications

Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai
Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS. CoRR (2024)
Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai
On Simulation of Power Systems and Microgrid Components with SystemC-AMS. CoRR (2024)
Purboday Ghosh, Gabor Karsai
Distributed Cyber Physical Systems Software Model Checking using Timed Automata. ISORC (2023)
Rahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams. WSC (2023)
Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. ICCPS (2023)
Purboday Ghosh, Niloy Barua, Timothy Krentz, Gabor Karsai, Abhishek Dubey, Srdjan M. Lukic
Distributed Control Application for Smart Grids using RIAPS. SMARTCOMP (2023)
Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. CoRR (2023)
Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. ITSC (2022)
Gabor Karsai, Daniel Balasubramanian
Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) (2022)
Shreyas Ramakrishna, Baiting Luo, Christopher Kuhn, Gabor Karsai, Abhishek Dubey
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. CoRR (2022)
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
Syntheto: A Surface Language for APT and ACL2. ACL2 (2022)
Purboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications. CoRR (2022)
Purboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications. COINS (2022)
Purboday Ghosh, Shashank Shekhar, Yashen Lin, Ulrich Münz, Gabor Karsai
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. ICCCN (2022)
Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
-VAE for Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 6 (2) (2022)
Shreyas Ramakrishna, Baiting Luo, Yogesh Barve, Gabor Karsai, Abhishek Dubey
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. ICAA (2022)
Gabor Karsai
Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems. MODELSWARD (2022)
Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. CoRR (2022)
Purboday Ghosh, Shashank Shekhar, Ulrich Münz, Gabor Karsai
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. CoRR (2021)
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. CoRR (2021)
Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. CoRR (2021)
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. SEAMS@ICSE (2021)
Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
Automated Method for Assurance Case Construction from System Design Models. ICSRS (2021)
Dániel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon D. Koutsoukos, Gabor Karsai
Fault-Adaptive Autonomy in Systems with Learning-Enabled Components. Sensors 21 (18) (2021)
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai
Towards Model-Based Intent-Driven Adaptive Software. ISoLA (2021)
Ajay Chhokra, Carlos A. Barreto, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos
Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems. MSCPES@CPSIoTWeek (2021)
Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. SAM (2020)
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos, Gabor Karsai
URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services. J. Syst. Archit. 107 (2020)
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems. ACC (2020)
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge. CoRR (2020)
Purboday Ghosh, Gabor Karsai
An Integrated Cyber-Physical Fault Management Approach. ISORC (2020)
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pratim Pal, Gabor Karsai
A Methodology for Automating Assurance Case Generation. CoRR (2020)
Hao Tu, Yuhua Du, Hui Yu, Abhishek Dubey, Srdjan M. Lukic, Gabor Karsai
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control. IEEE Trans. Ind. Electron. 67 (11) (2020)
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
Designing a decentralized fault-tolerant software framework for smart grids and its applications. J. Syst. Archit. 109 (2020)
Shreyas Ramakrishna, Charles Hartsell, Matthew P. Burruss, Gabor Karsai, Abhishek Dubey
Dynamic-weighted simplex strategy for learning enabled cyber physical systems. J. Syst. Archit. 111 (2020)
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge. ICFEC (2020)
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
Workflow Automation for Cyber Physical System Development Processes. CoRR (2020)
Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai
Towards Operational Use of Unit Manufacturing Process Models. ICIT (2019)
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. ISORC (2019)
Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids. CoRR (2019)
Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai
Dynamic symbolic execution for the analysis of web server applications in Java. SAC (2019)
Neelanjana Pal, Purboday Ghosh, Gabor Karsai
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data. ICMLA (2019)
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
CPS Design with Learning-Enabled Components: A Case Study. RSP (2019)
Timothy Krentz, Abhishek Dubey, Gabor Karsai
Short Paper: Towards An Edge-Located Time-Series Database. ISORC (2019)
Scott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai
Demo: Transactive Energy Application with RIAPS. ISORC (2019)
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
Model-based design for CPS with learning-enabled components. DESTION@CPSIoTWeek (2019)
Abhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan M. Lukic
Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid. IEEE Embed. Syst. Lett. 11 (2) (2019)
Matthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots. ISORC (2019)
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems. ISORC (2019)
Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
Practical Causal Models for Cyber-Physical Systems. NFM (2019)
Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services. IC2E (2019)
Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services. CoRR (2019)
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai
A CPS toolchain for learning-based systems: demo abstract. ICCPS (2019)
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. CoRR (2019)
Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai
A Cloud-Based Execution Framework for Program Analysis. SEFM (2018)
Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Péter Völgyesi, Janos Sztipanovits
Integrated simulation testbed for security and resilience of CPS. SAC (2018)
Saqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos
Vulnerability analysis of power systems based on cyber-attack and defense models. ISGT (2018)
Gabor Karsai
From Modeling to Model-Based Programming. ISoLA (1) (2018)
Xenofon D. Koutsoukos, Gabor Karsai, Aron Laszka, Himanshu Neema, Bradley Potteiger, Péter Völgyesi, Yevgeniy Vorobeychik, Janos Sztipanovits
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems. Proc. IEEE 106 (1) (2018)
Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids. ICPADS (2018)
Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai
Triggering Rowhammer Hardware Faults on ARM: A Revisit. ASHES@CCS (2018)
Péter Völgyesi, Abhishek Dubey, Timothy Krentz, István Madari, Mary Metelko, Gabor Karsai
Time synchronization services for low-cost fog computing applications. RSP (2017)
Scott Eisele, István Madari, Abhishek Dubey, Gabor Karsai
RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems. ISORC (2017)
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
Diagnostics and prognostics using temporal causal models for cyber physical energy systems. ICCPS (2017)
Abhishek Dubey, Gabor Karsai, Subhav Pradhan
Resilience at the edge in cyber-physical systems. FMEC (2017)
Abhishek Dubey, Gabor Karsai, Aniruddha S. Gokhale, William Emfinger, Pranav Srinivas Kumar
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems. CoRR (2017)
Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan M. Lukic
A simulation testbed for cascade analysis. ISGT (2017)
Charles Hartsell, Gabor Karsai, Michael R. Lowry
Timing analysis of a middleware-based system. ARM@Middleware (2017)
Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems. SPSR-SG@CPSWeek (2017)
Scott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan M. Lukic
Transactive energy demo with RIAPS platform. ICCPS (2017)
Scott Eisele, Geoffrey Pettet, Abhishek Dubey, Gabor Karsai
Towards an architecture for evaluating and analyzing decentralized Fog applications. FWC (2017)
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. CoRR (2017)
Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
Achieving resilience in distributed software systems via self-reconfiguration. J. Syst. Softw. 122 (2016)
Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi
Abstractions for Modeling Complex Systems. ISoLA (2) (2016)
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems. ICCPS (2016)
William Emfinger, Abhishek Dubey, Péter Völgyesi, János Sallai, Gabor Karsai
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing. SEC (2016)
Himanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience. ICCPS (2016)
Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
DREMS ML: A wide spectrum architecture design language for distributed computing platforms. Sci. Comput. Program. 106 (2015)
Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
A testbed to simulate and analyze resilient cyber-physical systems. RSP (2015)
Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai
Using temporal causal models to isolate failures in power system protection devices. IEEE Instrum. Meas. Mag. 18 (4) (2015)
Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai
Towards an analysis-driven rapid design process for cyber-physical systems. RSP (2015)
Pranav Srinivas Kumar, Gabor Karsai
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. ISORC Workshops (2015)
William Emfinger, Gabor Karsai
Modeling Network Medium Access Protocols for Network Quality of Service Analysis. ISORC (2015)
Pranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS. RSP (2015)
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS (2015)
William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. CyPhy (2014)
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai
Metamodelling: State of the Art and Research Challenges. CoRR (2014)
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. IEEE Softw. 31 (2) (2014)
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
Domain Globalization: Using Languages to Support Technical and Social Coordination. Globalizing Domain-Specific Languages (2014)
Zhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
A co-simulation framework for design of time-triggered automotive cyber physical systems. Simul. Model. Pract. Theory 43 (2014)
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS (2014)
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. ISORC (2014)
Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, Steven Völkel
Design Guidelines for Domain Specific Languages. CoRR (2014)
Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. MoDeVVa@MoDELS (2014)
Gabor Karsai
Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages. GEMOC@MoDELS (2014)
Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai
A semi-formal description of migrating domain-specific models with evolving domains. Softw. Syst. Model. 13 (2) (2014)
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
A Rapid Testing Framework for a Mobile Cloud. RSP (2014)
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
Deliberative, search-based mitigation strategies for model-based software health management. Innov. Syst. Softw. Eng. 9 (4) (2013)
Abhishek Dubey, Gabor Karsai
Software health management. Innov. Syst. Softw. Eng. 9 (4) (2013)
Gergely Varga, Sara Toth, Christopher R. Iacovella, János Sallai, Péter Völgyesi, Ákos Lédeczi, Gabor Karsai, Peter T. Cummings
Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations. SIMULTECH (2013)

Gabor Karsai.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Gabor Karsai