| 2014 | HPCC | A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. | Christian Krieg, Michael Rathmair, Florian Schupfer |
| 2014 | ISCAS | Applied formal methods for hardware Trojan detection. | Michael Rathmair, Florian Schupfer, Christian Krieg |
| 2012 | FDL | FAst optimization of analog amplifier architecture using simulated annealing. | Sumit Adhikari, Florian Schupfer, Christoph Grimm |
| 2012 | FDL | Assertion-based verification of signal processing systems with affine arithmetic. | Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm |
| 2012 | FDL | Extended framework for system simulation with affine arithmetic. | Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm |
| 2012 | FDL | Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic. | Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm |
| 2010 | FDL | Towards Abstract Analysis Techniques for Range Based System Simulations. | Florian Schupfer, Christoph Grimm, Markus Olbrich, Michael Krgel, Erich Barke |
| 2008 | FDL | The AutoSUN Verification Environment. | Christoph Grimm, Klaus Gravogl, Florian Schupfer, Ingmar Neumann |