Gabor Madl

16 papers A 2Misc 3Journal 6Unranked 5
YearRankTypeTitle / Venue / Authors
2019 — conf
Formal Verification of Smart Contracts Using Interface Automata.
Blockchain
Gabor Madl, Luis Angel D. Bathen, German H. Flores, Divyesh Jadav
2019 — conf
SelfIs: Self-Sovereign Biometric IDs.
CVPR Workshops
Luis Angel D. Bathen, German H. Flores, Gabor Madl, Divyesh Jadav, Andreas Arvanitis, Krishna Santhanam, Connie Zeng, Alan Gordon
2015 — conf
Account clustering in multi-tenant storage management environments.
IEEE BigData
Gabor Madl, Ramani Routray, Yang Song, Rakesh Jain
2013 — conf
Quantifying Error Propagation in Data Flow Models.
ECBS
Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby
2009 A conf
A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata.
IEEE Real-Time and Embedded Technology and Applications Symposium
Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed
2009 J jnl
Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs.
IEEE Trans. Ind. Informatics
Gabor Madl, Sudeep Pasricha, Nikil D. Dutt, Sherif Abdelwahed
2008 J jnl
Real-time analysis of resource-constrained distributed systems by simulation-guided model checking.
SIGBED Rev.
Gabor Madl, Nikil D. Dutt
2007 J jnl
Common coupling and pointer variables, with application to a Linux case study.
Softw. Qual. J.
Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson
2007 J jnl
Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications.
Des. Autom. Embed. Syst.
Chulho Shin, Peter Grun, Nizar Romdhane, Christopher K. Lennard, Gabor Madl, Sudeep Pasricha, Nikil D. Dutt, Mark Noll
2007 J jnl
Fine-grain analysis of common coupling and its application to a Linux case study.
J. Syst. Softw.
Dror G. Feitelson, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Yoav Etsion, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Stephen R. Schach
2007 Misc conf
Performance estimation of distributed real-time embedded systems by discrete event simulations.
EMSOFT
Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed
2006 — conf
Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems.
SAMOS
Gabor Madl, Nikil D. Dutt
2006 Misc conf
Formal performance evaluation of AMBA-based system-on-chip designs.
EMSOFT
Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt, Qiang Zhu
2006 J jnl
Verifying distributed real-time properties of embedded systems via graph transformations and model checking.
Real Time Syst.
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt
2005 Misc conf
Model-based analysis of distributed real-time embedded system composition.
EMSOFT
Gabor Madl, Sherif Abdelwahed
2004 A conf
Automatic Verification of Component-Based Real-Time CORBA Applications.
RTSS
Gabor Madl, Sherif Abdelwahed, Gabor Karsai