Gabor Madl - researchr alias

researchr

You are not signed in
Sign in
Sign up

Viewing Publication 1 - 16 from 16

2019

SelfIs: Self-Sovereign Biometric IDsLuis Angel D. Bathen, German H. Flores, Gabor Madl, Divyesh Jadav, Andreas Arvanitis, Krishna Santhanam, Connie Zeng, Alan Gordon. cvpr 2019: 2847-2856 [doi]

Formal Verification of Smart Contracts Using Interface AutomataGabor Madl, Luis Angel D. Bathen, German H. Flores, Divyesh Jadav. blockchain2 2019: 556-563 [doi]

2015

Account clustering in multi-tenant storage management environmentsGabor Madl, Ramani Routray, Yang Song, Rakesh Jain. bigdataconf 2015: 1698-1707 [doi]

2013

Quantifying Error Propagation in Data Flow ModelsDevesh Bhatt, Kirk Schloegel, Gabor Madl, David Oglesby. ECBS 2013: 2-11 [doi]

2009

A Conservative Approximation Method for the Verification of Preemptive Scheduling Using Timed AutomataGabor Madl, Nikil Dutt, Sherif Abdelwahed. rtas 2009: 255-264 [doi]

Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor DesignsGabor Madl, Sudeep Pasricha, Nikil Dutt, Sherif Abdelwahed. tii, 5(3):241-256, 2009. [doi]

2008

Real-time analysis of resource-constrained distributed systems by simulation-guided model checkingGabor Madl, Nikil Dutt. sigbed, 5(1):7, 2008. [doi]

2007

Fine-grain analysis of common coupling and its application to a Linux case studyDror G. Feitelson, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Yoav Etsion, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Stephen R. Schach. jss, 80(8):1239-1255, 2007. [doi]

Performance estimation of distributed real-time embedded systems by discrete event simulationsGabor Madl, Nikil Dutt, Sherif Abdelwahed. emsoft 2007: 183-192 [doi]

Common coupling and pointer variables, with application to a Linux case studyStephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, Dror G. Feitelson. sqj, 15(1):99-113, 2007. [doi]

Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specificationsChulho Shin, Peter Grun, Nizar Romdhane, Christopher K. Lennard, Gabor Madl, Sudeep Pasricha, Nikil Dutt, Mark Noll. dafes, 11(2-3):119-140, 2007. [doi]

2006

Domain-Specific Modeling of Power Aware Distributed Real-Time Embedded SystemsGabor Madl, Nikil Dutt. samos 2006: 59-68 [doi]

Verifying distributed real-time properties of embedded systems via graph transformations and model checkingGabor Madl, Sherif Abdelwahed, Douglas C. Schmidt. rts, 33(1-3):77-100, 2006. [doi]

Formal performance evaluation of AMBA-based system-on-chip designsGabor Madl, Sudeep Pasricha, Luis Angel D. Bathen, Nikil Dutt, Qiang Zhu. emsoft 2006: 311-320 [doi]

2005

Model-based analysis of distributed real-time embedded system compositionGabor Madl, Sherif Abdelwahed. emsoft 2005: 371-374 [doi]

2004

Automatic Verification of Component-Based Real-Time CORBA ApplicationsGabor Madl, Sherif Abdelwahed, Gabor Karsai. rtss 2004: 231-240 [doi]

Sign in or sign up to see more results.

runs on WebDSL