@inproceedings{GallaSchreinerForsteretal.,
  author    = {Galla, Thomas and Schreiner, Dietmar and Forster, Wolfgang and Kutschera, Christof and G{\"o}schka, Karl and Horauer, Martin},
  title     = {Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm},
  series = {Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C},
  booktitle = {Proceedings of the IEEE Second International Symposium on Industrial Embedded Systems (SIES'2007), Lisbon - Portugal, 4-6 July, 2007. IEEE Catalog 07EX1633C},
  isbn      = {1-4244-0840-7},
  pages     = {200 -- 208},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{ReinbacherHorauerSchlichetal.,
  author    = {Reinbacher, Thomas and Horauer, Martin and Schlich, Bastian and Bauer, J{\"o}rg and Scheuer, Florian},
  title     = {Model Checking Assembly Code of an Industrial Knitting Machine},
  series = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009},
  booktitle = {Proceedings of the 4th International Conference on Embedded and Multimedia Computing (EM-Com 2009), Jeju, Korea, Dec. 10-12, 2009},
  pages     = {97 -- 104},
  subject      = {Embedded Systems},
  language  = {de}
}
@inproceedings{ReinbacherKramerHoraueretal.,
  author    = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian},
  title     = {hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker},
  series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  pages     = {277 -- 280},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{KutscheraHorauerForster,
  author    = {Kutschera, Christof and Horauer, Martin and Forster, Wolfgang},
  title     = {Anwendung eines Benchmark-Frameworks f{\"u}r komponentenbasierte Software eingebetteter Systeme},
  series = {Tagungsband des 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen},
  booktitle = {Tagungsband des 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen},
  publisher = {Shaker Verlag},
  subject      = {Embedded Systems},
  language  = {de}
}
@inproceedings{ReinbacherKramerHoraueretal.,
  author    = {Reinbacher, Thomas and Kramer, Michael and Horauer, Martin and Schlich, Bastian},
  title     = {Motivating Model Checking of Embedded Systems Software},
  series = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China},
  booktitle = {EEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, 12-15, 2008, Beijing, China},
  isbn      = {978-1-4244-2367-5},
  pages     = {546 -- 551},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{MilbredtSteiningerHorauer,
  author    = {Milbredt, Paul and Steininger, Andreas and Horauer, Martin},
  title     = {Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks},
  series = {Proceedings of the 4th IEEE International Symposium on Electronic Design, Test \& Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong},
  booktitle = {Proceedings of the 4th IEEE International Symposium on Electronic Design, Test \& Applications (DELTA 2008), Jan. 23-25, 2008, Hong Kong},
  pages     = {533 -- 538},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{MilbredtHorauerSteininger,
  author    = {Milbredt, Paul and Horauer, Martin and Steininger, Andreas},
  title     = {An Investigation of the Clique Problem in FlexRay},
  series = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  booktitle = {Proceedings of the 3th IEEE Symposium on Industrial Embedded Systems (SIES 2008), June 11-13, 2008, Montpellier},
  isbn      = {978-1-4244-1994-4},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{MuhrHoellerHorauer,
  author    = {Muhr, Hannes and H{\"o}ller, Roland and Horauer, Martin},
  title     = {A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression},
  series = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China},
  booktitle = {Proceedings of the 2nd IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications (MESA 2006), August 13-16, Beijing, China},
  subject      = {Hardware},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {Efficient Stimulus Generation for Remote Testing of Distributed Systems - The FlexRay Example},
  series = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy},
  booktitle = {Proceedings of the 10th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2005), September, Catania, Italy},
  pages     = {763 -- 770},
  subject      = {Testing},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {Automatic Parameter Identification in FlexRay based Automotive Communication Networks},
  series = {Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic},
  booktitle = {Proceedings of the 11th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2006), September, Prague, Czech Republic},
  pages     = {897 -- 904},
  subject      = {Automotive},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {A Flexible Hardware Architecture for Fast Access on Large Non-Volatile Memories},
  series = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary},
  booktitle = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary},
  pages     = {113 -- 120},
  subject      = {Hardware Architecture},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {A Method for Bit Level Test and Diagnosis of Communication Services},
  series = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary},
  booktitle = {Proceedings of the 8th International Workshop on Design and Diagnostics of Electronic Circuits and Systems (DDECS 2005), April, Sopron, Hungary},
  pages     = {69 -- 74},
  subject      = {Testing},
  language  = {en}
}
@inproceedings{HorauerKutscheraSchreiner,
  author    = {Horauer, Martin and Kutschera, Christof and Schreiner, Dietmar},
  title     = {Komponentenbasierte Systemsoftware f{\"u}r die Automobilelektronik},
  series = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  booktitle = {Tagungsband zum ersten Forschungsforum der {\"o}sterreichischen Fachhochschulen (FFH), 11-12 April, Puch/Salzburg, Austria},
  subject      = {Automotive},
  language  = {de}
}
@inproceedings{ArmengaudSteiningerHorauer,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin},
  title     = {An Efficient Test and Diganosis Environment for Communication Controllers},
  series = {Proceedings of Austrochip 2006, 11 October, Vienna, Austria},
  booktitle = {Proceedings of Austrochip 2006, 11 October, Vienna, Austria},
  subject      = {Testing},
  language  = {en}
}
@inproceedings{ArmengaudSteiningerHoraueretal.,
  author    = {Armengaud, Eric and Steininger, Andreas and Horauer, Martin and Pallierer, Roman},
  title     = {A Layer Model for the Systematic Test of Time-Triggered Automotive Communication Systems},
  series = {Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria},
  booktitle = {Proceedings of the 5th Workshop on Factory Communication Systems (WFCS 2004), September 22-24, Vienna, Austria},
  pages     = {275 -- 283},
  subject      = {Testing},
  language  = {en}
}
@inproceedings{PalliererHorauerSteininger,
  author    = {Pallierer, Roman and Horauer, Martin and Steininger, Andreas},
  title     = {Monitoring and Fault-Injection of X-by-Wire Communication Networks},
  series = {Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany},
  booktitle = {Tagungsunterlagen zum Entwicklerforum "Drahtlose und drahtgebundene Netzwerke 2004", July, Munich, Germany},
  subject      = {Communication Network},
  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{FibichTaunerRoessleretal.,
  author    = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin},
  title     = {Evaluation of Open-Source Linear Algebra Libraries targeting ARM and RISC-V Architectures},
  series = {Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria},
  booktitle = {Proceedings of the 2020 15th Conference on Computer Science and Information Systems (FedCSIS), 6-9 September 2020, Sofia, Bulgaria},
  pages     = {663 -- 672},
  subject      = {Embedded Systems},
  language  = {en}
}
@inproceedings{FibichHorauerObermaisser,
  author    = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman},
  title     = {Device- and Temperature Dependency of Systematic Fault Injection Results in Artix-7 and iCE40 FPGAs},
  series = {Proceedings of the 2021 Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 1-5 February 2021, Grenoble, France},
  booktitle = {Proceedings of the 2021 Design, Automation \& Test in Europe Conference \& Exhibition (DATE), 1-5 February 2021, Grenoble, France},
  pages     = {1600 -- 1605},
  subject      = {FPGA},
  language  = {en}
}
@inproceedings{FibichHorauerObermaisser,
  author    = {Fibich, Christian and Horauer, Martin and Obermaisser, Roman},
  title     = {Reliability-Enhanced High-Level Synthesis using Memory Profiling and Fault Injection},
  series = {2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019},
  booktitle = {2019 IEEE 28th International Symposium on Industrial Electronics (ISIE), Vancouver, BC, Canada, 2019},
  pages     = {1363 -- 1370},
  subject      = {Circuit faults},
  language  = {en}
}