Gabor Madl, Ph.D.

2009 University of California, Irvine, Irvine, CA 
Computer Science
"Gabor Madl"


Sign in to add mentor
Nikil Dutt grad student 2009 UC Irvine
 (Model-based analysis of event-driven distributed real-time embedded systems.)
BETA: Related publications


You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect.

Madl G, Routray R, Song Y, et al. (2015) Account clustering in multi-tenant storage management environments Proceedings - 2015 Ieee International Conference On Big Data, Ieee Big Data 2015. 1698-1707
Bhatt D, Schloegel K, Madl G, et al. (2013) Quantifying error propagation in data flow models Proceedings of the International Symposium and Workshop On Engineering of Computer Based Systems. 2-11
Bhatt D, Madl G, Oglesby D. (2012) System architecture driven software design analysis methodology and toolset Sae Technical Papers. 5
Bhatt D, Madl G, Oglesby D, et al. (2010) Towards scalable verification of commercial avionics software Aiaa Infotech At Aerospace 2010
Madl G, Pasricha S, Dutt N, et al. (2009) Cross-abstraction functional verification and performance analysis of chip multiprocessor designs Ieee Transactions On Industrial Informatics. 5: 241-256
Madl G, Dutt N, Abdelwahed S. (2009) A conservative approximation method for the verification of preemptive scheduling using timed automata Proceedings of the Ieee Real-Time and Embedded Technology and Applications Symposium, Rtas. 255-264
Madl G, Dutt N, Abdelwahed S. (2007) Performance estimation of distributed real-time embedded systems by discrete event simulations Emsoft'07: Proceedings of the Seventh Acm and Ieee International Conference On Embedded Software. 183-192
Feitelson DG, Adeshiyan TOS, Balasubramanian D, et al. (2007) Fine-grain analysis of common coupling and its application to a Linux case study Journal of Systems and Software. 80: 1239-1255
Schach SR, Adeshiyan TOS, Balasubramanian D, et al. (2007) Common coupling and pointer variables, with application to a Linux case study Software Quality Journal. 15: 99-113
Shin C, Grun P, Romdhane N, et al. (2007) Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications Design Automation For Embedded Systems. 11: 119-140
See more...