Gabor Madl

Publication Activity (10 Years)

Years Active: 2004-2019
Publications (10 Years): 3

Top Topics

Formal Verification

Iris Biometrics

Person Authentication

Biometric Identification

Top Venues

Publications

Luis Angel D. Bathen, German H. Flores, Gabor Madl, Divyesh Jadav, Andreas Arvanitis, Krishna Santhanam, Connie Zeng, Alan Gordon
SelfIs: Self-Sovereign Biometric IDs. CVPR Workshops (2019)
Gabor Madl, Luis Angel D. Bathen, German H. Flores, Divyesh Jadav
Formal Verification of Smart Contracts Using Interface Automata. Blockchain (2019)
Gabor Madl, Ramani Routray, Yang Song, Rakesh Jain
Account clustering in multi-tenant storage management environments. IEEE BigData (2015)
Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby
Quantifying Error Propagation in Data Flow Models. ECBS (2013)
Gabor Madl, Nikil D. 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)
Gabor Madl, Sudeep Pasricha, Nikil D. Dutt, Sherif Abdelwahed
Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs. IEEE Trans. Ind. Informatics 5 (3) (2009)
Gabor Madl, Nikil D. Dutt
Real-time analysis of resource-constrained distributed systems by simulation-guided model checking. SIGBED Rev. 5 (1) (2008)
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. J. Syst. Softw. 80 (8) (2007)
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. Softw. Qual. J. 15 (1) (2007)
Chulho Shin, Peter Grun, Nizar Romdhane, Christopher K. Lennard, Gabor Madl, Sudeep Pasricha, Nikil D. Dutt, Mark Noll
Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications. Des. Autom. Embed. Syst. 11 (2-3) (2007)
Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed
Performance estimation of distributed real-time embedded systems by discrete event simulations. EMSOFT (2007)
Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt, Qiang Zhu
Formal performance evaluation of AMBA-based system-on-chip designs. EMSOFT (2006)
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
Verifying distributed real-time properties of embedded systems via graph transformations and model checking. Real Time Syst. 33 (1-3) (2006)
Gabor Madl, Nikil D. Dutt
Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems. SAMOS (2006)
Gabor Madl, Sherif Abdelwahed
Model-based analysis of distributed real-time embedded system composition. EMSOFT (2005)
Gabor Madl, Sherif Abdelwahed, Gabor Karsai
Automatic Verification of Component-Based Real-Time CORBA Applications. RTSS (2004)