Abstrakte Modellierung der Eigenschaften von nanoelektronischen CNT-Elementen in SystemC. - Peter Zipf; Oliver Soffke; Michael Velten; Manfred Glesner (GI Jahrestagung (1), 2005)

Case Study on Transaction Level Modeling. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten (FDL, 2006)

IP Library For Temporal SystemC Assertions. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten; Jacob Smit (FDL, 2006)

Specification Language for Transaction Level Assertions. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten; Michael Hull (HLDVT, 2006)

Requirements and Concepts for Transaction Level Assertions. - Wolfgang Ecker; Volkan Esen; Michael Hull; Thomas Steininger; Michael Velten (ICCD, 2006)

Interactive presentation: Impact of description language, abstraction layer, and value representation on simulation performance. - Wolfgang Ecker; Volkan Esen; Lars Schönberg; Thomas Steininger; Michael Velten; Michael Hull (DATE, 2007)

Interactive presentation: Implementation of a transaction level assertion framework in SystemC. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten; Michael Hull (DATE, 2007)

Requirements and Concepts for Transaction Level Assertion Refinement. - Wolfgang Ecker; Volkan Esen; Thomas Steininger; Michael Velten (IESS, 2007)

Using a dataflow abstracted virtual prototype for HdS-design. - Wolfgang Ecker; Stefan Heinen; Michael Velten (ASP-DAC, 2009)

TLM+ modeling of embedded HW/SW systems. - Wolfgang Ecker; Volkan Esen; Robert Schwencker; Thomas Steininger; Michael Velten (DATE, 2010)

Model reduction techniques for the formal verification of hardware dependent software. - Wolfgang Ecker; Volkan Esen; Rainer Findenig; Thomas Steininger; Michael Velten (HLDVT, 2010)

Fast and accurate UML State Chart modeling using TLM+ control flow abstraction. - Rainer Findenig; Thomas Leitner; Michael Velten; Wolfgang Ecker (HLDVT, 2010)

The ObjectRules Framework - Providing Ad Hoc Context-Dependent Assistance in Dynamic Environments. - Michael Schneider 003; Michael Velten; Jens Haupert (Intelligent Environments, 2010)

SystemC as completing pillar in industrial OVM based verification environments. - Wolfgang Ecker; Volkan Esen; Michael Velten; Tudor Timisescu (CODES+ISSS, 2012)

Secure and Privacy-Aware Multiplexing of Hardware-Protected TPM Integrity Measurements among Virtual Machines. - Michael Velten; Frederic Stumpf (ICISC, 2012)

Active File Integrity Monitoring Using Paravirtualized Filesystems. - Michael Velten; Sascha Wessel; Frederic Stumpf; Claudia Eckert 001 (INTRUST, 2013)

Metasynthesis for Designing Automotive SoCs. - Wolfgang Ecker; Michael Velten; Leily Zafari; Ajay Goyal (DAC, 2014)

The metamodeling approach to system level synthesis. - Wolfgang Ecker; Michael Velten; Leily Zafari; Ajay Goyal (DATE, 2014)

A Secure Architecture for Operating System-Level Virtualization on Mobile Devices. - Manuel Huber 001; Julian Horsch; Michael Velten; Michael Weiß; Sascha Wessel (Inscrypt, 2015)

User Identity Verification Based on Touchscreen Interaction Analysis in Web Contexts. - Michael Velten; Peter Schneider 002; Sascha Wessel; Claudia Eckert 001 (ISPEC, 2015)

Hardware-based Integrity Protection combined with Continuous User Verification in Virtualized Systems. - Michael Velten (2017)