MetaCart Sign in to MyCiteSeerX

Include Citations | Advanced Search | Help

Disambiguated Search | Include Citations | Advanced Search | Help

Searching for authors named "Andreas Tiemeyer" – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB
Help! 7 documents found, showing 1 through 7.
ATOM RSS
  • Lazy Symbolic Model Checking  
  • by Jin Yang, Andreas Tiemeyer — 2000
  • …In this paper w e presen t a lazy model checking approach aimed at improving the eciency and capacityofsymbolic model checking. The lazy approach dynamically computes an abstraction of a circuit model for each pre-image computation based on the partial result leading to the computation. A t the hear…
  • Add To MetaCart
  • Compactness Properties of Locally Compact Groups  
  • by Herbert Abels, Andreas Tiemeyer
  • …this paper we introduce compactness properties C n and CP n for locally compact groups, which generalize these finiteness properties. In section 1 we give the basic definitions. Starting point is a theorem of K. Brown ([Br 2, thm 2.2]) giving a necessary and sufficient condition for a group to be of…
  • Cited by 3 (1 self) – Add To MetaCart
  • Deterministic Dynamic Monitors for Linear-Time Assertions  
  • by Roy Armoni, Dmitry Korchemny, Andreas Tiemeyer, Moshe Y. Vardi, Yael Zbar — 2006 — In Proceedings of International ICSC Symposium on Multi-Agents and Mobile Agents in Virtual Organizations and E-Commerce (MAMA'2000
  • …We describe a framework for dynamic verification of temporal assertions based on assertion compilation into deterministic automata. The novelty of our approach is that it allows efficient dynamic verification of general linear temporal formulas written in formal property specification languages s…
  • Cited by 4 (0 self) – Add To MetaCart
  • Enhanced Vacuity Detection in Linear Temporal Logic  
  • by Roy Armoni, Limor Fix, Alon Flaisher, Orna Grumberg, Nir Piterman, Andreas Tiemeyer, Moshe Y. Vardi — 2003
  • …One of the advantages of temporal-logic model-checking tools is their ability to accompany a negative answer to a correctness query with a counterexample to the satisfaction of the specification in the system. On the other hand, when the answer to the correctness query is positive, most model-che…
  • Cited by 15 (3 self) – Add To MetaCart
  • The ForSpec Temporal Logic: A New Temporal Property-Specification Language  
  • by 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 — 2001
  • …In this paper we describe the ForSpec Temporal Logic (FTL), the new temporal property-specification logic of ForSpec, Intel's new formal specification language. The key features of FTL are as follows: it is a linear temporal logic, based on Pnueli's LTL, it is based on a rich set of logical and a…
  • Cited by 52 (17 self) – Add To MetaCart
  • Formal Verification of Backward Compatibility of  
  • by Microcode Tamarah Arons, Tamarah Arons, Elad Elster, Limor Fix, Sela Mador-haim, Michael Mishaeli, Jonathan Shalev, Eli Singerman, Andreas Tiemeyer, Moshe Y. Vardi, Lenore D. Zuck — 2005 — In: Proc. Computer-Aided Verification (CAV’05). LNCS 2404
  • …Microcode is used to facilitate new technologies in Intel CPU designs.…
  • Add To MetaCart
Help! Showing 1 through 7.
ATOM RSS
Try your query at: Scholar | Yahoo! | Ask | Bing | CSB