Articles with public access mandates - Martin HorauerLearn more
Not available anywhere: 11
Parallel runtime verification of temporal properties for embedded software
T Reinbacher, J Geist, P Moosbrugger, M Horauer, A Steininger
Proceedings of 2012 IEEE/ASME 8th IEEE/ASME International Conference on …, 2012
Mandates: Austrian Science Fund
Motivating Model Checking of Embedded Systems Software
T Reinbacher, M Kramer, M Horauer, B Schlich
2008 IEEE/ASME International Conference on Mechtronic and Embedded Systems …, 2008
Mandates: Austrian Science Fund
Challenges in embedded model checking—a simulator for the [mc] square model checker
T Reinbacher, M Kramer, M Horauer, B Schlich
2008 International Symposium on Industrial Embedded Systems, 245-248, 2008
Mandates: Austrian Science Fund
Refining assembly code static analysis for the Intel MCS-51 microcontroller
T Reinbacher, J Brauer, M Horauer, B Schlich
2009 IEEE International Symposium on Industrial Embedded Systems, 161-170, 2009
Mandates: Austrian Science Fund, German Research Foundation
A runtime verification unit for microcontrollers
T Reinbacher, M Horauer, A Steininger
Proceedings of the 2012 System, Software, SoC and Silicon Debug Conference, 1-6, 2012
Mandates: Austrian Science Fund
Model checking assembly code of an industrial knitting machine
T Reinbacher, M Horauer, B Schlich, J Brauer, F Scheuer
2009 Fourth International Conference on Embedded and Multimedia Computing, 1-8, 2009
Mandates: Austrian Science Fund
Using 3-valued memory representation for state space reduction in embedded assembly code model checking
T Reinbacher, M Horauer, B Schlich
2009 12th International Symposium on Design and Diagnostics of Electronic …, 2009
Mandates: Austrian Science Fund
Remote Lab Infrastructure for Distance Learning Courses at the Undergraduate Level in Embedded Systems Design
P Balog, M Horauer, P Ro¨ ssler
International Design Engineering Technical Conferences and Computers and …, 2009
Mandates: Austrian Science Fund
Development of a data collection platform
P Roessler, J Radlbauer, M Horauer, F Lukasch, M Wimmer
2008 IEEE International Symposium on Industrial Electronics, 1953-1958, 2008
Mandates: Austrian Science Fund
dandel. io-Design of an audio-recorder accessory
W Fleck, D Höllmüller, J Wittmann, G Aradi, R Beneder, M Horauer
2014 IEEE/ASME 10th International Conference on Mechatronic and Embedded …, 2014
Mandates: Austrian Science Fund
Development of an embedded monitoring device for a manufacturing plant
P Niklas, M Zauner, M Horauer
Proceedings of 2010 IEEE/ASME International Conference on Mechatronic and …, 2010
Mandates: Austrian Science Fund
Available somewhere: 8
Towards a systematic test for embedded automotive communication systems
E Armengaud, A Steininger, M Horauer
IEEE Transactions on Industrial Informatics 4 (3), 146-155, 2008
Mandates: Austrian Science Fund
Past time LTL runtime verification for microcontroller binary code
T Reinbacher, J Brauer, M Horauer, A Steininger, S Kowalewski
Formal Methods for Industrial Critical Systems: 16th International Workshop …, 2011
Mandates: Austrian Science Fund, German Research Foundation
Runtime verification of microcontroller binary code
T Reinbacher, J Brauer, M Horauer, A Steininger, S Kowalewski
Science of Computer Programming 80, 109-129, 2014
Mandates: Austrian Science Fund, German Research Foundation
Model checking embedded software of an industrial knitting machine
T Reinbacher, M Horauer, B Schlich, J Brauer, F Scheuer
International Journal of Information Technology, Communications and …, 2011
Mandates: Austrian Science Fund
A flexible sensor-mat to automate the process of people counting
C Kutschera, M Horauer, M Rayy, D Steinmairz, P Gorskix
Proceedings Fourth International Conference on Advances in Circuits …, 2011
Mandates: Austrian Science Fund
Test-case generation for embedded binary code using abstract interpretation
T Reinbacher, J Brauer, M Horauer, A Steininger, S Kowalewski
Sixth Doctoral Workshop on Mathematical and Engineering Methods in Computer …, 2011
Mandates: Austrian Science Fund
Hardware support for efficient testing of embedded software
T Reinbacher, A Steininger, T Mu¨ ller, M Horauer, J Brauer, ...
International Design Engineering Technical Conferences and Computers and …, 2011
Mandates: Austrian Science Fund, German Research Foundation
Testing Microcontroller Software Simulators.
T Reinbacher, D Gückel, S Kowalewski, M Horauer
GI-Jahrestagung, 333, 2011
Mandates: Austrian Science Fund, German Research Foundation
Publication and funding information is determined automatically by a computer program