@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} } @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{FibichTaunerRoessleretal., author = {Fibich, Christian and Tauner, Stefan and R{\"o}ssler, Peter and Horauer, Martin and Krapfenbauer, Markus and Linauer, Martin and Matschnig, Martin and Taucher, Herbert}, title = {Evaluation of Open-Source Linear Algebra Libraries in Embedded Applications}, series = {8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro}, booktitle = {8th Mediterranean Conference on Embedded Computing (MECO), co-sponsored by IEEE, June 10-14, 2019, Budva, Montenegro}, pages = {6}, 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} }