Reinhold Heckmann
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
20
Venues
12
Active years
1988–2022
Best venue rank
A
Where they publish
Papers
20 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2022 | DATE | The Scale4Edge RISC-V Ecosystem. | Wolfgang Ecker, Peer Adelt, Wolfgang Mller, Reinhold Heckmann, Milos Krstic, Vladimir Herdt, Rolf Drechsler, Gerhard Angst, Ralf Wimmer, Andreas Mauderer, Rafael Stahl, Karsten Emrich, Daniel Mueller-Gritschneder, Bernd Becker, Philipp Scholl, Eyck Jentzsch, Jan Schlamelcher, Kim Grttner, Paul Palomero Bernardo, Oliver Bringmann, Mihaela Damian, Julian Oppermann, Andreas Koch, Jrg Bormann, Johannes Partzsch, Christian Mayr, Wolfgang Kunz |
| 2012 | SAFECOMP | Meeting Real-Time Requirements with Multi-core Processors. | Daniel Kstner, Marc Schlickling, Markus Pister, Christoph Cullmann, Gernot Gebhard, Reinhold Heckmann, Christian Ferdinand |
| 2011 | DATE | Software Structure and WCET Predictability. | Gernot Gebhard, Christoph Cullmann, Reinhold Heckmann |
| 2010 | SAFECOMP | 100% Coverage for Safety-Critical Software - Efficient Testing by Static Analysis. | Daniel Kstner, Reinhold Heckmann, Christian Ferdinand |
| 2008 | ISoLA | Timing Validation of Automotive Software. | Daniel Kstner, Reinhard Wilhelm, Reinhold Heckmann, Marc Schlickling, Markus Pister, Marek Jersak, Kai Richter, Christian Ferdinand |
| 2008 | ISORC | Worst-Case Execution Time - A Tool Provider's Perspective. | Christian Ferdinand, Reinhold Heckmann |
| 2007 | ISoLA | Reliable and Precise WCET and Stack Size Determination for a Real-life Embedded Application. | Philippe Baufreton, Reinhold Heckmann |
| 2006 | ISoLA | Towards an Integration of Low-Level Timing Analysis and Model-Based Code Generation. | Christian Ferdinand, Reinhold Heckmann, Hans-Jrg Wolff, Christian Renz, Manabendra Gupta, Oleg Parshin |
| 2005 | DATE | Verifying Safety-Critical Timing and Memory-Usage Properties of Embedded Software by Abstract Interpretation. | Reinhold Heckmann, Christian Ferdinand |
| 2003 | DSN | An Abstract Interpretation-Based Timing Validation of Hard Real-Time Avionics Software. | Stephan Thesing, Jean Souyris, Reinhold Heckmann, Famantanantsoa Randimbivololona, Marc Langenbach, Reinhard Wilhelm, Christian Ferdinand |
| 2003 | GI | Validierung des Zeitverhaltens von kritischer Echtzeit-Software. | Christian Ferdinand, Daniel Kstner, Florian Martin, Marc Langenbach, Martin Sicks, Stephan Wilhelm, Reinhold Heckmann, Nicolas Fritz, Stephan Thesing, Frank Fontaine, Henrik Theiling, Michael Schmidt, Alexander A. Evstiougov-Babaev, Reinhard Wilhelm |
| 2002 | SAS | Pipeline Modeling for Timing Analysis. | Marc Langenbach, Stephan Thesing, Reinhold Heckmann |
| 2001 | EMSOFT | Reliable and Precise WCET Determination for a Real-Life Processor. | Christian Ferdinand, Reinhold Heckmann, Marc Langenbach, Florian Martin, Michael Schmidt, Henrik Theiling, Stephan Thesing, Reinhard Wilhelm |
| 1998 | FOSSACS | The Appearance of Big Integers in Exact Real Arithmetic Based on Linear Fractional Transformations. | Reinhold Heckmann |
| 1997 | CSL | A Duality Theory for Quantitative Semantics. | Reinhold Heckmann, Michael Huth |
| 1993 | MFPS | Probabilistic Power Domains, Information Systems, and Locales. | Reinhold Heckmann |
| 1991 | MFPS | An Upper Power Domain Construction in Terms of Strongly Compact Sets. | Reinhold Heckmann |
| 1990 | ESOP | Set Domains. | Reinhold Heckmann |
| 1988 | ESOP | A Functional Language for the Specification of Complex Tree Transformations. | Reinhold Heckmann |
| 1988 | ESOP | A Functional Language for the Specification of Complex Tree Transformations (System Exhibition). | Reinhold Heckmann |