World's Best Scientists 2026 revealed!

D-Index & Metrics

Computer Science

D-Index
60
Citations
17467
World Ranking
3199
National Ranking
1551

Overview

Gabor Karsai is affiliated with Vanderbilt University in the United States. Their research spans multiple areas within computer science and engineering, covering topics such as artificial intelligence, software engineering, computer networks, control systems, and electrical engineering.

Their recent publications demonstrate a focus on software engineering methodologies and verification techniques. Notable recent papers include:

  • The Graph Rewriting and Transformation Language: GReAT (2024), published at Technische Universität Berlin - Universitätsbibliothek
  • Verifying Model Transformations by Structural Correspondence (2024), published in Electronic Communication of The European Association of Software Science and Technology
  • URMILA: Dynamically trading-off fog and edge resources for performance and mobility-aware IoT services (2020), published in Journal of Systems Architecture
  • Efficient Out-of-Distribution Detection Using Latent Space of β -VAE for Cyber-Physical Systems (2022), published in ACM Transactions on Cyber-Physical Systems
  • ANTI-CARLA: An Adversarial Testing Framework for Autonomous Vehicles in CARLA (2022), presented at the 2022 IEEE 25th International Conference on Intelligent Transportation Systems (ITSC)

Their frequent co-authors include Abhishek Dubey, Shreyas Ramakrishna, Daniel Balasubramanian, Hao Tu, and Srdjan Lukic.

Publication venues where they frequently contribute include:

  • arXiv (Cornell University)
  • Külgazdaság
  • Technische Universität Berlin - Universitätsbibliothek
  • Journal of Systems Architecture
  • TUGraz OPEN Library (Graz University of Technology)

The main fields of study for this researcher include:

  • Computer Science
  • Engineering

The subfields of study within these areas are:

  • Artificial Intelligence
  • Software
  • Computer Networks and Communications
  • Control and Systems Engineering
  • Electrical and Electronic Engineering

Karsai's work addresses several main topics within their research fields, such as:

  • Model-Driven Software Engineering Techniques
  • Formal Methods in Verification
  • Advanced Software Engineering Methodologies
  • Software Reliability and Analysis Research
  • Anomaly Detection Techniques and Applications
  • Adversarial Robustness in Machine Learning
  • Service-Oriented Architecture and Web Services

Best Publications

  • Software Engineering for Self-Adaptive Systems : A Second Research Roadmap

    Rogério de Lemos;Holger Giese;Hausi A. Müller;Mary Shaw

  • Smart Dust: communicating with a cubic-millimeter computer

    A. Ledeczi;A. Bakay;M. Maroti;P. Volgyesi

  • Software Engineering for Self-Adaptive Systems: A Research Roadmap

    Betty H. Cheng;Rogério Lemos;Holger Giese;Paola Inverardi

  • The Generic Modeling Environment

    Akos Ledeczi;Miklos Maroti;Arpad Bakay;Gabor Karsai

  • Model-integrated computing

    J. Sztipanovits;G. Karsai

  • Model-integrated development of embedded software

    G. Karsai;J. Sztipanovits;A. Ledeczi;T. Bapty

  • Toward a Science of Cyber–Physical System Integration

    J. Sztipanovits;X. Koutsoukos;G. Karsai;N. Kottenstette

  • Developing applications using model-driven design environments

    K. Balasubramanian;A. Gokhale;G. Karsai;J. Sztipanovits

  • Artificial neural networks applied to arc welding process modeling and control

    K. Andersen;G.E. Cook;G. Karsai;K. Ramaswamy

  • Metamodeling-rapid design and evolution of domain-specific modeling environments

    G. Nordstrom;J. Sztipanovits;G. Karsai;A. Ledeczi

  • On the Use of Graph Transformation in the Formal Specification of Model Interpreters

    Gabor Karsai;Aditya Agrawal;Feng Shi;Jonathan Sprinkle

  • Semantic Translation of Simulink/Stateflow Models to Hybrid Automata Using Graph Transformations

    Aditya Agrawal;Gyula Simon;Gabor Karsai

  • A domain-specific visual language for domain model evolution

    Jonathan Sprinkle;Gabor Karsai

  • The Graph Rewriting and Transformation Language: GReAT

    Daniel Balasubramanian;Anantha Narayanan;Christopher P. van Buskirk;Gabor Karsai

  • Constraint-based design-space exploration and model synthesis

    Sandeep Neema;Janos Sztipanovits;Gabor Karsai;Ken Butts

  • The design of a language for model transformations

    Aditya Agrawal;Gabor Karsai;Sandeep Neema;Feng Shi

  • Design Guidelines for Domain Specific Languages

    Gabor Karsai;Holger Krahn;Claas Pinkernell;Bernhard Rumpe

  • Graph Transformations on Domain-Specific Models

    Aditya Agrawal;Gabor Karsai;Feng Shi

  • Composition and cloning in modeling and meta-modeling

    G. Karsai;M. Maroti;A. Ledeczi;J. Gray

  • An end-to-end domain-driven software development framework

    Aditya Agrawal;Gabor Karsai;Akos Ledeczi

Frequent Co-Authors

Janos Sztipanovits
Janos Sztipanovits Vanderbilt University
Akos Ledeczi
Akos Ledeczi Vanderbilt University
Aniruddha Gokhale
Aniruddha Gokhale Vanderbilt University
Xenofon Koutsoukos
Xenofon Koutsoukos Vanderbilt University
Gautam Biswas
Gautam Biswas Vanderbilt University
Srdjan Lukic
Srdjan Lukic North Carolina State University
Arthur F. Witulski
Arthur F. Witulski Vanderbilt University
Ronald D. Schrimpf
Ronald D. Schrimpf Vanderbilt University
Holger Giese
Holger Giese Hasso Plattner Institute
Bernhard Rumpe
Bernhard Rumpe RWTH Aachen University

If you think any of the details on this page are incorrect, let us know.

Report an issue

We appreciate your kind effort to assist us to improve this page, it would be helpful providing us with as much detail as possible in the text box below:

Related Online Degrees & Career Pathways

Exploring online degrees can open up flexible and affordable options for a career in computer science, data technology, or related fields. Many reputable institutions now offer online mba programs that help professionals build leadership and management skills essential for tech-driven industries.

For those hoping to accelerate their education, there are also one year masters programs online. These intensive programs allow students to quickly gain advanced knowledge and credentials without a long-term commitment.

If you're looking for efficiency and quick entry into the workforce, consider some of the fastest degree to get online. These degrees are designed for rapid completion and can lead to high-paying tech roles in a short time frame.

With technology advancing rapidly, specialization in artificial intelligence is in high demand. Aspiring AI professionals may benefit from reviewing the ai degree programs now available at an affordable price online.

Regardless of your career goals within computer science, online programs offer numerous pathways to a rewarding and lucrative future.

Best Scientists Citing Gabor Karsai

Trending Scientists

Recently Published Articles