2024

• Maximilian Schmidt and Swantje Plambeck and Görschwin Fey (2024). Towards Robustness Evaluation of Models for Cyber-Physical Systems. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
  
  
• Lutz Schammer and Gianluca Martino and Goerschwin Fey (2024). Tag-based Hardware Information Flow Tracking. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  
• Swantje Plambeck and Aaron Bracht and Nemanja Hranisavljevic and Goerschwin Fey (2024). FaMoS - Fast Model Learning for Hybrid Cyber-Physical Systems using Decision Trees. ACM International Conference on Hybrid Systems: Computation and Control (HSCC)
  
  
• Arne Krumnow and Swantje Plambeck and Goerschwin Fey (2024). Using Forest Structures for Passive Automata Learning. In Oliver Niggemann et al. (editors) (Eds.) Springer International Publishing:
  
  
• Arne Grünhagen and Annika Eichler and Marina Tropmann-Frick and Goerschwin Fey (2024). Data-Driven Fault Localization in Cyber-Physical Systems Using Dependency Graphs and Anomaly Detection. International Conference on Information Modelling and Knowledge Bases (EJC)
  
  

2023

• Hany Abdelmaksoud and Zain A. H. Hammadeh and Goerschwin Fey and Daniel Lüdtke (2023). DEL: Dynamic Symbolic Execution-based Lifter for Enhanced Low-Level Intermediate Representation. Design, Automation and Test in Europe (DATE)
  
  
• Markus Knitt and Swantje Plambeck and Jan Christian Wieck and Julian Kohlisch and Stephan Balduin and Eric MSP Veith and Jakob Schyga and Johannes Hinckeldeyn and Gorschwin Fey and Jochen Kreutzfeldt (2023). Towards the Automatic Generation of Models for Prediction, Monitoring, and Testing of Cyber-Physical Systems. IEEE International Conference on Emerging Technologies and Factory Automation (ETFA)
  
  
• Arne Grünhagen and Maximilian Schütte and Annika Eichler and Marina Tropmann-Frick and Goerschwin Fey (2023). Enhancing Data Acquisition and Fault Analysis for Large-Scale Facilities: A Case Study on the Laser-Based Synchronization System at the European X-Ray Free-Electron Laser [Work in progress]. GI Workshop on Learning, Knowledge, Data, Analytics (LWDA)
  
  
• Al-Zoubi, Ahmad and Fey, Goerschwin (2023). Low-Latency Real-Time Inference for Multilayer Perceptrons on FPGAs. In Drechsler, Rolf and Huhn, Sebastian (editors) (Eds.) Springer International Publishing: 123-133
  
  
• Abdelaziz, Khaled Galal Abdelwahab and Görgen, Ralph and Fey, Goerschwin (2023). FINaL: Driving High-Level Fault Injection Campaigns with Natural Language. IEEE European Test Symposium (ETS)
  
  
• Bernhard Johannes Berger and Goerschwin Fey (2023). Towards: Threat Modeling in System Design. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  
• Fin Hendrik Bahnsen and Bernhard Johannes Berger and Goerschwin Fey (2023). DoCNeL: Detection of Crucial Neurons Guided by Layer-wise Relevance Propagation. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  
• Grünhagen, Arne and Tropmann-Frick, Marina and Eichler, Annika and Fey, Goerschwin (2023). Predictive Maintenance for the Optical Synchronization System of the European XFEL: A Systematic Literature Survey. Data Engineering for Data Science (DE4DS)
  
  
• Arne Grünhagen and Annika Eichler and Marina Tropmann-Frick and Goerschwin Fey (2023). Condition Monitoring and Fault Detection of a Laser Oscillator Feedback System. International Conference on Information Modelling and Knowledge Bases (EJC)
  
  
• Fin Hendrik Bahnsen and Bernhard J. Berger and Goerschwin Fey (2023). GLRP: Guided by Layer-wise Relevance Propagation - Selecting Crucial Neurons in Artificial Neural Networks. International Conference on Circuits and Systems Technologies (MOCAST)
  
  
• Leandro Lanzieri and Peter Kietzmann and Goerschwin Fey and Holger Schlarb and Thomas C. Schmidt (2023). Ageing Analysis of Embedded SRAM on a Large-Scale Testbed Using Machine Learning. EUROMICRO Symposium on Digital System Design (DSD)
  
  
• Ahmad Al-Zoubi and Benedikt Schaible and Gianluca Martino and Goerschwin Fey (2023). Latency-optimized Hardware Acceleration of Multilayer Perceptron Inference. EUROMICRO Symposium on Digital System Design (DSD)
  
  

2022

• Ahmad Al-Zoubi and Goerschwin Fey (2022). Low Latency Real-Time Inference for Multilayer Perceptrons on FPGAs. Int'l Workshop on Boolean Problems (IWSBP)
  
  
• Swantje Plambeck and Lutz Schammer and Goerschwin Fey (2022). On the Viability of Decision Trees for Learning Models of Systems. ASP Design Automation Conference (ASPDAC)
  
  
• G. Martino and A. Bellandi and A. Eichler and J. Branlard and H. Schlarb and L. Doolittle and S. Aderhold and S. Hoobler and J. Nelson and R. D. Porter and L. Zacarias and A. Benwell and D. Gonnella and A. Ratti and G. Fey (2022). Anomaly Detection Based Quench Detection System for CW Operation of SRF Cavities. International Linear Accelerator Conference (LINCAC)
  
  
• Jakob Schyga and Swantje Plambeck and Johannes Hinckeldeyn and Goerschwin Fey and Jochen Kreutzfeldt (2022). Decision Trees for Analyzing Influences on the Accuracy of Indoor Localization Systems. Indoor Positioning and Indoor Navigation (IPIN)
  
  
• Ahmad Al-Zoubi and Gianluca Martino and Fin H. Bahnsen and Jun Zhu and Holger Schlarb and Goerschwin Fey (2022). CNN Implementation and Analysis on Xilinx Versal ACAP at European XFEL. IEEE International System-on-Chip Conference (SOCC)
  
  
• Gianluca Martino and Ahmad Al Zoubi and Julien Branlard and Holger Schlarb and Goerschwin Fey (2022). FPGA-based hardware acceleration of machine learning algorithms for particle accelerators. Low-level RF Workshop
  
  
• Goerschwin Fey and Martin Fränzle and Rolf Drechsler (2022). Self-explaination in Systems of Systems. International Workshop on Requirements Engineering for Explainable Systems (RE4ES)
  
  
• Swantje Plambeck and Görschwin Fey and Jakob Schyga and Johannes Hinckeldeyn and Jochen Kreutzfeldt (2022). Explaining Cyber-Physical Systems Using Decision Trees. Computation-Aware Algorithmic Design for Cyber-Physical Systems (CAADCPS)
  
  
• Lutz Schammer and Jan Runge and Paula Klimach and Goerschwin Fey (2022). Design Understanding: Identifying Instruction Pipelines in Hardware Designs. International Conference on Circuits and Systems Technologies (MOCAST)
  
  
• Gianluca Martino and Goerschwin Fey (2022). Runtime Monitoring of c-LTL Specifications on FPGAs using HLS. International Conference on Synthesis, Modeling, Analysis and Simulation Methods, and Applications to Circuit Design (SMACD)
  
  

2021

• Fin Hendrik Bahnsen and Goerschwin Fey (2021). YAPS - Your Open Examination System for Activating and emPowering Students. IEEE International Conference on Computer Science and Education (ICCSE)
  
  
• Fin Hendrik Bahnsen and Jan Kaiser and Goerschwin Fey (2021). Designing Recurrent Neural Networks for Monitoring Embedded Devices. IEEE European Test Symposium (ETS)
  
  
• Fin Hendrik Bahnsen and Vanessa Klebe and Goerschwin Fey (2021). Effect Analysis of Low-Level Hardware Faults on Neural Networks using Emulated Inference. International Conference on Circuits and Systems Technologies (MOCAST)
  
  
• Arne Grünhagen and Julien Branlard and Annika Eichler and Gianluca Martino and Goerschwin Fey and Marina Tropmann-Frick (2021). Fault Analysis of the Beam Acceleration Control System at the European XFEL using Data Mining. Asian Test Symposium (ATS)
  
  
• Gianluca Martino and Julien Branlard and Annika Eichler and Goerschwin Fey and Holger Schlarb (2021). Comparative Evaluation of Semi-Supervised Anomaly Detection Algorithms on High-Integrity Digital Systems. EUROMICRO Symposium on Digital System Design (DSD)
  
  
• Swantje Plambeck and Gianluca Martino and Goerschwin Fey (2021). Metrics for the Evaluation of Approximate Sequential Streaming Circuits. EUROMICRO Symposium on Digital System Design (DSD)
  
  
• Swantje Plambeck and Lutz Schammer and Goerschwin Fey (2021). Extended Abstract: Viability of Decision Trees for Learning Models of Systems. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
  
  
• Swantje Plambeck and Jakob Schyga and Johannes Hinckeldeyn and Jochen Kreutzfeldt and Goerschwin Fey (2021). Automata Learning for Automated Test Generation of Real Time Localization Systems. Workshop on Machine Learning in Control (Learning in Control, LEAC)
  
  
• Lutz Schammer and Swantje Plambeck and Fin Hendrik Bahnsen and Goerschwin Fey (2021). Learning Models of Cyber-Physical Systems using Automata Learning. Software Engineering for Industrial Cyber-Physical Systems (SE4ICPS)
  
  
• Ahmad Al-Zoubi and Goerschwin Fey and Konstantinos Tatas (2021). Resource-Aware Optimization of FPGA OpenCL Kernels. IEEE International Conference on Engineering and Emerging Technologies (ICEET)
  
  

2020

• Fin Hendrik Bahnsen and Vanessa Klebe and Goerschwin Fey (2020). Emulation of Neural Networks under HW Faults. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  
• Gianluca Martino, Heinz Riener and Goerschwin Fey (2020). Revisiting Explicit Enumeration for Exact Synthesis. In Proceedings of Euromicro Conference on Digital System Design (DSD) Portorož / Slovenia
  
  

2019

• Fin Hendrik Bahnsen and Goerschwin Fey (2019). Local Monitoring of Embedded Applications and Devices using Artificial Neural Networks. EUROMICRO Symposium on Digital System Design (DSD) 485-491
  
  
• Fin Hendrik Bahnsen and Goerschwin Fey (2019). Approximation of Neural Networks for Verification. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
  
  
• Fin Hendrik Bahnsen and Goerschwin Fey (2019). Neural Networks for Monitoring Embedded Devices. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  
• Roderick Bloem and Goerschwin Fey and Fabian Greif and Robert Könighofer and Ingo Pill and Heinz Riener and Franz Röck (2019). Synthesizing Adaptive Test Strategies from Temporal Logic Specifications. Formal Methods in System Design (FMSD).
  
  
• Goerschwin Fey and Rolf Drechsler (2019). Self-Explaining Digital Systems - Some Technical Steps. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
  
  
• Goerschwin Fey and Rolf Drechsler (2019). Self-Explaining Digital Systems: Technical View, Implementation Aspects, and Completeness. In Rolf Drechsler and Mathias Soeken (Eds.) Advanced Boolean Techniques - Selected Papers from the 13th International Workshop on Boolean Problems Springer:
  
  
• Goerschwin Fey and Alberto Garcia-Ortiz (2019). Symbolic Circuit Analysis under an Arc Based Timing Model. IEEE European Test Symposium (ETS)
  
  
• Tara Ghasempouri and Jan Malburg and Alessandro Danese and Graziano Pravadelli and Goerschwin Fey and Jaan Raik (2019). Engineering of an Effective Automatic Dynamic Assertion Mining Platform. IEEE/IFIP Int'l Conference on VLSI and System-on-Chip (VLSI-SoC)
  
  
• Tara Ghasempouri and Jan Malburg and Alessandro Danese and Graziano Pravadelli and Goerschwin Fey and Jaan Raik (2019). Engineering of an Effective Automatic Assertion-based Verification Platform. Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
  
  
• Gianluca Martino and Goerschwin Fey (2019). Syntax-Guided Enumeration of Temporal Properties. In Proceedings of Forum on Specification and Design Languages (FDL) Southampton / United Kingdom
  
  
• Gianluca Martino, Heinz Riener and Görschwin Fey (2019). Complete Specification Mining. In Proceedings of Workshop on Design Automation for Understanding Hardware Designs (DUHDE) Florence / Italy
  
  

2018

• Görschwin Fey, Tara Ghasempouri, Swen Jacobs, Gianluca Martino, Jaan Raik and Heinz Riener (2018). Design Understanding: From Logic to Specification. In Proceedings of IFIP/IEEE International Conference on Very Large Scale Integration (VLSI-SoC) Verona / Italy
  
  
• Karl Janson and Carl Johann Treudler and Thomas Hollstein and Jaan Raik and Maksim Jenihhin and Goerschwin Fey (2018). Software-Level TMR Approach for On-Board Data Processing in Space Applications. IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
  
  
• Gianluca Martino, Heinz Riener and Görschwin Fey (2018). Coverage-Guided CTL Property Enumeration for Understanding Models of Reactive Systems. In Proceedings of International Workshop on Logic & Synthesis (IWLS) San Francisco / USA
  
  
• Jan Malburg and Heinz Riener and Goerschwin Fey (2018). Mining Latency Guarantees for RTL Designs. IEEE Int'l Symposium on Multi-Valued Logic (ISMVL)
  
  
• Abraham Temesgen Tibebu and Goerschwin Fey (2018). Augmenting All Solutions SAT Solving for Circuits with Structural Information. IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
  
  

2017

• Gökçe Aydos and Goerschwin Fey (2017). Empirical Results on Parity-based Soft Error Detection with Software-based Retry. Microprocessors and Microsystems (MICPRO). 62-68
  
  
• Serhiy Avramenko and Matteo Sonza Reorda and Massimo Violante and Goerschwin Fey (2017). A High-Level Approach to Analyze the Effects of Soft Errors on Lossless Compression Algorithms. Journal of Electronic Testing: Theory and Applications (JETTA). 53-64
  
  
• Tino Flenker and Goerschwin Fey (2017). Mapping Abstract and Concrete Hardware Models for Design Understanding. IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
  
  
• Tino Flenker and Jan Malburg and Görschwin Fey and Serhiy Avramenko and Massimo Violante and Matteo Sonza Reorda (2017). Towards Making Fault Injection on Abstract Models a More Accurate Tool for Predicting RT-Level Effects. IEEE Annual Symposium on VLSI (ISVLSI)
  
  
• Jan Malburg and Tino Flenker and Goerschwin Fey (2017). Property Mining using Dynamic Dependency Graphs. ASP Design Automation Conference (ASPDAC) 244-250
  
  
• Jan Malburg and Heinz Riener and Goerschwin Fey (2017). Mining Latency Guarantees for RT-level Designs. Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
  
  
• Meß, Jan-Gerd and Schmidt, Robert and Fey, Goerschwin (2017). Adaptive Compression Schemes for Housekeeping Data. IEEE Aerospace Conference (AEROCONF)
  
  
• Heinz Riener and Rüdiger Ehlers and Goerschwin Fey (2017). CEGAR-Based EF Synthesis of Boolean Functions with an Application to Circuit Rectification. ASP Design Automation Conference (ASPDAC) 251-256
  
  
• Heinz Riener and Ruediger Ehlers and Goerschwin Fey (2017). Counterexample-Guided EF Synthesis of Boolean Functions. ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV)
  
  
• Heinz Riener and Goerschwin Fey (2017). Computing Exact Fault Candidates Incrementally. Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
  
  
• Heinz Riener and Robert Koenighofer and Goerschwin Fey and Roderick Bloem (2017). SMT-Based CPS Parameter Synthesis. Applied Verification for Continuous and Hybrid Systems (ARCH) 126-133
  
  
• Robert Schmidt and Alberto Garcia-Ortiz and Goerschwin Fey (2017). Temporal Redundancy Latch-based Architecture for Soft Error Mitigation. IEEE International On-Line Testing Symposium (IOLTS) 240-243
  
  
• Robert Schmidt and Alberto Garcia-Ortiz and Goerschwin Fey (2017). Temporal Redundancy Latch-based Architecture for Soft Error Mitigation.
  
  
• Niels Thole and Goerschwin Fey (2017). Empirical Evaluation of a Formal Conservative Analysis to Prove Robustness under Variability. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  

2016

• Gadi Aleksandrowicz and Eli Arbel and Roderick Bloem and Timon ter Braak and Sergei Devadze and Goerschwin Fey and Maksim Jenihhin and Artur Jutman and Hans G. Kerkhoff and Robert Könighofer and Jan Malburg and Shiri Moran and Jaan Raik and Gerard Rauwerda and Heinz Riener and Franz Röck and Konstantin Shibin and Kim Sunesen and Jinbo Wan and Yong Zhao (2016). Designing Reliable Cyber-Physical Systems. Forum on Specification and Design Languages (FDL)
  
  
• Gökçe Aydos and Goerschwin Fey (2016). Exploiting Error Detection Latency for Parity-based Soft Error Detection. IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS)
  
  
• Serhiy Avramenko and Matteo Sonza Reorda and Massimo Violante and Goerschwin Fey and Jan-Gerd Meß and Robert Schmidt (2016). On the robustness of compression algorithms for space applications. IEEE International On-Line Testing Symposium (IOLTS)
  
  
• Serhiy Avramenko and Matteo Sonza Reorda and Massimo Violante and Goerschwin Fey (2016). Analysis of the Effects of Soft Errors on Compression Algorithms Through Fault Injection Inside Program Variables. IEEE Latin-American Test Symposium (LATS) 14-19
  
  
• Tino Flenker and Goerschwin Fey (2016). Matching Abstract and Concrete Hardware Models for Design Understanding. Workshop on Design Automation for Understanding Hardware Designs (DUHDe)
  
  
• Ian Harris and Sandip Ray and Goerschwin Fey and Mathias Soeken (2016). Multilevel Design Understanding: From Specification to Logic. IEEE/ACM Int'l Conf. on CAD (ICCAD)
  
  
• Goerschwin Fey and Jaan Raik (Organizers) (2016). Designing Reliable Cyber-Physical Systems.
  
  
• Ian Harris and Sandip Ray and Goerschwin Fey and Mathias Soeken (2016). Multilevel Design Understanding: From Specification to Logic (Special Session).
  
  
• Niklas Krafczyk and Heinz Riener and Goerschwin Fey (2016). WCET Overapproximation for Software in the Context of a Cyber-Physical System. IEEE/IFIP Int'l Conference on VLSI and System-on-Chip (VLSI-SoC)
  
  
• Jan Malburg and Alexander Finder and Goerschwin Fey (2016). Debugging hardware designs using dynamic dependency graphs. Microprocessors and Microsystems (MICPRO). 347-359
  
  
• Jan Malburg and Tino Flenker and Goerschwin Fey (2016). Generating Good Properties from a Small Number of Use Cases. International Verification and Security Workshop (IVSW)
  
  
• Jan-Gerd Meß and Robert Schmidt and Goerschwin Fey and Frank Dannemann (2016). On the Compression of Spacecraft Housekeeping Data using Discrete Cosine Transforms. ESA International Tracking, Telemetry and Command Systems for Space Applications (TTC)
  
  
• Heinz Riener and Goerschwin Fey (2016). Exact Diagnosis using Boolean Satisfiability. IEEE/ACM Int'l Conf. on CAD (ICCAD) 53:1-53:8
  
  
• Heinz Riener and Goerschwin Fey (2016). Counterexample-Guided Diagnosis. International Verification and Security Workshop (IVSW)
  
  
• Heinz Riener and Finn Haedicke and Stefan Frehse and Mathias Soeken and Daniel Große and Rolf Drechsler and Goerschwin Fey (2016). metaSMT: Focus On Your Application And Not On Solver Integration. International Journal on Software Tools for Technology Transfer (STTT). 1-17
  
  
• Niels Thole and Lorena Anghel and Goerschwin Fey (2016). A Hybrid Algorithm to Conservatively Check the Robustness of Circuits (extended abstract). IEEE European Test Symposium (ETS) 2
  
  
• Niels Thole and Lorena Anghel and Goerschwin Fey (2016). A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. IEEE Annual Symposium on VLSI (ISVLSI) 278-283
  
  
• Niels Thole and Lorena Anghel and Goerschwin Fey (2016). A Hybrid Algorithm to Conservatively Check the Robustness of Circuits. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  
• Niels Thole and Heinz Riener and Goerschwin Fey (2016). Equivalence Checking on ESL Utilizing A Priori Knowledge. Forum on Specification and Design Languages (FDL)
  
  

2015

• Gökçe Aydos and Goerschwin Fey (2015). Empirical Results on Parity-based Soft Error Detection with Software-based Retry. IEEE Nordic Circuits and Systems Conference (NORCAS)
  
  
• Mehdi Dehbashi and Goerschwin Fey (2015). Debug Automation from Pre-Silicon to Post-Silicon.
  
  
• Mehdi Dehbashi and Goerschwin Fey (2015). Transaction-based online debug for NoC-based multiprocessor SoCs. Microprocessors and Microsystems (MICPRO). 157-166
  
  
• Emmanuelle Encrenaz-Tiphene and Goerschwin Fey (Organizers) (2015). Workshop on Design Automation for Understanding Hardware Designs (DUHDe).
  
  
• Tino Flenker and André Sülflow and Goerschwin Fey (2015). Diagnostic Tests and Diagnosis for Delay Faults using Path Segmentation. Asian Test Symposium (ATS) 145-150
  
  
• Jabier Martinez and Jan Malburg and Tewfik Ziadi and Goerschwin Fey (2015). Towards analysing feature locations through testing traces with BUT4Reuse. Workshop on Design Automation for Understanding Hardware Designs (DUHDe) 10-15
  
  
• Heinz Riener and Rüdiger Ehlers and Goerschwin Fey (2015). Path-Based Program Repair. International Workshop on Formal Engineering approaches to Software Components and Architectures (FESCA), Satellite event of ETAPS 22-32
  
  
• Heinz Riener and Michael Kirkedal Thomsen and Goerschwin Fey (2015). Execution Tracing of C Code for Formal Analysis (Extended Abstract). ITG/GI/GMM-Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV) 160-164
  
  
• Niels Thole and Goerschwin Fey and Alberto Garcia-Ortiz (2015). Conservatively Analyzing Transient Faults. IEEE Annual Symposium on VLSI (ISVLSI) 50-55
  
  
• Niels Thole and Goerschwin Fey and Alberto Garcia-Ortiz (2015). Analyzing an SET at Gate Level using a Conservative Approach. GI/GMM/ITG-Workshop für Testmethoden und Zuverlässigkeit von Schaltungen und Systemen (TUZ)
  
  
• Niels Thole and Heinz Riener and Fey, Goerschwin (2015). Equivalence Checking on System Level using A Priori Knowledge. IEEE Int'l Symposium on Design and Diagnostics of Electronic Circuits and Systems (DDECS) 177-182
  
  
• Trond Ytterdal and Snorre Aunet and General Chairs and Bjørn B. Larsen and Görschwin Fey (editors) (2015). 22nd European conference on circuit theory and design, ECCTD 2015, Trondheim, Norway, August 24-26, 2015.