|
| | Preview | Author(s) | Title | Type | Issue Date |
| 1 | | Rathmair, Michael ; Schupfer, Florian | Metrics for Formal Property Checking Against Undesired Circuit Behavior in Embedded Systems | Konferenzbeitrag Inproceedings  | 2016 |
| 2 | | Rathmair, Michael ; Schupfer, Florian | VSS - VIENNA young SCIENTISTS SYMPOSIUM | Konferenzbeitrag Inproceedings | 2015 |
| 3 | | Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael | Worst Case, Noise and Sensitivity Analysis of Sigma Delta Modulator with Affine Arithmetic | Konferenzbeitrag Inproceedings | 2014 |
| 4 | | Rathmair, Michael ; Schupfer, Florian | Structural System Analysis from Design Level down to Netlist Level | Konferenzbeitrag Inproceedings | 2014 |
| 5 | | Rathmair, Michael ; Schupfer, Florian ; Grimm, Christoph ; Radojicic, Carna | Simulationsgestützte Analyse der inneren Eigenschaften von Mixed-Signal Systemen | Konferenzbeitrag Inproceedings | 2014 |
| 6 | | Krieg, Christian ; Rathmair, Michael ; Schupfer, Florian | A Process for the Detection of Design-Level Hardware Trojans Using Verification Methods | Konferenzbeitrag Inproceedings | 2014 |
| 7 | | Rathmair, Michael ; Schupfer, Florian ; Krieg, Christian | Applied Formal Methods for Hardware Trojan Detection | Konferenzbeitrag Inproceedings | 2014 |
| 8 | | Rathmair, Michael ; Schupfer, Florian | Hardware Trojan Detection by Specifying Malicious Circuit Properties | Konferenzbeitrag Inproceedings | 2013 |
| 9 | | Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael | Verification of Mixed-Signal Systems with Affine Arithmetic Assertions | Artikel Article | 2013 |
| 10 | | Radojicic, Carna ; Grimm, Christoph ; Schupfer, Florian ; Rathmair, Michael | Assertion-based Verification of Phase-Locked Loop Circuit with Affine Arithmetic | Präsentation Presentation | 2013 |
| 11 | | Clifford, Wolf ; Glaser, Johann ; Schupfer, Florian ; Haase, Jan ; Grimm, Christoph | Example-driven Interconnect Synthesis for Heterogeneous Coarse-Grain Reconfigurable Logic | Konferenzbeitrag Inproceedings | 2012 |
| 12 | | Rathmair, Michael ; Schupfer, Florian ; Radojicic, Carna ; Grimm, Christoph | Extended Framework for System Simulation with Affine Arithmetic | Konferenzbeitrag Inproceedings | 2012 |
| 13 | | Adhikari, Sumit ; Schupfer, Florian ; Grimm, Christoph | Generic Droop Correction IIR Filter Design Algorithm | Konferenzbeitrag Inproceedings | 2012 |
| 14 | | Wenninger, Joseph Gernot Otto ; Schupfer, Florian ; Haase, Jan ; Grimm, Christoph | Genauigkeit, Robustheit und Powerprofiling für Cyber Physical Systems | Konferenzbeitrag Inproceedings | 2012 |
| 15 | | Adhikari, Sumit ; Schupfer, Florian ; Grimm, Christoph | Co-Simulation Framework for Variation Analysis of Radio Frequency Transceivers | Konferenzbeitrag Inproceedings | 2012 |
| 16 | | Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph | Assertion-based Verification of Signal Processing Systems with Affine Arithmetic | Konferenzbeitrag Inproceedings | 2012 |
| 17 | | Radojicic, Carna ; Schupfer, Florian ; Rathmair, Michael ; Grimm, Christoph | Checking Property Specifications of Analog Systems with Affine Arithmetic | Konferenzbeitrag Inproceedings | 2012 |
| 18 | | Adhikari, Sumit ; Schupfer, Florian ; Grimm, Christoph | Fast Optimization of Analog Amplifier Architecture Using Simulated Annealing | Konferenzbeitrag Inproceedings | 2012 |
| 19 | | Schupfer, Florian ; Kärgel, Michael ; Grimm, Christoph ; Olbrich, Markus ; Barke, Erich | Towards Abstract Analysis Techniques for Range Based System Simulations | Buchbeitrag Book Contribution | 2012 |
| 20 | | Radojicic, Carna ; Schupfer, Florian ; Grimm, Christoph | Semi-symbolic Analysis of Analog and Signal Processing Systems | Präsentation Presentation | 2011 |
