Search the dblp DataBase

Publications of Author

1. Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi
   Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. [Citation Graph (0, 0)][DBLP]
   ISORC, 2004, pp:129-135 [Conf]
   
2. Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull
   Interactive presentation: Implementation of a transaction level assertion framework in SystemC. [Citation Graph (0, 0)][DBLP]
   DATE, 2007, pp:894-899 [Conf]
   
3. Wolfgang Ecker, Volkan Esen, Lars Schönberg, Thomas Steininger, Michael Velten, Michael Hull
   Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance. [Citation Graph (0, 0)][DBLP]
   DATE, 2007, pp:767-772 [Conf]
   
4. Wolfgang Ecker, Volkan Esen, Michael Hull
   Execution semantics and formalisms for multi-abstraction TLM assertions. [Citation Graph (0, 0)][DBLP]
   MEMOCODE, 2006, pp:93-102 [Conf]
   
5. Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
   Requirements and Concepts for Transaction Level Assertion Refinement. [Citation Graph (0, 0)][DBLP]
   IESS, 2007, pp:1-14 [Conf]
   
6. 
   TLM+ modeling of embedded HW/SW systems. [Citation Graph (, )][DBLP]
   
   
7. 
   Requirements and Concepts for Transaction Level Assertions. [Citation Graph (, )][DBLP]
   
   
8. 
   Case Study on Transaction Level Modeling. [Citation Graph (, )][DBLP]
   
   
9. 
   IP Library For Temporal SystemC Assertions. [Citation Graph (, )][DBLP]