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

Gabor Madl (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


12Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor 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
11Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor 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)
9Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Madl, Nikil Dutt, Sherif Abdelwahed: Performance estimation of distributed real-time embedded systems by discrete event simulations. EMSOFT 2007: 183-192
3Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor 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)
2Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor Madl, Sherif Abdelwahed: Model-based analysis of distributed real-time embedded system composition. EMSOFT 2005: 371-374
1Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLGabor 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 TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page