Copyright information
The papers below are covered by copyright. They are provided for personal use only and may not be distributed.
Award
2008: The ACM SIGBED/SIGSOFT Frank Anger Memorial Award for promoting the crossover of ideas between the embedded software and software engineering communities (received in 2007).
Journal
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: 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, 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.
