Pisa, Italy, July 3, 2007
in conjunction with the
19th Euromicro Int'l Conference on Real-Time Systems
Pisa, Italy, July 4 - 6, 2007
Call for Papers: PDF - ASCII
|Sept. 18||Final proceedings (also available at the Dagstuhl Research Online Publication Server)|
|Sept. 18||Final program (with final versions of the papers)|
|July 25||Best papers:|
|"Data-Flow Based Detection of Loop Bounds" by C. Cullmann, F. Martin|
|"Loop Bound Analysis based on a Combination of Program Slicing, Abstract Interpretation, and Invariant Analysis" by A. Ermedahl, C. Sandberg, J. Gustafsson, S. Bygde, B. Lisper|
Important dates (deadlines)
Prior WCET Workshops
The Euromicro Technical Committee organizes a number of satellite events attached to its 19th International Real-Time Systems Conference. This workshop is the seventh on the series of WCET workshops that started at the 2001 Euromicro conference.
The goal of the workshop is to bring together people from academia, tool vendors and users in industry that are interested in all aspects of timing analysis for real-time systems. The workshop will provide a relaxed forum to present and discuss new ideas, new research directions, and to review current trends in this area. The workshop will be based on short presentations that should encourage discussion by the attendees.
The topics of the workshop include any issue related to timing analysis, in particular:
Statements which are innovative, controversial, or that present new approaches are specially sought.
Submission of papers:
People who would like to participate in this event are asked to submit a 6 page short paper (PS or PDF) via the workshop submission system. Upon acceptance, a corrected version of the paper should be prepared and submitted. All papers will be made available to all participants a week before the workshop so that contributions can be examined prior to the workshop.
The workshop fosters a highly interactive format of short presentations combined with ample time for in-depth discussions. Authors will be asked to produce a final version of their paper that includes the issues covered in the discussions by September 7, 2007. The final papers will be published in the workshop proceedings. The authors of the two best papers will be invited to submit expanded versions for publication in the Springer Real-Time Systems Journal.
To foster the workshop character, the number of participants will be limited. There will be a small charge for workshop registration. The workshop will be held in Pisa (more details will come later). See the Euromicro Conference on Real-Time Systems website for registration and information on the venue.