@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{ZaunerPraprotnikHorauer,
  author    = {Zauner, Martin and Praprotnik, Oliver and Horauer, Martin},
  title     = {Neue Testl{\"o}sungen f{\"u}r die Automobilelektronik},
  series = {Tagungsband zum 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen 26.-27. M{\"a}rz 2008, FH Ober{\"o}sterreich, Campus Wels},
  booktitle = {Tagungsband zum 2. Forschungsforum der {\"o}sterreichischen Fachhochschulen 26.-27. M{\"a}rz 2008, FH Ober{\"o}sterreich, Campus Wels},
  publisher = {Shaker Verlag},
  isbn      = {978-3-8322-7023-0},
  pages     = {267 -- 273},
  subject      = {Embedded Systems},
  language  = {de}
}
@inproceedings{PalliererHorauerZauneretal.,
  author    = {Pallierer, Roman and Horauer, Martin and Zauner, Martin and Steininger, Andreas and Armengaud, Eric and Rothensteiner, Florian},
  title     = {A Generic Tool for Systematic Tests in Embedded Automotive Communication Systems},
  series = {Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany},
  booktitle = {Proceedings of the Embedded World Conference 2005, February, Nuremberg, Germany},
  pages     = {42 -- 49},
  subject      = {Automotive},
  language  = {de}
}
@inproceedings{HorauerRothensteinerZauneretal.,
  author    = {Horauer, Martin and Rothensteiner, Florian and Zauner, Martin and Armengaud, Eric and Steininger, Andreas and Friedl, Hannes and Pallierer, Roman},
  title     = {An FPGA based SoC Design for Testing Embedded Automotive Communication Systems employing the FlexRay Protocol},
  series = {Proceedings of Austrochip 2004, October 2004, Villach, Austria},
  booktitle = {Proceedings of Austrochip 2004, October 2004, Villach, Austria},
  pages     = {119 -- 123},
  subject      = {Embedded Systems},
  language  = {en}
}
@article{MilbredtHorauerReif,
  author    = {Milbredt, Paul and Horauer, Martin and Reif, Konrad},
  title     = {Wakeup and Startup of FlexRay Cross Linkings},
  series = {ATZ Elektronik},
  journal   = {ATZ Elektronik},
  pages     = {30 -- 32},
  subject      = {Collision Avoidance},
  language  = {en}
}
@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}
}