The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Volkan Esen: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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]


Search in 0.002secs, Finished in 0.002secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002