Gabor Madl, Ph.D.
Affiliations: | 2009 | University of California, Irvine, Irvine, CA |
Area:
Computer ScienceGoogle:
"Gabor Madl"Parents
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
See more...
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. |
| 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. (2008) Real-time analysis of resource-constrained distributed systems by simulation-guided model checking Acm Sigbed Review. 5: 1-2 |
| 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 |
| 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 |
| Madl G, Pasricha S, Bathen LAD, et al. (2006) Formal performance evaluation of AMBA-based system-on-chip designs Ieee International Conference On Embedded Software, Emsoft 2006. 311-320 |
| Madl G, Abdelwahed S, Schmidt DC. (2006) Verifying distributed real-time properties of embedded systems via graph transformations and model checking Real-Time Systems. 33: 77-100 |