Tilman Glkler
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
4
Venues
3
Active years
2000–2007
Best venue rank
Multiconference
Where they publish
Papers
4 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2007 | DATE | Formal verification of a pervasive interconnect bus system in a high-performance microprocessor. | Thuyen Le, Tilman Glkler, Jason Baumgartner |
| 2006 | FMCAD | Enabling Large-Scale Pervasive Logic Verification through Multi-Algorithmic Formal Reasoning. | Tilman Glkler, Jason Baumgartner, Devi Shanmugam, A. E. (Rick) Seigler, Gary A. Van Huben, Barinjato Ramanandray, Hari Mony, Paul Roessler |
| 2001 | ICASSP | Power efficient semi-automatic instruction encoding for application specific instruction set processors. | Tilman Glkler, Stefan Bitterlich |
| 2000 | ICASSP | DSP core verification using automatic test case generation. | Tilman Glkler, Stefan Bitterlich, Heinrich Meyr |