| 2007 |
|---|
| 8 | EE | Gabor Madl,
Nikil Dutt,
Sherif Abdelwahed:
Performance estimation of distributed real-time embedded systems by discrete event simulations.
EMSOFT 2007: 183-192 |
| 7 | EE | Dror G. Feitelson,
Tokunbo O. S. Adeshiyan,
Daniel Balasubramanian,
Yoav Etsion,
Gabor Madl,
Esteban Osses,
Sameer Singh,
Karlkim Suwanmongkol,
Minhui Xie,
Stephen R. Schach:
Fine-grain analysis of common coupling and its application to a Linux case study.
Journal of Systems and Software 80(8): 1239-1255 (2007) |
| 6 | EE | Stephen R. Schach,
Tokunbo O. S. Adeshiyan,
Daniel Balasubramanian,
Gabor Madl,
Esteban Osses,
Sameer Singh,
Karlkim Suwanmongkol,
Minhui Xie,
Dror G. Feitelson:
Common coupling and pointer variables, with application to a Linux case study.
Software Quality Journal 15(1): 99-113 (2007) |
| 2006 |
|---|
| 5 | EE | Gabor Madl,
Sudeep Pasricha,
Luis Angel D. Bathen,
Nikil Dutt,
Qiang Zhu:
Formal performance evaluation of AMBA-based system-on-chip designs.
EMSOFT 2006: 311-320 |
| 4 | EE | Gabor Madl,
Nikil Dutt:
Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems.
SAMOS 2006: 59-68 |
| 3 | EE | Gabor Madl,
Sherif Abdelwahed,
Douglas C. Schmidt:
Verifying distributed real-time properties of embedded systems via graph transformations and model checking.
Real-Time Systems 33(1-3): 77-100 (2006) |
| 2005 |
|---|
| 2 | EE | Gabor Madl,
Sherif Abdelwahed:
Model-based analysis of distributed real-time embedded system composition.
EMSOFT 2005: 371-374 |
| 2004 |
|---|
| 1 | EE | Gabor Madl,
Sherif Abdelwahed,
Gabor Karsai:
Automatic Verification of Component-Based Real-Time CORBA Applications.
RTSS 2004: 231-240 |
