Page tree
Skip to end of metadata
Go to start of metadata

This is the part of the Wiki concerned with the Real-Time and Embedded part of the project.

To Go Further

[1] D. Harel, Statecharts: A visual formalism for complex systems, Science of Computer Programming, 8(3):231-274, June 1987.

[2] R. von Hanxleden, B. Duderstadt, C. Motika, S. Smyth, M. Mendler, J. Aguado, S. Mercer, and O. O’Brien. SCCharts: Sequentially Constructive Statecharts for Safety-Critical Applications. In Proc. ACM SIGPLAN Conference on Programming Language Design and Implementation (PLDI’14), Edinburgh, UK, June 2014. (pdf)

[3] C. Motika, S. Smyth, and R. von Hanxleden. Compiling SCCharts—A Case-Study on Interactive Model-Based Compilation. In Proc. of the 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (ISoLA 2014), volume 8802 of LNCS, page 443–462, Corfu, Greece, October 2014.  (pdf)

Important Dates

DateRoomAppointment

April 15th, 2015
10:15am

R1115 CAP4

Kick-off
April 27th, 2015
08:00am
Proposal Proposal
April 30th, 2015
08:00am
Final Proposal

Recent space activity

Space contributors

{"mode":"list","scope":"descendants","limit":"5","showLastTime":"true","order":"update","contextEntityId":10750994}

 

  • No labels