dblp.uni-trier.dewww.uni-trier.de

Volkan Esen

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2007
8EEWolfgang 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. DATE 2007: 767-772
7EEWolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull: Interactive presentation: Implementation of a transaction level assertion framework in SystemC. DATE 2007: 894-899
6EEWolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten: Requirements and Concepts for Transaction Level Assertion Refinement. IESS 2007: 1-14
2006
5EEWolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten: Case Study on Transaction Level Modeling. FDL 2006: 209-215
4EEWolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit: IP Library For Temporal SystemC Assertions. FDL 2006: 301-309
3EEWolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten: Requirements and Concepts for Transaction Level Assertions. ICCD 2006
2EEWolfgang Ecker, Volkan Esen, Michael Hull: Execution semantics and formalisms for multi-abstraction TLM assertions. MEMOCODE 2006: 93-102
2004
1EEWolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi: Memory Models for the Formal Verification of Assembler Code Using Bounded Model Checking. ISORC 2004: 129-135

Coauthor Index

1Wolfgang Ecker [1] [2] [3] [4] [5] [6] [7] [8]
2Michael Hull [2] [3] [7] [8]
3Lars Schönberg [8]
4Jacob Smit [4]
5Thomas Steininger [1] [3] [4] [5] [6] [7] [8]
6Michael Velten [3] [4] [5] [6] [7] [8]
7Martin Zambaldi [1]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)