Tertiary Links

  • Publications
  • Education
  • Resources
  • People
  • Sponsors
  • Careers
  • Contact
  • Alumni

Secondary links

  • Login


Institute for Software Integrated Systems

Primary links

  • Projects
    • Active Projects
    • Archived Projects
  • Tools
  • Research
    • Model Integrated Computing
    • Smart Cities
    • Distributed Object Computing
    • Network Embedded Systems
    • Cyber-Physical Systems
    • Education Technology
    • Smart Mobility
    • Modeling and Analysis of Complex Systems
  • Careers
  • Internships
  • Calendar
  • Proposal Questionnaire
  • ISIS VPN
  • Printers

Home

ISIS Publications

  • List
  • Filter
Export 3 results:
  • Tagged
  • XML
  • BibTex
Sort by: Author Title Type [ Year (Desc)]
Filters: Author is Madl, Gabor  [Clear All Filters]
2005
Abdelwahed, S., and G. Madl, "Model Based Analysis of Distributed Realtime Embedded System Composition", ACM Conference on Embedded Software (EMSOFT '05), Jersey City, New Jersey, September, 2005.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: Abdelwahed_S_9_0_2005_Model_Base.pdf (643.18 KB)
Madl, G., S. Abdelwahed, and D. C. Schmidt, "Verifying Distributed Real-time Properties of Embedded Systems via Graph Transformations and Model Checking", International Journal of Time-Critical Computing Systems, 2005.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: Madl_G_0_0_2005_Verifying_.pdf (525.32 KB)
2004
Madl, G., S. Abdelwahed, and G. Karsai, "Automatic Verification of Component-Based Real-Time CORBA Applications", the 25th IEEE International Real-Time Systems Symposium, Lisbon, Portugal, December, 2004.
  • Tagged
  • XML
  • BibTex
  • Google Scholar
 Download: ISIS_12_0_2004_Automatic_.pdf (1.56 MB)
Copyright © 2011 ISIS / Vanderbilt University / School of Engineering