Simon Kramer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
5
Active years
2007–2017
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2017 | ECRTS | Communication Centric Design in Complex Automotive Embedded Systems. | Arne Hamann, Dakshina Dasari, Simon Kramer, Michael Pressler, Falk Wurst |
| 2016 | RTAS | Demo Abstract: Demonstration of the FMTV 2016 Timing Verification Challenge. | Arne Hamann, Dirk Ziegenbein, Simon Kramer, Martin Lukasiewycz |
| 2011 | RE | A modular multi-modal specification of real-timed, end-to-end voter-verifiable voting systems. | Simon Kramer, Peter Y. A. Ryan |
| 2009 | ICSE | Extracting, specifying and predicting software system properties in component based real-time embedded software development. | Ji Eun Kim, Oliver Rogalla, Simon Kramer, Arne Hamann |
| 2007 | DAC | RISPP: Rotating Instruction Set Processing Platform. | Lars Bauer, Muhammad Shafique, Simon Kramer, Jrg Henkel |