A framework for static analysis and verification of low-level RTOS code von Manjunath, Vignesh, Baunach, Marcel

Volltext

A Framework for Improving Portability and Ensuring Correctness of Operating System Kernels von Manjunath, Vignesh, Baunach, Marcel

Volltext

Phenomenological Modelling of Camera Performance for Road Marking Detection von Li, Hexuan, Tarik, Kanuric, Arefnezhad, Sadegh, Magosi, Zoltan Ferenc, Wellershaus, Christoph, Babic, Darko, Babic, Dario, Tihanyi, Viktor, Eichberger, Arno, Baunach, Marcel Carsten

Volltext

Correction: A framework for embedded software portability and verification: from formal models to low-level code von Gomes, Renata Martins, Aichernig, Bernhard, Baunach, Marcel

Volltext

A framework for embedded software portability and verification: from formal models to low-level code von Martins Gomes, Renata, Aichernig, Bernhard, Baunach, Marcel

Volltext

CoMem: collaborative memory management for real-time operation within reactive sensor/actor networks von Baunach, Marcel

Volltext

Dynamic hinting: Collaborative real-time resource management for reactive embedded systems von Baunach, Marcel

Volltext

Hardware/Software Co-designed Security Extensions for Embedded Devices von Malenko, Maja, Baunach, Marcel

Volltext

Towards collaborative resource sharing under real-time conditions in multitasking and multicore environments von Baunach, M.

Volltext

A Formal Modeling Approach for Portable Low-Level OS Functionality von Gomes, Renata Martins, Aichernig, Bernhard, Baunach, Marcel

Volltext

Precise self-calibration of ultrasound based indoor localization systems von Runge, A., Baunach, M., Kolla, R.

Volltext bestellen

Real-Time Multiplexing of Mixed-Criticality Data Streams for Automotive Multi-Core Test Systems von Nager, Markus, Baunach, Marcel, Priller, Peter, Macher, Georg

Volltext

Speed, Reliability and Energy Efficiency of HashSlot Communication in WSN Based Localization Systems von Baunach, Marcel

Volltext

Real-time and Security Requirements for Internet-of-Things Operating Systems von Malenko, Maja, Baunach, Marcel

Volltext

Collaborative memory management for reactive sensor/actor systems von Baunach, M

Volltext

Dynamic Hinting: Real-Time Resource Management in Wireless Sensor/Actor Networks von Baunach, M.

Volltext

Advances in Distributed Real-Time Sensor/Actuator Systems Operation - Operating Systems, Communication, and Application Design Concepts von Baunach, Marcel

Volltext bestellen

Towards Dynamically Composed Real-time Embedded Systems von Ribeiro, Leandro Batista, Baunach, Marcel

Volltext

A Method for Self-Organizing Communication in WSN Based Localization Systems: HashSlot von Baunach, Marcel, Kolla, Reiner, Muhlberger, Clemens

Volltext

Beyond Theory: Development of a Real World Localization Application as Low Power WSN von Baunach, Marcel, Kolla, Reiner, Muhlberger, Clemens

Volltext