Copyright information
The papers below are covered by copyright. They are provided for personal use only and may not be distributed.
Award
2009: National Science Foundation Computing Innovation Fellow Award. 60 post-doctoral research grants awarded, 526 Ph.D. applicants from U.S. universities (~11.4% acceptance rate). Did not accept, joined Honeywell.
2007: The ACM SIGBED/SIGSOFT Frank Anger Memorial Award for promoting the crossover of ideas between the embedded software and software engineering communities.
Ph.D. Dissertation
Gabor Madl: Model-based Analysis of Event-driven Distributed Real-time Embedded Systems, Ph.D. Dissertation, University of California, Irvine, June 2009.
Gabor Madl: Model-based Analysis of Event-driven Distributed Real-time Embedded Systems, Final Defense Presentation, University of California, Irvine, May 2009.
Journal
Gabor Madl, Sudeep Pasricha, Qiang Zhu, Luis Angel D. Bathen, Nikil Dutt: Combining Transaction-level Simulations and Model Checking for MPSoC Verification and Performance Evaluation, ACM Transactions on Design Automation of Electronic Systems (submitted for publication, in second round of review process), 2009.
Gabor Madl, Sudeep Pasricha, Nikil Dutt, Sherif Abdelwahed: Cross-abstraction Functional Verification and Performance Analysis of Chip Multiprocessor Designs, IEEE Transactions on Industrial Informatics, Special Section on Real-time and (Networked) Embedded Systems (accepted for publication), 2009.
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt: Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking (unformatted draft), Real-Time Systems, Special Issue: Invited Papers from the 25th IEEE International Real-Time Systems Symposium, Volume 33, Numbers 1-3, Pages 77-100, July 2006. Bibtex.
Chulho Shin, Peter Grun, Nizar Romdhane, Christopher Lennard, Gabor Madl, Sudeep Pasricha, Nikil Dutt, Mark Noll: Enabling heterogeneous cycle-based and event-driven simulation in a design flow integrated using the SPIRIT consortium specifications, Design Automation for Embedded Systems, Volume 11, Numbers 2-3, September 2007. Bibtex.
Dror G. Feitelson, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Yoav Etsion, Gabor Madl, Esteban P. Osses, Sameer Singh, Karlkim Suwanmongkol, Charlie Xie, and Stephen R. Schach: Fine-Grain Analysis of Common Coupling and its Application to a Linux Case Study, Journal of Systems and Software, Volume 80, Issue 8, Pages 1239-1255, August 2007. Bibtex.
Stephen R. Schach, Tokunbo O. S. Adeshiyan, Daniel Balasubramanian, Gabor Madl, Esteban P. Osses, Sameer Singh, Karlkim Suwanmongkol, Minhui Xie, and Dror G. Feitelson: Common Coupling and Pointer Variables, with Application to a Linux Case Study, Software Quality Journal, Volume 15, Number 1, Pages 99-113, March 2007. Bibtex.
Conference
Gabor Madl, Nikil Dutt, Sherif Abdelwahed: A Conservative Approximation Method for the Verification of Preemptive Scheduling using Timed Automata, Proceedings of the 15th IEEE Real-time and Embedded Technology and Applications Symposium (RTAS), Pages 255-264, April 2009. Presentation. Bibtex.
Gabor Madl, Nikil Dutt: Real-time Analysis of Resource-Constrained Distributed Systems by Simulation-Guided Model Checking, Ph.D. Forum, the 28th IEEE International Real-Time Systems Symposium, December 2007. Presentation. Bibtex.
Gabor Madl, Nikil Dutt, Sherif Abdelwahed: Performance Estimation of Distributed Real-time Embedded Systems by Discrete Event Simulations, Proceedings of EMSOFT, Pages 183-192, October 2007. Presentation. Bibtex.
Gabor Madl, Sudeep Pasricha, Qiang Zhu, Luis Angel D. Bathen, Nikil Dutt: Formal Performance Evaluation of AMBA-based System-on-Chip Designs, Proceedings of EMSOFT, Pages 311-320, October 2006. Presentation. Bibtex.
Gabor Madl, Sherif Abdelwahed: Model-based Analysis of Distributed Real-time Embedded System Composition, Proceedings of EMSOFT, Pages 371-374, September 2005. Presentation. Bibtex.
Gabor Madl, Sherif Abdelwahed, Gabor Karsai: Automatic Verification of Component-Based Real-Time CORBA Applications, Proceedings of the 25th IEEE International Real-Time Systems Symposium (RTSS), Pages 231-240, December 2004. Presentation. Bibtex.
Peter Grun, Chulho Shin, Chris Baxter, Christopher Lennard, Mark Noll, Gabor Madl: Integrating a multi-vendor ESL-to-silicon design flow using SPIRIT, IP-SoC, December 2005. Presentation. Bibtex.
Workshop
Gabor Madl, Nikil Dutt: Domain-specific Modeling of Power Aware Distributed Real-time Embedded Systems, Proceedings of the 6th Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS), Pages 59-68, July 2006. Presentation. Bibtex.
Technical Report
Gabor Madl, Nikil Dutt: Tutorial for the Open-Source DREAM Tool, Draft v1.2, CECS technical report, 2006. Bibtex.
Gabor Madl, Sherif Abdelwahed: Formal Verification of Distributed Preemptive Real-time Scheduling, ISIS Technical Report, 2005. Bibtex.
Poster
Gabor Madl, Nikil Dutt, Sherif Abdelwahed: Model-based Design and Analysis of Distributed Real-time Embedded Systems, Poster, Bren Hall Dedication 2007.
Gabor Madl, Nikil Dutt, Sherif Abdelwahed: Distributed Real-time Embedded Analysis Method - DREAM, Poster, Emsoft 2005.
Gabor Madl, Tivadar Szemethy, Sherif Abdelwahed, Gabor Karsai, Janos Sztipanovits: Embedded System Verification via Platform Modeling, Model Transformations and Model Checking, Poster, ITR review, UC Berkeley, November, 2004.
