Gabor Madl
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
6
Venues
4
Active years
2004–2019
Best venue rank
A*
Where they publish
Papers
6 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | CVPR | SelfIs: Self-Sovereign Biometric IDs. | Luis Angel D. Bathen, German H. Flores, Gabor Madl, Divyesh Jadav, Andreas Arvanitis, Krishna Santhanam, Connie Zeng, Alan Gordon |
| 2009 | RTAS | A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata. | Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed |
| 2007 | EMSOFT | Performance estimation of distributed real-time embedded systems by discrete event simulations. | Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed |
| 2006 | EMSOFT | Formal performance evaluation of AMBA-based system-on-chip designs. | Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt, Qiang Zhu |
| 2005 | EMSOFT | Model-based analysis of distributed real-time embedded system composition. | Gabor Madl, Sherif Abdelwahed |
| 2004 | RTSS | Automatic Verification of Component-Based Real-Time CORBA Applications. | Gabor Madl, Sherif Abdelwahed, Gabor Karsai |