Michael Velten

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