Embedding quantum cryptography on DSP-boards. - Roland Lieger; Thomas Lorünser; Gerhard Humer; Florian Schupfer (EUSIPCO, 2004)

The AutoSUN Verification Environment. - Christoph Grimm 001; Klaus Gravogl; Florian Schupfer; Ingmar Neumann (FDL, 2008)

Late Hardware/Software Partitioning by Using SystemC Functional Models. - Peter Brunmayr; Jan Haase 001; Florian Schupfer (Asia International Conference on Modelling and Simulation, 2009)

Towards more Dependable Verification of Mixed-Signal Systems. - Florian Schupfer; Christoph Grimm 001 (Verification over discrete-continuous boundaries, 2010)

Towards Abstract Analysis Techniques for Range Based System Simulations. - Florian Schupfer; Christoph Grimm 001; Markus Olbrich; Michael Kärgel; Erich Barke (FDL, 2010)

System refinement design flow based on semi-symbolic simulations. - Florian Schupfer; Carna Radojicic; Joseph Wenninger; Christoph Grimm 001 (AFRICON, 2011)

FAst optimization of analog amplifier architecture using simulated annealing. - Sumit Adhikari; Florian Schupfer; Christoph Grimm 001 (FDL, 2012)

Assertion-based verification of signal processing systems with affine arithmetic. - Carna Radojicic; Florian Schupfer; Michael Rathmair; Christoph Grimm 001 (FDL, 2012)

Extended framework for system simulation with affine arithmetic. - Michael Rathmair; Florian Schupfer; Carna Radojicic; Christoph Grimm 001 (FDL, 2012)

Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic. - Clifford Wolf; Johann Glaser; Florian Schupfer; Jan Haase 001; Christoph Grimm 001 (FDL, 2012)

Generic droop correction IIR filter design algorithm. - Sumit Adhikari; Florian Schupfer; Christoph Grimm 001 (PDeS, 2012)

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. - Carna Radojicic; Christoph Grimm 001; Florian Schupfer; Michael Rathmair (VLSI Design, 2013)

A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. - Christian Krieg; Michael Rathmair; Florian Schupfer (HPCC/CSS/ICESS, 2014)

Applied formal methods for hardware Trojan detection. - Michael Rathmair; Florian Schupfer; Christian Krieg (ISCAS, 2014)