Florian Schupfer

According to our database, Florian Schupfer authored at least 14 papers between 2004 and 2014.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2014

Applied formal methods for hardware Trojan detection.

Michael Rathmair, Florian Schupfer, Christian Krieg

Proceedings of the IEEE International Symposium on Circuits and Systemss, 2014

A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods.

Christian Krieg, Michael Rathmair, Florian Schupfer

Proceedings of the 2014 IEEE International Conference on High Performance Computing and Communications, 2014

2013

Verification of Mixed-Signal Systems with Affine Arithmetic Assertions.

Carna Radojicic, Christoph Grimm, Florian Schupfer, Michael Rathmair

VLSI Design, 2013

2012

Generic droop correction IIR filter design algorithm.

Sumit Adhikari, Florian Schupfer, Christoph Grimm

Proceedings of the 11th IFAC Conference on Programmable Devices and Embedded Systems, 2012

Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic.

Clifford Wolf, Johann Glaser, Florian Schupfer, Jan Haase, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Extended framework for system simulation with affine arithmetic.

Michael Rathmair, Florian Schupfer, Carna Radojicic, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

Assertion-based verification of signal processing systems with affine arithmetic.

Carna Radojicic, Florian Schupfer, Michael Rathmair, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

FAst optimization of analog amplifier architecture using simulated annealing.

Sumit Adhikari, Florian Schupfer, Christoph Grimm

Proceedings of the Proceeding of the 2012 Forum on Specification and Design Languages, 2012

2011

System refinement design flow based on semi-symbolic simulations.

Florian Schupfer, Carna Radojicic, Joseph Wenninger, Christoph Grimm

Proceedings of the AFRICON 2011, 2011

2010

Towards Abstract Analysis Techniques for Range Based System Simulations.

Florian Schupfer, Christoph Grimm, Markus Olbrich, Michael Kärgel, Erich Barke

Proceedings of the 2010 Forum on specification & Design Languages, 2010

Towards more Dependable Verification of Mixed-Signal Systems.

Florian Schupfer, Christoph Grimm

Proceedings of the Verification over discrete-continuous boundaries, 04.07. - 09.07.2010, 2010

2009

Late Hardware/Software Partitioning by Using SystemC Functional Models.

Peter Brunmayr, Jan Haase, Florian Schupfer

Proceedings of the Third Asia International Conference on Modelling & Simulation, 2009

2008

The AutoSUN Verification Environment.

Christoph Grimm, Klaus Gravogl, Florian Schupfer, Ingmar Neumann

Proceedings of the Forum on specification and Design Languages, 2008

2004

Embedding quantum cryptography on DSP-boards.

Roland Lieger, Thomas Lorünser, Gerhard Humer, Florian Schupfer

Proceedings of the 2004 12th European Signal Processing Conference, 2004