\n\t\t\t\t\n\t\t\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\tAlderis@UCI
\n\t\t\t\t\t\tAnalysis Language for Distributed, Embedded, and Real-time Systems.
\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t\n\t\t\t\t
\n\t\t\t\t\n\t\t\t\t\t\t
\n\t\t\n\t\tPublications directly related to Alderis and DREAM
\n\n\t\t\t\t\t\t\n\t\t\t\t\t\t\t
- \t\t\n\n\t\t\t\t\t\t\t\t
![](\"pics/new.png\"/)
Gabor Madl, Sherif Abdelwahed, Douglas C. Schmidt: Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking, 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. \n\t\t\t\t\t\t\t\t- Gabor Madl, Sherif Abdelwahed: Model-based Analysis of Distributed Real-time Embedded System Composition, Proceedings of EMSOFT 2005. Presentation. Bibtex. \n\t\t\t\t\t\t\t\t
- 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, pp. 231-240, Lisbon, Portugal, December, 2004. Presentation. Bibtex. \n\t\t\t\t\t\t\t\t
- Gabor Madl, Nikil Dutt: Domain-specific Modeling of Power Aware Distributed Real-time Embedded Systems, Proceedings of the 6th International Workshop on Embedded Computer Systems: Architectures, Modeling, and Simulation (SAMOS) 2006. Bibtex. \n\t\t\t\t\t\t\t\t
- Gabor Madl, Nikil Dutt: Tutorial for the Open-Source DREAM Tool, Performance comparison with the Uppaal model checker and the Verimag IF toolset, Draft v1.1, CECS technical report, 2006. Bibtex. \n\t\t\t\t\t\t\t\t
- Gabor Madl, Sherif Abdelwahed: Formal Verification of Distributed Preemptive Real-time Scheduling, ISIS Technical Report, 2005. Bibtex. \n\t\t\t\t\t\t\t\t
- Gabor Madl, Nikil Dutt, Sherif Abdelwahed: Distributed Real-time Embedded Analysis Method - DREAM ™, Poster, Emsoft 2005. \n\t\t\t\t\t\t\t\t
- 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. \n\t\t\t\t\t\t\t\t
- Other papers in submission... \n\t\t\t\t\t\t\t
![Distributed Real-time Embedded Analysis Method - DREAM ™](\"poster/emsoft05.jpg\"){kind=link}
![Embedded System Verification via Platform Modeling, Model Transformations and Model Checking](\"poster/itrberkeley04.jpg\"){kind=link}