FIJI: Fault InJection Instrumenter von Fibich, Christian, Tauner, Stefan, Rössler, Peter, Horauer, Martin, Matschnig, Martin, Taucher, Herbert

Volltext

Towards a Systematic Test for Embedded Automotive Communication Systems von Armengaud, E., Steininger, A., Horauer, M.

Volltext

Runtime verification of microcontroller binary code von Reinbacher, Thomas, Brauer, Jörg, Horauer, Martin, Steininger, Andreas, Kowalewski, Stefan

Volltext

Past Time LTL Runtime Verification for Microcontroller Binary Code von Reinbacher, Thomas, Brauer, Jörg, Horauer, Martin, Steininger, Andreas, Kowalewski, Stefan

Volltext

NTI: A Network Time Interface M-module for high-accuracy clock synchronization von Horauer, Martin, Schmid, Ulrich, Schossmaier, Klaus

Volltext

Specification and Implementation of the Universal Time Coordinated Synchronization Unit (UTCSU) von Schossmaier, Klaus, Schmid, Ulrich, Horauer, Martin, Loy, Dietmar

Volltext

Parallel runtime verification of temporal properties for embedded software von Reinbacher, Thomas, Geist, Johannes, Moosbrugger, Patrick, Horauer, Martin, Steininger, Andreas

Volltext bestellen

A runtime verification unit for microcontrollers von Reinbacher, T., Horauer, M., Steininger, A.

Volltext

Development of an embedded monitoring device for a manufacturing plant von Niklas, Peter, Zauner, Martin, Horauer, Martin

Volltext bestellen

A Test Suite for System Tests of Distributed Automotive Electronics von Praprotnik, O., Gartner, M., Zauner, M., Horauer, M.

Volltext bestellen

An investigation of the clique problem in FlexRay von Milbredt, P., Horauer, M., Steininger, A.

Volltext

VERFAHREN ZUM SYNCHRONISIEREN VON COMPUTERUHREN IN NETZWERKEN FÜR DIE INFORMATIONSÜBERTRAGUNG, EINRICHTUNG ZUR DURCHFÜHRUNG DIESES VERFAHRENS SOWIE FÜR DIE SYNCHRONISATION VON COMP... von KEROE, NIKOLAUS, HORAUER, MARTIN, SCHMID, ULRICH

Volltext bestellen

METHOD FOR SYNCHRONIZING COMPUTER CLOCKS IN NETWORKS USED FOR INFORMATION TRANSMISSION, DEVICE FOR CARRYING OUT SAID METHOD AND DATA PACKET SUITABLE FOR THE SYNCHRONIZATION OF COMP... von KEROE, NIKOLAUS, HORAUER, MARTIN, SCHMID, ULRICH

Volltext bestellen

Using 3-valued memory representation for state space reduction in embedded assembly code model checking von Reinbacher, T., Horauer, M., Schlich, B.

Volltext bestellen

Motivating Model Checking of Embedded Systems Software von Reinbacher, Thomas, Kramer, Michael, Horauer, Martin, Schlich, Bastian

Volltext bestellen

Challenges in embedded model checking - a simulator for the [mc]square model checker von Reinbacher, T., Kramer, M., Horauer, M., Schlich, B.

Volltext

Refining assembly code static analysis for the Intel MCS-51 microcontroller von Reinbacher, T., Brauer, J., Horauer, M., Schlich, B.

Volltext

Model Checking Assembly Code of an Industrial Knitting Machine von Reinbacher, T., Horauer, M., Schlich, B., Brauer, J., Scheuer, F.

Volltext

Development of a Data Collection Platform von Roessler, P., Radlbauer, J., Horauer, M., Lukasch, F., Wimmer, M.

Volltext

Method for synchronizing computer clocks in networks used for information transmission, device for carrying out said method and data packet suitable for the synchronization of comp... von Kerö, Nikolaus, Schmid, Ulrich, Horauer, Martin

Volltext bestellen