Deutsch
Login
Open Access
Home
Search
Browse
Publish
FAQ
Author(s)
All words
At least one word
None of the words
Title
All words
At least one word
None of the words
Additional Person(s)
All words
At least one word
None of the words
Referee(s)
All words
At least one word
None of the words
Abstract
All words
At least one word
None of the words
Fulltext
All words
None of the words
Refine
Year of publication
2015
(11)
2008
(7)
2011
(6)
2014
(6)
2016
(6)
2009
(5)
2017
(5)
2007
(4)
2010
(3)
2004
(2)
+ more
Document Type
Conference Proceeding
(43)
Lecture
(10)
Article
(6)
Part of a Book
(1)
Language
English
(53)
German
(7)
Keywords
Embedded Systems (60)
(remove)
60
search hits
31
to
40
Export
BibTeX
CSV
RIS
XML
10
10
20
50
100
Sort by
Year
Year
Title
Title
Author
Author
Using 3-valued Memory Representation for State Space Reduction in Embedded Assembly Code Model Checking
(2009)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
Test-Case Generation for Embedded Binary Code Using Abstract Interpretation
(2010)
Reinbacher, Thomas
;
Brauer, Jörg
;
Horauer, Martin
;
Steininger, Andreas
;
Kowalewski, Stefan
Model Checking Embedded Software of an Industrial Knitting Machine
(2011)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
;
Brauer, Jörg
;
Scheuer, Florian
Development of an Embedded Monitoring Device for a Manufacturing Plant
(2010)
Niklas, Peter
;
Zauner, Martin
;
Horauer, Martin
Testing Microcontroller Software Simulators
(2011)
Reinbacher, Thomas
;
Gückel, Dominique
;
Horauer, Martin
A System-level Test for Automotive Communication Subsystems
(2011)
Horauer, Martin
;
Zauner, Martin
;
Schuster, Harald
Formale Verifikation von Embedded Systems Software
(2010)
Reinbacher, Thomas
;
Horauer, Martin
Refactoring an Automotive Embedded Software Stack using the Component-Based Paradigm
(2007)
Galla, Thomas
;
Schreiner, Dietmar
;
Forster, Wolfgang
;
Kutschera, Christof
;
Göschka, Karl
;
Horauer, Martin
A Test Tool for FlexRay-based Embedded Systems
(2007)
Horauer, Martin
;
Praprotnik, Oliver
;
Zauner, Martin
;
Höller, Roland
;
Milbredt, Paul
Model Checking Assembly Code of an Industrial Knitting Machine
(2009)
Reinbacher, Thomas
;
Horauer, Martin
;
Schlich, Bastian
;
Bauer, Jörg
;
Scheuer, Florian
31
to
40