@inproceedings{RoesslerHoellerReisneretal.,
  author    = {R{\"o}ssler, Peter and H{\"o}ller, Roland and Reisner, Christopher and Maischberger, Oliver},
  title     = {Survey and Comparison of Digital Logic Simulators},
  series = {Proceedings of 27th Austrochip Conference on Microelectronics, Oct. 24, 2019, Vienna, Austria},
  booktitle = {Proceedings of 27th Austrochip Conference on Microelectronics, Oct. 24, 2019, Vienna, Austria},
  pages     = {5},
  subject      = {Digital Logic Simulation},
  language  = {en}
}
@inproceedings{KramerGerstmayerHausladen,
  author    = {Kramer, Michael and Gerstmayer, Florian and Hausladen, J{\"u}rgen},
  title     = {Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication},
  series = {2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018},
  booktitle = {2018 IEEE 23rd International Conference on Emerging Technologies and Factory Automation (ETFA), Turin, Italy, 2018},
  pages     = {1123 -- 1126},
  subject      = {Digital Signature},
  language  = {en}
}
@inproceedings{ReinbacherBrauerHoraueretal.,
  author    = {Reinbacher, Thomas and Brauer, J{\"o}rg and Horauer, Martin and Steininger, Andreas and Kowalewski, Stefan},
  title     = {Past Time LTL Runtime Verification for Microcontroller Binary Code},
  series = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011},
  booktitle = {Proceedings of the 16th International Workshop on Formal Methods for Industrial Critical Systems, FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS Lecture Notes in Computer Science, Trento, Italy, Aug. 29-30, 2011},
  pages     = {37 -- 51},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{ReinbacherHorauer,
  author    = {Reinbacher, Thomas and Horauer, Martin},
  title     = {Formale Verifikation von Embedded Systems Software},
  series = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010},
  booktitle = {Informationstagung Mikroelektronik (ME 2010), Vienna, Austria, April 7-8, 2010},
  pages     = {289 -- 296},
  subject      = {Embedded Systems},
  language  = {en}
}
@misc{KramerGerstmayerHausladen,
  author    = {Kramer, Michael and Gerstmayer, Florian and Hausladen, J{\"u}rgen},
  title     = {Evaluation of Libraries and Typical Embedded Systems for ECDSA Signature Verification for Car2X Communication},
  subject      = {Digital Signature},
  language  = {en}
}
@inproceedings{WenzlKluka,
  author    = {Wenzl, Matthias and Kluka, Daniel},
  title     = {Adding Channel Security to a Fingerprint Verification Chain},
  series = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)},
  booktitle = {13th ASMEE/IEEE International Conference on Mechatronic \& Embedded Systems \& Applications (MESA 2017)},
  subject      = {Security},
  language  = {en}
}
@article{FibichTaunerRoessleretal.,
  author    = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Matschnig, Martin and Taucher, Herbert},
  title     = {FIJI - Fault InJection Instrumenter},
  series = {EURASIP Journal on Embedded Systems},
  volume    = {2019},
  journal   = {EURASIP Journal on Embedded Systems},
  number    = {Februar 2019},
  pages     = {19},
  subject      = {Fault injection},
  language  = {en}
}