 | 2009 |
|---|
| 11 |       | Gabor Madl,
Nikil Dutt,
Sherif Abdelwahed:
A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata.
IEEE Real-Time and Embedded Technology and Applications Symposium 2009: 255-264 |
| 10 | | Gabor Madl,
Sudeep Pasricha,
Nikil Dutt,
Sherif Abdelwahed:
Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs.
IEEE Trans. Industrial Informatics 5(3): 241-256 (2009) |
| 2007 |
|---|
| 9 | | Gabor Madl,
Nikil Dutt,
Sherif Abdelwahed:
Performance estimation of distributed real-time embedded systems by discrete event simulations.
EMSOFT 2007: 183-192 |
| 8 | | Chulho Shin,
Peter Grun,
Nizar Romdhane,
Christopher K. Lennard,
Gabor Madl,
Sudeep Pasricha,
Nikil Dutt,
Mark Noll:
Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications.
Design Autom. for Emb. Sys. 11(2-3): 119-140 (2007) |
| 7 | | 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 | | 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 | | 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 | | Gabor Madl,
Nikil Dutt:
Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems.
SAMOS 2006: 59-68 |
| 3 | | 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 | | Gabor Madl,
Sherif Abdelwahed:
Model-based analysis of distributed real-time embedded system composition.
EMSOFT 2005: 371-374 |
| 2004 |
|---|
| 1 | | Gabor Madl,
Sherif Abdelwahed,
Gabor Karsai:
Automatic Verification of Component-Based Real-Time CORBA Applications.
RTSS 2004: 231-240 |
Data released under the ODC-BY 1.0 license — See also our legal information page