Michael Velten

According to our database, Michael Velten authored at least 21 papers between 2005 and 2017.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2017

Hardware-based Integrity Protection combined with Continuous User Verification in Virtualized Systems.

Michael Velten

PhD thesis, 2017

2015

User Identity Verification Based on Touchscreen Interaction Analysis in Web Contexts.

Michael Velten, Peter Schneider, Sascha Wessel, Claudia Eckert

Proceedings of the Information Security Practice and Experience, 2015

A Secure Architecture for Operating System-Level Virtualization on Mobile Devices.

Manuel Huber, Julian Horsch, Michael Velten, Michael Weiß, Sascha Wessel

Proceedings of the Information Security and Cryptology - 11th International Conference, 2015

2014

The metamodeling approach to system level synthesis.

Wolfgang Ecker, Michael Velten, Leily Zafari, Ajay Goyal

Proceedings of the Design, Automation & Test in Europe Conference & Exhibition, 2014

Metasynthesis for Designing Automotive SoCs.

Wolfgang Ecker, Michael Velten, Leily Zafari, Ajay Goyal

Proceedings of the 51st Annual Design Automation Conference 2014, 2014

2013

Active File Integrity Monitoring Using Paravirtualized Filesystems.

Michael Velten, Sascha Wessel, Frederic Stumpf, Claudia Eckert

Proceedings of the Trusted Systems - 5th International Conference, 2013

2012

Secure and Privacy-Aware Multiplexing of Hardware-Protected TPM Integrity Measurements among Virtual Machines.

Michael Velten, Frederic Stumpf

Proceedings of the Information Security and Cryptology - ICISC 2012, 2012

SystemC as completing pillar in industrial OVM based verification environments.

Wolfgang Ecker, Volkan Esen, Michael Velten, Tudor Timisescu

Proceedings of the 10th International Conference on Hardware/Software Codesign and System Synthesis, 2012

2010

The ObjectRules Framework - Providing Ad Hoc Context-Dependent Assistance in Dynamic Environments.

Michael Schneider, Michael Velten, Jens Haupert

Proceedings of the Sixth International Conference on Intelligent Environments, 2010

Fast and accurate UML State Chart modeling using TLM⁺ control flow abstraction.

Rainer Findenig, Thomas Leitner, Michael Velten, Wolfgang Ecker

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

Model reduction techniques for the formal verification of hardware dependent software.

Wolfgang Ecker, Volkan Esen, Rainer Findenig, Thomas Steininger, Michael Velten

Proceedings of the IEEE International High Level Design Validation and Test Workshop, 2010

TLM+ modeling of embedded HW/SW systems.

Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten

Proceedings of the Design, Automation and Test in Europe, 2010

2009

Using a dataflow abstracted virtual prototype for HdS-design.

Wolfgang Ecker, Stefan Heinen, Michael Velten

Proceedings of the 14th Asia South Pacific Design Automation Conference, 2009

2007

Requirements and Concepts for Transaction Level Assertion Refinement.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten

Proceedings of the Embedded System Design: Topics, Techniques and Trends, IFIP TC10 Working Conference: International Embedded Systems Symposium (IESS), May 30, 2007

Interactive presentation: Implementation of a transaction level assertion framework in SystemC.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

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

Proceedings of the 2007 Design, Automation and Test in Europe Conference and Exposition, 2007

2006

Requirements and Concepts for Transaction Level Assertions.

Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten

Proceedings of the 24th International Conference on Computer Design (ICCD 2006), 2006

Specification Language for Transaction Level Assertions.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull

Proceedings of the Eleventh Annual IEEE International High-Level Design Validation and Test Workshop 2006, 2006

IP Library For Temporal SystemC Assertions.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit

Proceedings of the Forum on specification and Design Languages, 2006

Case Study on Transaction Level Modeling.

Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten

Proceedings of the Forum on specification and Design Languages, 2006

2005

Abstrakte Modellierung der Eigenschaften von nanoelektronischen CNT-Elementen in SystemC.

Peter Zipf, Oliver Soffke, Michael Velten, Manfred Glesner

Proceedings of the 35. Jahrestagung der Gesellschaft für Informatik, 2005