Please note that LibreCat no longer supports Internet Explorer versions 8 or 9 (or earlier).

We recommend upgrading to the latest Internet Explorer, Google Chrome, or Firefox.

1369 Publications


2014 | Conference Paper | LibreCat-ID: 25155
Becker, Markus, et al. “Fault Effect Modeling in a Heterogeneous SystemC Virtual Platform Framework for Cyber-Physical Systems.” ACM/IEEE 5th International Conference on Cyber-Physical Systems, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25156
Petrlic, Ronald, et al. “Security and Privacy Challenges in On-The-Fly Computing.” Proceeding of: 4. Konferenz Software-Technologien Und -Prozesse (STeP 2014), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25159
Grösbrink, Stefan. “Increasing the Reusability of Embedded Real-Time Software by a Standardized Interface for Paravirtualization.” GI Design For Future Workshop, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25160
Grösbrink, Stefan, et al. “Towards Certifiable Adaptive Reservations for Hypervisor-Based Virtualization.” 20th IEEE Real-Time and Embedded Technology and Applications Symposium (RTAS), 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25161
Koppelmann, Bastian, et al. “Portierung Der TriCore-Architektur Auf QEMU.” 17. Workshop Methoden Und Beschreibungssprachen Zur Modellierung Und Verifikation von Schaltungen Und Systemen (MBMV 2014) , 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25163
Kuznik, Christoph, et al. “Semi-automatische Generierung von Überdeckungsmetriken mittels methodischer Verikationsplan Verarbeitung.” 17. Workshop Methoden und Beschreibungssprachen zur Modellierung und Verifikation von Schaltungen und Systemen (MBMV 2014) , 2014.
LibreCat
 

2014 | Journal Article | LibreCat-ID: 25164
Becker, Markus, et al. “HeroeS3 -- A Framework for Heterogeneous Software-Intensive System Design with SystemC.” Design, Automation and Test in Europe DATE, University Booth, Dresden, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25165
Grösbrink, Stefan, et al. “Hypervisor-Based Consolidation for Automated Teller Machines.” Embedded World Conference, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25166
Kuznik, Christoph, and Wolfgang Müller. “Modellierung effizienter Stresstest-Umgebungen für virtuelle Prototypen mit SVM.” 26. ITG / GI / GMM Workshop Testmethoden und Zuverlässigkeit von Schaltungen und Systemen, 2014.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25167
Jungmann, Alexander, et al. “Evaluation of Color Spaces for Robust Image Segmentation.” Proceedings of the 9th International Conference on Computer Vision Theory and Applications (VISAPP), INSTICC PRESS, 2014.
LibreCat
 

2014 | Book | LibreCat-ID: 25168
Gausemeier, Jürgen, et al. Dependability of Self-Optimizing Mechatronic Systems. Springer-Verlag, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25170
Grösbrink, Stefan, et al. “Self-Optimization by Reconfiguration.” Design Methodology for Intelligent Technical Systems, Springer-Verlag, 2014, pp. 19–22.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25171
Grösbrink, Stefan. “Virtualization.” Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , 2014, pp. 152–57.
LibreCat
 

2014 | Conference Paper | LibreCat-ID: 25172
Rammig, Franz-Josef, et al. “Designing Self-Adaptive Embedded Real-Time Software - Towards System Engineering of Self-Adaptation.” Brazilian Symposium on Computing Systems Engineering (SBESC), SBC, 2014.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25173
Dellnitz, Michael, et al. “Self-Optimizing Mechatronic Systems.” Dependability of Self-Optimizing Mechatronic Systems, Kapitel: 1.1, Springer-Verlag, 2014, pp. 3–12.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25175
Grösbrink, Stefan, et al. “System Software.” Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: Methods for the Design and Development, Springer-Verlag, 2014, pp. 298–317.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25176
Gausemeier, Jürgen, et al. “Development of Self-Optimizing Systems.” Design Methodology for Intelligent Technical Systems Systems – Develop Intelligent Technical Systems of the Future, Kapitel: 3, Springer-Verlag , 2014, pp. 65–117.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25177
Flaßkamp, Kathrin, et al. “Development of the RailCab Vehicle.” Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag , 2014, pp. 184–90.
LibreCat
 

2014 | Book Chapter | LibreCat-ID: 25179
Rammig, Franz-Josef, and Yuhong Zhao. “Online Model Checking.” Dependability of Self-Optimizing Mechatronic Systems, Springer-Verlag, 2014, pp. 147–52.
LibreCat
 

2014 | Book | LibreCat-ID: 25180
Gausemeier, Jürgen, et al. Design Methodology for Intelligent Technical Systems - Develop Intelligent Technical Systems of the Future. Springer-Verlag, 2014.
LibreCat
 

Filters and Search Terms

year=2014

Search

Filter Publications

Display / Sort

Citation Style: MLA

Export / Embed