Gabor Karsai - researchr profile publications

researchr

explore
calendar
search

You are not signed in
Sign in
Sign up

Publications with a 'Gabor Karsai' as author, editor, or advisor:

Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008Gabor Karsai, Gabriele Taentzer, editors, ACM, 2008. [doi]
The Model-Integrated Computing Tool SuiteJanos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty. Dagstuhl 2011: 369-376 [doi]
Online safety control of a class of hybrid systemsSherif Abdelwahed, Gabor Karsai, Gautam Biswas. cdc 2002: 1988-1990 [doi]
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive MicrogridsAron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik. icpads 2018: 918-927 [doi]
Modeling Network Medium Access Protocols for Network Quality of Service AnalysisWilliam Emfinger, Gabor Karsai. isorc 2015: 292-295 [doi]
Peer-to-Peer Communication Trade-Offs for Smart Grid ApplicationsPurboday Ghosh, Shashank Shekhar 0001, Yashen Lin, Ulrich Münz, Gabor Karsai. icccn 2022: 1-10 [doi]
Transactive energy demo with RIAPS platformScott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan Lukic. iccps 2017: 91 [doi]
Augmenting Learning Components for Safety in Resource Constrained Autonomous RobotsShreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai. isorc 2019: 108-117 [doi]
Towards an analysis-driven rapid design process for cyber-physical systemsZsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai. rsp 2015: 90-96 [doi]
RIAPS: Resilient Information Architecture Platform for Decentralized Smart SystemsScott Eisele, Istvan Mardari, Abhishek Dubey, Gabor Karsai. isorc 2017: 125-132 [doi]
A generic and symbolic model-based diagnostic reasoner with highly scalable propertiesAmit Misra, Gregory Provan, Gabor Karsai, George Bloor, Ethan Scarl. SMC 1998: 3154-3160 [doi]
Model based integration and experimentation of Information Fusion and C2 SystemsSandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai. fusion 2009: 1958-1965 [doi]
Model integrated computing (MIC)Gabor Karsai. sigsoft, 25(1):105, 2000. [doi]
Resilience at the edge in cyber-physical systemsAbhishek Dubey, Gabor Karsai, Subhav Pradhan. fmec 2017: 139-146 [doi]
Co-simulation framework for design of time-triggered cyber physical systemsZhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits. iccps 2013: 119-128 [doi]
Application of software health management techniquesNagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai. ICSE 2011: 1-10 [doi]
A component model for hard real-time systems: CCM with ARINC-653Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan. SPE, 41(12):1517-1550, 2011. [doi]
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected PapersHolger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz, editors, Volume 6100 of Lecture Notes in Computer Science, Springer, 2011. [doi]
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLAShreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey. itsc 2022: 2620-2627 [doi]
Timing analysis of a middleware-based systemCharles Hartsell, Gabor Karsai, Michael R. Lowry. middleware 2017: [doi]
Applying a Grouping Operator in Model TransformationsDaniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai. agtive 2008: 410-425 [doi]
Domain Model Translation Using Graph TransformationsJonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai. ECBS 2003: 159-167 [doi]
Dynamic-weighted simplex strategy for learning enabled cyber physical systemsShreyas Ramakrishna, Charles Harstell, Matthew P. Burruss, Gabor Karsai, Abhishek Dubey. jsa, 111:101760, 2020. [doi]
DREMS ML: A wide spectrum architecture design language for distributed computing platformsDaniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai. SCP, 106:3-29, 2015. [doi]
PrefaceTihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle. eceasst, 21, 2009. [doi]
Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph ModelsSherif Abdelwahed, Gabor Karsai, Nagabhushan Mahadevan, Stanley C. Ofsthun. tim, 58(2):240-247, 2009. [doi]
Demo: Transactive Energy Application with RIAPSScott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai. isorc 2019: 85-86 [doi]
Web-based Metaprogrammable Frontend for Molecular Dynamics SimulationsGergely Varga, Sara Toth, Christopher R. Iacovella, János Sallai, Péter Volgyesi, Ákos Lédeczi, Gabor Karsai, Peter T. Cummings. simultech 2013: 171-178 [doi]
Reusing Model Transformations While Preserving PropertiesEthan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai. FASE 2010: 44-58 [doi]
A testbed to simulate and analyze resilient cyber-physical systemsPranav Srinivas Kumar, William Emfinger, Gabor Karsai. rsp 2015: 97-103 [doi]
A Real-Time Component Framework: Experience with CCM and ARINC-653Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan. isorc 2010: 143-150 [doi]
Integrating Statechart Components in PolyglotDaniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen. NFM 2012: 267-272 [doi]
Model-based Development and Assurance of Learning-enabled Cyber-Physical SystemsGabor Karsai. modelsward 2022: 7
Specifying the correctness properties of model transformationsAnantha Narayanan, Gabor Karsai. ICSE 2008: 45-52 [doi]
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid ApplicationsPurboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic. coins 2022: 1-6 [doi]
Recent Advances in Multi-paradigm ModelingVasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky. MoDELS 2010: 220-224 [doi]
Software Engineering for Self-Adaptive Systems: A Second Research RoadmapRogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Marin Litoiu, Bradley R. Schmerl, Gabriel Tamura, Norha M. Villegas, Thomas Vogel, Danny Weyns, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ron Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovski, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Dennis B. Smith, João Pedro Sousa, Ladan Tahvildari, Kenny Wong, Jochen Wuttke. Dagstuhl 2013: 1-32 [doi]
From Modeling to Model-Based ProgrammingGabor Karsai. ISoLA 2018: 295-308 [doi]
Rapid property specification and checking for model-based formalismsDaniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger. rsp 2011: 121-127 [doi]
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction ServicesAnirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai. ic2e 2019: 23-33 [doi]
An Examination of Criticality-Sensitive Approaches to CoordinationPedro A. Szekely, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Gabor Karsai, Christopher P. van Buskirk. aaaiss 2006: 136-142 [doi]
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous EdgeAnirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey. icfec 2020: 75-84 [doi]
SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-Hoc NetworksHimanshu Neema, Anand Kashyap, Róbert Kereskényi, Yuan Xue, Gabor Karsai. dsrt 2010: 179-188 [doi]
Qualitative Fault Modeling in Safety Critical Cyber Physical SystemsAjay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai. sam 2020: 128-137 [doi]
A testbed for secure and robust SCADA systemsAnnarita Giani, Gabor Karsai, Tanya Roosta, Aakash Shah, Bruno Sinopoli, Jon Wiley. sigbed, 5(2):4, 2008. [doi]
Challenges and directions in formalizing the semantics of modeling languagesBarrett R. Bryant, Jeffrey G. Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai. comsis, 8(2):225-253, 2011. [doi]
Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systemsAjay Chhokra, Carlos A. Barreto, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos. cpsweek 2021: [doi]
Fault-Adaptive Autonomy in Systems with Learning-Enabled ComponentsDániel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon D. Koutsoukos, Gabor Karsai. sensors, 21(18):6089, 2021. [doi]
Towards a resilient deployment and configuration infrastructure for fractionated spacecraftSubhav Pradhan, William Otte, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai. sigbed, 10(4):29-32, 2013. [doi]
Abstractions for Modeling Complex SystemsZsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi. ISoLA 2016: 68-79 [doi]
Parallel DSP system integrationÁkos Lédeczi, Ben Abbott, Csaba Biegl, Ted Bapty, Gabor Karsai, Janos Sztipanovits. mam, 17(8):460-470, 1993. [doi]
A CPS toolchain for learning-based systems: demo abstractCharles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai. iccps 2019: 342-343 [doi]
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded SystemsPranav Srinivas Kumar, Gabor Karsai. isorc 2015: 50-57 [doi]
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware AdaptationAkshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan. srds 2012: 362-371 [doi]
ReSonAte: A Runtime Risk Assessment Framework for Autonomous SystemsCharles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai. SEAMS 2021: 118-129 [doi]
An Integrated Cyber-Physical Fault Management ApproachPurboday Ghosh, Gabor Karsai. isorc 2020: 148-149 [doi]
A case study on the model-based design and integration of automotive cyber-physical systemsDi Shang, Emeka Eyisi, Zhenkai Zhang, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits. med 2013: 483-492 [doi]
Metamodelling - State of the Art and Research ChallengesJonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai. Dagstuhl 2011: 57-76 [doi]
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous SystemsShreyas Ramakrishna, Baiting Luo, Yogesh Barve, Gabor Karsai, Abhishek Dubey. icaa2 2022: 107-116 [doi]
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating SystemsAbhishek Dubey, Gabor Karsai, Sherif Abdelwahed. isorc 2009: 55-62 [doi]
Assurance Provenance: The Next Challenge in Software DocumentationGabor Karsai, Daniel Balasubramanian. ISoLA 2022: 90-104 [doi]
Composition and cloning in modeling and meta-modelingGabor Karsai, Miklós Maróti, Ákos Lédeczi, Jeff Gray, Janos Sztipanovits. tcst, 12(2):263-278, 2004. [doi]
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power SystemsAjay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai. amcc 2020: 3011-3016 [doi]
A semi-formal description of migrating domain-specific models with evolving domainsTihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai. SoSyM, 13(2):807-823, 2014. [doi]
Constraint-Based Design-Space Exploration and Model SynthesisSandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts. emsoft 2003: 290-305 [doi]
Distributed Cyber Physical Systems Software Model Checking using Timed AutomataPurboday Ghosh, Gabor Karsai. isorc 2023: 164-169 [doi]
Towards an architecture for evaluating and analyzing decentralized Fog applicationsScott Eisele, Geoffrey Pettet, Abhishek Dubey, Gabor Karsai. fwc 2017: 1-6 [doi]
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical SystemsBaiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay. iccps 2023: 177-186 [doi]
Neural network methods for the modeling and control of welding processesGabor Karsai, Kristinn Andersen, George E. Cook, Robert Joel Barnett. jim, 3(4):229-235, 1992. [doi]
A model-based approach to self-adaptive softwareGabor Karsai, Janos Sztipanovits. expert, 14(3):46-53, 1999. [doi]
High precision automatic scheduling of periodic task sets for microcontrollersBenjamin Ness, Gabor Karsai. ACMse 2008: 1-6 [doi]
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge ComputingWilliam Emfinger, Abhishek Dubey, Péter Völgyesi, János Sallai, Gabor Karsai. edge 2016: 119-120 [doi]
Domain Globalization: Using Languages to Support Technical and Social CoordinationJulien DeAntoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani. Dagstuhl 2015: 70-87 [doi]
Toward a Science of Cyber-Physical System IntegrationJanos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, Shige Wang. pieee, 100(1):29-44, 2012. [doi]
Towards a time-triggered schedule calculation tool to support model-based embedded software designJoseph Porter, Gabor Karsai, Janos Sztipanovits. emsoft 2009: 167-176 [doi]
Dynamic symbolic execution for the analysis of web server applications in JavaDaniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai. SAC 2019: 2178-2185 [doi]
A Meta-Framework for Design Space ExplorationTripti Saxena, Gabor Karsai. ECBS 2011: 71-80 [doi]
Triggering Rowhammer Hardware Faults on ARM: A RevisitZhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai. ccs 2018: 24-33 [doi]
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded SoftwareJoseph Porter, PÃ©ter VÃ¶lgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits. rsp 2009: 3-10 [doi]
Time synchronization services for low-cost fog computing applicationsPéter Völgyesi, Abhishek Dubey, Timothy Krentz, István Madari, Mary Metelko, Gabor Karsai. rsp 2017: 57-63 [doi]
Introduction to ACES-MB 2015Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober. MoDELS 2015: 1-2 [doi]
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power SystemsAjay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai. cpsweek 2017: 41-46 [doi]
CPS Design with Learning-Enabled Components: A Case StudyCharles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai. rsp 2019: 57-63 [doi]
Model-Integrated Program Synthesis EnvironmentJanos Sztipanovits, Gabor Karsai, Hubertus Franke. ECBS 1996: 348-355 [doi]
Real-time fault tolerant deployment and configuration framework for cyber physical systemsSubhav Pradhan, Aniruddha S. Gokhale, William Otte, Gabor Karsai. sigbed, 10(2):32, 2013. [doi]
Designing a decentralized fault-tolerant software framework for smart grids and its applicationsPurboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai. jsa, 109:101759, 2020. [doi]
Integrating Security Modeling into Embedded System DesignMatthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi. ECBS 2007: 221-228 [doi]
On the Design of Fault- Tolerance in a Decentralized Software Platform for Power SystemsPurboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai. isorc 2019: 52-60 [doi]
Integrated simulation testbed for security and resilience of CPSHimanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Péter Völgyesi, Janos Sztipanovits. SAC 2018: 368-374 [doi]
Polyglot: Systematic Analysis for Multiple Statechart FormalismsDaniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry. TACAS 2013: 523-529 [doi]
Managing the quality of software product line architectures through reusable model transformationsAmogh Kavimandan, Aniruddha S. Gokhale, Gabor Karsai, Jeff Gray. qosa 2011: 13-22 [doi]
Polyglot: modeling and analysis for multiple Statechart formalismsDaniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry. ISSTA 2011: 45-55 [doi]
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-AmsRahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic. wsc 2023: 3214-3225 [doi]
Deliberative, search-based mitigation strategies for model-based software health managementNagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai. isse, 9(4):293-318, 2013. [doi]
Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling LanguagesGabor Karsai. MoDELS 2014: 2-6 [doi]
Continuous Migration Support for Domain-Specific LanguagesDaniel Balasubramanian, Tihamer Levendovszky, Anantha Narayanan, Gabor Karsai. In The 9th OOPSLA Workshop on Domain-Specific Modeling. 2009:
F6COM: A component model for resource-constrained and dynamic space-based computing environmentsWilliam Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen. isorc 2013: 1-8 [doi]
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid ControlHao Tu, Yuhua Du, Hui Yu, Abhishek Dubey, Srdjan M. Lukic, Gabor Karsai. tie, 67(11):9393-9404, 2020. [doi]
A simulation testbed for cascade analysisSaqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan Lukic. isgt 2017: 1-5 [doi]
Short Paper: Towards An Edge-Located Time-Series DatabaseTimothy Krentz, Abhishek Dubey, Gabor Karsai. isorc 2019: 151-154 [doi]
β-VAE for Cyber-Physical SystemsShreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey. tcps, 6(2), 2022. [doi]
Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005Gabor Karsai, Gabriele Taentzer, editors, Volume 152 of Electronic Notes in Theoretical Computer Science, Elsevier, 2006. [doi]
Automatic Domain Model Migration to Manage Metamodel EvolutionAnantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai. MoDELS 2009: 706-711 [doi]
A transformation instance-based approach to traceabilityTihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai. ECMDA-FA 2010: 55-60 [doi]
Taming Multi-Paradigm Integration in a Software Architecture Description LanguageDaniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai. MoDELS 2014: 67-76 [doi]
URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT servicesShashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos, Gabor Karsai. jsa, 107:101710, 2020. [doi]
Embedded systems security co-designMatthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi. sigbed, 4(2):1-4, 2007. [doi]
Reusable Idioms and Patterns in Graph Transformation LanguagesAditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai. ENTCS, 127(1):181-192, 2005. [doi]
Colored Petri Net-based Modeling and Formal Analysis of Component-based ApplicationsPranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai. MoDELS 2014: 79-88 [doi]
Software Engineering for Self-Adaptive Systems: A second Research RoadmapRogério de Lemos, Holger Giese, Hausi A. Müller, Mary Shaw, Jesper Andersson, Luciano Baresi, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Ronald J. Desmarais, Schahram Dustdar, Gregor Engels, Kurt Geihs, Karl M. Göschka, Alessandra Gorla, Vincenzo Grassi, Paola Inverardi, Gabor Karsai, Jeff Kramer, Marin Litoiu, Antónia Lopes, Jeff Magee, Sam Malek, Serge Mankovskii, Raffaela Mirandola, John Mylopoulos, Oscar Nierstrasz, Mauro Pezzè, Christian Prehofer, Wilhelm Schäfer, Richard D. Schlichting, Bradley R. Schmerl, Dennis B. Smith, João Pedro Sousa, Gabriel Tamura, Ladan Tahvildari, Norha M. Villegas, Thomas Vogel, Danny Weyns, Kenny Wong, Jochen Wuttke. Dagstuhl 2010: [doi]
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical SystemsXenofon D. Koutsoukos, Gabor Karsai, Aron Laszka, Himanshu Neema, Bradley Potteiger, Péter Völgyesi, Yevgeniy Vorobeychik, Janos Sztipanovits. pieee, 106(1):93-112, 2018. [doi]
Modeling agent negotiationJonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai. SMC 2000: 454-459 [doi]
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded SystemsTihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Kumar, Aniruddha S. Gokhale, Gabor Karsai. IEEE Software, 31(2):62-69, 2014. [doi]
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysisGraham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits. rsp 2010: 1-7 [doi]
A Novel Approach to Semi-automated Evolution of DSML Model TransformationTihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai. SLE 2009: 23-41 [doi]
Practical Causal Models for Cyber-Physical SystemsAmjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai. NFM 2019: 211-227 [doi]
A newly introduced Industry Voice ColumnTony Clark, Gabor Karsai, Roel Wieringa, Robert B. France, Bernhard Rumpe. SoSyM, 12(3):441-442, 2013. [doi]
Diagnostics and prognostics using temporal causal models for cyber physical energy systemsAjay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai. iccps 2017: 87 [doi]
MDE-Based Approach for Generalizing Design Space ExplorationTripti Saxena, Gabor Karsai. MoDELS 2010: 46-60 [doi]
Distributed Control Application for Smart Grids using RIAPSPurboday Ghosh, Niloy Barua, Timothy Krentz, Gabor Karsai, Abhishek Dubey, Srdjan M. Lukic. smartcomp 2023: 186-188 [doi]
Towards Practical Runtime Verification and Validation of Self-Adaptive Software SystemsGabriel Tamura, Norha M. Villegas, Hausi A. Müller, João Pedro Sousa, Basil Becker, Gabor Karsai, Serge Mankovski, Mauro Pezzè, Wilhelm Schäfer, Ladan Tahvildari, Kenny Wong. Dagstuhl 2013: 108-132 [doi]
Achieving resilience in distributed software systems via self-reconfigurationSubhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai. jss, 122:344-363, 2016. [doi]
Model-based design for CPS with learning-enabled componentsCharles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai. cpsweek 2019: 1-9 [doi]
Gas tungsten ARC weld modeling using a mapping networkGabor Karsai, Kristinn Andersen, Kumar Ramaswamy, George E. Cook. NN, 1(Supplement-1):341, 1988. [doi]
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical SystemsGabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte. isorc 2014: 1-8 [doi]
Real-time fault diagnostics with multiple aspect modelsSamir Padalkar, Gabor Karsai, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka. icra 1990: 803-808 [doi]
Towards a Generic Design Space Exploration FrameworkTripti Saxena, Gabor Karsai. IEEEcit 2010: 1940-1947 [doi]
An Active Pattern Infrastructure for Domain-Specific LanguagesTihamer Levendovszky, Gabor Karsai. eceasst, 25, 2010. [doi]
A Cloud-Based Execution Framework for Program AnalysisDaniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai. SEFM 2018: 139-154 [doi]
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous RobotsMatthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey. isorc 2019: 87-88 [doi]
Automated Method for Assurance Case Construction from System Design ModelsCharles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai. icsrs 2021: 230-239 [doi]
Evolution in a context of an model-integrated tool environmentTihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai. MoDELS 2012: 33-38 [doi]
Component-based modeling of dynamic systems using heterogeneous compositionZsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai. MoDELS 2012: 73-78 [doi]
Graph model-based approach to the representation, interpretation, and execution of signal processing systemsJanos Sztipanovits, Gabor Karsai, Csaba Biegl. ijis, 3(3):269-280, 1988. [doi]
Proceedings of the 6th International Workshop on Model Based Architecting and Construction of Embedded Systems co-located with ACM/IEEE 16th International Conference on Model Driven Engineering Languages and Systems (MoDELS 2013), Miami, Florida, USA, September 29th, 2013Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai, editors, Volume 1084 of CEUR Workshop Proceedings, CEUR-WS.org, 2013. [doi]
Fault-Adaptivity in Hard Real-Time Component-Based Software SystemsAbhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan. Dagstuhl 2013: 294-323 [doi]
Towards Operational Use of Unit Manufacturing Process ModelsAmogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai. icit2 2019: 818-823 [doi]
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling EnvironmentEric-J. Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai. MOMPES 2006: 159-168 [doi]
The multigraph and structural adaptivityJanos Sztipanovits, D. Mitchell Wilkes, Gabor Karsai, Csaba Biegl, Lester E. Lynd Jr.. tsp, 41(8):2695-2716, 1993. [doi]
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption DataNeelanjana Pal, Purboday Ghosh, Gabor Karsai. icmla 2019: 1938-1943 [doi]
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component ModeNagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai. isorc 2012: 79-86 [doi]
Using temporal causal models to isolate failures in power system protection devicesNagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai. imm, 18(4):28-39, 2015. [doi]
A co-simulation framework for design of time-triggered automotive cyber physical systemsZhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits. simpra, 43:16-33, 2014. [doi]
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and ResilienceHimanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits. iccps 2016: 1 [doi]
Device Access Abstractions for Resilient Information Architecture Platform for Smart GridAbhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan Lukic. esl, 11(2):34-37, 2019. [doi]
A Rapid Testing Framework for a Mobile CloudDaniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai. rsp 2014: 128-134 [doi]
15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings, editors, IEEE, 2012. [doi]
Intelligent monitoring and diagnostics for plant automationJanos Sztipanovits, Gabor Karsai, Samir Padalkar, Csaba Biegl, Nobuji Miyasaka, Koji Okuda. icra 1990: 1390-1395 [doi]
Software health managementAbhishek Dubey, Gabor Karsai. isse, 9(4):217, 2013. [doi]
1st International Conference on High Confidence Networked Systems (HiCoNS - at CPS Week 2012), HiCoNS '12, Beijing, China, April 17-18, 2012S. Shankar Sastry, Tamer Basar, Saurabh Amin, Gabor Karsai, editors, ACM, 2012. [doi]
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, 2015Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar, editors, Volume 1508 of CEUR Workshop Proceedings, CEUR-WS.org, 2015. [doi]
Vulnerability analysis of power systems based on cyber-attack and defense modelsSaqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos. isgt 2018: 1-5 [doi]
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networksWilliam Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale. CyPhy 2014: 44-47 [doi]
Discrete abstraction and supervisory control of switching systemsRong Su, Sherif Abdelwahed, Gabor Karsai, Gautam Biswas. SMC 2003: 415-421 [doi]
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy SystemsAjay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai. iccps 2016: 1 [doi]
The multigraph approach to parallel, distributed, structurally adaptive signal processingD. Mitch Wilkes, Lester E. Lynd Jr., Janos Sztipanovits, Gabor Karsai. icassp 1990: 2037-2040 [doi]
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROSPranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar. rsp 2015: 39-45 [doi]
The GDSE framework: a meta-tool for automated design space explorationTripti Saxena, Gabor Karsai. OOPSLA 2010: [doi]
Lessons Learned from Building a Graph Transformation SystemGabor Karsai. BIRTHDAY 2010: 202-223 [doi]
Building observers to address fault isolation and control problems in hybrid dynamic systemsSriram Narasimhan, Gautam Biswas, Gabor Karsai, Tal Pasternak, Feng Zhao. SMC 2000: 2393-2398 [doi]
Online stability validation using sector analysisJoseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits. emsoft 2010: 29-38 [doi]
Towards Model-Based Intent-Driven Adaptive SoftwareDaniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai. ISoLA 2021: 378-392 [doi]
Evolving Embedded SystemsGabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker. Computer, 43(5):34-40, 2010. [doi]
Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approachGraham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai. simulation, 88(2):217-232, 2012. [doi]
MDE-based approach for Generalizing Design Space ExplorationSaxena, Karsai. MoDELS 2010:

All Publications

Filter by Year

Filter by Type

Filter by Topic

Filter by Venue

Filter by Co-author

Filter by Top terms

Download

External Links

Profile Name

Statistics

Aliases

Researchr

Gabor Karsai's Profile

Unidentified Publications