Gabor Madl (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

12 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

11 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)

9 Gabor Madl, Nikil Dutt, Sherif Abdelwahed: Performance estimation of distributed real-time embedded systems by discrete event simulations. EMSOFT 2007: 183-192

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)

2 Gabor Madl, Sherif Abdelwahed: Model-based analysis of distributed real-time embedded system composition. EMSOFT 2005: 371-374

1 Gabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240

Selection of 6 from 12 records - Gabor Madl has 21 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

12		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
11		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)
9		Gabor Madl, Nikil Dutt, Sherif Abdelwahed: Performance estimation of distributed real-time embedded systems by discrete event simulations. EMSOFT 2007: 183-192
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)
2		Gabor Madl, Sherif Abdelwahed: Model-based analysis of distributed real-time embedded system composition. EMSOFT 2005: 371-374
1		Gabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS 2004: 231-240