Automatic Verification of Component-Based Real-Time CORBA Applications. - Gabor Madl; Sherif Abdelwahed; Gabor Karsai (RTSS, 2004)

Model-based analysis of distributed real-time embedded system composition. - Gabor Madl; Sherif Abdelwahed (EMSOFT, 2005)

Formal performance evaluation of AMBA-based system-on-chip designs. - Gabor Madl; Sudeep Pasricha; Luis Angel D. Bathen; Nikil D. Dutt; Qiang Zhu 008 (EMSOFT, 2006)

Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems. - Gabor Madl; Nikil D. Dutt (SAMOS, 2006)

Verifying distributed real-time properties of embedded systems via graph transformations and model checking. - Gabor Madl; Sherif Abdelwahed; Douglas C. Schmidt (Real Time Syst., 2006)

Performance estimation of distributed real-time embedded systems by discrete event simulations. - Gabor Madl; Nikil D. Dutt; Sherif Abdelwahed (EMSOFT, 2007)

Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications. - Chulho Shin; Peter Grun; Nizar Romdhane; Christopher K. Lennard; Gabor Madl; Sudeep Pasricha; Nikil D. Dutt; Mark Noll (Des. Autom. Embed. Syst., 2007)

Fine-grain analysis of common coupling and its application to a Linux case study. - Dror G. Feitelson; Tokunbo O. S. Adeshiyan; Daniel Balasubramanian; Yoav Etsion; Gabor Madl; Esteban Osses; Sameer Singh 001; Karlkim Suwanmongkol; Minhui Xie; Stephen R. Schach (J. Syst. Softw., 2007)

Common coupling and pointer variables, with application to a Linux case study. - Stephen R. Schach; Tokunbo O. S. Adeshiyan; Daniel Balasubramanian; Gabor Madl; Esteban Osses; Sameer Singh 001; Karlkim Suwanmongkol; Minhui Xie; Dror G. Feitelson (Softw. Qual. J., 2007)

Real-time analysis of resource-constrained distributed systems by simulation-guided model checking. - Gabor Madl; Nikil D. Dutt (SIGBED Rev., 2008)

A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata. - Gabor Madl; Nikil D. Dutt; Sherif Abdelwahed (IEEE Real-Time and Embedded Technology and Applications Symposium, 2009)

Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs. - Gabor Madl; Sudeep Pasricha; Nikil D. Dutt; Sherif Abdelwahed (IEEE Trans. Ind. Informatics, 2009)

Quantifying Error Propagation in Data Flow Models. - Devesh Bhatt; Kirk Schloegel; Gabor Madl; David Oglesby (ECBS, 2013)

Account clustering in multi-tenant storage management environments. - Gabor Madl; Ramani Routray; Yang Song 005; Rakesh Jain (IEEE BigData, 2015)

Formal Verification of Smart Contracts Using Interface Automata. - Gabor Madl; Luis Angel D. Bathen; German H. Flores; Divyesh Jadav (Blockchain, 2019)

SelfIs: Self-Sovereign Biometric IDs. - Luis Angel D. Bathen; German H. Flores; Gabor Madl; Divyesh Jadav; Andreas Arvanitis; Krishna Santhanam; Connie Zeng; Alan Gordon (CVPR Workshops, 2019)