Jakob Lechner
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
5
Active years
2010–2019
Best venue rank
C
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2019 | HASKELL | Formal verification of spacecraft control programs (experience report). | Andrey Mokhov, Georgy Lukyanov, Jakob Lechner |
| 2016 | ICCD | A new coding scheme for fault tolerant 4-phase delay-insensitive codes. | Florian Huemer, Jakob Lechner, Andreas Steininger |
| 2015 | ICCD | Methods for analysing and improving the fault resilience of delay-insensitive codes. | Jakob Lechner, Andreas Steininger, Florian Huemer |
| 2012 | EDCC | Designing Robust GALS Circuits with Triple Modular Redundancy. | Jakob Lechner |
| 2012 | ICCD | Protecting pipelined asynchronous communication channels against single event upsets. | Jakob Lechner, Martin Lampacher |
| 2010 | DDECS | Enhancing pipelined processor architectures with fast autonomous recovery of transient faults. | Marcus Jeitler, Jakob Lechner, Andreas Steininger |
| 2010 | DSD | Low Latency Recovery from Transient Faults for Pipelined Processor Architectures. | Marcus Jeitler, Jakob Lechner |