Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Research Focus
Embedded Systems & Cyber-Physical Systems
Refine
Year of publication
2014
(2)
2015
(2)
2006
(1)
Document Type
Conference Proceeding
(4)
Lecture
(1)
Keywords
Linux (5)
(remove)
5
search hits
1
to
5
Export
BibTeX
CSV
RIS
XML
50
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
A Heterogenous Hardware-Software Co-Simulation Environment Using User Mode Linux and Clock Suppression
(2006)
Muhr, Hannes
;
Höller, Roland
;
Horauer, Martin
Deadlock Detection Runtime Service for Embedded Linux
(2015)
Glatz, Bernd
;
Beneder, Roman
;
Horauer, Martin
;
Rauscher, Thomas
Deadlock Detection Runtime Service for Embedded Linux
(2015)
Glatz, Bernd
;
Beneder, Roman
;
Horauer, Martin
;
Rauscher, Thomas
Runtime Verification Infrastructure for Embedded Linux
(2014)
Beneder, Roman
;
Glatz, Bernd
;
Horauer, Martin
;
Rauscher, Thomas
Memory Leak Detection Runtime-Service for Embedded Linux Devices
(2014)
Beneder, Roman
;
Glatz, Bernd
;
Horauer, Martin
;
Rauscher, Thomas
1
to
5