Gabor Madl

According to our database, Gabor Madl authored at least 16 papers between 2004 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

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

Proceedings of the IEEE Conference on Computer Vision and Pattern Recognition Workshops, 2019

Formal Verification of Smart Contracts Using Interface Automata.

Gabor Madl, Luis Angel D. Bathen, German H. Flores, Divyesh Jadav

Proceedings of the IEEE International Conference on Blockchain, 2019

2015

Account clustering in multi-tenant storage management environments.

Gabor Madl, Ramani Routray, Yang Song, Rakesh Jain

Proceedings of the 2015 IEEE International Conference on Big Data (IEEE BigData 2015), Santa Clara, CA, USA, October 29, 2015

2013

Quantifying Error Propagation in Data Flow Models.

Devesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby

Proceedings of the 20th IEEE International Conference and Workshops on Engineering of Computer Based Systems, 2013

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

A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed Automata.

Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed

Proceedings of the 15th IEEE Real-Time and Embedded Technology and Applications Symposium, 2009

2008

Real-time analysis of resource-constrained distributed systems by simulation-guided model checking.

Gabor Madl, Nikil D. Dutt

SIGBED Rev., 2008

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, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson

Softw. Qual. J., 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, Karlkim Suwanmongkol, Minhui Xie, Stephen R. Schach

J. Syst. Softw., 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

Performance estimation of distributed real-time embedded systems by discrete event simulations.

Gabor Madl, Nikil D. Dutt, Sherif Abdelwahed

Proceedings of the 7th ACM & IEEE International conference on Embedded software, 2007

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

Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded Systems.

Gabor Madl, Nikil D. Dutt

Proceedings of the Embedded Computer Systems: Architectures, 2006

Formal performance evaluation of AMBA-based system-on-chip designs.

Gabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil D. Dutt, Qiang Zhu

Proceedings of the 6th ACM & IEEE International conference on Embedded software, 2006

2005

Model-based analysis of distributed real-time embedded system composition.

Gabor Madl, Sherif Abdelwahed

Proceedings of the EMSOFT 2005, 2005

2004

Automatic Verification of Component-Based Real-Time CORBA Applications.

Gabor Madl, Sherif Abdelwahed, Gabor Karsai

Proceedings of the 25th IEEE Real-Time Systems Symposium (RTSS 2004), 2004