@inproceedings{GlatzClearyHoraueretal., author = {Glatz, Bernd and Cleary, Fionn and Horauer, Martin and Schuster, Harald and Balog, Peter}, title = {Complementing Testing of IEC61499 Function Blocks with Model-Checking}, series = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016}, booktitle = {Proceedings of the 12th IEEE/ASME International Conference on Mechatronic and Embedded Systems and Applications, (MESA2016), Auckland, New Zealand, 29-31 August 2016}, subject = {Embedded Systems}, language = {en} } @misc{GlatzClearyHoraueretal., author = {Glatz, Bernd and Cleary, Fionn and Horauer, Martin and Schuster, Harald and Balog, Peter}, title = {Complementing Testing of IEC61499 Function Blocks with Model-Checking}, subject = {Embedded Systems}, language = {en} } @misc{PrausKastnerPalensky, author = {Praus, Friedrich and Kastner, Wolfgang and Palensky, Peter}, title = {Software security requirements in building automation}, subject = {Software Security}, language = {en} } @inproceedings{GlatzSchusterHoraueretal., author = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman}, title = {Fault Injection for IEC 61499 Applications}, series = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09}, booktitle = {Proceedings of the 21st IEEE International Conference on Emerging Technologies and Factory Automation (ETFA 2016), Berlin, Germany, 2016-09-06 -- 2016-09-09}, subject = {Embedded Systems}, language = {en} } @inproceedings{JerabekHorauer, author = {Jerabek, Thomas and Horauer, Martin}, title = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software}, series = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016}, booktitle = {Proceedings of the 9th International Conference on Dependability (DEPEND 2016), Nice, July 2016}, subject = {Embedded Systems}, language = {en} } @misc{GlatzSchusterHoraueretal., author = {Glatz, Bernd and Schuster, Harald and Horauer, Martin and Rauscher, Thomas and Obermaisser, Roman}, title = {Fault Injection for IEC 61499 Applications}, subject = {Embedded Systems}, language = {en} } @misc{JerabekHorauer, author = {Jerabek, Thomas and Horauer, Martin}, title = {Static Worst-Case Execution Time Analysis Tool Development for Embedded Systems Software}, subject = {Embedded Systems}, language = {de} } @article{SchindelboeckPrausGall, author = {Schindelb{\"o}ck, Denise and Praus, Friedrich and Gall, Walter}, title = {A Diabetes Self-Management Prototype in an AAL-Environment to Detect Remarkable Health States}, series = {Proceedings of Health Informatics Meets eHealth 2016}, journal = {Proceedings of Health Informatics Meets eHealth 2016}, pages = {273 -- 280}, subject = {Ambient Assisted Living}, language = {en} } @inproceedings{PuhmMahmoodBigleretal., author = {Puhm, Andreas and Mahmood, Aneeq and Bigler, Thomas and Ker{\"o}, Nikolaus}, title = {Synchronizing an IEEE 1588 Slave Clock Over Both Paths of a Redundant Ethernet System}, series = {2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication}, booktitle = {2016 IEEE International Symposium on Precision Clock Synchronization for Measurement, Control and Communication}, subject = {Network}, language = {en} } @misc{SchindelboeckPrausGall, author = {Schindelb{\"o}ck, Denise and Praus, Friedrich and Gall, Walter}, title = {A Diabetes Self-Management Prototype in an AAL-Environment to Detect Remarkable Health States}, subject = {Ambient Assisted Living}, language = {en} }