default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDGabor Karsai
Person information
Refine list
refinements active!
zoomed in on ?? of ?? records
view refined list in
export refined list as
showing all ?? records
2020 – today
- 2024
[j63]Hao Tu
, Hui Yu, Yuhua Du, Scott Eisele, Xiaonan Lu, Gabor Karsai, Srdjan M. Lukic:
An IoT-Based Framework for Distributed Generic Microgrid Controllers. IEEE Trans. Control. Syst. Technol. 32(5): 1692-1705 (2024)- [c162]Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai:
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. MoDELS (Companion) 2024: 1056-1060 - [i22]Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai:
Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS. CoRR abs/2406.17785 (2024) - [i21]Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai:
On Simulation of Power Systems and Microgrid Components with SystemC-AMS. CoRR abs/2407.06217 (2024) - 2023
- [c161]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: 177-186 - [c160]Purboday Ghosh, Gabor Karsai:
Distributed Cyber Physical Systems Software Model Checking using Timed Automata. ISORC 2023: 164-169 - [c159]Purboday Ghosh, Niloy Barua, Timothy Krentz, Gabor Karsai, Abhishek Dubey, Srdjan M. Lukic:
Distributed Control Application for Smart Grids using RIAPS. SMARTCOMP 2023: 186-188 - [c158]Rahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic:
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams. WSC 2023: 3214-3225 - [i20]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 abs/2302.09750 (2023) - 2022
- [j62]Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey:
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. ACM Trans. Cyber Phys. Syst. 6(2): 15:1-15:34 (2022) - [c157]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: 1-6 - [c156]Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey:
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. ICAA 2022: 107-116 - [c155]Purboday Ghosh, Shashank Shekhar, Yashen Lin, Ulrich Münz, Gabor Karsai:
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. ICCCN 2022: 1-10 - [c154]Gabor Karsai, Daniel Balasubramanian:
Assurance Provenance: The Next Challenge in Software Documentation. ISoLA (2) 2022: 90-104 - [c153]Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey:
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. ITSC 2022: 2620-2627 - [c152]Gabor Karsai:
Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems. MODELSWARD 2022: 7 - [c151]Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai:
Syntheto: A Surface Language for APT and ACL2. ACL2 2022: 151-167 - [i19]Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey:
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. CoRR abs/2202.13510 (2022) - [i18]Purboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic:
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications. CoRR abs/2206.13000 (2022) - [i17]Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey:
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. CoRR abs/2208.06309 (2022) - 2021
- [j61]Dániel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon D. Koutsoukos, Gabor Karsai:
Fault-Adaptive Autonomy in Systems with Learning-Enabled Components. Sensors 21(18): 6089 (2021) - [c150]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: 5:1-5:6 - [c149]Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Automated Method for Assurance Case Construction from System Design Models. ICSRS 2021: 230-239 - [c148]Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai:
Towards Model-Based Intent-Driven Adaptive Software. ISoLA 2021: 378-392 - [c147]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: 118-129 - [i16]Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai:
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. CoRR abs/2102.09419 (2021) - [i15]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 abs/2108.11800 (2021) - [i14]Purboday Ghosh, Shashank Shekhar, Ulrich Münz, Gabor Karsai:
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. CoRR abs/2112.06848 (2021) - 2020
- [j60]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: 101710 (2020) - [j59]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: 101759 (2020) - [j58]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: 101760 (2020) - [j57]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): 9393-9404 (2020) - [c146]Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai:
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems. ACC 2020: 3011-3016 - [c145]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: 75-84 - [c144]Purboday Ghosh, Gabor Karsai:
An Integrated Cyber-Physical Fault Management Approach. ISORC 2020: 148-149 - [c143]Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai:
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. SAM 2020: 128-137 - [i13]Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pratim Pal, Gabor Karsai:
A Methodology for Automating Assurance Case Generation. CoRR abs/2003.05388 (2020) - [i12]Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai:
Workflow Automation for Cyber Physical System Development Processes. CoRR abs/2004.05654 (2020) - [i11]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 abs/2004.05740 (2020)
2010 – 2019
- 2019
- [j56]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): 34-37 (2019) - [c142]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: 1-9 - [c141]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: 23-33 - [c140]Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai:
A CPS toolchain for learning-based systems: demo abstract. ICCPS 2019: 342-343 - [c139]Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai:
Towards Operational Use of Unit Manufacturing Process Models. ICIT 2019: 818-823 - [c138]Neelanjana Pal, Purboday Ghosh, Gabor Karsai:
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data. ICMLA 2019: 1938-1943 - [c137]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: 52-60 - [c136]Scott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai:
Demo: Transactive Energy Application with RIAPS. ISORC 2019: 85-86 - [c135]Matthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey:
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots. ISORC 2019: 87-88 - [c134]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: 108-117 - [c133]Timothy Krentz, Abhishek Dubey, Gabor Karsai:
Short Paper: Towards An Edge-Located Time-Series Database. ISORC 2019: 151-154 - [c132]Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai:
Practical Causal Models for Cyber-Physical Systems. NFM 2019: 211-227 - [c131]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: 57-63 - [c130]Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai:
Dynamic symbolic execution for the analysis of web server applications in Java. SAC 2019: 2178-2185 - [i10]Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik:
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids. CoRR abs/1902.00844 (2019) - [i9]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 abs/1902.02432 (2019) - [i8]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 abs/1904.01576 (2019) - 2018
- [j55]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): 93-112 (2018) - [c129]Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai:
Triggering Rowhammer Hardware Faults on ARM: A Revisit. ASHES@CCS 2018: 24-33 - [c128]Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik:
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids. ICPADS 2018: 918-927 - [c127]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: 1-5 - [c126]Gabor Karsai:
From Modeling to Model-Based Programming. ISoLA (1) 2018: 295-308 - [c125]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: 368-374 - [c124]Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai:
A Cloud-Based Execution Framework for Program Analysis. SEFM 2018: 139-154 - 2017
- [c123]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: 41-46 - [c122]Abhishek Dubey, Gabor Karsai, Subhav Pradhan:
Resilience at the edge in cyber-physical systems. FMEC 2017: 139-146 - [c121]Scott Eisele, Geoffrey Pettet, Abhishek Dubey, Gabor Karsai:
Towards an architecture for evaluating and analyzing decentralized Fog applications. FWC 2017: 1-6 - [c120]Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai:
Diagnostics and prognostics using temporal causal models for cyber physical energy systems. ICCPS 2017: 87 - [c119]Scott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan M. Lukic:
Transactive energy demo with RIAPS platform. ICCPS 2017: 91 - [c118]Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan M. Lukic:
A simulation testbed for cascade analysis. ISGT 2017: 1-5 - [c117]Scott Eisele, István Madari, Abhishek Dubey, Gabor Karsai:
RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems. ISORC 2017: 125-132 - [c116]Charles Hartsell, Gabor Karsai, Michael R. Lowry:
Timing analysis of a middleware-based system. ARM@Middleware 2017: 5:1-5:6 - [c115]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: 57-63 - [i7]Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. CoRR abs/1710.00267 (2017) - [i6]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 abs/1710.00268 (2017) - 2016
- [j54]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: 344-363 (2016) - [c114]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: 119-120 - [c113]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: 27:1 - [c112]Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai:
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems. ICCPS 2016: 33:1 - [c111]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: 68-79 - 2015
- [j53]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): 28-39 (2015) - [j52]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: 3-29 (2015) - [c110]Pranav Srinivas Kumar, Gabor Karsai:
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. ISORC Workshops 2015: 50-57 - [c109]William Emfinger, Gabor Karsai:
Modeling Network Medium Access Protocols for Network Quality of Service Analysis. ISORC 2015: 292-295 - [c108]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober:
Introduction to ACES-MB 2015. ACES-MB&WUCOR@MoDELS 2015: 1-2 - [c107]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: 39-45 - [c106]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: 90-96 - [c105]Pranav Srinivas Kumar, William Emfinger, Gabor Karsai:
A testbed to simulate and analyze resilient cyber-physical systems. RSP 2015: 97-103 - [e9]Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar:
Joint Proceedings of the 8th International Workshop on Model-based Architecting of Cyber-physical and Embedded Systems and 1st International Workshop on UML Consistency Rules (ACES-MB 2015 & WUCOR 2015) co-located with ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2015), Ottawa, Canada, September 28, 2015. CEUR Workshop Proceedings 1508, CEUR-WS.org 2015 [contents] - 2014
- [j51]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: 16-33 (2014) - [j50]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): 62-69 (2014) - [j49]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): 807-823 (2014) - [c104]William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale:
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. CyPhy 2014: 44-47 - [c103]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: 70-87 - [c102]Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte:
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. ISORC 2014: 1-8 - [c101]Gabor Karsai:
Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages. GEMOC@MoDELS 2014: 2-6 - [c100]Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai:
Taming Multi-Paradigm Integration in a Software Architecture Description Language. MPM@MoDELS 2014: 67-76 - [c99]Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai:
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. MoDeVVa@MoDELS 2014: 79-88 - [c98]Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai:
A Rapid Testing Framework for a Mobile Cloud. RSP 2014: 128-134 - [i5]Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai:
Metamodelling: State of the Art and Research Challenges. CoRR abs/1409.2359 (2014) - [i4]Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, Steven Völkel:
Design Guidelines for Domain Specific Languages. CoRR abs/1409.2378 (2014) - 2013
- [j48]Abhishek Dubey, Gabor Karsai:
Software health management. Innov. Syst. Softw. Eng. 9(4): 217 (2013) - [j47]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): 293-318 (2013) - [j46]Subhav Pradhan, Aniruddha S. Gokhale, William Otte, Gabor Karsai:
Real-time fault tolerant deployment and configuration framework for cyber physical systems. SIGBED Rev. 10(2): 32 (2013) - [j45]Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai:
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft. SIGBED Rev. 10(4): 29-32 (2013) - [j44]Tony Clark, Gabor Karsai, Roel J. Wieringa, Robert B. France, Bernhard Rumpe:
A newly introduced Industry Voice Column. Softw. Syst. Model. 12(3): 441-442 (2013) - [c97]Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits:
Co-simulation framework for design of time-triggered cyber physical systems. ICCPS 2013: 119-128 - [c96]William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen:
F6COM: A component model for resource-constrained and dynamic space-based computing environments. ISORC 2013: 1-8 - [c95]Di Shang, Emeka Eyisi, Zhenkai Zhang, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits:
A case study on the model-based design and integration of automotive cyber-physical systems. MED 2013: 483-492 - [c94]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: 171-178 - [c93]