A system model for formal verification of TLM based transaction properties. - Alexander Pacholik; Wolfgang Fengler 001 (SpringSim (1), 2007)

Advanced Assertion-Based Design for Mixed-Signal Verification. - Alexander Jesser; Stefan Lämmermann; Alexander Pacholik; Roland Weiss; Jürgen Ruf; Lars Hedrich; Wolfgang Fengler 001; Thomas Kropf; Wolfgang Rosenstiel (IEICE Trans. Fundam. Electron. Commun. Comput. Sci., 2008)

Entwicklung und Gegenüberstellung von Methoden zur automatisierten Verifikation von ausführbaren Systemspezifikationen. - Alexander Pacholik (2010)

Towards Optimization of Design Decisions for Embedded Systems by Exploiting Dependency Relationships. - Matthias Riebisch; Alexander Pacholik; Stephan Bode (MBEES, 2011)

LiSARD: LabVIEW Integrated Softcore Architecture for Reconfigurable Devices. - Alexander Pacholik; Johannes Klöckner; Marcus Müller 002; Irina Gushchina; Wolfgang Fengler 001 (ReConFig, 2011)

GPU vs FPGA: Example Application on White Light Interferometry. - Alexander Pacholik; Marcus Müller 002; Wolfgang Fengler 001; Torsten Machleidt; Karl-Heinz Franke (ReConFig, 2011)

Modelling Technical Constraints and Preconditions for Alternative Design Desicions. - Alexander Pacholik; Matthias Riebisch (MBEES, 2012)

Designing a Control Application by Using a Specialized Multi-Core Soft Microprocessor. - Bernd Däne; Alexander Pacholik; Stephan Zschäck; Wolfgang Fengler 001; Christoph Ament; Tobias Braune (PDeS, 2013)

A model reduction approach for improving discrete event simulation performance. - Alexander Pacholik; Wolfgang Fengler 001; Tommy Baumann; Michael Rath 002 (SimuTools, 2013)

Performance evaluation of platform-specific implementations of numerically complex control designs for nano-positioning applications. - Marcus Müller 002; Johannes Klöckner; Irina Gushchina; Alexander Pacholik; Wolfgang Fengler 001; Arvid Amthor (Int. J. Embed. Syst., 2013)