Florian Schupfer

Publication Activity (10 Years)

Years Active: 2004-2014
Publications (10 Years): 0

Top Topics

Experimental Design

Benchmark Datasets

Automatic Detection

Top Venues

Publications

Christian Krieg, Michael Rathmair, Florian Schupfer
A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods. HPCC/CSS/ICESS (2014)
Michael Rathmair, Florian Schupfer, Christian Krieg
Applied formal methods for hardware Trojan detection. ISCAS (2014)
Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair
Verification of Mixed-Signal Systems with Affine Arithmetic Assertions. VLSI Design 2013 (2013)
Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm
Extended framework for system simulation with affine arithmetic. FDL (2012)
Sumit Adhikari, Florian Schupfer, Christoph Grimm
Generic droop correction IIR filter design algorithm. PDeS (2012)
Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm
Assertion-based verification of signal processing systems with affine arithmetic. FDL (2012)
Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm
Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic. FDL (2012)
Sumit Adhikari, Florian Schupfer, Christoph Grimm
FAst optimization of analog amplifier architecture using simulated annealing. FDL (2012)
Florian Schupfer, Carna Radojicic, Joseph Wenninger, Christoph Grimm
System refinement design flow based on semi-symbolic simulations. AFRICON (2011)
Florian Schupfer, Christoph Grimm, Markus Olbrich, Michael Kärgel, Erich Barke
Towards Abstract Analysis Techniques for Range Based System Simulations. FDL (2010)
Florian Schupfer, Christoph Grimm
Towards more Dependable Verification of Mixed-Signal Systems. Verification over discrete-continuous boundaries (2010)
Peter Brunmayr, Jan Haase, Florian Schupfer
Late Hardware/Software Partitioning by Using SystemC Functional Models. Asia International Conference on Modelling and Simulation (2009)
Christoph Grimm, Klaus Gravogl, Florian Schupfer, Ingmar Neumann
The AutoSUN Verification Environment. FDL (2008)
Roland Lieger, Thomas Lorünser, Gerhard Humer, Florian Schupfer
Embedding quantum cryptography on DSP-boards. EUSIPCO (2004)