Skip to content

Volkan Esen

Publication record assembled from the DBLP archive of ranked conferences.

Papers indexed

10

Venues

6

Active years

2004–2014

Best venue rank

A

Where they publish

Papers

10 indexed papers, newest first.

YearVenueTitleAuthors
2014ASPDACA transaction-oriented UVM-based library for verification of analog behavior.Alexander W. Rath, Volkan Esen, Wolfgang Ecker
2011DATEState of the art verification methodologies in 2015.Allan Crone, Oliver Bringmann, C. Chevallaz, B. Dickman, Volkan Esen, Michael Rohleder
2010DATETLM+ modeling of embedded HW/SW systems.Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten
2007DATEInteractive presentation: Impact of description language, abstraction layer, and value representation on simulation performance.Wolfgang Ecker, Volkan Esen, Lars Schnberg, Thomas Steininger, Michael Velten, Michael Hull
2007DATEInteractive presentation: Implementation of a transaction level assertion framework in SystemC.Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull
2006FDLCase Study on Transaction Level Modeling.Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
2006FDLIP Library For Temporal SystemC Assertions.Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit
2006ICCDRequirements and Concepts for Transaction Level Assertions.Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten
2006MEMOCODEExecution semantics and formalisms for multi-abstraction TLM assertions.Wolfgang Ecker, Volkan Esen, Michael Hull
2004ISORCMemory Models for the Formal Verification of Assembler Code Using Bounded Model Checking.Wolfgang Ecker, Volkan Esen, Thomas Steininger, Martin Zambaldi