Gabor Karsai

265 papers A* 2A 6B 19C 37Misc 9Journal 86Unranked 99
YearRankTypeTitle / Venue / Authors
2026 — conf
About Opportunities and Challenges in Model-Driven Engineering for Digital Twins - (Extended Abstract).
Modellierung
Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoît Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Muñoz Ariza, Alfonso Pierantonio, Fiona A. C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe
2025 J jnl
ESCORT: Efficient Stein-variational and Sliced Consistency-Optimized Temporal Belief Representation for POMDPs.
CoRR
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Gabor Karsai, Abhishek Dubey
2025 C conf
Hardware in the Loop Evaluation on Autonomous Underwater Vehicles using an Edge Device.
ISORC
Joseph Hite, Nagabhushan Mahadevan, Dániel Stojcsics, Gabor Karsai, Sandeep Neema, Roopa Vasan, Rachael Williams, Christian Clark, Alex Kilfoyle
2025 J jnl
Incorporating Ephemeral Traffic Waves in A Data-Driven Framework for Microsimulation in CARLA.
CoRR
Alex Richardson, Azhar Hasan, Gabor Karsai, Jonathan Sprinkle
2025 J jnl
Model-Driven Engineering for Digital Twins: Opportunities and Challenges.
Syst. Eng.
Judith Michael, Loek Cleophas, Steffen Zschaler, Tony Clark, Benoît Combemale, Thomas Godfrey, Djamel Eddine Khelladi, Vinay Kulkarni, Daniel Lehner, Bernhard Rumpe, Manuel Wimmer, Andreas Wortmann, Shaukat Ali, Balbir Barn, Ion Barosan, Nelly Bencomo, Francis Bordeleau, Georg Grossmann, Gabor Karsai, Oliver Kopp, Bernhard Mitschang, Paula Muñoz Ariza, Alfonso Pierantonio, Fiona A. C. Polack, Matthias Riebisch, Holger Schlingloff, Markus Stumptner, Antonio Vallecillo, Mark van den Brand, Hans Vangheluwe
2024 J jnl
An IoT-Based Framework for Distributed Generic Microgrid Controllers.
IEEE Trans. Control. Syst. Technol.
Hao Tu, Hui Yu, Yuhua Du, Scott Eisele, Xiaonan Lu, Gabor Karsai, Srdjan M. Lukic
2024 — conf
Formalizing Stateful Behavior Trees.
FMAS@iFM
Serena Serafina Serbinowska, Preston Robinette, Gabor Karsai, Taylor T. Johnson
2024 J jnl
Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS.
CoRR
Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai
2024 J jnl
On Simulation of Power Systems and Microgrid Components with SystemC-AMS.
CoRR
Rahul Bhadani, Satyaki Banik, Hao Tu, Srdjan M. Lukic, Gabor Karsai
2024 — conf
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue.
ICAA
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
2024 J jnl
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue.
CoRR
Yunuo Zhang, Baiting Luo, Ayan Mukhopadhyay, Dániel Stojcsics, Daniel Elenius, Anirban Roy, Susmit Jha, Miklos Maroti, Xenofon D. Koutsoukos, Gabor Karsai, Abhishek Dubey
2024 — conf
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework.
MoDELS (Companion)
Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai
2023 B conf
Distributed Control Application for Smart Grids using RIAPS.
SMARTCOMP
Purboday Ghosh, Niloy Barua, Timothy Krentz, Gabor Karsai, Abhishek Dubey, Srdjan M. Lukic
2023 C conf
Distributed Cyber Physical Systems Software Model Checking using Timed Automata.
ISORC
Purboday Ghosh, Gabor Karsai
2023 — conf
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems.
ICCPS
Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay
2023 J jnl
Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems.
CoRR
Baiting Luo, Shreyas Ramakrishna, Ava Pettet, Christopher B. Kuhn, Gabor Karsai, Ayan Mukhopadhyay
2023 Misc conf
Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams.
WSC
Rahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic
2022 — conf
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA.
ITSC
Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey
2022 J jnl
ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA.
CoRR
Shreyas Ramakrishna, Baiting Luo, Christopher B. Kuhn, Gabor Karsai, Abhishek Dubey
2022 — conf
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications.
COINS
Purboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic
2022 J jnl
An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications.
CoRR
Purboday Ghosh, Hao Tu, Timothy Krentz, Gabor Karsai, Srdjan M. Lukic
2022 — conf
Assurance Provenance: The Next Challenge in Software Documentation.
ISoLA (2)
Gabor Karsai, Daniel Balasubramanian
2022 J jnl
Efficient Out-of-Distribution Detection Using Latent Space of
ACM Trans. Cyber Phys. Syst.
Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
2022 C conf
Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems.
MODELSWARD
Gabor Karsai
2022 B conf
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications.
ICCCN
Purboday Ghosh, Shashank Shekhar, Yashen Lin, Ulrich Münz, Gabor Karsai
2022 — conf
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems.
ICAA
Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey
2022 J jnl
Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems.
CoRR
Shreyas Ramakrishna, Baiting Luo, Yogesh D. Barve, Gabor Karsai, Abhishek Dubey
2022 — conf
Syntheto: A Surface Language for APT and ACL2.
ACL2
Alessandro Coglio, Eric McCarthy, Stephen J. Westfold, Daniel Balasubramanian, Abhishek Dubey, Gabor Karsai
2021 — conf
Automated Method for Assurance Case Construction from System Design Models.
ICSRS
Charles Hartsell, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2021 J jnl
Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems.
CoRR
Shreyas Ramakrishna, Zahra RahimiNasab, Gabor Karsai, Arvind Easwaran, Abhishek Dubey
2021 J jnl
Fault-Adaptive Autonomy in Systems with Learning-Enabled Components.
Sensors
Dániel Stojcsics, Dimitrios Boursinos, Nagabhushan Mahadevan, Xenofon D. Koutsoukos, Gabor Karsai
2021 J jnl
Peer-to-Peer Communication Trade-Offs for Smart Grid Applications.
CoRR
Purboday Ghosh, Shashank Shekhar, Ulrich Münz, Gabor Karsai
2021 — conf
Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems.
MSCPES@CPSIoTWeek
Ajay Chhokra, Carlos A. Barreto, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos
2021 — conf
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
SEAMS@ICSE
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
2021 J jnl
ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems.
CoRR
Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dániel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai
2021 C conf
Towards Model-Based Intent-Driven Adaptive Software.
ISoLA
Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai
2020 C conf
A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems.
ACC
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Gabor Karsai
2020 J jnl
A Methodology for Automating Assurance Case Generation.
CoRR
Shreyas Ramakrishna, Charles Hartsell, Abhishek Dubey, Partha Pratim Pal, Gabor Karsai
2020 C conf
An Integrated Cyber-Physical Fault Management Approach.
ISORC
Purboday Ghosh, Gabor Karsai
2020 C conf
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge.
ICFEC
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey
2020 J jnl
Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge.
CoRR
Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey
2020 J jnl
Designing a decentralized fault-tolerant software framework for smart grids and its applications.
J. Syst. Archit.
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
2020 J jnl
Dynamic-weighted simplex strategy for learning enabled cyber physical systems.
J. Syst. Archit.
Shreyas Ramakrishna, Charles Hartsell, Matthew P. Burruss, Gabor Karsai, Abhishek Dubey
2020 — conf
Qualitative Fault Modeling in Safety Critical Cyber Physical Systems.
SAM
Ajay Chhokra, Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2020 J jnl
Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control.
IEEE Trans. Ind. Electron.
Hao Tu, Yuhua Du, Hui Yu, Abhishek Dubey, Srdjan M. Lukic, Gabor Karsai
2020 J jnl
URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services.
J. Syst. Archit.
Shashank Shekhar, Ajay Chhokra, Hongyang Sun, Aniruddha Gokhale, Abhishek Dubey, Xenofon D. Koutsoukos, Gabor Karsai
2020 J jnl
Workflow Automation for Cyber Physical System Development Processes.
CoRR
Charles Hartsell, Nagabhushan Mahadevan, Harmon Nine, Ted Bapty, Abhishek Dubey, Gabor Karsai
2019 — conf
A CPS toolchain for learning-based systems: demo abstract.
ICCPS
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Gabor Karsai
2019 C conf
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
ISORC
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
2019 J jnl
Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots.
CoRR
Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai
2019 B conf
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services.
IC2E
Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai
2019 J jnl
BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services.
CoRR
Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai
2019 C conf
CPS Design with Learning-Enabled Components: A Case Study.
RSP
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019 C conf
DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data.
ICMLA
Neelanjana Pal, Purboday Ghosh, Gabor Karsai
2019 C conf
DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots.
ISORC
Matthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey
2019 C conf
Demo: Transactive Energy Application with RIAPS.
ISORC
Scott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai
2019 J jnl
Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid.
IEEE Embed. Syst. Lett.
Abhishek Dubey, Gabor Karsai, Péter Völgyesi, Mary Metelko, István Madari, Hao Tu, Yuhua Du, Srdjan M. Lukic
2019 Misc conf
Dynamic symbolic execution for the analysis of web server applications in Java.
SAC
Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai
2019 — conf
Model-based design for CPS with learning-enabled components.
DESTION@CPSIoTWeek
Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai
2019 C conf
On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems.
ISORC
Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, István Madari, Péter Völgyesi, Gabor Karsai
2019 — conf
Practical Causal Models for Cyber-Physical Systems.
NFM
Amjad Ibrahim, Severin Kacianka, Alexander Pretschner, Charles Hartsell, Gabor Karsai
2019 C conf
Short Paper: Towards An Edge-Located Time-Series Database.
ISORC
Timothy Krentz, Abhishek Dubey, Gabor Karsai
2019 J jnl
TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids.
CoRR
Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik
2019 — conf
Towards Operational Use of Unit Manufacturing Process Models.
ICIT
Amogh Kulkarni, William Z. Bernstein, David Lechevalier, Daniel Balasubramanian, Peter Denno, Gabor Karsai
2018 B conf
A Cloud-Based Execution Framework for Program Analysis.
SEFM
Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Søe Luckow, Rody Kersten, Gabor Karsai
2018 — conf
From Modeling to Model-Based Programming.
ISoLA (1)
Gabor Karsai
2018 Misc conf
Integrated simulation testbed for security and resilience of CPS.
SAC
Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Péter Völgyesi, Janos Sztipanovits
2018 J jnl
SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems.
Proc. IEEE
Xenofon D. Koutsoukos, Gabor Karsai, Aron Laszka, Himanshu Neema, Bradley Potteiger, Péter Völgyesi, Yevgeniy Vorobeychik, Janos Sztipanovits
2018 B conf
TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids.
ICPADS
Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik
2018 — conf
Triggering Rowhammer Hardware Faults on ARM: A Revisit.
ASHES@CCS
Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai
2018 — conf
Vulnerability analysis of power systems based on cyber-attack and defense models.
ISGT
Saqib Hasan, Amin Ghafouri, Abhishek Dubey, Gabor Karsai, Xenofon D. Koutsoukos
2017 — conf
A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems.
SPSR-SG@CPSWeek
Ajay Chhokra, Amogh Kulkarni, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2017 — conf
A simulation testbed for cascade analysis.
ISGT
Saqib Hasan, Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai, Rishabh Jain, Srdjan M. Lukic
2017 J jnl
DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems.
CoRR
Abhishek Dubey, Gabor Karsai, Aniruddha S. Gokhale, William Emfinger, Pranav Srinivas Kumar
2017 — conf
Diagnostics and prognostics using temporal causal models for cyber physical energy systems.
ICCPS
Ajay Chhokra, Saqib Hasan, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2017 J jnl
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
CoRR
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William R. Otte
2017 C conf
RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems.
ISORC
Scott Eisele, István Madari, Abhishek Dubey, Gabor Karsai
2017 — conf
Resilience at the edge in cyber-physical systems.
FMEC
Abhishek Dubey, Gabor Karsai, Subhav Pradhan
2017 C conf
Time synchronization services for low-cost fog computing applications.
RSP
Péter Völgyesi, Abhishek Dubey, Timothy Krentz, István Madari, Mary Metelko, Gabor Karsai
2017 — conf
Timing analysis of a middleware-based system.
ARM@Middleware
Charles Hartsell, Gabor Karsai, Michael R. Lowry
2017 — conf
Towards an architecture for evaluating and analyzing decentralized Fog applications.
FWC
Scott Eisele, Geoffrey Pettet, Abhishek Dubey, Gabor Karsai
2017 — conf
Transactive energy demo with RIAPS platform.
ICCPS
Scott Eisele, Abhishek Dubey, Gabor Karsai, Srdjan M. Lukic
2016 — conf
Abstractions for Modeling Complex Systems.
ISoLA (2)
Zsolt Lattmann, Tamás Kecskés, Patrik Meijer, Gabor Karsai, Péter Völgyesi, Ákos Lédeczi
2016 J jnl
Achieving resilience in distributed software systems via self-reconfiguration.
J. Syst. Softw.
Subhav Pradhan, Abhishek Dubey, Tihamer Levendovszky, Pranav Srinivas Kumar, William Emfinger, Daniel Balasubramanian, William Otte, Gabor Karsai
2016 Misc conf
Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing.
SEC
William Emfinger, Abhishek Dubey, Péter Völgyesi, János Sallai, Gabor Karsai
2016 — conf
Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience.
ICCPS
Himanshu Neema, Péter Völgyesi, Bradley Potteiger, William Emfinger, Xenofon D. Koutsoukos, Gabor Karsai, Yevgeniy Vorobeychik, Janos Sztipanovits
2016 — conf
Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems.
ICCPS
Ajay Chhokra, Abhishek Dubey, Nagabhushan Mahadevan, Gabor Karsai
2015 C conf
A testbed to simulate and analyze resilient cyber-physical systems.
RSP
Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
2015 J jnl
DREMS ML: A wide spectrum architecture design language for distributed computing platforms.
Sci. Comput. Program.
Daniel Balasubramanian, Abhishek Dubey, William Otte, Tihamer Levendovszky, Aniruddha S. Gokhale, Pranav Srinivas Kumar, William Emfinger, Gabor Karsai
2015 — conf
Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems.
ISORC Workshops
Pranav Srinivas Kumar, Gabor Karsai
2015 — conf
Introduction to ACES-MB 2015.
ACES-MB&WUCOR@MoDELS
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober
2015 — ed.
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.
ACES-MB&WUCOR@MoDELS
Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober, Damiano Torre, Yvan Labiche, Marcela Genero, Maged Elaasar
2015 C conf
Modeling Network Medium Access Protocols for Network Quality of Service Analysis.
ISORC
William Emfinger, Gabor Karsai
2015 C conf
ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS.
RSP
Pranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar
2015 C conf
Towards an analysis-driven rapid design process for cyber-physical systems.
RSP
Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai
2015 J jnl
Using temporal causal models to isolate failures in power system protection devices.
IEEE Instrum. Meas. Mag.
Nagabhushan Mahadevan, Abhishek Dubey, Ajay Chhokra, Huangcheng Guo, Gabor Karsai
2014 C conf
A Rapid Testing Framework for a Mobile Cloud.
RSP
Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai
2014 J jnl
A co-simulation framework for design of time-triggered automotive cyber physical systems.
Simul. Model. Pract. Theory
Zhenkai Zhang, Emeka Eyisi, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
2014 J jnl
A semi-formal description of migrating domain-specific models with evolving domains.
Softw. Syst. Model.
Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Feng Shi, Christopher P. van Buskirk, Gabor Karsai
2014 — conf
Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks.
CyPhy
William Emfinger, Gabor Karsai, Abhishek Dubey, Aniruddha S. Gokhale
2014 — conf
Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications.
MoDeVVa@MoDELS
Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai
2014 J jnl
Design Guidelines for Domain Specific Languages.
CoRR
Gabor Karsai, Holger Krahn, Claas Pinkernell, Bernhard Rumpe, Martin Schindler, Steven Völkel
2014 J jnl
Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems.
IEEE Softw.
Tihamer Levendovszky, Abhishek Dubey, William Otte, Daniel Balasubramanian, Alessandro Coglio, Sandor Nyako, William Emfinger, Pranav Srinivas Kumar, Aniruddha S. Gokhale, Gabor Karsai
2014 C conf
Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems.
ISORC
Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte
2014 — conf
Domain Globalization: Using Languages to Support Technical and Social Coordination.
Globalizing Domain-Specific Languages
Julien Deantoni, Cédric Brun, Benoît Caillaud, Robert B. France, Gabor Karsai, Oscar Nierstrasz, Eugene Syriani
2014 J jnl
Metamodelling: State of the Art and Research Challenges.
CoRR
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai
2014 — conf
Taming Multi-Paradigm Integration in a Software Architecture Description Language.
MPM@MoDELS
Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai
2014 — conf
Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages.
GEMOC@MoDELS
Gabor Karsai
2013 — conf
A case study on the model-based design and integration of automotive cyber-physical systems.
MED
Di Shang, Emeka Eyisi, Zhenkai Zhang, Xenofon D. Koutsoukos, Joseph Porter, Gabor Karsai, Janos Sztipanovits
2013 J jnl
A newly introduced Industry Voice Column.
Softw. Syst. Model.
Tony Clark, Gabor Karsai, Roel J. Wieringa, Robert B. France, Bernhard Rumpe
2013 — conf
Co-simulation framework for design of time-triggered cyber physical systems.
ICCPS
Zhenkai Zhang, Joseph Porter, Emeka Eyisi, Gabor Karsai, Xenofon D. Koutsoukos, Janos Sztipanovits
2013 J jnl
Deliberative, search-based mitigation strategies for model-based software health management.
Innov. Syst. Softw. Eng.
Nagabhushan Mahadevan, Abhishek Dubey, Daniel Balasubramanian, Gabor Karsai
2013 C conf
F6COM: A component model for resource-constrained and dynamic space-based computing environments.
ISORC
William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen
2013 A conf
Polyglot: Systematic Analysis for Multiple Statechart Formalisms.
TACAS
Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry
2013 — ed.
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, 2013.
ACES-MB@MoDELS
Iulian Ober, Florian Noyrit, Susanne Graf, Gabor Karsai
2013 J jnl
Real-time fault tolerant deployment and configuration framework for cyber physical systems.
SIGBED Rev.
Subhav Pradhan, Aniruddha S. Gokhale, William Otte, Gabor Karsai
2013 J jnl
Software health management.
Innov. Syst. Softw. Eng.
Abhishek Dubey, Gabor Karsai
2013 J jnl
Towards a resilient deployment and configuration infrastructure for fractionated spacecraft.
SIGBED Rev.
Subhav Pradhan, William Otte, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai
2013 C conf
Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations.
SIMULTECH
Gergely Varga, Sara Toth, Christopher R. Iacovella, János Sallai, Péter Völgyesi, Ákos Lédeczi, Gabor Karsai, Peter T. Cummings
2012 C ed.
15th IEEE International Symposium on Object/Component/Service-Oriented Real-Time Distributed Computing, ISORC 2012, Shenzhen, China, April 11-13, 2012
ISORC
Chunming Hu, Gabor Karsai, Jie Xu, Andreas Polze, Ji Wang, Andy J. Wellings
2012 — ed.
1st International Conference on High Confidence Networked Systems (HiCoNS - at CPS Week 2012), HiCoNS '12, Beijing, China, April 17-18, 2012
HiCoNS
S. Shankar Sastry, Tamer Basar, Saurabh Amin, Gabor Karsai
2012 C conf
Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode.
ISORC
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2012 — conf
Component-based modeling of dynamic systems using heterogeneous composition.
MPM@MoDELS
Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai
2012 — conf
Evolution in a context of an model-integrated tool environment.
ME@MoDELS
Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai
2012 — conf
Integrating Statechart Components in Polyglot.
NASA Formal Methods
Daniel Balasubramanian, Corina S. Pasareanu, Jason Biatek, Thomas Pressburger, Gabor Karsai, Michael R. Lowry, Michael W. Whalen
2012 J jnl
Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach.
Simul.
Graham Hemingway, Himanshu Neema, Harmon Nine, Janos Sztipanovits, Gabor Karsai
2012 B conf
Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation.
SRDS
Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan
2012 J jnl
Toward a Science of Cyber-Physical System Integration.
Proc. IEEE
Janos Sztipanovits, Xenofon D. Koutsoukos, Gabor Karsai, Nicholas Kottenstette, Panos J. Antsaklis, Vijay Gupta, Bill Goodwine, John S. Baras, Shige Wang
2011 — conf
A Meta-Framework for Design Space Exploration.
ECBS
Tripti Saxena, Gabor Karsai
2011 J jnl
A component model for hard real-time systems: CCM with ARINC-653.
Softw. Pract. Exp.
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
2011 A conf
Application of software health management techniques.
SEAMS
Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai
2011 J jnl
Challenges and directions in formalizing the semantics of modeling languages.
Comput. Sci. Inf. Syst.
Barrett R. Bryant, Jeff Gray, Marjan Mernik, Peter J. Clarke, Robert B. France, Gabor Karsai
2011 — conf
Managing the quality of software product line architectures through reusable model transformations.
QoSA/ISARCS
Amogh Kavimandan, Aniruddha S. Gokhale, Gabor Karsai, Jeff Gray
2011 — ed.
Model-Based Engineering of Embedded Real-Time Systems - International Dagstuhl Workshop, Dagstuhl Castle, Germany, November 4-9, 2007. Revised Selected Papers
Model-Based Engineering of Embedded Real-Time Systems
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2011 A conf
Polyglot: modeling and analysis for multiple Statechart formalisms.
ISSTA
Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry
2011 C conf
Rapid property specification and checking for model-based formalisms.
International Symposium on Rapid System Prototyping
Daniel Balasubramanian, Gábor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger
2010 C conf
A Real-Time Component Framework: Experience with CCM and ARINC-653.
ISORC
Abhishek Dubey, Gabor Karsai, Róbert Kereskényi, Nagabhushan Mahadevan
2010 — conf
A transformation instance-based approach to traceability.
ECMFA-TW
Tihamer Levendovszky, Daniel Balasubramanian, Kevin Smyth, Feng Shi, Gabor Karsai
2010 J jnl
An Active Pattern Infrastructure for Domain-Specific Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tihamer Levendovszky, Gabor Karsai
2010 C conf
Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis.
International Symposium on Rapid System Prototyping
Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits
2010 J jnl
Evolving Embedded Systems.
Computer
Gabor Karsai, Fabio Massacci, Leon J. Osterweil, Ina Schieferdecker
2010 — conf
Fault-Adaptivity in Hard Real-Time Component-Based Software Systems.
Software Engineering for Self-Adaptive Systems
Abhishek Dubey, Gabor Karsai, Nagabhushan Mahadevan
2010 — conf
Lessons Learned from Building a Graph Transformation System.
Graph Transformations and Model-Driven Engineering
Gabor Karsai
2010 — conf
MDE-Based Approach for Generalizing Design Space Exploration.
MoDELS (1)
Tripti Saxena, Gabor Karsai
2010 Misc conf
Online stability validation using sector analysis.
EMSOFT
Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits
2010 B conf
Reusing Model Transformations While Preserving Properties.
FASE
Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai
2010 C conf
SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-Hoc Networks.
DS-RT
Himanshu Neema, Anand Kashyap, Róbert Kereskényi, Yuan Xue, Gabor Karsai
2010 — conf
Software Engineering for Self-Adaptive Systems: A Second Research Roadmap.
Software Engineering for Self-Adaptive Systems
Rogé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, Ronald J. 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
2010 — conf
Software Engineering for Self-Adaptive Systems: A second Research Roadmap.
Software Engineering for Self-Adaptive Systems
Rogé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
2010 — conf
The GDSE framework: a meta-tool for automated design space exploration.
DSM@SPLASH
Tripti Saxena, Gabor Karsai
2010 — conf
Towards Practical Runtime Verification and Validation of Self-Adaptive Software Systems.
Software Engineering for Self-Adaptive Systems
Gabriel 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
2010 C conf
Towards a Generic Design Space Exploration Framework.
CIT
Tripti Saxena, Gabor Karsai
2009 B conf
A Novel Approach to Semi-automated Evolution of DSML Model Transformation.
SLE
Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai
2009 C conf
An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software.
IEEE International Workshop on Rapid System Prototyping
Joseph Porter, Péter Völgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits
2009 A conf
Automatic Domain Model Migration to Manage Metamodel Evolution.
MoDELS
Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai
2009 C conf
Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems.
ISORC
Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed
2009 C conf
Model based integration and experimentation of Information Fusion and C2 Systems.
FUSION
Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai
2009 J jnl
Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models.
IEEE Trans. Instrum. Meas.
Sherif Abdelwahed, Gabor Karsai, Nagabhushan Mahadevan, Stanley C. Ofsthun
2009 J jnl
Preface.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tihamer Levendovszky, László Lengyel, Gabor Karsai, Cécile Hardebolle
2009 — conf
Recent Advances in Multi-paradigm Modeling.
MoDELS (Workshops)
Vasco Amaral, Cécile Hardebolle, Gabor Karsai, László Lengyel, Tihamer Levendovszky
2009 — conf
Software Engineering for Self-Adaptive Systems: A Research Roadmap.
Software Engineering for Self-Adaptive Systems
Betty H. C. Cheng, Rogério de Lemos, Holger Giese, Paola Inverardi, Jeff Magee, Jesper Andersson, Basil Becker, Nelly Bencomo, Yuriy Brun, Bojan Cukic, Giovanna Di Marzo Serugendo, Schahram Dustdar, Anthony Finkelstein, Cristina Gacek, Kurt Geihs, Vincenzo Grassi, Gabor Karsai, Holger M. Kienle, Jeff Kramer, Marin Litoiu, Sam Malek, Raffaela Mirandola, Hausi A. Müller, Sooyong Park, Mary Shaw, Matthias Tichy, Massimo Tivoli, Danny Weyns, Jon Whittle
2009 Misc conf
Towards a time-triggered schedule calculation tool to support model-based embedded software design.
EMSOFT
Joseph Porter, Gabor Karsai, Janos Sztipanovits
2008 J jnl
A testbed for secure and robust SCADA systems.
SIGBED Rev.
Annarita Giani, Gabor Karsai, Tanya G. Roosta, Aakash Shah, Bruno Sinopoli, Jon Wiley
2008 — conf
DSLs: the good, the bad, and the ugly.
OOPSLA Companion
Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen
2008 C conf
Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems.
ISORC
Amogh Kavimandan, Anantha Narayanan, Aniruddha S. Gokhale, Gabor Karsai
2008 — conf
High precision automatic scheduling of periodic task sets for microcontrollers.
ACM Southeast Regional Conference
Benjamin Ness, Gabor Karsai
2008 — conf
Model-Integrated Development of Cyber-Physical Systems.
SEUS
Gabor Karsai, Janos Sztipanovits
2008 J jnl
Model-driven architecture for embedded software: A synopsis and an example.
Sci. Comput. Program.
Gabor Karsai, Sandeep Neema, David Sharp
2008 — ed.
Proceedings of the Third International Workshop on Graph and Model Transformations, GRaMoT '08, Leipzig, Germany, May 12, 2008
GRaMoT@ICSE
Gabor Karsai, Gabriele Taentzer
2008 — conf
Specifying the correctness properties of model transformations.
GRaMoT@ICSE
Anantha Narayanan, Gabor Karsai
2008 — conf
Third international workshop on graph and model transformations.
ICSE Companion
Gabor Karsai, Gabriele Taentzer
2008 — conf
Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation.
MoDELS (Workshops)
Joseph Porter, Gabor Karsai, Péter Völgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits
2008 J jnl
Verifying Model Transformations by Structural Correspondence.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Anantha Narayanan, Gabor Karsai
2007 — conf
07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems.
Model-Based Engineering of Embedded Real-Time Systems
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007 — conf
07451 Summary - Model-Based Engineering of Embedded Real-Time Systems.
Model-Based Engineering of Embedded Real-Time Systems
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007 J jnl
A Subgraph Operator for Graph Transformation Languages.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Feng Shi, Ryan Thibodeaux, Gabor Karsai
2007 — conf
Applying a Grouping Operator in Model Transformations.
AGTIVE
Daniel Balasubramanian, Anantha Narayanan, Sandeep Neema, Benjamin Ness, Feng Shi, Ryan Thibodeaux, Gabor Karsai
2007 J jnl
Embedded systems security co-design.
SIGBED Rev.
Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi
2007 — conf
Integrating Security Modeling into Embedded System Design.
ECBS
Matthew Eby, Jan Werner, Gabor Karsai, Ákos Lédeczi
2007 — conf
Metamodelling - State of the Art and Research Challenges.
Model-Based Engineering of Embedded Real-Time Systems
Jonathan Sprinkle, Bernhard Rumpe, Hans Vangheluwe, Gabor Karsai
2007 — ed.
Model-Based Engineering of Embedded Real-Time Systems, 4.11. - 9.11.2007
Model-Based Engineering of Embedded Real-Time Systems
Holger Giese, Gabor Karsai, Edward Lee, Bernhard Rumpe, Bernhard Schätz
2007 — conf
The Model-Integrated Computing Tool Suite.
Model-Based Engineering of Embedded Real-Time Systems
Janos Sztipanovits, Gabor Karsai, Sandeep Neema, Ted Bapty
2007 J jnl
Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems.
Innov. Syst. Softw. Eng.
Abhishek Dubey, Steven Nordstrom, Turker Keskinpala, Sandeep Neema, Ted Bapty, Gabor Karsai
2006 — conf
An Examination of Criticality-Sensitive Approaches to Coordination.
AAAI Spring Symposium: Distributed Plan and Schedule Management
Pedro 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
2006 A conf
CSC: Criticality-Sensitive Coordination.
AAMAS
Pedro A. Szekely, Marcel Becker, Stephen Fitzpatrick, Gergely Gati, Dávid Hanák, Jing Jin, Gabor Karsai, Rajiv T. Maheswaran, Robert Neches, Craig Milo Rogers, Romeo Sanchez, Christopher P. van Buskirk
2006 — conf
Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment.
MDB/MOMPES
Eric-Jan Manders, Gautam Biswas, Nagabhushan Mahadevan, Gabor Karsai
2006 J jnl
Developing Applications Using Model-Driven Design Environments.
Computer
Krishnakumar Balasubramanian, Aniruddha S. Gokhale, Gabor Karsai, Janos Sztipanovits, Sandeep Neema
2006 — conf
Model Transformations in the Model-Based Development of Real-time Systems.
ECBS
Tivadar Szemethy, Gabor Karsai, Daniel Balasubramanian
2006 — conf
On the Correctness of Model Transformations in the Development of Embedded Systems.
Monterey Workshop
Gabor Karsai, Anantha Narayanan
2006 J jnl
PML: a Transformation Language for Platform Modeling.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Tivadar Szemethy, Gabor Karsai
2006 J jnl
Preface to GraMoT 2006 Workshop Proceedings.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Gabor Karsai, Gabriele Taentzer
2006 — ed.
Proceedings of the International Workshop on Graph and Model Transformation, GraMoT@GPCE 2005, Tallinn, Estonia, September 28, 2005
GraMoT@GPCE
Gabor Karsai, Gabriele Taentzer
2006 J jnl
The Graph Rewriting and Transformation Language: GReAT.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Daniel Balasubramanian, Anantha Narayanan, Christopher P. van Buskirk, Gabor Karsai
2006 J jnl
The design of a language for model transformations.
Softw. Syst. Model.
Aditya Agrawal, Gabor Karsai, Sandeep Neema, Feng Shi, Attila Vizhanyo
2006 — conf
Towards Verification of Model Transformations Via Goal-Directed Certification.
ASWSD
Gabor Karsai, Anantha Narayanan
2006 — conf
Towards Verifying Model Transformations.
GT-VMT@ETAPS
Anantha Narayanan, Gabor Karsai
2006 J jnl
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations.
Electron. Commun. Eur. Assoc. Softw. Sci. Technol.
Anantha Narayanan, Gabor Karsai
2005 B conf
A Visually-Specified Code Generator for Simulink/Stateflow.
VL/HCC
Sandeep Neema, Zsolt Kalmar, Feng Shi, Attila Vizhanyo, Gabor Karsai
2005 — conf
Applying a Model Transformation Taxonomy to Graph Transformation Technology.
GRaMoT@GPCE
Tom Mens, Pieter Van Gorp, Dániel Varró, Gabor Karsai
2005 J jnl
Design patterns for open tool integration.
Softw. Syst. Model.
Gabor Karsai, Andras Lang, Sandeep Neema
2005 — conf
Improving the Usability of a Graph Transformation Language.
GRaMoT@GPCE
Attila Vizhanyo, Sandeep Neema, Feng Shi, Daniel Balasubramanian, Gabor Karsai
2005 J jnl
Introducing embedded software and systems education and advanced learning technology in an engineering curriculum.
ACM Trans. Embed. Comput. Syst.
Janos Sztipanovits, Gautam Biswas, Ken Frampton, Aniruddha S. Gokhale, Larry Howard, Gabor Karsai, Tak-John Koo, Xenofon D. Koutsoukos, Douglas C. Schmidt
2005 — conf
Preface.
GRaMoT@GPCE
Gabor Karsai, Gabriele Taentzer
2005 C conf
Robust state-based supervisory control of discrete event systems.
CCA
Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
2004 J jnl
A domain-specific visual language for domain model evolution.
J. Vis. Lang. Comput.
Jonathan Sprinkle, Gabor Karsai
2004 A conf
Automatic Verification of Component-Based Real-Time CORBA Applications.
RTSS
Gabor Madl, Sherif Abdelwahed, Gabor Karsai
2004 — conf
Automotive Software: A Challenge and Opportunity for Model-Based Software Development.
ASWSD
Gabor Karsai
2004 J jnl
Composition and cloning in modeling and meta-modeling.
IEEE Trans. Control. Syst. Technol.
Gabor Karsai, Miklós Maróti, Ákos Lédeczi, Jeff Gray, Janos Sztipanovits
2004 B ed.
Generative Programming and Component Engineering: Third International Conference, GPCE 2004, Vancouver, Canada, October 24-28, 2004. Proceedings
GPCE
Gabor Karsai, Eelco Visser
2004 J jnl
Platform Modeling and Model Transformations for Analysis.
J. Univers. Comput. Sci.
Tivadar Szemethy, Gabor Karsai
2004 — conf
Reusable Idioms and Patterns in Graph Transformation Languages.
GraBaTs
Aditya Agrawal, Attila Vizhanyo, Zsolt Kalmar, Feng Shi, Anantha Narayanan, Gabor Karsai
2004 — conf
Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations.
GT-VMT@ETAPS
Aditya Agrawal, Gyula Simon, Gabor Karsai
2004 — conf
Software for Automotive Systems: Model-Integrated Computing.
ASWSD
Sandeep Neema, Gabor Karsai
2004 — conf
Synthesis of robust task schedules for minimum disruption repair.
SMC (6)
Nagarajan Kandasamy, Dávid Hanák, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai
2003 — conf
An Examination of DSLs for Concisely Representing Model Traversals and Transformations.
HICSS
Jeff Gray, Gabor Karsai
2003 — conf
An end-to-end domain-driven software development framework.
OOPSLA Companion
Aditya Agrawal, Gabor Karsai, Ákos Lédeczi
2003 Misc conf
Constraint-Based Design-Space Exploration and Model Synthesis.
EMSOFT
Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts
2003 B conf
Discrete abstraction and supervisory control of switching systems.
SMC
Rong Su, Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
2003 — conf
Domain Model Translation Using Graph Transformations.
ECBS
Jonathan Sprinkle, Aditya Agrawal, Tihamer Levendovszky, Feng Shi, Gabor Karsai
2003 — conf
Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk).
AGTIVE
Gabor Karsai, Aditya Agrawal
2003 J jnl
Model-integrated development of embedded software.
Proc. IEEE
Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Ted Bapty
2003 J jnl
On the Use of Graph Transformation in the Formal Specification of Model Interpreters.
J. Univers. Comput. Sci.
Gabor Karsai, Aditya Agrawal, Feng Shi, Jonathan Sprinkle
2002 B conf
Generative Programming for Embedded Systems.
GPCE
Janos Sztipanovits, Gabor Karsai
2002 C conf
Generative programming for embedded systems.
PPDP
Janos Sztipanovits, Gabor Karsai
2002 B conf
Model Reuse with Metamodel-Based Transformations.
ICSR
Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, Ákos Lédeczi, Hassan Charaf
2002 — conf
Online safety control of a class of hybrid systems.
CDC
Sherif Abdelwahed, Gabor Karsai, Gautam Biswas
2001 — conf
An Approach to Self-adaptive Software Based on Supervisory Control.
IWSAS
Gabor Karsai, Ákos Lédeczi, Janos Sztipanovits, Gábor Péceli, Gyula Simon, Tamás Kovácsházy
2001 J jnl
Composing Domain-Specific Design Environments.
Computer
Ákos Lédeczi, Arpad Bakay, Miklos Maroti, Péter Völgyesi, Greg Nordstrom, Jonathan Sprinkle, Gabor Karsai
2001 Misc conf
Embedded Software: Challenges and Opportunities.
EMSOFT
Janos Sztipanovits, Gabor Karsai
2001 — conf
Fault-Adaptive Control: A CBS Application.
ECBS
Gabor Karsai, Gautam Biswas, Tal Pasternak, Sriram Narasimhan, Gábor Péceli, Gyula Simon, Tamás Kovácsházy
2001 — conf
The New Metamodeling Generation.
ECBS
Jonathan Sprinkle, Ákos Lédeczi, Gabor Karsai, Greg Nordstrom
2000 B conf
Building observers to address fault isolation and control problems in hybrid dynamic systems.
SMC
Sriram Narasimhan, Gautam Biswas, Gabor Karsai, Tal Pasternak, Feng Zhao
2000 — conf
Design Tool Integration: An Exercise in Semantic Interoperability.
ECBS
Gabor Karsai
2000 J jnl
Model integrated computing (MIC).
ACM SIGSOFT Softw. Eng. Notes
Gabor Karsai
2000 B conf
Modeling agent negotiation.
SMC
Jonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai
2000 J jnl
Towards Two-Level Formal Modeling of Computer-Based Systems.
J. Univers. Comput. Sci.
Gabor Karsai, Greg Nordstrom, Ákos Lédeczi, Janos Sztipanovits
1999 J jnl
A model-based approach to self-adaptive software.
IEEE Intell. Syst.
Gabor Karsai, Janos Sztipanovits
1999 — conf
Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing.
ICEIS
Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi
1999 — conf
Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments.
ECBS
Greg Nordstrom, Janos Sztipanovits, Gabor Karsai, Ákos Lédeczi
1999 — conf
Metaprogrammable Toolkit for Model-Integrated Computing.
ECBS
Ákos Lédeczi, Miklos Maroti, Gabor Karsai, Greg Nordstrom
1999 — conf
Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges.
ECBS
Amit Misra, Janos Sztipanovits, Gabor Karsai, Michael Moore, Ákos Lédeczi, Earl Long
1999 — conf
Structured Specification of Model Interpreters.
ECBS
Gabor Karsai
1998 B conf
A generic and symbolic model-based diagnostic reasoner with highly scalable properties.
SMC
Amit Misra, Gregory M. Provan, Gabor Karsai, George Bloor, Ethan Scarl
1998 J jnl
Self-Adaptive Software for Signal Processing.
Commun. ACM
Janos Sztipanovits, Gabor Karsai, Ted Bapty
1997 — conf
A model-integrated information system for increasing throughput in discrete manufacturing.
ECBS
Amit Misra, Gabor Karsai, Janos Sztipanovits, Ákos Lédeczi, Michael Moore, Earl Long
1997 J jnl
Model-Integrated Computing.
Computer
Janos Sztipanovits, Gabor Karsai
1997 — conf
Model-Integrated Programming.
HICSS (1)
Hubertus Franke, Janos Sztipanovits, Gabor Karsai
1997 B conf
Model-integrated system development: models, architecture, and process.
COMPSAC
Gabor Karsai, Amit Misra, Janos Sztipanovits, Ákos Lédeczi, Michael Moore
1996 — conf
Model-Integrated Program Synthesis Environment.
ECBS
Janos Sztipanovits, Gabor Karsai, Hubertus Franke
1995 J jnl
A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming.
Computer
Gabor Karsai
1995 B conf
MULTIGRAPH: an architecture for model-integrated computing.
ICECCS
Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, Ákos Lédeczi, Amit Misra
1995 B conf
Model-embedded on-line problem solving environment for chemical engineering.
ICECCS
Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria
1995 J jnl
Modeling Paradigm for Parallel Signal Processing.
Aust. Comput. J.
Ákos Lédeczi, Ted Bapty, Gabor Karsai, Janos Sztipanovits
1994 — conf
Model-Based Programming for Parallel Image Processing.
ICIP (3)
Michael S. Moore, Gabor Karsai, Janos Sztipanovits
1993 J jnl
Model-Based Software Synthesis.
IEEE Softw.
Ben Abbott, Ted Bapty, Csaba Biegl, Gabor Karsai, Janos Sztipanovits
1993 J jnl
Parallel DSP system integration.
Microprocess. Microsystems
Ákos Lédeczi, Ben Abbott, Csaba Biegl, Ted Bapty, Gabor Karsai, Janos Sztipanovits
1993 J jnl
The multigraph and structural adaptivity.
IEEE Trans. Signal Process.
Janos Sztipanovits, D. Mitchell Wilkes, Gabor Karsai, Csaba Biegl, Lester E. Lynd Jr.
1992 J jnl
Model-Based Intelligent Process Control for Cogenerator Plants.
J. Parallel Distributed Comput.
Gabor Karsai, Janos Sztipanovits, Samir Padalkar, Csaba Biegl
1992 J jnl
Neural network methods for the modeling and control of welding processes.
J. Intell. Manuf.
Gabor Karsai, Kristinn Andersen, George E. Cook, Robert Joel Barnett
1991 J jnl
Real-Time Fault Diagnostics.
IEEE Expert
Samir Padalkar, Gabor Karsai, Csaba Biegl, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka
1991 A* conf
Real-time fault diagnostics with multiple aspect models.
ICRA
Samir Padalkar, Gabor Karsai, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka
1990 A* conf
Intelligent monitoring and diagnostics for plant automation.
ICRA
Janos Sztipanovits, Gabor Karsai, Samir Padalkar, Csaba Biegl, Nobuji Miyasaka, Koji Okuda
1990 Misc conf
The multigraph approach to parallel, distributed, structurally adaptive signal processing.
ICASSP
D. Mitch Wilkes, Lester E. Lynd Jr., Janos Sztipanovits, Gabor Karsai
1988 J jnl
Gas tungsten ARC weld modeling using a mapping network.
Neural Networks
Gabor Karsai, Kristinn Andersen, Kumar Ramaswamy, George E. Cook
1988 J jnl
Graph model-based approach to the representation, interpretation, and execution of signal processing systems.
Int. J. Intell. Syst.
Janos Sztipanovits, Gabor Karsai, Csaba Biegl