dblp.uni-trier.dewww.uni-trier.de

Gabor Madl

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
8EEGabor Madl, Nikil Dutt, Sherif Abdelwahed: Performance estimation of distributed real-time embedded systems by discrete event simulations. EMSOFT 2007: 183-192
7EEDror 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)
6EEStephen 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
5EEGabor 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
4EEGabor Madl, Nikil Dutt: Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems. SAMOS 2006: 59-68
3EEGabor 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
2EEGabor Madl, Sherif Abdelwahed: Model-based analysis of distributed real-time embedded system composition. EMSOFT 2005: 371-374
2004
1EEGabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240

Coauthor Index

1Sherif Abdelwahed [1] [2] [3] [8]
2Tokunbo O. S. Adeshiyan [6] [7]
3Daniel Balasubramanian [6] [7]
4Luis Angel D. Bathen [5]
5Nikil D. Dutt (Nikil Dutt) [4] [5] [8]
6Yoav Etsion [7]
7Dror G. Feitelson [6] [7]
8Gabor Karsai [1]
9Esteban Osses [6] [7]
10Sudeep Pasricha [5]
11Stephen R. Schach [6] [7]
12Douglas C. Schmidt [3]
13Sameer Singh [6] [7]
14Karlkim Suwanmongkol [6] [7]
15Minhui Xie [6] [7]
16Qiang Zhu [5]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)