Dennis Walter
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2005–2018
Best venue rank
A*
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2018 | DATE | A physical synthesis flow for early technology evaluation of silicon nanowire based reconfigurable FETs. | Shubham Rai, Ansh Rupani, Dennis Walter, Michael Raitza, Andre Heinzig, Tim Baldauf, Jens Trommer, Christian Mayr, Walter M. Weber, Akash Kumar |
| 2017 | DAC | A Heterogeneous SDR MPSoC in 28 nm CMOS for Low-Latency Wireless Applications. | Sebastian Haas, Tobias Seifert, Benedikt Nthen, Stefan Scholze, Sebastian Hppner, Andreas Dixius, Esther Prez Adeva, Thomas R. Augustin, Friedrich Pauls, Sadia Moriam, Mattis Hasler, Erik Fischer, Yong Chen, Emil Mats, Georg Ellguth, Stephan Hartmann, Stefan Schiefer, Love Cederstrm, Dennis Walter, Stephan Henker, Stefan Hnzsche, Johannes Uhlig, Holger Eisenreich, Stefan Weithoffer, Norbert Wehn, Ren Schffny, Christian Mayr, Gerhard P. Fettweis |
| 2017 | DATE | Exploiting transistor-level reconfiguration to optimize combinational circuits. | Michael Raitza, Akash Kumar, Marcus Vlp, Dennis Walter, Jens Trommer, Thomas Mikolajick, Walter M. Weber |
| 2016 | DAC | An MPSoC for energy-efficient database query processing. | Sebastian Haas, Oliver Arnold, Benedikt Nthen, Stefan Scholze, Georg Ellguth, Andreas Dixius, Sebastian Hppner, Stefan Schiefer, Stephan Hartmann, Stephan Henker, Thomas Hocker, Jrg Schreiter, Holger Eisenreich, Jens-Uwe Schller, Dennis Walter, Tobias Seifert, Friedrich Pauls, Mattis Hasler, Yong Chen, Hermann Hensel, Sadia Moriam, Emil Mats, Christian Mayr, Ren Schffny, Gerhard P. Fettweis |
| 2010 | SAFECOMP | Experiences in Applying Formal Verification in Robotics. | Dennis Walter, Holger Tubig, Christoph Lth |
| 2009 | FM | Certifiable Specification and Verification of C Programs. | Christoph Lth, Dennis Walter |
| 2005 | CALCO | Parametrized Exceptions. | Dennis Walter, Lutz Schrder, Till Mossakowski |