Name Card

Full name Familienname, Vorname
Schupfer, Florian
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-20 of 35 (Search time: 0.003 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rathmair, Michael ; Schupfer, Florian Metrics for Formal Property Checking Against Undesired Circuit Behavior in Embedded SystemsKonferenzbeitrag Inproceedings 2016
2Rathmair, Michael ; Schupfer, Florian VSS - VIENNA young SCIENTISTS SYMPOSIUMKonferenzbeitrag Inproceedings 2015
3Rathmair, Michael ; Schupfer, Florian ; Krieg, Christian Applied Formal Methods for Hardware Trojan DetectionKonferenzbeitrag Inproceedings 2014
4Krieg, Christian ; Rathmair, Michael ; Schupfer, Florian A Process for the Detection of Design-Level Hardware Trojans Using Verification MethodsKonferenzbeitrag Inproceedings 2014
5Rathmair, Michael ; Schupfer, Florian Structural System Analysis from Design Level down to Netlist LevelKonferenzbeitrag Inproceedings2014
6Rathmair, Michael ; Schupfer, Florian ; Grimm, Christoph ; Radojicic, Carna Simulationsgestützte Analyse der inneren Eigenschaften von Mixed-Signal SystemenKonferenzbeitrag Inproceedings2014
7Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael Worst Case, Noise and Sensitivity Analysis of Sigma Delta Modulator with Affine ArithmeticKonferenzbeitrag Inproceedings2014
8Rathmair, Michael ; Schupfer, Florian Hardware Trojan Detection by Specifying Malicious Circuit PropertiesKonferenzbeitrag Inproceedings2013
9Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael Assertion-based Verification of Phase-Locked Loop Circuit with Affine ArithmeticPräsentation Presentation2013
10Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael Verification of Mixed-Signal Systems with Affine Arithmetic AssertionsArtikel Article2013
11Clifford, Wolf ; Glaser, Johann ; Schupfer, Florian ; Haase, Jan ; Grimm, Christoph Example-driven Interconnect Synthesis for Heterogeneous Coarse-Grain Reconfigurable LogicKonferenzbeitrag Inproceedings 2012
12Rathmair, Michael ; Schupfer, Florian ; Radojicic, Carna ; Grimm, Christoph Extended Framework for System Simulation with Affine ArithmeticKonferenzbeitrag Inproceedings 2012
13Adhikari, Sumit ; Schupfer, Florian ; Grimm, Christoph Co-Simulation Framework for Variation Analysis of Radio Frequency TransceiversKonferenzbeitrag Inproceedings 2012
14Adhikari, Sumit ; Schupfer, Florian ; Grimm, Christoph Fast Optimization of Analog Amplifier Architecture Using Simulated AnnealingKonferenzbeitrag Inproceedings 2012
15Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph Checking Property Specifications of Analog Systems with Affine ArithmeticKonferenzbeitrag Inproceedings 2012
16Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph Assertion-based Verification of Signal Processing Systems with Affine ArithmeticKonferenzbeitrag Inproceedings 2012
17Adhikari, Sumit ; Schupfer, Florian ; Grimm, Christoph Generic Droop Correction IIR Filter Design AlgorithmKonferenzbeitrag Inproceedings 2012
18Wenninger, Joseph Gernot Otto ; Schupfer, Florian ; Haase, Jan ; Grimm, Christoph Genauigkeit, Robustheit und Powerprofiling für Cyber Physical SystemsKonferenzbeitrag Inproceedings2012
19Schupfer, Florian ; Kärgel, Michael ; Grimm, Christoph ; Olbrich, Markus ; Barke, Erich Towards Abstract Analysis Techniques for Range Based System SimulationsBuchbeitrag Book Contribution2012
20Schupfer, Florian ; Radojicic, Carna ; Wenninger, Joseph Gernot Otto ; Grimm, Christoph System Refinement Design Flow based on Semi-Symbolic SimulationsKonferenzbeitrag Inproceedings 2011

Contributing Publications Mitbeteiligte Publikationen

Results 1-3 of 3 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Wimmer Lukas - 2015 - Seitenkanalangriffe auf Verschluesselungsalgorithmen und...pdf.jpgWimmer, Lukas Seitenkanalangriffe auf Verschlüsselungsalgorithmen und deren VerhinderungThesis Hochschulschrift 2015
2Mader Guenther - 2014 - Rekonfigurierbare Befehlssatzerweiterung zur...pdf.jpgMader, Günther Rekonfigurierbare Befehlssatzerweiterung zur Leistungssteigerung von UniversalprozessorenThesis Hochschulschrift 2014
3Schmoelzer Martin Johann - 2014 - Design of a flexible data path for...pdf.jpgSchmölzer, Martin Johann Design of a flexible data path for heterogenous coarse-grain reconfigurable logic circuitsThesis Hochschulschrift 2014