Andreas Tiemeyer
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
5
Venues
3
Active years
2000–2009
Best venue rank
A*
Where they publish
Papers
5 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2009 | DAC | MAGENTA: transaction-based statistical micro-architectural root-cause analysis. | Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg |
| 2005 | CAV | Formal Verification of Backward Compatibility of Microcode. | Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-Haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck |
| 2003 | CAV | Enhanced Vacuity Detection in Linear Temporal Logic. | Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi |
| 2002 | TACAS | The ForSpec Temporal Logic: A New Temporal Property-Specification Language. | Roy Armoni, Limor Fix, Alon Flaisher, Rob Gerth, Boris Ginsburg, Tomer Kanza, Avner Landver, Sela Mador-Haim, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar |
| 2000 | DAC | Lazy symbolic model checking. | Jin Yang, Andreas Tiemeyer |