Gabor Madl

Statistics

Publications

Citations

205

H-Index

Active since

2005

Affiliations

University of California, Irvine(Current)

Vanderbilt University

Mississippi State University

Irvine University

Integrated Software (United States)

Gabor Madl is an author at University of California, Irvine specializing in computer science, real-time systems verification, and embedded systems design.

Publications per year

2005–2019

Publications

Verifying distributed real-time properties of embedded systems via graph transformations and model checking

Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt · Real-Time Systems · 2006 · 40 citations

Computing, Computer Engineering, Computer Science +17

Model-based analysis of distributed real-time embedded system composition

Gabor Madl, Sherif Abdelwahed · 2005 · 32 citations

Computing, Computer Science, Systems Engineering +17

Performance estimation of distributed real-time embedded systems by discrete event simulations

Gabor Madl, Nikil Dutt, Sherif Abdelwahed · 2007 · 24 citations

Engineering, Computer Science, Systems Engineering +17

Automatic Verification of Component-Based Real-Time CORBA Applications

Gabor Madl, Sherif Abdelwahed, Gábor Karsai · 2005 · 22 citations

Computing, Computer Science, Systems Engineering +17

Formal performance evaluation of AMBA-based system-on-chip designs

Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen et al. · 2006 · 18 citations

Engineering, Computer Engineering, Computer Science +17

1–5 of 10