| 2026 | SmartComp | Natural Language Driven Multi-Object Tracking via Joint Spatial, Visual, and Semantic Association. | Azhar Hasan, Alex Richardson, Gabor Karsai |
| 2025 | ISORC | Hardware in the Loop Evaluation on Autonomous Underwater Vehicles using an Edge Device. | Joseph Hite, Nagabhushan Mahadevan, Dniel Stojcsics, Gabor Karsai, Sandeep Neema, Roopa Vasan, Rachael Williams, Christian Clark, Alex Kilfoyle |
| 2024 | MODELS | Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. | Patrik Meijer, Nag Mahadevan, Mark Wutka, Gabor Karsai |
| 2023 | ISORC | Distributed Cyber Physical Systems Software Model Checking using Timed Automata. | Purboday Ghosh, Gabor Karsai |
| 2023 | WSC | Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams. | Rahul Bhadani, Gabor Karsai, Hao Tu, Srdjan M. Lukic |
| 2023 | SmartComp | Distributed Control Application for Smart Grids using RIAPS. | Purboday Ghosh, Niloy Barua, Timothy Krentz, Gabor Karsai, Abhishek Dubey, Srdjan M. Lukic |
| 2022 | ICCCN | Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. | Purboday Ghosh, Shashank Shekhar, Yashen Lin, Ulrich Mnz, Gabor Karsai |
| 2022 | ISoLA | Assurance Provenance: The Next Challenge in Software Documentation. | Gabor Karsai, Daniel Balasubramanian |
| 2022 | MODELSWARD | Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems. | Gabor Karsai |
| 2021 | ISoLA | Towards Model-Based Intent-Driven Adaptive Software. | Daniel Balasubramanian, Alessandro Coglio, Abhishek Dubey, Gabor Karsai |
| 2021 | SEAMS | ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. | Charles Hartsell, Shreyas Ramakrishna, Abhishek Dubey, Dniel Stojcsics, Nagabhushan Mahadevan, Gabor Karsai |
| 2020 | ICFEC | Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge. | Anirban Bhattacharjee, Ajay Dev Chhokra, Hongyang Sun, Shashank Shekhar, Aniruddha Gokhale, Gabor Karsai, Abhishek Dubey |
| 2020 | ISORC | An Integrated Cyber-Physical Fault Management Approach. | Purboday Ghosh, Gabor Karsai |
| 2019 | IC2E | BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services. | Anirban Bhattacharjee, Ajay Dev Chhokra, Zhuangwei Kang, Hongyang Sun, Aniruddha Gokhale, Gabor Karsai |
| 2019 | ICMLA | DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data. | Neelanjana Pal, Purboday Ghosh, Gabor Karsai |
| 2019 | ISORC | DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots. | Matthew P. Burruss, Shreyas Ramakrishna, Gabor Karsai, Abhishek Dubey |
| 2019 | ISORC | Demo: Transactive Energy Application with RIAPS. | Scott Eisele, Purboday Ghosh, Keegan Campanelli, Abhishek Dubey, Gabor Karsai |
| 2019 | ISORC | On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems. | Purboday Ghosh, Scott Eisele, Abhishek Dubey, Mary Metelko, Istvn Madari, Pter Vlgyesi, Gabor Karsai |
| 2019 | ISORC | Short Paper: Towards An Edge-Located Time-Series Database. | Timothy Krentz, Abhishek Dubey, Gabor Karsai |
| 2019 | ISORC | Augmenting Learning Components for Safety in Resource Constrained Autonomous Robots. | Shreyas Ramakrishna, Abhishek Dubey, Matthew P. Burruss, Charles Hartsell, Nagabhushan Mahadevan, Saideep Nannapaneni, Aron Laszka, Gabor Karsai |
| 2019 | SAC | Dynamic symbolic execution for the analysis of web server applications in Java. | Daniel Balasubramanian, Zhenkai Zhang, Dan McDermet, Gabor Karsai |
| 2019 | RSP | CPS Design with Learning-Enabled Components: A Case Study. | Charles Hartsell, Nagabhushan Mahadevan, Shreyas Ramakrishna, Abhishek Dubey, Theodore Bapty, Taylor T. Johnson, Xenofon D. Koutsoukos, Janos Sztipanovits, Gabor Karsai |
| 2018 | CCS | Triggering Rowhammer Hardware Faults on ARM: A Revisit. | Zhenkai Zhang, Zihao Zhan, Daniel Balasubramanian, Xenofon D. Koutsoukos, Gabor Karsai |
| 2018 | ICPADS | TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids. | Aron Laszka, Scott Eisele, Abhishek Dubey, Gabor Karsai, Karla Kvaternik |
| 2018 | ISoLA | From Modeling to Model-Based Programming. | Gabor Karsai |
| 2018 | SAC | Integrated simulation testbed for security and resilience of CPS. | Himanshu Neema, Bradley Potteiger, Xenofon D. Koutsoukos, Gabor Karsai, Pter Vlgyesi, Janos Sztipanovits |
| 2018 | SEFM | A Cloud-Based Execution Framework for Program Analysis. | Daniel Balasubramanian, Dmitriy Kostyuchenko, Kasper Se Luckow, Rody Kersten, Gabor Karsai |
| 2017 | ISORC | RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems. | Scott Eisele, Istvn Madari, Abhishek Dubey, Gabor Karsai |
| 2017 | Middleware | Timing analysis of a middleware-based system. | Charles Hartsell, Gabor Karsai, Michael R. Lowry |
| 2017 | RSP | Time synchronization services for low-cost fog computing applications. | Pter Vlgyesi, Abhishek Dubey, Timothy Krentz, Istvn Madari, Mary Metelko, Gabor Karsai |
| 2016 | ISoLA | Abstractions for Modeling Complex Systems. | Zsolt Lattmann, Tams Kecsks, Patrik Meijer, Gabor Karsai, Pter Vlgyesi, kos Ldeczi |
| 2015 | ISORC | Modeling Network Medium Access Protocols for Network Quality of Service Analysis. | William Emfinger, Gabor Karsai |
| 2015 | ISORC | Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. | Pranav Srinivas Kumar, Gabor Karsai |
| 2015 | MODELS | Introduction to ACES-MB 2015. | Iulia Dragomir, Susanne Graf, Gabor Karsai, Florian Noyrit, Iulian Ober |
| 2015 | RSP | A testbed to simulate and analyze resilient cyber-physical systems. | Pranav Srinivas Kumar, William Emfinger, Gabor Karsai |
| 2015 | RSP | ROSMOD: a toolsuite for modeling, generating, deploying, and managing distributed real-time component-based software using ROS. | Pranav Srinivas Kumar, William Emfinger, Amogh Kulkarni, Gabor Karsai, Dexter Watkins, Benjamin Gasser, Cameron Ridgewell, Amrutur Anilkumar |
| 2015 | RSP | Towards an analysis-driven rapid design process for cyber-physical systems. | Zsolt Lattmann, James Klingler, Patrik Meijer, Jason Scott, Sandeep Neema, Ted Bapty, Gabor Karsai |
| 2014 | ISORC | Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. | Gabor Karsai, Daniel Balasubramanian, Abhishek Dubey, William Otte |
| 2014 | MODELS | Taming Multi-Paradigm Integration in a Software Architecture Description Language. | Daniel Balasubramanian, Tihamer Levendovszky, Abhishek Dubey, Gabor Karsai |
| 2014 | MODELS | Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages. | Gabor Karsai |
| 2014 | MODELS | Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. | Pranav Srinivas Kumar, Abhishek Dubey, Gabor Karsai |
| 2014 | RSP | A Rapid Testing Framework for a Mobile Cloud. | Daniel Balasubramanian, Abhishek Dubey, William R. Otte, William Emfinger, Pranav Srinivas Kumar, Gabor Karsai |
| 2013 | ISORC | F6COM: A component model for resource-constrained and dynamic space-based computing environments. | William Otte, Abhishek Dubey, Subhav Pradhan, Prithviraj Patil, Aniruddha S. Gokhale, Gabor Karsai, Johnny Willemsen |
| 2013 | SIMULTECH | Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations. | Gergely Varga, Sara Toth, Christopher R. Iacovella, Jnos Sallai, Pter Vlgyesi, kos Ldeczi, Gabor Karsai, Peter T. Cummings |
| 2013 | TACAS | Polyglot: Systematic Analysis for Multiple Statechart Formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Gabor Karsai, Michael R. Lowry |
| 2012 | ISORC | Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode. | Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai |
| 2012 | MODELS | Component-based modeling of dynamic systems using heterogeneous composition. | Zsolt Lattmann, Adam Nagel, Tihamer Levendovszky, Ted Bapty, Sandeep Neema, Gabor Karsai |
| 2012 | MODELS | Evolution in a context of an model-integrated tool environment. | Tihamer Levendovszky, Kevin Smyth, Daniel Balasubramanian, Feng Shi, Gabor Karsai |
| 2012 | SRDS | Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation. | Akshay Dabholkar, Abhishek Dubey, Aniruddha S. Gokhale, Gabor Karsai, Nagabhushan Mahadevan |
| 2011 | ICSE | Application of software health management techniques. | Nagabhushan Mahadevan, Abhishek Dubey, Gabor Karsai |
| 2011 | ISSTA | Polyglot: modeling and analysis for multiple Statechart formalisms. | Daniel Balasubramanian, Corina S. Pasareanu, Michael W. Whalen, Gabor Karsai, Michael R. Lowry |
| 2011 | RSP | Rapid property specification and checking for model-based formalisms. | Daniel Balasubramanian, Gbor Pap, Harmon Nine, Gabor Karsai, Michael R. Lowry, Corina S. Pasareanu, Thomas Pressburger |
| 2010 | EMSOFT | Online stability validation using sector analysis. | Joseph Porter, Graham Hemingway, Nicholas Kottenstette, Gabor Karsai, Janos Sztipanovits |
| 2010 | FASE | Reusing Model Transformations While Preserving Properties. | Ethan K. Jackson, Wolfram Schulte, Daniel Balasubramanian, Gabor Karsai |
| 2010 | ISORC | A Real-Time Component Framework: Experience with CCM and ARINC-653. | Abhishek Dubey, Gabor Karsai, Rbert Keresknyi, Nagabhushan Mahadevan |
| 2010 | MODELS | MDE-Based Approach for Generalizing Design Space Exploration. | Tripti Saxena, Gabor Karsai |
| 2010 | OOPSLA | The GDSE framework: a meta-tool for automated design space exploration. | Tripti Saxena, Gabor Karsai |
| 2010 | RSP | Automated synthesis of Time-Triggered Architecture-based TrueTime models for platform effects simulation and analysis. | Graham Hemingway, Joseph Porter, Nicholas Kottenstette, Harmon Nine, Christopher P. van Buskirk, Gabor Karsai, Janos Sztipanovits |
| 2009 | EMSOFT | Towards a time-triggered schedule calculation tool to support model-based embedded software design. | Joseph Porter, Gabor Karsai, Janos Sztipanovits |
| 2009 | FUSION | Model based integration and experimentation of Information Fusion and C2 Systems. | Sandeep Neema, Ted Bapty, Xenofon D. Koutsoukos, Himanshu Neema, Janos Sztipanovits, Gabor Karsai |
| 2009 | ISORC | Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. | Abhishek Dubey, Gabor Karsai, Sherif Abdelwahed |
| 2009 | MODELS | Recent Advances in Multi-paradigm Modeling. | Vasco Amaral, Ccile Hardebolle, Gabor Karsai, Lszl Lengyel, Tihamer Levendovszky |
| 2009 | MODELS | Automatic Domain Model Migration to Manage Metamodel Evolution. | Anantha Narayanan, Tihamer Levendovszky, Daniel Balasubramanian, Gabor Karsai |
| 2009 | RSP | An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. | Joseph Porter, Pter Vlgyesi, Nicholas Kottenstette, Harmon Nine, Gabor Karsai, Janos Sztipanovits |
| 2009 | SLE | A Novel Approach to Semi-automated Evolution of DSML Model Transformation. | Tihamer Levendovszky, Daniel Balasubramanian, Anantha Narayanan, Gabor Karsai |
| 2008 | ICSE | Third international workshop on graph and model transformations. | Gabor Karsai, Gabriele Taentzer |
| 2008 | ICSE | Specifying the correctness properties of model transformations. | Anantha Narayanan, Gabor Karsai |
| 2008 | ISORC | Evaluating the Correctness and Effectiveness of a Middleware QoS Configuration Process in Distributed Real-Time and Embedded Systems. | Amogh Kavimandan, Anantha Narayanan, Aniruddha S. Gokhale, Gabor Karsai |
| 2008 | MODELS | Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. | Joseph Porter, Gabor Karsai, Pter Vlgyesi, Harmon Nine, Peter Humke, Graham Hemingway, Ryan Thibodeaux, Janos Sztipanovits |
| 2008 | OOPSLA | DSLs: the good, the bad, and the ugly. | Jeff Gray, Kathleen Fisher, Charles Consel, Gabor Karsai, Marjan Mernik, Juha-Pekka Tolvanen |
| 2004 | SMC | Synthesis of robust task schedules for minimum disruption repair. | Nagarajan Kandasamy, Dvid Hank, Christopher P. van Buskirk, Himanshu Neema, Gabor Karsai |
| 2004 | RTSS | Automatic Verification of Component-Based Real-Time CORBA Applications. | Gabor Madl, Sherif Abdelwahed, Gabor Karsai |
| 2003 | EMSOFT | Constraint-Based Design-Space Exploration and Model Synthesis. | Sandeep Neema, Janos Sztipanovits, Gabor Karsai, Ken Butts |
| 2003 | OOPSLA | An end-to-end domain-driven software development framework. | Aditya Agrawal, Gabor Karsai, kos Ldeczi |
| 2003 | SMC | Discrete abstraction and supervisory control of switching systems. | Rong Su, Sherif Abdelwahed, Gabor Karsai, Gautam Biswas |
| 2002 | GPCE | Generative Programming for Embedded Systems. | Janos Sztipanovits, Gabor Karsai |
| 2002 | ICSR | Model Reuse with Metamodel-Based Transformations. | Tihamer Levendovszky, Gabor Karsai, Miklos Maroti, kos Ldeczi, Hassan Charaf |
| 2002 | PPDP | Generative programming for embedded systems. | Janos Sztipanovits, Gabor Karsai |
| 2001 | EMSOFT | Embedded Software: Challenges and Opportunities. | Janos Sztipanovits, Gabor Karsai |
| 2000 | SMC | Building observers to address fault isolation and control problems in hybrid dynamic systems. | Sriram Narasimhan, Gautam Biswas, Gabor Karsai, Tal Pasternak, Feng Zhao |
| 2000 | SMC | Modeling agent negotiation. | Jonathan Sprinkle, Christopher P. van Buskirk, Gabor Karsai |
| 1998 | SMC | A generic and symbolic model-based diagnostic reasoner with highly scalable properties. | Amit Misra, Gregory M. Provan, Gabor Karsai, George Bloor, Ethan Scarl |
| 1997 | COMPSAC | Model-integrated system development: models, architecture, and process. | Gabor Karsai, Amit Misra, Janos Sztipanovits, kos Ldeczi, Michael Moore |
| 1995 | ICECCS | Model-embedded on-line problem solving environment for chemical engineering. | Gabor Karsai, Janos Sztipanovits, Hubertus Franke, Samir Padalkar, Frank DeCaria |
| 1995 | ICECCS | MULTIGRAPH: an architecture for model-integrated computing. | Janos Sztipanovits, Gabor Karsai, Csaba Biegl, Ted Bapty, kos Ldeczi, Amit Misra |
| 1994 | ICIP | Model-Based Programming for Parallel Image Processing. | Michael S. Moore, Gabor Karsai, Janos Sztipanovits |
| 1991 | ICRA | Real-time fault diagnostics with multiple aspect models. | Samir Padalkar, Gabor Karsai, Janos Sztipanovits, Koji Okuda, Nobuji Miyasaka |
| 1990 | ICASSP | The multigraph approach to parallel, distributed, structurally adaptive signal processing. | D. Mitch Wilkes, Lester E. Lynd Jr., Janos Sztipanovits, Gabor Karsai |
| 1990 | ICRA | Intelligent monitoring and diagnostics for plant automation. | Janos Sztipanovits, Gabor Karsai, Samir Padalkar, Csaba Biegl, Nobuji Miyasaka, Koji Okuda |