| 2015 | ISPEC | User Identity Verification Based on Touchscreen Interaction Analysis in Web Contexts. | Michael Velten, Peter Schneider, Sascha Wessel, Claudia Eckert |
| 2014 | DAC | Metasynthesis for Designing Automotive SoCs. | Wolfgang Ecker, Michael Velten, Leily Zafari, Ajay Goyal |
| 2014 | DATE | The metamodeling approach to system level synthesis. | Wolfgang Ecker, Michael Velten, Leily Zafari, Ajay Goyal |
| 2012 | ICISC | Secure and Privacy-Aware Multiplexing of Hardware-Protected TPM Integrity Measurements among Virtual Machines. | Michael Velten, Frederic Stumpf |
| 2010 | DATE | TLM+ modeling of embedded HW/SW systems. | Wolfgang Ecker, Volkan Esen, Robert Schwencker, Thomas Steininger, Michael Velten |
| 2009 | ASPDAC | Using a dataflow abstracted virtual prototype for HdS-design. | Wolfgang Ecker, Stefan Heinen, Michael Velten |
| 2007 | DATE | Interactive 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 |
| 2007 | DATE | Interactive presentation: Implementation of a transaction level assertion framework in SystemC. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Michael Hull |
| 2006 | FDL | Case Study on Transaction Level Modeling. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten |
| 2006 | FDL | IP Library For Temporal SystemC Assertions. | Wolfgang Ecker, Volkan Esen, Thomas Steininger, Michael Velten, Jacob Smit |
| 2006 | ICCD | Requirements and Concepts for Transaction Level Assertions. | Wolfgang Ecker, Volkan Esen, Michael Hull, Thomas Steininger, Michael Velten |
| 2005 | GI | Abstrakte Modellierung der Eigenschaften von nanoelektronischen CNT-Elementen in SystemC. | Peter Zipf, Oliver Soffke, Michael Velten, Manfred Glesner |