PUMA

academical publication management
collect, organize, and share publications

( en | de )

 

Disambiguation of "Schupfer, Florian"

Author of the publication

copydeleteadd this publication to your clipboard
Towards Abstract Analysis Techniques for Range Based System Simulations.

, , , , and . FDL, page 159-164. ECSI, Electronic Chips & Systems design Initiative, (2010)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Florian Jaensch University of Stuttgart

Dr. Florian Spohr University of Stuttgart

Dr. phil. Florian Ganzinger University of Stuttgart

Florian Lerch University of Stuttgart

Florian Hornung University of Stuttgart

 

Other publications of authors with the same name

Extended framework for system simulation with affine arithmetic., , , and . FDL, page 168-175. IEEE, (2012)Towards more Dependable Verification of Mixed-Signal Systems., and . Verification over discrete-continuous boundaries, volume 10271 of Dagstuhl Seminar Proceedings, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, Germany, (2010)Verification of Mixed-Signal Systems with Affine Arithmetic Assertions., , , and . VLSI Design, (2013)FAst optimization of analog amplifier architecture using simulated annealing., , and . FDL, page 246-251. IEEE, (2012)A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods., , and . HPCC/CSS/ICESS, page 729-734. IEEE, (2014)Generic droop correction IIR filter design algorithm., , and . PDeS, page 7-11. International Federation of Automatic Control, (2012)Assertion-based verification of signal processing systems with affine arithmetic., , , and . FDL, page 20-26. IEEE, (2012)Applied formal methods for hardware Trojan detection., , and . ISCAS, page 169-172. IEEE, (2014)Example-driven interconnect synthesis for heterogeneous coarse-grain reconfigurable logic., , , , and . FDL, page 194-201. IEEE, (2012)Towards Abstract Analysis Techniques for Range Based System Simulations., , , , and . FDL, page 159-164. ECSI, Electronic Chips & Systems design Initiative, (2010)