The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Gabor Madl: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Gabor Madl, Sherif Abdelwahed
    Model-based analysis of distributed real-time embedded system composition. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2005, pp:371-374 [Conf]
  2. Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil Dutt, Qiang Zhu
    Formal performance evaluation of AMBA-based system-on-chip designs. [Citation Graph (0, 0)][DBLP]
    EMSOFT, 2006, pp:311-320 [Conf]
  3. Gabor Madl, Sherif Abdelwahed, Gabor Karsai
    Automatic Verification of Component-Based Real-Time CORBA Applications. [Citation Graph (0, 0)][DBLP]
    RTSS, 2004, pp:231-240 [Conf]
  4. Gabor Madl, Nikil Dutt
    Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems. [Citation Graph (0, 0)][DBLP]
    SAMOS, 2006, pp:59-68 [Conf]
  5. Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
    Verifying distributed real-time properties of embedded systems via graph transformations and model checking. [Citation Graph (0, 0)][DBLP]
    Real-Time Systems, 2006, v:33, n:1-3, pp:77-100 [Journal]
  6. 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. [Citation Graph (0, 0)][DBLP]
    Journal of Systems and Software, 2007, v:80, n:8, pp:1239-1255 [Journal]
  7. 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. [Citation Graph (0, 0)][DBLP]
    Software Quality Journal, 2007, v:15, n:1, pp:99-113 [Journal]

  8. Performance estimation of distributed real-time embedded systems by discrete event simulations. [Citation Graph (, )][DBLP]


  9. A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata. [Citation Graph (, )][DBLP]


Search in 0.002secs, Finished in 0.003secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002