Florian Schupfer

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