@article{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {Towards a Systematic Test for Embedded Automotive Communication Systems},
  series = {IEEE Transactions on Industrial Informatics},
  volume    = {4},
  journal   = {IEEE Transactions on Industrial Informatics},
  number    = {3},
  pages     = {146 -- 155},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{FibichHorauerObermaisser,
  author    = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman},
  title     = {HLShield: A Reliability Enhancement Framework for High-Level Synthesis},
  series = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)},
  booktitle = {12th IEEE International Symposium on Industrial Embedded Systems (SIES 2017)},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{FibichRoesslerTauneretal.,
  author    = {Fibich, Christian and R{\"o}ssler, Peter and Tauner, Stefan and Matschnig, Martin and Taucher, Herbert},
  title     = {A FPGA-based Demonstrator for Safety-Critical Applications},
  series = {IEEE Austria Austrochip 2017, Oct. 12, 2017, Linz},
  booktitle = {IEEE Austria Austrochip 2017, Oct. 12, 2017, Linz},
  pages     = {6 pages},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{FibichWenzlRoessler,
  author    = {Fibich, Christian and Wenzl, Matthias and R{\"o}ssler, Peter},
  title     = {On Automated Generation of Checker Units from Hardware Assertion Languages},
  series = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014},
  booktitle = {Proceedings of the Microelectronic Systems Symposium 2014 (MESS'14), May 8-9, Vienna, 2014},
  subject      = {Embedded Systems},
  language  = {en}
}
@article{HorauerWidhalmTauneretal.,
  author    = {Horauer, Martin and Widhalm, Dominik and Tauner, Stefan and Mirtl, Stefan},
  title     = {Verification challenges of complex system-on-chip devices},
  series = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  journal   = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  number    = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  pages     = {Page 269-273},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{WidhalmTaunerHoraueretal.,
  author    = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin and Schumacher, Achim and Haggenmiller, Alexander},
  title     = {A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,},
  series = {Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015},
  booktitle = {Proceedings of the 2015 IEEE International Instrumentation and Measurement Technology Conference (I2MTC 2015), May 11-14, 2015},
  subject      = {Embedded Systems},
  language  = {en}
}
@misc{WidhalmTaunerHoraueretal.,
  author    = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin and Schumacher, Achim and Haggenmiller, Alexander},
  title     = {A Common Platform for Bridging Pre-and Post-Silicon Verification in Mixed-Signal Designs,},
  subject      = {Embedded Systems},
  language  = {en}
}
@misc{WidhalmTaunerHorauer,
  author    = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin},
  title     = {Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{TaunerWidhalmHorauer,
  author    = {Tauner, Stefan and Widhalm, Dominik and Horauer, Martin},
  title     = {Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities},
  series = {Proceedings of the IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015},
  booktitle = {Proceedings of the IEEE Austrian Workshop on Microelectronics, Vienna, 28 Sept. 2015},
  pages     = {36 -- 41},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{WidhalmTaunerHorauer,
  author    = {Widhalm, Dominik and Tauner, Stefan and Horauer, Martin},
  title     = {Augmenting Pre-Silicon Simulation by embedding a Scripting Language in a SystemC Environment},
  series = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA) 2016},
  booktitle = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA) 2016},
  subject      = {Embedded Systems},
  language  = {en}
}
@misc{TaunerWidhalmHorauer,
  author    = {Tauner, Stefan and Widhalm, Dominik and Horauer, Martin},
  title     = {Synchronization Approaches for Testing Mixed-Signal SoCs under Real-Time Constraints using On-Chip Capabilities},
  subject      = {Embedded Systems},
  language  = {en}
}
@article{FibichRoesslerTauneretal.,
  author    = {Fibich, Christian and R{\"o}ssler, Peter and Tauner, Stefan and Taucher, Herbert and Matschnig, Martin},
  title     = {A Netlist-level Fault-injection Tool for FPGAs},
  series = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  journal   = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  number    = {e \& i Elektrotechnik und Informationstechnik: Volume 132, Issue 6 (2015)},
  pages     = {Page 274-281},
  subject      = {FPGA},
  language  = {en}
}