Gábor Karsai

Vanderbilt University — United States

Computer Science · Physical Sciences

48h-index10.3kcitations453works8.02yr avg
OpenAlex↗ORCID↗Google Scholar↗Lab page↗

Accepting Students?

No reports yet. Know if this professor is taking students?

Research Topics

Model-Driven Software Engineering Techniques(135), Advanced Software Engineering Methodologies(113), Real-Time Systems Scheduling(68), Service-Oriented Architecture and Web Services(57), Formal Methods in Verification(47)

Publications453 total

Incorporating Ephemeral Traffic Waves in A Data-Driven Framework for Microsimulation in CARLA
arXiv (Cornell University)·2025Open Access
Online Small-Sat Knowledge Repositories and Modeling Tools for Risk Reduction and Enhanced Mission Success
Digital Commons - USU (Utah State University)·2025Open Access
Connecting Mission Profiles and Radiation Vulnerability Assessment
Digital Commons - USU (Utah State University)·2025Open Access
Beyond the attention economy, towards an ecology of attending. A manifesto
AI & Society·2025· 1 citedOpen Access
Hardware in the Loop Evaluation on Autonomous Underwater Vehicles using an Edge Device
2025
Model‐Driven Engineering for Digital Twins: Opportunities and Challenges
Systems Engineering·2025· 10 citedOpen Access
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue
arXiv (Cornell University)·2024Open Access
Formalizing Stateful Behavior Trees
Electronic Proceedings in Theoretical Computer Science·2024· 3 citedOpen Access
From an attention economy to an ecology of attending. A manifesto
arXiv (Cornell University)·2024· 2 citedOpen Access
Shrinking POMCP: A Framework for Real-Time UAV Search and Rescue
2024· 1 cited
Towards the Co-evolution of Models, Code, and Assurance Cases: The CAID Framework
2024Open Access
On Simulation of Power Systems and Microgrid Components with SystemC-AMS
arXiv (Cornell University)·2024Open Access
Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS
arXiv (Cornell University)·2024Open Access
Model-based Design Tool for Cyber-physical Power Systems using SystemC-AMS
2024· 1 cited
Verifying Model Transformations by Structural Correspondence
Electronic Communication of The European Association of Software Science and Technology·2024· 26 citedOpen Access
An IoT-Based Framework for Distributed Generic Microgrid Controllers
IEEE Transactions on Control Systems Technology·2024· 2 cited
The Graph Rewriting and Transformation Language: GReAT
Technische Universität Berlin – Universitätsbibliothek·2024· 95 citedOpen Access
An Active Pattern Infrastructure for Domain-Specific Languages
Technische Universität Berlin – Universitätsbibliothek·2024· 6 citedOpen Access
Using Semantic Anchoring to Verify Behavior Preservation in Graph Transformations
Technische Universität Berlin – Universitätsbibliothek·2024· 14 citedOpen Access
PML: a Language for Platform Modeling
Technische Universität Berlin – Universitätsbibliothek·2024Open Access
page 1 of 23Next →

Frequent Co-authors

János Sztipanovits(17), Ákos Lédeczi(10), Jonathan Sprinkle(6), Aditya Agrawal(6), Miklós Maróti(5), Sandeep Neema(5), Péter Völgyesi(4), G. Nordstrom(4), Ted Bapty(4), Xenofon Koutsoukos(4), Shi Feng(4), Abhishek Dubey(4), Holger Giese(3), Hausi Müller(3), Basil Becker(3), Aniruddha Gokhale(3), Gyula Simon(3), Bernhard Rumpe⋆(3), Anantha Narayanan(3), Himanshu Neema(3)