Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Projects
Import
Refine
Year of publication
2008
(14)
2015
(14)
2007
(12)
2011
(12)
2014
(12)
2016
(12)
2009
(11)
2012
(7)
2013
(7)
2017
(6)
+ more
Document Type
Conference Proceeding
(90)
Article
(17)
Lecture
(13)
Part of a Book
(1)
Doctoral Thesis
(1)
Language
English
(101)
German
(21)
Keywords
Embedded Systems (122)
(remove)
122
search hits
31
to
50
Export
BibTeX
CSV
RIS
XML
20
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Roboter mit Himbeeren, Ein Überblick über Roboterbausätze und GPIO Bibliotheken auf Raspberry Pi (2)
(2015)
Schefer-Wenzl, Sigrid
;
Wenzl, Matthias
Secure Control Applications in Smart Homes and Buildings
(2016)
Praus, Friedrich
;
Kastner, Wolfgang
;
Palensky, Peter
A toolkit for user-centered design of assistive technology solutions
(2018)
Veigl, Christoph
;
Miesenberger, Klaus
A methodology for remote debug, test and maintenance based on IEEE1588
(2011)
Rössler, Peter
;
Höller, Roland
;
Zauner, Martin
Testing Microcontroller Software Simulators
(2011)
Reinbacher, Thomas
;
Gückel, Dominique
;
Horauer, Martin
Refined metastability characterization using a time-to-digital converter
(2018)
Polzer, Thomas
;
Huerner, Florian
FlexRay (Chapter 44)
(2011)
Horauer, Martin
;
Rössler, Peter
Secure Control Applications in Smart Homes and Buildings
(2015)
Praus, Friedrich
System-Testumgebung für die verteilte Automobilelektronik
(2010)
Praprotnik, Oliver
;
Zauner, Martin
Evaluation of an Esterel-based Hardware/Software Co-Design Flow
(2009)
Rössler, Peter
;
Zauner, Martin
Experimentelle Implementierung eines Switches für FlexRay
(2011)
Schuster, Harald
Ausgelagerte Uhrensynchronisation für verteilte eingebettete Systeme
(2009)
Veigl, Christoph
;
Kutschera, Christof
;
Rössler, Peter
Development of an Embedded Monitoring Device for a Manufacturing Plant
(2010)
Niklas, Peter
;
Zauner, Martin
;
Horauer, Martin
Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking
(2009)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
Formale Verifikation von Embedded Systems Software
(2010)
Reinbacher, Thomas
;
Horauer, Martin
hallenges in Embedded Model Checking - A Simulator for the [mc]square Model Checker
(2008)
Reinbacher, Thomas
;
Kramer, Michael
;
Horauer, Martin
;
Schlich, Bastian
Motivating Model Checking of Embedded Systems Software
(2008)
Reinbacher, Thomas
;
Kramer, Michael
;
Horauer, Martin
;
Schlich, Bastian
An Investigation of the Clique Problem in FlexRay
(2008)
Milbredt, Paul
;
Horauer, Martin
;
Steininger, Andreas
Concepts and Tools for the Test of the Communication Sub-System of Time-Triggered Distributed Embedded Systems
(2007)
Horauer, Martin
Automated Testing of FlexRay Clusters for System Inconsistencies in Automotive Networks
(2008)
Milbredt, Paul
;
Steininger, Andreas
;
Horauer, Martin
31
to
50