Graph model-based approach to the representation, interpretation, and execution of signal processing systems. - Janos Sztipanovits; Gabor Karsai; Csaba Biegl (Int. J. Intell. Syst., 1988)

Gas tungsten ARC weld modeling using a mapping network. - Gabor Karsai; Kristinn Andersen; Kumar Ramaswamy; George E. Cook (Neural Networks, 1988)

The multigraph approach to parallel, distributed, structurally adaptive signal processing. - D. Mitch Wilkes; Lester E. Lynd Jr.; Janos Sztipanovits; Gabor Karsai (ICASSP, 1990)

Intelligent monitoring and diagnostics for plant automation. - Janos Sztipanovits; Gabor Karsai; Samir Padalkar; Csaba Biegl; Nobuji Miyasaka; Koji Okuda (ICRA, 1990)

Real-time fault diagnostics with multiple aspect models. - Samir Padalkar; Gabor Karsai; Janos Sztipanovits; Koji Okuda; Nobuji Miyasaka (ICRA, 1991)

Real-Time Fault Diagnostics. - Samir Padalkar; Gabor Karsai; Csaba Biegl; Janos Sztipanovits; Koji Okuda; Nobuji Miyasaka (IEEE Expert, 1991)

Neural network methods for the modeling and control of welding processes. - Gabor Karsai; Kristinn Andersen; George E. Cook; Robert Joel Barnett (J. Intell. Manuf., 1992)

Model-Based Intelligent Process Control for Cogenerator Plants. - Gabor Karsai; Janos Sztipanovits; Samir Padalkar; Csaba Biegl (J. Parallel Distributed Comput., 1992)

Parallel DSP system integration. - Ákos Lédeczi; Ben Abbott; Csaba Biegl; Ted Bapty; Gabor Karsai; Janos Sztipanovits (Microprocess. Microsystems, 1993)

Model-Based Software Synthesis. - Ben Abbott; Ted Bapty; Csaba Biegl; Gabor Karsai; Janos Sztipanovits (IEEE Softw., 1993)

The multigraph and structural adaptivity. - Janos Sztipanovits; D. Mitchell Wilkes; Gabor Karsai; Csaba Biegl; Lester E. Lynd Jr. (IEEE Trans. Signal Process., 1993)

Model-Based Programming for Parallel Image Processing. - Michael S. Moore; Gabor Karsai; Janos Sztipanovits (ICIP (3), 1994)

Model-embedded on-line problem solving environment for chemical engineering. - Gabor Karsai; Janos Sztipanovits; Hubertus Franke; Samir Padalkar; Frank DeCaria (ICECCS, 1995)

MULTIGRAPH: an architecture for model-integrated computing. - Janos Sztipanovits; Gabor Karsai; Csaba Biegl; Ted Bapty; Ákos Lédeczi; Amit Misra (ICECCS, 1995)

Modeling Paradigm for Parallel Signal Processing. - Ákos Lédeczi; Ted Bapty; Gabor Karsai; Janos Sztipanovits (Aust. Comput. J., 1995)

A Configurable Visual Programming Environment: A Tool for Domain-Specific Programming. - Gabor Karsai (Computer, 1995)

Model-Integrated Program Synthesis Environment. - Janos Sztipanovits; Gabor Karsai; Hubertus Franke (ECBS, 1996)

Model-integrated system development: models, architecture, and process. - Gabor Karsai; Amit Misra; Janos Sztipanovits; Ákos Lédeczi; Michael Moore 001 (COMPSAC, 1997)

A model-integrated information system for increasing throughput in discrete manufacturing. - Amit Misra; Gabor Karsai; Janos Sztipanovits; Ákos Lédeczi; Michael Moore 001; Earl Long (ECBS, 1997)

Model-Integrated Programming. - Hubertus Franke; Janos Sztipanovits; Gabor Karsai (HICSS (1), 1997)

Model-Integrated Computing. - Janos Sztipanovits; Gabor Karsai (Computer, 1997)

A generic and symbolic model-based diagnostic reasoner with highly scalable properties. - Amit Misra; Gregory M. Provan; Gabor Karsai; George Bloor; Ethan Scarl (SMC, 1998)

Self-Adaptive Software for Signal Processing. - Janos Sztipanovits; Gabor Karsai; Ted Bapty (Commun. ACM, 1998)

Structured Specification of Model Interpreters. - Gabor Karsai (ECBS, 1999)

Metaprogrammable Toolkit for Model-Integrated Computing. - Ákos Lédeczi; Miklos Maroti; Gabor Karsai; Greg Nordstrom (ECBS, 1999)

Model-Integrated Computing and Integration of Globally Distributed Manufacturing Enterprises: Issues and Challenges. - Amit Misra; Janos Sztipanovits; Gabor Karsai; Michael Moore 001; Ákos Lédeczi; Earl Long (ECBS, 1999)

Metamodeling - Rapid Design and Evolution of Domain-Specific Modeling Environments. - Greg Nordstrom; Janos Sztipanovits; Gabor Karsai; Ákos Lédeczi (ECBS, 1999)

Integration of Information Systems in Large-Scale Enterprises Using Model-Integrated Computing. - Amit Misra; Janos Sztipanovits; Gabor Karsai; Michael Moore 001; Ákos Lédeczi (ICEIS, 1999)

A model-based approach to self-adaptive software. - Gabor Karsai; Janos Sztipanovits (IEEE Intell. Syst., 1999)

Design Tool Integration: An Exercise in Semantic Interoperability. - Gabor Karsai (ECBS, 2000)

Building observers to address fault isolation and control problems in hybrid dynamic systems. - Sriram Narasimhan; Gautam Biswas; Gabor Karsai; Tal Pasternak; Feng Zhao 001 (SMC, 2000)

Modeling agent negotiation. - Jonathan Sprinkle; Christopher P. van Buskirk; Gabor Karsai (SMC, 2000)

Towards Two-Level Formal Modeling of Computer-Based Systems. - Gabor Karsai; Greg Nordstrom; Ákos Lédeczi; Janos Sztipanovits (J. Univers. Comput. Sci., 2000)

Model integrated computing (MIC). - Gabor Karsai (ACM SIGSOFT Softw. Eng. Notes, 2000)

Fault-Adaptive Control: A CBS Application. - Gabor Karsai; Gautam Biswas; Tal Pasternak; Sriram Narasimhan; Gábor Péceli; Gyula Simon; Tamás Kovácsházy (ECBS, 2001)

The New Metamodeling Generation. - Jonathan Sprinkle; Ákos Lédeczi; Gabor Karsai; Greg Nordstrom (ECBS, 2001)

Embedded Software: Challenges and Opportunities. - Janos Sztipanovits; Gabor Karsai (EMSOFT, 2001)

An Approach to Self-adaptive Software Based on Supervisory Control. - Gabor Karsai; Ákos Lédeczi; Janos Sztipanovits; Gábor Péceli; Gyula Simon; Tamás Kovácsházy (IWSAS, 2001)

Composing Domain-Specific Design Environments. - Ákos Lédeczi; Arpad Bakay; Miklos Maroti; Péter Völgyesi; Greg Nordstrom; Jonathan Sprinkle; Gabor Karsai (Computer, 2001)

Online safety control of a class of hybrid systems. - Sherif Abdelwahed; Gabor Karsai; Gautam Biswas (CDC, 2002)

Generative Programming for Embedded Systems. - Janos Sztipanovits; Gabor Karsai (GPCE, 2002)

Model Reuse with Metamodel-Based Transformations. - Tihamer Levendovszky; Gabor Karsai; Miklos Maroti; Ákos Lédeczi; Hassan Charaf (ICSR, 2002)

Graph Transformations in OMG's Model-Driven Architecture: (Invited Talk). - Gabor Karsai; Aditya Agrawal (AGTIVE, 2003)

Domain Model Translation Using Graph Transformations. - Jonathan Sprinkle; Aditya Agrawal; Tihamer Levendovszky; Feng Shi; Gabor Karsai (ECBS, 2003)

Constraint-Based Design-Space Exploration and Model Synthesis. - Sandeep Neema; Janos Sztipanovits; Gabor Karsai; Ken Butts (EMSOFT, 2003)

An Examination of DSLs for Concisely Representing Model Traversals and Transformations. - Jeff Gray 001; Gabor Karsai (HICSS, 2003)

An end-to-end domain-driven software development framework. - Aditya Agrawal; Gabor Karsai; Ákos Lédeczi (OOPSLA Companion, 2003)

Discrete abstraction and supervisory control of switching systems. - Rong Su 001; Sherif Abdelwahed; Gabor Karsai; Gautam Biswas (SMC, 2003)

On the Use of Graph Transformation in the Formal Specification of Model Interpreters. - Gabor Karsai; Aditya Agrawal; Feng Shi; Jonathan Sprinkle (J. Univers. Comput. Sci., 2003)

Model-integrated development of embedded software. - Gabor Karsai; Janos Sztipanovits; Ákos Lédeczi; Ted Bapty (Proc. IEEE, 2003)

Automotive Software: A Challenge and Opportunity for Model-Based Software Development. - Gabor Karsai (ASWSD, 2004)

Software for Automotive Systems: Model-Integrated Computing. - Sandeep Neema; Gabor Karsai (ASWSD, 2004)

Automatic Verification of Component-Based Real-Time CORBA Applications. - Gabor Madl; Sherif Abdelwahed; Gabor Karsai (RTSS, 2004)

Synthesis of robust task schedules for minimum disruption repair. - Nagarajan Kandasamy; Dávid Hanák; Christopher P. van Buskirk; Himanshu Neema; Gabor Karsai (SMC (6), 2004)

Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations. - Aditya Agrawal; Gyula Simon; Gabor Karsai (GT-VMT@ETAPS, 2004)

Reusable Idioms and Patterns in Graph Transformation Languages. - Aditya Agrawal; Attila Vizhanyo; Zsolt Kalmar; Feng Shi; Anantha Narayanan; Gabor Karsai (GraBaTs, 2004)

Platform Modeling and Model Transformations for Analysis. - Tivadar Szemethy; Gabor Karsai (J. Univers. Comput. Sci., 2004)

Composition and cloning in modeling and meta-modeling. - Gabor Karsai; Miklós Maróti; Ákos Lédeczi; Jeff Gray 001; Janos Sztipanovits (IEEE Trans. Control. Syst. Technol., 2004)

A domain-specific visual language for domain model evolution. - Jonathan Sprinkle; Gabor Karsai (J. Vis. Lang. Comput., 2004)

Robust state-based supervisory control of discrete event systems. - Sherif Abdelwahed; Gabor Karsai; Gautam Biswas (CCA, 2005)

A Visually-Specified Code Generator for Simulink/Stateflow. - Sandeep Neema; Zsolt Kalmar; Feng Shi; Attila Vizhanyo; Gabor Karsai (VL/HCC, 2005)

Preface. - Gabor Karsai; Gabriele Taentzer (GRaMoT@GPCE, 2005)

Applying a Model Transformation Taxonomy to Graph Transformation Technology. - Tom Mens; Pieter Van Gorp; Dániel Varró; Gabor Karsai (GRaMoT@GPCE, 2005)

Improving the Usability of a Graph Transformation Language. - Attila Vizhanyo; Sandeep Neema; Feng Shi; Daniel Balasubramanian; Gabor Karsai (GRaMoT@GPCE, 2005)

Design patterns for open tool integration. - Gabor Karsai; Andras Lang; Sandeep Neema (Softw. Syst. Model., 2005)

Introducing embedded software and systems education and advanced learning technology in an engineering curriculum. - Janos Sztipanovits; Gautam Biswas; Ken Frampton; Aniruddha S. Gokhale; Larry Howard; Gabor Karsai; Tak-John Koo; Xenofon D. Koutsoukos; Douglas C. Schmidt (ACM Trans. Embed. Comput. Syst., 2005)

An Examination of Criticality-Sensitive Approaches to Coordination. - 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 (AAAI Spring Symposium: Distributed Plan and Schedule Management, 2006)

Towards Verification of Model Transformations Via Goal-Directed Certification. - Gabor Karsai; Anantha Narayanan (ASWSD, 2006)

CSC: Criticality-Sensitive Coordination. - 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 (AAMAS, 2006)

Model Transformations in the Model-Based Development of Real-time Systems. - Tivadar Szemethy; Gabor Karsai; Daniel Balasubramanian (ECBS, 2006)

Component-oriented modeling of hybrid dynamic systems using the Generic Modeling Environment. - Eric-Jan Manders; Gautam Biswas; Nagabhushan Mahadevan; Gabor Karsai (MDB/MOMPES, 2006)

On the Correctness of Model Transformations in the Development of Embedded Systems. - Gabor Karsai; Anantha Narayanan (Monterey Workshop, 2006)

Developing Applications Using Model-Driven Design Environments. - Krishnakumar Balasubramanian 001; Aniruddha S. Gokhale; Gabor Karsai; Janos Sztipanovits; Sandeep Neema (Computer, 2006)

The Graph Rewriting and Transformation Language: GReAT. - Daniel Balasubramanian; Anantha Narayanan; Christopher P. van Buskirk; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Preface to GraMoT 2006 Workshop Proceedings. - Gabor Karsai; Gabriele Taentzer (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations. - Anantha Narayanan; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

PML: a Transformation Language for Platform Modeling. - Tivadar Szemethy; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2006)

Towards Verifying Model Transformations. - Anantha Narayanan; Gabor Karsai (GT-VMT@ETAPS, 2006)

The design of a language for model transformations. - Aditya Agrawal; Gabor Karsai; Sandeep Neema; Feng Shi; Attila Vizhanyo (Softw. Syst. Model., 2006)

Applying a Grouping Operator in Model Transformations. - Daniel Balasubramanian; Anantha Narayanan; Sandeep Neema; Benjamin Ness; Feng Shi; Ryan Thibodeaux; Gabor Karsai (AGTIVE, 2007)

07451 Summary - Model-Based Engineering of Embedded Real-Time Systems. - Holger Giese; Gabor Karsai; Edward Lee; Bernhard Rumpe; Bernhard Schätz (Model-Based Engineering of Embedded Real-Time Systems, 2007)

07451 Abstracts Collection - Model-Based Engineering of Embedded Real-Time Systems. - Holger Giese; Gabor Karsai; Edward Lee; Bernhard Rumpe; Bernhard Schätz (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Metamodelling - State of the Art and Research Challenges. - Jonathan Sprinkle; Bernhard Rumpe; Hans Vangheluwe; Gabor Karsai (Model-Based Engineering of Embedded Real-Time Systems, 2007)

The Model-Integrated Computing Tool Suite. - Janos Sztipanovits; Gabor Karsai; Sandeep Neema; Ted Bapty (Model-Based Engineering of Embedded Real-Time Systems, 2007)

Integrating Security Modeling into Embedded System Design. - Matthew Eby; Jan Werner; Gabor Karsai; Ákos Lédeczi (ECBS, 2007)

A Subgraph Operator for Graph Transformation Languages. - Daniel Balasubramanian; Anantha Narayanan; Sandeep Neema; Feng Shi; Ryan Thibodeaux; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2007)

Towards a verifiable real-time, autonomic, fault mitigation framework for large scale real-time systems. - Abhishek Dubey; Steven Nordstrom; Turker Keskinpala; Sandeep Neema; Ted Bapty; Gabor Karsai (Innov. Syst. Softw. Eng., 2007)

Embedded systems security co-design. - Matthew Eby; Jan Werner; Gabor Karsai; Ákos Lédeczi (SIGBED Rev., 2007)

High precision automatic scheduling of periodic task sets for microcontrollers. - Benjamin Ness; Gabor Karsai (ACM Southeast Regional Conference, 2008)

Third international workshop on graph and model transformations. - Gabor Karsai; Gabriele Taentzer (ICSE Companion, 2008)

Specifying the correctness properties of model transformations. - Anantha Narayanan; Gabor Karsai (GRaMoT@ICSE, 2008)

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 (ISORC, 2008)

Towards Model-Based Integration of Tools and Techniques for Embedded Control System Design, Verification, and Implementation. - Joseph Porter; Gabor Karsai; Péter Völgyesi; Harmon Nine; Peter Humke; Graham Hemingway; Ryan Thibodeaux; Janos Sztipanovits (MoDELS (Workshops), 2008)

DSLs: the good, the bad, and the ugly. - Jeff Gray 001; Kathleen Fisher; Charles Consel; Gabor Karsai; Marjan Mernik; Juha-Pekka Tolvanen (OOPSLA Companion, 2008)

Model-Integrated Development of Cyber-Physical Systems. - Gabor Karsai; Janos Sztipanovits (SEUS, 2008)

Verifying Model Transformations by Structural Correspondence. - Anantha Narayanan; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2008)

Model-driven architecture for embedded software: A synopsis and an example. - Gabor Karsai; Sandeep Neema; David Sharp (Sci. Comput. Program., 2008)

A testbed for secure and robust SCADA systems. - Annarita Giani; Gabor Karsai; Tanya G. Roosta; Aakash Shah; Bruno Sinopoli; Jon Wiley (SIGBED Rev., 2008)

Software Engineering for Self-Adaptive Systems: A Research Roadmap. - 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; et al. (Software Engineering for Self-Adaptive Systems, 2009)

Towards a time-triggered schedule calculation tool to support model-based embedded software design. - Joseph Porter; Gabor Karsai; Janos Sztipanovits (EMSOFT, 2009)

Model based integration and experimentation of Information Fusion and C2 Systems. - Sandeep Neema; Ted Bapty; Xenofon D. Koutsoukos; Himanshu Neema; Janos Sztipanovits; Gabor Karsai (FUSION, 2009)

Compensating for Timing Jitter in Computing Systems with General-Purpose Operating Systems. - Abhishek Dubey; Gabor Karsai; Sherif Abdelwahed (ISORC, 2009)

Recent Advances in Multi-paradigm Modeling. - Vasco Amaral 001; Cécile Hardebolle; Gabor Karsai; László Lengyel; Tihamer Levendovszky (MoDELS (Workshops), 2009)

Automatic Domain Model Migration to Manage Metamodel Evolution. - Anantha Narayanan; Tihamer Levendovszky; Daniel Balasubramanian; Gabor Karsai (MoDELS, 2009)

An Experimental Model-Based Rapid Prototyping Environment for High-Confidence Embedded Software. - Joseph Porter; Péter Völgyesi; Nicholas Kottenstette; Harmon Nine; Gabor Karsai; Janos Sztipanovits (IEEE International Workshop on Rapid System Prototyping, 2009)

A Novel Approach to Semi-automated Evolution of DSML Model Transformation. - Tihamer Levendovszky; Daniel Balasubramanian; Anantha Narayanan; Gabor Karsai (SLE, 2009)

Preface. - Tihamer Levendovszky; László Lengyel; Gabor Karsai; Cécile Hardebolle (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009)

Practical Implementation of Diagnosis Systems Using Timed Failure Propagation Graph Models. - Sherif Abdelwahed; Gabor Karsai; Nagabhushan Mahadevan; Stanley C. Ofsthun (IEEE Trans. Instrum. Meas., 2009)

Towards a Generic Design Space Exploration Framework. - Tripti Saxena; Gabor Karsai (CIT, 2010)

Lessons Learned from Building a Graph Transformation System. - Gabor Karsai (Graph Transformations and Model-Driven Engineering, 2010)

Fault-Adaptivity in Hard Real-Time Component-Based Software Systems. - Abhishek Dubey; Gabor Karsai; Nagabhushan Mahadevan (Software Engineering for Self-Adaptive Systems, 2010)

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap. - 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 001; Danny Weyns; Luciano Baresi; et al. (Software Engineering for Self-Adaptive Systems, 2010)

Towards Practical Runtime Verification and Validation of Self-Adaptive Software 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 (Software Engineering for Self-Adaptive Systems, 2010)

SOAMANET: A Tool for Evaluating Service-Oriented Architectures on Mobile Ad-Hoc Networks. - Himanshu Neema; Anand Kashyap; Róbert Kereskényi; Yuan Xue; Gabor Karsai (DS-RT, 2010)

A transformation instance-based approach to traceability. - Tihamer Levendovszky; Daniel Balasubramanian; Kevin Smyth; Feng Shi; Gabor Karsai (ECMFA-TW, 2010)

Online stability validation using sector analysis. - Joseph Porter; Graham Hemingway; Nicholas Kottenstette; Gabor Karsai; Janos Sztipanovits (EMSOFT, 2010)

Reusing Model Transformations While Preserving Properties. - Ethan K. Jackson; Wolfram Schulte; Daniel Balasubramanian; Gabor Karsai (FASE, 2010)

A Real-Time Component Framework: Experience with CCM and ARINC-653. - Abhishek Dubey; Gabor Karsai; Róbert Kereskényi; Nagabhushan Mahadevan (ISORC, 2010)

MDE-Based Approach for Generalizing Design Space Exploration. - Tripti Saxena; Gabor Karsai (MoDELS (1), 2010)

The GDSE framework: a meta-tool for automated design space exploration. - Tripti Saxena; Gabor Karsai (DSM@SPLASH, 2010)

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 (International Symposium on Rapid System Prototyping, 2010)

Evolving Embedded Systems. - Gabor Karsai; Fabio Massacci; Leon J. Osterweil; Ina Schieferdecker (Computer, 2010)

An Active Pattern Infrastructure for Domain-Specific Languages. - Tihamer Levendovszky; Gabor Karsai (Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2010)

A Meta-Framework for Design Space Exploration. - Tripti Saxena; Gabor Karsai (ECBS, 2011)

Application of software health management techniques. - Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (SEAMS, 2011)

Polyglot: modeling and analysis for multiple Statechart formalisms. - Daniel Balasubramanian; Corina S. Pasareanu; Michael W. Whalen; Gabor Karsai; Michael R. Lowry (ISSTA, 2011)

Managing the quality of software product line architectures through reusable model transformations. - Amogh Kavimandan; Aniruddha S. Gokhale; Gabor Karsai; Jeff Gray 001 (QoSA/ISARCS, 2011)

Rapid property specification and checking for model-based formalisms. - Daniel Balasubramanian; Gábor Pap; Harmon Nine; Gabor Karsai; Michael R. Lowry; Corina S. Pasareanu; Thomas Pressburger (International Symposium on Rapid System Prototyping, 2011)

Challenges and directions in formalizing the semantics of modeling languages. - Barrett R. Bryant; Jeff Gray 001; Marjan Mernik; Peter J. Clarke; Robert B. France; Gabor Karsai (Comput. Sci. Inf. Syst., 2011)

A component model for hard real-time systems: CCM with ARINC-653. - Abhishek Dubey; Gabor Karsai; Nagabhushan Mahadevan (Softw. Pract. Exp., 2011)

Architecting Health Management into Software Component Assemblies: Lessons Learned from the ARINC-653 Component Mode. - Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (ISORC, 2012)

Component-based modeling of dynamic systems using heterogeneous composition. - Zsolt Lattmann; Adam Nagel; Tihamer Levendovszky; Ted Bapty; Sandeep Neema; Gabor Karsai (MPM@MoDELS, 2012)

Evolution in a context of an model-integrated tool environment. - Tihamer Levendovszky; Kevin Smyth; Daniel Balasubramanian; Feng Shi; Gabor Karsai (ME@MoDELS, 2012)

Integrating Statechart Components in Polyglot. - Daniel Balasubramanian; Corina S. Pasareanu; Jason Biatek; Thomas Pressburger; Gabor Karsai; Michael R. Lowry; Michael W. Whalen (NASA Formal Methods, 2012)

Reliable Distributed Real-Time and Embedded Systems through Safe Middleware Adaptation. - Akshay Dabholkar; Abhishek Dubey; Aniruddha S. Gokhale; Gabor Karsai; Nagabhushan Mahadevan (SRDS, 2012)

Toward a Science of Cyber-Physical System Integration. - Janos Sztipanovits; Xenofon D. Koutsoukos; Gabor Karsai; Nicholas Kottenstette; Panos J. Antsaklis; Vijay Gupta 001; Bill Goodwine; John S. Baras; Shige Wang (Proc. IEEE, 2012)

Rapid synthesis of high-level architecture-based heterogeneous simulation: a model-based integration approach. - Graham Hemingway; Himanshu Neema; Harmon Nine; Janos Sztipanovits; Gabor Karsai (Simul., 2012)

Co-simulation framework for design of time-triggered cyber physical systems. - Zhenkai Zhang 002; Joseph Porter; Emeka Eyisi; Gabor Karsai; Xenofon D. Koutsoukos; Janos Sztipanovits (ICCPS, 2013)

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 (ISORC, 2013)

A case study on the model-based design and integration of automotive cyber-physical systems. - Di Shang; Emeka Eyisi; Zhenkai Zhang 002; Xenofon D. Koutsoukos; Joseph Porter; Gabor Karsai; Janos Sztipanovits (MED, 2013)

Web-based Metaprogrammable Frontend for Molecular Dynamics Simulations. - Gergely Varga; Sara Toth; Christopher R. Iacovella; János Sallai; Péter Völgyesi; Ákos Lédeczi; Gabor Karsai; Peter T. Cummings (SIMULTECH, 2013)

Polyglot: Systematic Analysis for Multiple Statechart Formalisms. - Daniel Balasubramanian; Corina S. Pasareanu; Gabor Karsai; Michael R. Lowry (TACAS, 2013)

Software health management. - Abhishek Dubey; Gabor Karsai (Innov. Syst. Softw. Eng., 2013)

Deliberative, search-based mitigation strategies for model-based software health management. - Nagabhushan Mahadevan; Abhishek Dubey; Daniel Balasubramanian; Gabor Karsai (Innov. Syst. Softw. Eng., 2013)

Real-time fault tolerant deployment and configuration framework for cyber physical systems. - Subhav Pradhan; Aniruddha S. Gokhale; William Otte; Gabor Karsai (SIGBED Rev., 2013)

Towards a resilient deployment and configuration infrastructure for fractionated spacecraft. - Subhav Pradhan; William Otte; Abhishek Dubey; Aniruddha S. Gokhale; Gabor Karsai (SIGBED Rev., 2013)

A newly introduced Industry Voice Column. - Tony Clark 001; Gabor Karsai; Roel J. Wieringa; Robert B. France; Bernhard Rumpe (Softw. Syst. Model., 2013)

Analysis, verification, and management toolsuite for cyber-physical applications on time-varying networks. - William Emfinger; Gabor Karsai; Abhishek Dubey; Aniruddha S. Gokhale (CyPhy, 2014)

Domain Globalization: Using Languages to Support Technical and Social Coordination. - Julien Deantoni; Cédric Brun; Benoît Caillaud; Robert B. France; Gabor Karsai; Oscar Nierstrasz; Eugene Syriani (Globalizing Domain-Specific Languages, 2014)

Distributed and Managed: Research Challenges and Opportunities of the Next Generation Cyber-Physical Systems. - Gabor Karsai; Daniel Balasubramanian; Abhishek Dubey; William Otte (ISORC, 2014)

Taming Multi-Paradigm Integration in a Software Architecture Description Language. - Daniel Balasubramanian; Tihamer Levendovszky; Abhishek Dubey; Gabor Karsai (MPM@MoDELS, 2014)

Unification or Integration? The Challenge of Semantics in Heterogeneous Modeling Languages. - Gabor Karsai (GEMOC@MoDELS, 2014)

Colored Petri Net-based Modeling and Formal Analysis of Component-based Applications. - Pranav Srinivas Kumar; Abhishek Dubey; Gabor Karsai (MoDeVVa@MoDELS, 2014)

A Rapid Testing Framework for a Mobile Cloud. - Daniel Balasubramanian; Abhishek Dubey; William R. Otte; William Emfinger; Pranav Srinivas Kumar; Gabor Karsai (RSP, 2014)

Design Guidelines for Domain Specific Languages. - Gabor Karsai; Holger Krahn; Claas Pinkernell; Bernhard Rumpe; Martin Schindler; Steven Völkel (CoRR, 2014)

A co-simulation framework for design of time-triggered automotive cyber physical systems. - Zhenkai Zhang 002; Emeka Eyisi; Xenofon D. Koutsoukos; Joseph Porter; Gabor Karsai; Janos Sztipanovits (Simul. Model. Pract. Theory, 2014)

Distributed Real-Time Managed Systems: A Model-Driven Distributed Secure Information Architecture Platform for Managed Embedded Systems. - Tihamer Levendovszky; Abhishek Dubey; William Otte; Daniel Balasubramanian; Alessandro Coglio; Sandor Nyako; William Emfinger; Pranav Srinivas Kumar; Aniruddha S. Gokhale; Gabor Karsai (IEEE Softw., 2014)

A semi-formal description of migrating domain-specific models with evolving domains. - Tihamer Levendovszky; Daniel Balasubramanian; Anantha Narayanan; Feng Shi; Christopher P. van Buskirk; Gabor Karsai (Softw. Syst. Model., 2014)

Modeling Network Medium Access Protocols for Network Quality of Service Analysis. - William Emfinger; Gabor Karsai (ISORC, 2015)

Integrated Analysis of Temporal Behavior of Component-Based Distributed Real-Time Embedded Systems. - Pranav Srinivas Kumar; Gabor Karsai (ISORC Workshops, 2015)

Introduction to ACES-MB 2015. - Iulia Dragomir; Susanne Graf; Gabor Karsai; Florian Noyrit; Iulian Ober (ACES-MB&WUCOR@MoDELS, 2015)

A testbed to simulate and analyze resilient cyber-physical systems. - Pranav Srinivas Kumar; William Emfinger; Gabor Karsai (RSP, 2015)

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 (RSP, 2015)

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 (RSP, 2015)

Using temporal causal models to isolate failures in power system protection devices. - Nagabhushan Mahadevan; Abhishek Dubey; Ajay Chhokra; Huangcheng Guo; Gabor Karsai (IEEE Instrum. Meas. Mag., 2015)

DREMS ML: A wide spectrum architecture design language for distributed computing platforms. - Daniel Balasubramanian; Abhishek Dubey; William Otte; Tihamer Levendovszky; Aniruddha S. Gokhale; Pranav Srinivas Kumar; William Emfinger; Gabor Karsai (Sci. Comput. Program., 2015)

Demo Abstract: RIAPS - A Resilient Information Architecture Platform for Edge Computing. - William Emfinger; Abhishek Dubey; Péter Völgyesi; János Sallai; Gabor Karsai (SEC, 2016)

Poster Abstract: Distributed Reasoning for Diagnosing Cascading Outages in Cyber Physical Energy Systems. - Ajay Chhokra; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (ICCPS, 2016)

Demo Abstract: SURE: An Experimentation and Evaluation Testbed for CPS Security and Resilience. - Himanshu Neema; Péter Völgyesi; Bradley Potteiger; William Emfinger; Xenofon D. Koutsoukos; Gabor Karsai; Yevgeniy Vorobeychik; Janos Sztipanovits (ICCPS, 2016)

Abstractions for Modeling Complex Systems. - Zsolt Lattmann; Tamás Kecskés; Patrik Meijer; Gabor Karsai; Péter Völgyesi; Ákos Lédeczi (ISoLA (2), 2016)

Achieving resilience in distributed software systems via self-reconfiguration. - Subhav Pradhan; Abhishek Dubey; Tihamer Levendovszky; Pranav Srinivas Kumar; William Emfinger; Daniel Balasubramanian; William Otte; Gabor Karsai (J. Syst. Softw., 2016)

A Systematic Approach of Identifying Optimal Load Control Actions for Arresting Cascading Failures in Power Systems. - Ajay Chhokra; Amogh Kulkarni; Saqib Hasan; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (SPSR-SG@CPSWeek, 2017)

Resilience at the edge in cyber-physical systems. - Abhishek Dubey; Gabor Karsai; Subhav Pradhan (FMEC, 2017)

Towards an architecture for evaluating and analyzing decentralized Fog applications. - Scott Eisele; Geoffrey Pettet; Abhishek Dubey; Gabor Karsai (FWC, 2017)

Diagnostics and prognostics using temporal causal models for cyber physical energy systems. - Ajay Chhokra; Saqib Hasan; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai (ICCPS, 2017)

Transactive energy demo with RIAPS platform. - Scott Eisele; Abhishek Dubey; Gabor Karsai; Srdjan M. Lukic (ICCPS, 2017)

A simulation testbed for cascade analysis. - Saqib Hasan; Ajay Chhokra; Abhishek Dubey; Nagabhushan Mahadevan; Gabor Karsai; Rishabh Jain; Srdjan M. Lukic (ISGT, 2017)

RIAPS: Resilient Information Architecture Platform for Decentralized Smart Systems. - Scott Eisele; István Madari; Abhishek Dubey; Gabor Karsai (ISORC, 2017)

Timing analysis of a middleware-based system. - Charles Hartsell; Gabor Karsai; Michael R. Lowry (ARM@Middleware, 2017)

Time synchronization services for low-cost fog computing applications. - Péter Völgyesi; Abhishek Dubey; Timothy Krentz; István Madari; Mary Metelko; Gabor Karsai (RSP, 2017)

DREMS-OS: An Operating System for Managed Distributed Real-time Embedded Systems. - Abhishek Dubey; Gabor Karsai; Aniruddha S. Gokhale; William Emfinger; Pranav Srinivas Kumar (CoRR, 2017)

Triggering Rowhammer Hardware Faults on ARM: A Revisit. - Zhenkai Zhang 002; Zihao Zhan; Daniel Balasubramanian; Xenofon D. Koutsoukos; Gabor Karsai (ASHES@CCS, 2018)

TRANSAX: A Blockchain-Based Decentralized Forward-Trading Energy Exchanged for Transactive Microgrids. - Aron Laszka; Scott Eisele; Abhishek Dubey; Gabor Karsai; Karla Kvaternik (ICPADS, 2018)

Vulnerability analysis of power systems based on cyber-attack and defense models. - Saqib Hasan; Amin Ghafouri; Abhishek Dubey; Gabor Karsai; Xenofon D. Koutsoukos (ISGT, 2018)

From Modeling to Model-Based Programming. - Gabor Karsai (ISoLA (1), 2018)

Integrated simulation testbed for security and resilience of CPS. - Himanshu Neema; Bradley Potteiger; Xenofon D. Koutsoukos; Gabor Karsai; Péter Völgyesi; Janos Sztipanovits (SAC, 2018)

A Cloud-Based Execution Framework for Program Analysis. - Daniel Balasubramanian; Dmitriy Kostyuchenko; Kasper Søe Luckow; Rody Kersten; Gabor Karsai (SEFM, 2018)

SURE: A Modeling and Simulation Integration Platform for Evaluation of Secure and Resilient Cyber-Physical Systems. - Xenofon D. Koutsoukos; Gabor Karsai; Aron Laszka; Himanshu Neema; Bradley Potteiger; Péter Völgyesi; Yevgeniy Vorobeychik; Janos Sztipanovits (Proc. IEEE, 2018)

Model-based design for CPS with learning-enabled components. - Charles Hartsell; Nagabhushan Mahadevan; Shreyas Ramakrishna; Abhishek Dubey; Theodore Bapty; Taylor T. Johnson; Xenofon D. Koutsoukos; Janos Sztipanovits; Gabor Karsai (DESTION@CPSIoTWeek, 2019)

BARISTA: Efficient and Scalable Serverless Serving System for Deep Learning Prediction Services. - Anirban Bhattacharjee; Ajay Dev Chhokra; Zhuangwei Kang; Hongyang Sun 001; Aniruddha Gokhale; Gabor Karsai (IC2E, 2019)

A CPS toolchain for learning-based systems: demo abstract. - Charles Hartsell; Nagabhushan Mahadevan; Shreyas Ramakrishna; Abhishek Dubey; Theodore Bapty; Gabor Karsai (ICCPS, 2019)

Towards Operational Use of Unit Manufacturing Process Models. - Amogh Kulkarni; William Z. Bernstein; David Lechevalier; Daniel Balasubramanian; Peter Denno; Gabor Karsai (ICIT, 2019)

DeepECO: Applying Deep Learning for Occupancy Detection from Energy Consumption Data. - Neelanjana Pal; Purboday Ghosh; Gabor Karsai (ICMLA, 2019)

DeepNNCar: A Testbed for Deploying and Testing Middleware Frameworks for Autonomous Robots. - Matthew P. Burruss; Shreyas Ramakrishna; Gabor Karsai; Abhishek Dubey (ISORC, 2019)

Demo: Transactive Energy Application with RIAPS. - Scott Eisele; Purboday Ghosh; Keegan Campanelli; Abhishek Dubey; Gabor Karsai (ISORC, 2019)

On the Design of Fault- Tolerance in a Decentralized Software Platform for Power Systems. - Purboday Ghosh; Scott Eisele; Abhishek Dubey; Mary Metelko; István Madari; Péter Völgyesi; Gabor Karsai (ISORC, 2019)

Short Paper: Towards An Edge-Located Time-Series Database. - Timothy Krentz; Abhishek Dubey; Gabor Karsai (ISORC, 2019)

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 (ISORC, 2019)

Practical Causal Models for Cyber-Physical Systems. - Amjad Ibrahim; Severin Kacianka; Alexander Pretschner; Charles Hartsell; Gabor Karsai (NFM, 2019)

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 (RSP, 2019)

Dynamic symbolic execution for the analysis of web server applications in Java. - Daniel Balasubramanian; Zhenkai Zhang 002; Dan McDermet; Gabor Karsai (SAC, 2019)

TRANSAX: A Blockchain-based Decentralized Forward-Trading Energy Exchange for Transactive Microgrids. - Aron Laszka; Scott Eisele; Abhishek Dubey; Gabor Karsai; Karla Kvaternik (CoRR, 2019)

Device Access Abstractions for Resilient Information Architecture Platform for Smart Grid. - Abhishek Dubey; Gabor Karsai; Péter Völgyesi; Mary Metelko; István Madari; Hao Tu; Yuhua Du; Srdjan M. Lukic (IEEE Embed. Syst. Lett., 2019)

A Binary Decision Diagram Based Cascade Prognostics Scheme For Power Systems. - Ajay Chhokra; Saqib Hasan; Abhishek Dubey; Gabor Karsai (ACC, 2020)

Deep-Edge: An Efficient Framework for Deep Learning Model Update on Heterogeneous Edge. - Anirban Bhattacharjee; Ajay Dev Chhokra; Hongyang Sun 001; Shashank Shekhar 001; Aniruddha Gokhale; Gabor Karsai; Abhishek Dubey (ICFEC, 2020)

An Integrated Cyber-Physical Fault Management Approach. - Purboday Ghosh; Gabor Karsai (ISORC, 2020)

Qualitative Fault Modeling in Safety Critical Cyber Physical Systems. - Ajay Chhokra; Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (SAM, 2020)

A Methodology for Automating Assurance Case Generation. - Shreyas Ramakrishna; Charles Hartsell; Abhishek Dubey; Partha Pratim Pal; Gabor Karsai (CoRR, 2020)

Workflow Automation for Cyber Physical System Development Processes. - Charles Hartsell; Nagabhushan Mahadevan; Harmon Nine; Ted Bapty; Abhishek Dubey; Gabor Karsai (CoRR, 2020)

Designing a decentralized fault-tolerant software framework for smart grids and its applications. - Purboday Ghosh; Scott Eisele; Abhishek Dubey; Mary Metelko; István Madari; Péter Völgyesi; Gabor Karsai (J. Syst. Archit., 2020)

Dynamic-weighted simplex strategy for learning enabled cyber physical systems. - Shreyas Ramakrishna; Charles Hartsell; Matthew P. Burruss; Gabor Karsai; Abhishek Dubey (J. Syst. Archit., 2020)

URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services. - Shashank Shekhar 001; Ajay Chhokra; Hongyang Sun 001; Aniruddha Gokhale; Abhishek Dubey; Xenofon D. Koutsoukos; Gabor Karsai (J. Syst. Archit., 2020)

Resilient Information Architecture Platform for the Smart Grid: A Novel Open-Source Platform for Microgrid Control. - Hao Tu; Yuhua Du; Hui Yu 012; Abhishek Dubey; Srdjan M. Lukic; Gabor Karsai (IEEE Trans. Ind. Electron., 2020)

Power-attack: a comprehensive tool-chain for modeling and simulating attacks in power systems. - Ajay Chhokra; Carlos A. Barreto; Abhishek Dubey; Gabor Karsai; Xenofon D. Koutsoukos (MSCPES@CPSIoTWeek, 2021)

Automated Method for Assurance Case Construction from System Design Models. - Charles Hartsell; Nagabhushan Mahadevan; Abhishek Dubey; Gabor Karsai (ICSRS, 2021)

Towards Model-Based Intent-Driven Adaptive Software. - Daniel Balasubramanian; Alessandro Coglio; Abhishek Dubey; Gabor Karsai (ISoLA, 2021)

ReSonAte: A Runtime Risk Assessment Framework for Autonomous Systems. - Charles Hartsell; Shreyas Ramakrishna; Abhishek Dubey; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai (SEAMS@ICSE, 2021)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (CoRR, 2021)

Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. - Purboday Ghosh; Shashank Shekhar 001; Ulrich Münz; Gabor Karsai (CoRR, 2021)

Fault-Adaptive Autonomy in Systems with Learning-Enabled Components. - Dániel Stojcsics; Dimitrios Boursinos; Nagabhushan Mahadevan; Xenofon D. Koutsoukos; Gabor Karsai (Sensors, 2021)

An Automated Deployment and Testing Framework for Resilient Distributed Smart Grid Applications. - Purboday Ghosh; Hao Tu; Timothy Krentz; Gabor Karsai; Srdjan M. Lukic (COINS, 2022)

Risk-Aware Scene Sampling for Dynamic Assurance of Autonomous Systems. - Shreyas Ramakrishna; Baiting Luo; Yogesh D. Barve; Gabor Karsai; Abhishek Dubey (ICAA, 2022)

Peer-to-Peer Communication Trade-Offs for Smart Grid Applications. - Purboday Ghosh; Shashank Shekhar 001; Yashen Lin; Ulrich Münz; Gabor Karsai (ICCCN, 2022)

Assurance Provenance: The Next Challenge in Software Documentation. - Gabor Karsai; Daniel Balasubramanian (ISoLA (2), 2022)

ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA. - Shreyas Ramakrishna; Baiting Luo; Christopher B. Kuhn; Gabor Karsai; Abhishek Dubey (ITSC, 2022)

Model-based Development and Assurance of Learning-enabled Cyber-Physical Systems. - Gabor Karsai (MODELSWARD, 2022)

Syntheto: A Surface Language for APT and ACL2. - Alessandro Coglio; Eric McCarthy; Stephen J. Westfold; Daniel Balasubramanian; Abhishek Dubey; Gabor Karsai (ACL2, 2022)

Efficient Out-of-Distribution Detection Using Latent Space of β-VAE for Cyber-Physical Systems. - Shreyas Ramakrishna; Zahra RahimiNasab; Gabor Karsai; Arvind Easwaran; Abhishek Dubey (ACM Trans. Cyber Phys. Syst., 2022)

Dynamic Simplex: Balancing Safety and Performance in Autonomous Cyber Physical Systems. - Baiting Luo; Shreyas Ramakrishna; Ava Pettet; Christopher B. Kuhn; Gabor Karsai; Ayan Mukhopadhyay (ICCPS, 2023)

Distributed Cyber Physical Systems Software Model Checking using Timed Automata. - Purboday Ghosh; Gabor Karsai (ISORC, 2023)

Distributed Control Application for Smart Grids using RIAPS. - Purboday Ghosh; Niloy Barua; Timothy Krentz; Gabor Karsai; Abhishek Dubey; Srdjan M. Lukic (SMARTCOMP, 2023)

Modeling and Real-Time Simulation of Microgrid Components Using Systemc-Ams. - Rahul Bhadani; Gabor Karsai; Hao Tu; Srdjan M. Lukic (WSC, 2023)

2023 SEFM Artifact for BehaVerify (A Domain Specific Language (DSL) for Behavior Tree Verification and Implementation). - Bernard Serbinowski; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees). - Serena Serbinowska; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)

2024 VMCAI Artifact for BehaVerify (Verification of Stateful Behavior Trees). - Serena Serbinowska; Dániel Stojcsics; Nagabhushan Mahadevan; Gabor Karsai; Taylor T. Johnson (Zenodo, 2023)

Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue. - Yunuo Zhang; Baiting Luo; Ayan Mukhopadhyay; Dániel Stojcsics; Daniel Elenius; Anirban Roy; Susmit Jha; Miklos Maroti; Xenofon D. Koutsoukos; Gabor Karsai; Abhishek Dubey (ICAA, 2024)

Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework. - Patrik Meijer; Nag Mahadevan; Mark Wutka; Gabor Karsai (MoDELS (Companion), 2024)

Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS. - Rahul Bhadani; Satyaki Banik; Hao Tu; Srdjan M. Lukic; Gabor Karsai (CoRR, 2024)

On Simulation of Power Systems and Microgrid Components with SystemC-AMS. - Rahul Bhadani; Satyaki Banik; Hao Tu; Srdjan M. Lukic; Gabor Karsai (CoRR, 2024)

Formalizing Stateful Behavior Trees. - Serena Serafina Serbinowska; Preston Robinette; Gabor Karsai; Taylor T. Johnson (FMAS@iFM, 2024)

2024 SEFM Artifact for BehaVerify (Formalizing Stateful Behavior Trees). - Serena Serafina Serbinowska; Preston Robinette; Gabor Karsai; Taylor Thomas Johnson (Zenodo, 2024)

An IoT-Based Framework for Distributed Generic Microgrid Controllers. - Hao Tu; Hui Yu 012; Yuhua Du; Scott Eisele; Xiaonan Lu; Gabor Karsai; Srdjan M. Lukic (IEEE Trans. Control. Syst. Technol., 2024)