Andreas Tiemeyer

According to our database, Andreas Tiemeyer authored at least 7 papers between 2000 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of three.

2019

CREST: Hardware Formal Verification with ANSI-C Reference Specifications.

Andreas Tiemeyer, Tom Melham, Daniel Kroening, John O'Leary

CoRR, 2019

2009

MAGENTA: transaction-based statistical micro-architectural root-cause analysis.

Gila Kamhi, Alexander Novakovsky, Andreas Tiemeyer, Adriana Wolffberg

Proceedings of the 46th Design Automation Conference, 2009

2006

Deterministic Dynamic Monitors for Linear-Time Assertions.

Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar

Proceedings of the Formal Approaches to Software Testing and Runtime Verification, 2006

2005

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

Proceedings of the Computer Aided Verification, 17th International Conference, 2005

2003

Enhanced Vacuity Detection in Linear Temporal Logic.

Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi

Proceedings of the Computer Aided Verification, 15th International Conference, 2003

2002

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

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2002

2000

Lazy symbolic model checking.

Jin Yang, Andreas Tiemeyer

Proceedings of the 37th Conference on Design Automation, 2000