Robert Mittermayr is a Software Engineer in the safety-critical field of transportation. He holds a dregree of Doctor of Technical Sciences from the Vienna University of Technology, Austria. His research interests include formal methods for safety critical systems, program analysis, worst-case execution time analysis, concurrent systems, and model checking.
I take real pleasure in seeing the proceedings of the 12th International Workshop on Worst-Case E... more I take real pleasure in seeing the proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis online already on the day of the workshop. This helps WCET'12 achieve its goal of facilitating discussion and interaction among participants as well as of returning value to the authors of the works that were accepted for presentation. I also feel personal satisfaction in having achieved the production of these proceedings as a tangible manifestation of the considerable effort that went in making WCET'12 happen, ...
I take real pleasure in seeing the proceedings of the 12th International Workshop on Worst-Case E... more I take real pleasure in seeing the proceedings of the 12th International Workshop on Worst-Case Execution Time Analysis online already on the day of the workshop. This helps WCET'12 achieve its goal of facilitating discussion and interaction among participants as well as of returning value to the authors of the works that were accepted for presentation. I also feel personal satisfaction in having achieved the production of these proceedings as a tangible manifestation of the considerable effort that went in making WCET'12 happen, ...
Uploads
Papers by Robert Mittermayr