09481 Abstracts Collection – SYNCHRON 2009

Authors Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, Reinhard von Hanxleden

Thumbnail PDF


  • Filesize: 4.44 MB
  • 93 pages

Document Identifiers

Author Details

Albert Benveniste
Stephen A. Edwards
Edward Lee
Klaus Schneider
Reinhard von Hanxleden

Cite AsGet BibTex

Albert Benveniste, Stephen A. Edwards, Edward Lee, Klaus Schneider, and Reinhard von Hanxleden. 09481 Abstracts Collection – SYNCHRON 2009. In SYNCHRON 2009. Dagstuhl Seminar Proceedings, Volume 9481, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2010)


The 16th SYNCHRON workshop has been organized as Dagstuhl seminar 09481 from November 22-27, 2009. Online material of the seminar is available at the following web page: http://www.dagstuhl.de/de/programm/kalender/semhp/?semnr=09481
  • Synchronous languages
  • Safety-critical real-time systems
  • Model-based design
  • Discrete and hybrid systems
  • Combining synchronous and asynchronous models
  • Formally consistent subsetting of UML
  • High-level hardware modeling and synthesis
  • Compilation and code synthesis for embedded systems


  • Access Statistics
  • Total Accesses (updated on a weekly basis)
    PDF Downloads
Questions / Remarks / Feedback

Feedback for Dagstuhl Publishing

Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail