Skip to main content
Horizontal Menu
Research
Areas
Projects
Publications
NSA Center of Academic Excellence
Education
Prospective Students
Summer Program Info
Team
Sponsors
Contact
Opportunities
Intranet
Intranet
JIRA
Proposal Questionnaire
Change Password
Login
Submit
Hamburger Menu
Home
ISIS Calendar
Research
Research Projects
Research Areas
Publications
Education
Grad Student Info
Internship Program
Prospective Students
Team
Sponsors
Contact
Opportunities
Intranet
Announcements
ISIS Intranet
ISIS JIRA
Proposal Questionnaire
Change Password
Breadcrumb
Home
/
Gabor Karsai
First name
Gabor
Last name
Karsai
Maroti, M., Volgyesi, P., Simon, G., Karsai, G., & Ledeczi, A. (2003). Distributed Middleware Services Composition and Synthesis Technology. In
IEEE Aerospace
. Big Sky, MT. (Original work published 2025)
View
Nordstrom, S., Shetty, S., Yao, D., Ahuja, S., Neema, S., Bapty, T., & Karsai, G. (2005). Toward self-reconfiguring, fault-adaptive, high-performance distributed real-time systems.
International Journal on Software Tools for Technology Transfer
.
View
Sztipanovits, J., Biswas, G., Frampton, K., Balasubramanian, J., Howard, L., Karsai, G., … Schmidt, D. C. (2005). Introducing Embedded Software and Systems Education and Advanced Learning Technology in an Engineering Curriculum.
ACM Transactions on Embedded Systems
.
View
Agrawal, A., Vizhanyo, A., Kalmar, Z., Shi, F., Narayanan, A., & Karsai, G. (2004). Reusable Idioms and Patterns in Graph Transformation Languages. In
2nd International Conference on Graph Transformation
. Rome, Italy. (Original work published 2025)
View
Szemethy, T., & Karsai, G. (2004). Platform Modeling and Model Transformations for Analysis.
Journal of Universal Computer Science
,
10
, 1383–1406. (Original work published 2025)
View
Neema, S., & Karsai, G. (2004).
Embedded Control Systems Language for Distributed Processing
. Institute for Software Integrated Systems. (Original work published 2025)
View
Abdelwahed, S., Biswas, G., & Karsai, G. (2004). System Diagnosis using Hybrid Failure Propagation Graphs. In
The 15th International Workshop on Principles of Diagnosis
. Carcassonne, France. (Original work published 2025)
View
Madl, G., Abdelwahed, S., & Karsai, G. (2004). Automatic Verification of Component-Based Real-Time CORBA Applications. In
the 25th IEEE International Real-Time Systems Symposium
. Lisbon, Portugal. (Original work published 2025)
View
Balasubramanian, D., Narayanan, A., van Buskirk, C., & Karsai, G. (2006). The Graph Rewriting and Transformation Language: GReAT.
Electronic Communications of the EASST
,
1
.
View
Eby, M., Werner, J., Karsai, G., & Sztipanovits, J. (2006). Integrating Security Modeling into Embedded System Design. In
ECBS 2007
. Tucson, Arizona.
View
Pagination
Previous page
‹‹
Page 15
Next page
››