Michael Velten

Publication Activity (10 Years)

Years Active: 2005-2015
Publications (10 Years): 2

Top Venues

ISPEC

DATE

ICISC

INTRUST

Technical University Munich, Germany (PHD)

Education History

Technical University Munich, Germany

PHD

Publications

Manuel Huber, Julian Horsch, Michael Velten, Michael Weiß, Sascha Wessel
A Secure Architecture for Operating System-Level Virtualization on Mobile Devices. Inscrypt (2015)
Michael Velten, Peter Schneider, Sascha Wessel, Claudia Eckert
User Identity Verification Based on Touchscreen Interaction Analysis in Web Contexts. ISPEC (2015)
Wolfgang Ecker, Michael Velten, Leily Zafari, Ajay Goyal
The metamodeling approach to system level synthesis. DATE (2014)
Wolfgang Ecker, Michael Velten, Leily Zafari, Ajay Goyal
Metasynthesis for Designing Automotive SoCs. DAC (2014)
Michael Velten, Sascha Wessel, Frederic Stumpf, Claudia Eckert
Active File Integrity Monitoring Using Paravirtualized Filesystems. INTRUST (2013)
Michael Velten, Frederic Stumpf
Secure and Privacy-Aware Multiplexing of Hardware-Protected TPM Integrity Measurements among Virtual Machines. ICISC (2012)
Wolfgang Ecker, Volkan Esen, Michael Velten, Tudor Timisescu
SystemC as completing pillar in industrial OVM based verification environments. CODES+ISSS (2012)
Wolfgang Ecker, Volkan Esen, Rainer Findenig, Thomas Steininger, Michael Velten
Model reduction techniques for the formal verification of hardware dependent software. HLDVT (2010)
Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker
control flow abstraction. HLDVT (2010)
Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten
TLM+ modeling of embedded HW/SW systems. DATE (2010)
Michael Schneider, Michael Velten, Jens Haupert
The ObjectRules Framework - Providing Ad Hoc Context-Dependent Assistance in Dynamic Environments. Intelligent Environments (2010)
Wolfgang Ecker, Stefan Heinen, Michael Velten
Using a dataflow abstracted virtual prototype for HdS-design. ASP-DAC (2009)
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. DATE (2007)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
Requirements and Concepts for Transaction Level Assertion Refinement. IESS (2007)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull
Interactive presentation: Implementation of a transaction level assertion framework in SystemC. DATE (2007)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit
IP Library For Temporal SystemC Assertions. FDL (2006)
Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten
Requirements and Concepts for Transaction Level Assertions. ICCD (2006)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten
Case Study on Transaction Level Modeling. FDL (2006)
Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull
Specification Language for Transaction Level Assertions. HLDVT (2006)
Peter Zipf, Oliver Soffke, Michael Velten, Manfred Glesner
Abstrakte Modellierung der Eigenschaften von nanoelektronischen CNT-Elementen in SystemC. GI Jahrestagung (1) (2005)

Michael Velten.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Michael Velten